Uses of Package
edu.ksu.cis.projects.bogor.module

Packages that use edu.ksu.cis.projects.bogor.module

edu.ksu.cis.projects.bogor	Provides for Bogor command-line interface (CLI) and configuration.
edu.ksu.cis.projects.bogor.ast.transform
edu.ksu.cis.projects.bogor.ext.atomicity
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.config
edu.ksu.cis.projects.bogor.module.state	Provides for Bogor state.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.

Classes in edu.ksu.cis.projects.bogor.module used by edu.ksu.cis.projects.bogor

IActionTaker

IBacktrackingInfoFactory

ICounterExampleWriter

IExpEvaluator

IListener
Tagging interface type for modules which attach some kind of event-listener.

IMessageStore

IModule
This interface is the top-level interface for all Bogor modules.

IProgressManager

ISchedulingStrategist
Main scheduler module for Bogor.

ISearcher
This interface is the top-level interface for a state-space search algorithm.

IStateFactory
A state factory interface.

IStateManager

ITransformer

IValueFactory
A value factory interface.

Classes in edu.ksu.cis.projects.bogor.module used by edu.ksu.cis.projects.bogor.ast.transform

IMessageStore

Classes in edu.ksu.cis.projects.bogor.module used by edu.ksu.cis.projects.bogor.ext.atomicity

IExtArguments

IMessageStore

IModule
This interface is the top-level interface for all Bogor modules.

Classes in edu.ksu.cis.projects.bogor.module used by edu.ksu.cis.projects.bogor.module

AbstractProgressManager

DefaultCounterExampleWriter.GuidedSystemSharedState
Information that should be kept in sync among components of a guided search system.

DefaultCounterExampleWriter.IGuidedSimulator

DefaultCounterExampleWriter.IStateSnapshotSource

DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo

DefaultSchedulingStrategist.NodeContext

DefaultStateExternalizer

IActionTaker

IBacktrackingInfoFactory

IClassLoader
A method by which plugins can provide facilities for loading

ICounterExampleSchedulingInfo

ICounterExampleWriter

IEnabledTransformationsContext

IExpEvaluator

IMessageStore

IModule
This interface is the top-level interface for all Bogor modules.

IProgressManager

ISchedulingStrategist
Main scheduler module for Bogor.

ISchedulingStrategyContext

ISchedulingStrategyInfo

ISearcher
This interface is the top-level interface for a state-space search algorithm.

IStateAugmenter
A hook to allow state manager "plugins" that transform the state vector after a vanilla version has been completely calculated.

IStateFactory
A state factory interface.

IStateFactoryArguments
A state factory arguments interface.

IStateManager

IStoreStateResult

ITransformationFilter
Type description here.

ITransformer

IValueFactory
A value factory interface.

Classes in edu.ksu.cis.projects.bogor.module used by edu.ksu.cis.projects.bogor.module.backtrack

IBacktrackingInfoFactory

IMessageStore

IModule
This interface is the top-level interface for all Bogor modules.

ISchedulingStrategist
Main scheduler module for Bogor.

ISchedulingStrategyInfo

IStateFactory
A state factory interface.

IValueFactory
A value factory interface.

Classes in edu.ksu.cis.projects.bogor.module used by edu.ksu.cis.projects.bogor.module.config

IModule
This interface is the top-level interface for all Bogor modules.

Classes in edu.ksu.cis.projects.bogor.module used by edu.ksu.cis.projects.bogor.module.state

IMessageStore

IModule
This interface is the top-level interface for all Bogor modules.

IStateAugmenter
A hook to allow state manager "plugins" that transform the state vector after a vanilla version has been completely calculated.

IStateFactory
A state factory interface.

IStateFactoryArguments
A state factory arguments interface.

IValueFactory
A value factory interface.

Classes in edu.ksu.cis.projects.bogor.module used by edu.ksu.cis.projects.bogor.module.value

IMessageStore

IModule
This interface is the top-level interface for all Bogor modules.

IValueFactory
A value factory interface.