|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
InvariantsMap
is a mapping from Loops
to a
Set
of invariants.
Method Summary | |
Set |
invariantsMap(HCode hc,
Loops lp)
Returns a Set of invariant loop elements. |
Method Detail |
public Set invariantsMap(HCode hc, Loops lp)
Set
of invariant loop elements.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |