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

Packages that use ISearcher

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.

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

Fields in edu.ksu.cis.projects.bogor declared as ISearcher

protected ISearcher

DefaultBogorConfiguration.sr

Methods in edu.ksu.cis.projects.bogor that return ISearcher

ISearcher	DefaultBogorConfiguration.getSearcher()
ISearcher	IBogorConfiguration.getSearcher()

Methods in edu.ksu.cis.projects.bogor with parameters of type ISearcher

void	DefaultBogorConfiguration.setSearcher(ISearcher sr)
void	IBogorConfiguration.setSearcher(ISearcher sr)

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

Classes in edu.ksu.cis.projects.bogor.module that implement ISearcher

protected class	DefaultCounterExampleWriter.GuidedSearcherProxy [Document Pending]
class	DefaultSearcher

Fields in edu.ksu.cis.projects.bogor.module declared as ISearcher

protected ISearcher	DefaultActionTaker.sr
protected ISearcher	DefaultCounterExampleWriter.GuidedSearcherProxy.sr [Document Pending]
protected ISearcher	DefaultSchedulingStrategist.sr Runtime module connection
protected ISearcher	DefaultSearcher.sr

Constructors in edu.ksu.cis.projects.bogor.module with parameters of type ISearcher

DefaultCounterExampleWriter.GuidedSearcherProxy(ISearcher sr, DefaultCounterExampleWriter.GuidedSystemSharedState gsss, List<ICounterExampleSchedulingInfo> schedulingDecisions)
Creates a new GuidedSearcherProxy object.

DefaultCounterExampleWriter.GuidedSearcherProxy(ISearcher sr, DefaultCounterExampleWriter.GuidedSystemSharedState gsss, List<ICounterExampleSchedulingInfo> schedulingDecisions, int schedulingDecisionsToUse, boolean externalizeAllData)
Creates a new GuidedSearcherProxy object.