harpoon.Analysis.Maps
Interface InvariantsMap

All Known Implementing Classes:

LoopAnalysis

public interface InvariantsMap

InvariantsMap is a mapping from Loops to a Set of invariants.

Version:

$Id: InvariantsMap.java,v 1.2 2002/02/25 20:58:10 cananian Exp $

Author:

Brian Demsky <bdemsky@mit.edu>

Method Summary

Set	invariantsMap(HCode hc, Loops lp) Returns a Set of invariant loop elements.

Method Detail

invariantsMap

Set invariantsMap(HCode hc,
                  Loops lp)

Returns a Set of invariant loop elements.