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.