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

Provide a generic framework for dataflow analysis on BIR transition systems.

See:
          Description

Interface Summary
DefaultCounterExampleWriter.IGuidedSimulator  
DefaultCounterExampleWriter.IStateSnapshotSource  
IActionTaker  
IBacktrackingInfoFactory  
IClassLoader A method by which plugins can provide facilities for loading
ICounterExampleSchedulingInfo  
ICounterExampleWriter  
IEnabledTransformationsContext  
IExpEvaluator  
IExtArguments  
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.
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.
 

Class Summary
AbstractProgressManager  
ConfigurationMessages  
DefaultActionTaker  
DefaultClassLoader Hook for plugin modules to allow clients which do not explicitly depend on the plugin, to still load classes from it.
DefaultCounterExampleSchedulingInfo  
DefaultCounterExampleWriter [Document Pending]
DefaultCounterExampleWriter.DummyStateManagerProxy [Document Pending]
DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy [Document Pending]
DefaultCounterExampleWriter.GuidedSystemSharedState Information that should be kept in sync among components of a guided search system.
DefaultExpEvaluator  
DefaultMessageStore  
DefaultSchedulingStrategist  
DefaultSearcher  
DefaultStateExternalizer  
DefaultStateManager  
DefaultTransformer  
 

Exception Summary
 

Package edu.ksu.cis.projects.bogor.module Description

Provide a generic framework for dataflow analysis on BIR transition systems.