|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
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 |
|---|
Provide a generic framework for dataflow analysis on BIR transition systems.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||