|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||
java.lang.Object | +--coins.lparallel.Invariant
| コンストラクタの概要 | |
(パッケージプライベート) |
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(LoopTable pTable,
SubpFlow pSubpFlow,
FlowResults pResults,
LoopUtil pUtil)
| メソッドの詳細 |
boolean IsInvariant(HIR node)
|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||