coins.lparallel
クラス Invariant

java.lang.Object
  |
  +--coins.lparallel.Invariant

class Invariant
extends java.lang.Object


コンストラクタの概要
(パッケージプライベート) Invariant(LoopTable pTable, SubpFlow pSubpFlow, FlowResults pResults, LoopUtil pUtil)
          Invariant: Find loop Invariants .
 
メソッドの概要
(パッケージプライベート)  boolean IsInvariant(HIR node)
          IsInvariant:
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

コンストラクタの詳細

Invariant

Invariant(LoopTable pTable,
          SubpFlow pSubpFlow,
          FlowResults pResults,
          LoopUtil pUtil)
Invariant: Find loop Invariants . HIR Node(Invariant) --> finvHash

メソッドの詳細

IsInvariant

boolean IsInvariant(HIR node)
IsInvariant: