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