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

Packages that use IntraFSMAnalysis.SetMergeOperator

edu.ksu.cis.projects.bogor.analyses

Provides for Bogor modules.

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

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

protected static class

LiveVariableAnalysis.UnionOperator<T>

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

protected IntraFSMAnalysis.SetMergeOperator<L>

IntraFSMAnalysis.mergeOperation Abstract set combination operator used in MDF algorithm.

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

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.