Package edu.ksu.cis.projects.bogor.analyses

Provides for Bogor modules.

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  
 

Package edu.ksu.cis.projects.bogor.analyses Description

Provides for Bogor modules.