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.