Uses of Interface
edu.ksu.cis.projects.bogor.module.ISchedulingStrategist

Packages that use ISchedulingStrategist
edu.ksu.cis.projects.bogor Provides for Bogor command-line interface (CLI) and configuration. 
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. 
 

Uses of ISchedulingStrategist in edu.ksu.cis.projects.bogor
 

Fields in edu.ksu.cis.projects.bogor declared as ISchedulingStrategist
protected  ISchedulingStrategist DefaultBogorConfiguration.ss
           
 

Methods in edu.ksu.cis.projects.bogor that return ISchedulingStrategist
 ISchedulingStrategist DefaultBogorConfiguration.getSchedulingStrategist()
           
 ISchedulingStrategist IBogorConfiguration.getSchedulingStrategist()
           
 

Methods in edu.ksu.cis.projects.bogor with parameters of type ISchedulingStrategist
 void DefaultBogorConfiguration.setSchedulingStrategist(ISchedulingStrategist ss)
           
 void IBogorConfiguration.setSchedulingStrategist(ISchedulingStrategist ss)
           
 

Uses of ISchedulingStrategist in edu.ksu.cis.projects.bogor.module
 

Classes in edu.ksu.cis.projects.bogor.module that implement ISchedulingStrategist
static class DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy
          [Document Pending]
 class DefaultSchedulingStrategist
           
 

Fields in edu.ksu.cis.projects.bogor.module declared as ISchedulingStrategist
protected  ISchedulingStrategist DefaultActionTaker.ss
           
protected  ISchedulingStrategist DefaultCounterExampleWriter.GuidedSearcherProxy.ss
          [Document Pending]
protected  ISchedulingStrategist DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.ss
          [Document Pending]
protected  ISchedulingStrategist DefaultExpEvaluator.ss
           
protected  ISchedulingStrategist DefaultSchedulingStrategist.ss
          Runtime module connection
protected  ISchedulingStrategist DefaultSearcher.ss
           
protected  ISchedulingStrategist DefaultTransformer.ss
           
 

Constructors in edu.ksu.cis.projects.bogor.module with parameters of type ISchedulingStrategist
DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy(ISchedulingStrategist ss, DefaultCounterExampleWriter.GuidedSystemSharedState gsss, List<ICounterExampleSchedulingInfo> path)
          Creates a new GuidedSchedulingStrategistProxy object.
 

Uses of ISchedulingStrategist in edu.ksu.cis.projects.bogor.module.backtrack
 

Fields in edu.ksu.cis.projects.bogor.module.backtrack declared as ISchedulingStrategist
protected  ISchedulingStrategist DefaultBacktrackingInfoFactory.ss