Uses of Interface
edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis.SetContainmentOperator

Packages that use IntraFSMAnalysis.SetContainmentOperator

edu.ksu.cis.projects.bogor.analyses

Provides for Bogor modules.

Uses of IntraFSMAnalysis.SetContainmentOperator in edu.ksu.cis.projects.bogor.analyses

Classes in edu.ksu.cis.projects.bogor.analyses that implement IntraFSMAnalysis.SetContainmentOperator

protected static class

LiveVariableAnalysis.LeftSubsetOfRightOperator<T>

Fields in edu.ksu.cis.projects.bogor.analyses declared as IntraFSMAnalysis.SetContainmentOperator

protected IntraFSMAnalysis.SetContainmentOperator<L>

IntraFSMAnalysis.containmentTest Abstract set containment operator used in MDF algorithm.

Constructors in edu.ksu.cis.projects.bogor.analyses with parameters of type IntraFSMAnalysis.SetContainmentOperator

IntraFSMAnalysis(CFG cfg, boolean isForwardAnalysis, IntraFSMAnalysis.SetContainmentOperator<L> subsetTest, IntraFSMAnalysis.SetMergeOperator<L> mergeOp, IntraFSMAnalysis.SetFactory<L> setFactory, Set<L> init, Set<L> bottom)
Build an instance of the Monotone Data-flow Framework.