coins.lparallel
Class Invariant

java.lang.Object
  coins.lparallel.Invariant

class Invariant

extends java.lang.Object

Constructor Summary

(package private)

Invariant(LoopTable pTable, SubpFlow pSubpFlow, FlowResults pResults, LoopUtil pUtil) Invariant: Find loop Invariants .

Method Summary

(package private) boolean

IsInvariant(HIR node) IsInvariant:

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Invariant

Invariant(LoopTable pTable,
          SubpFlow pSubpFlow,
          FlowResults pResults,
          LoopUtil pUtil)

Invariant: Find loop Invariants . HIR Node(Invariant) --> finvHash

Method Detail

IsInvariant

boolean IsInvariant(HIR node)

IsInvariant: