|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| IntraFSMAnalysis.SetContainmentOperator<T> | |
| IntraFSMAnalysis.SetFactory<T> | |
| IntraFSMAnalysis.SetMergeOperator<T> | |
| Class Summary | |
|---|---|
| CFG | |
| IntraFSMAnalysis<L> | An implemenation of the Monotone Data-flow Framework. |
| IntraFSMAnalysis.WorkListEntry | |
| LiveVariableAnalysis | This class provides a live variables analysis for a certain FSM. |
| LiveVariableAnalysis.HashSetFactory<T> | |
| LiveVariableAnalysis.LeftSubsetOfRightOperator<T> | |
| LiveVariableAnalysis.UnionOperator<T> | |
| LocalVariablesCollector | |
Provides for Bogor modules.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||