Uses of Interface
edu.ksu.cis.projects.bogor.module.IStateAugmenter

Packages that use IStateAugmenter

edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.state	Provides for Bogor state.

Uses of IStateAugmenter in edu.ksu.cis.projects.bogor.module

Methods in edu.ksu.cis.projects.bogor.module that return IStateAugmenter

IStateAugmenter[]

IStateFactory.getStateAugmenters() Get the set of state augmenters that contribute to the state space.

Uses of IStateAugmenter in edu.ksu.cis.projects.bogor.module.state

Fields in edu.ksu.cis.projects.bogor.module.state declared as IStateAugmenter

protected IStateAugmenter[]

DefaultStateFactory.stateAugmenters State space contributors.

Methods in edu.ksu.cis.projects.bogor.module.state that return IStateAugmenter

IStateAugmenter[]

DefaultStateFactory.getStateAugmenters()