Uses of Interface
edu.ksu.cis.projects.bogor.module.config.ISelfDescribingModule

Packages that use ISelfDescribingModule

edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.backtrack	Provides types and factories for "undo" operations.
edu.ksu.cis.projects.bogor.module.state	Provides for Bogor state.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.

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

Classes in edu.ksu.cis.projects.bogor.module that implement ISelfDescribingModule

class	DefaultActionTaker
class	DefaultCounterExampleWriter [Document Pending]
class	DefaultExpEvaluator
class	DefaultSchedulingStrategist
class	DefaultSearcher
class	DefaultStateManager
class	DefaultTransformer

Uses of ISelfDescribingModule in edu.ksu.cis.projects.bogor.module.backtrack

Classes in edu.ksu.cis.projects.bogor.module.backtrack that implement ISelfDescribingModule

class

DefaultBacktrackingInfoFactory

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

Classes in edu.ksu.cis.projects.bogor.module.state that implement ISelfDescribingModule

class

DefaultStateFactory The default implementation of IStateFactory.

Uses of ISelfDescribingModule in edu.ksu.cis.projects.bogor.module.value

Classes in edu.ksu.cis.projects.bogor.module.value that implement ISelfDescribingModule

class

DefaultValueFactory The default implementation of IValueFactory.