Uses of Class
edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSystemSharedState

Packages that use DefaultCounterExampleWriter.GuidedSystemSharedState

edu.ksu.cis.projects.bogor.module

Provide a generic framework for dataflow analysis on BIR transition systems.

Uses of DefaultCounterExampleWriter.GuidedSystemSharedState in edu.ksu.cis.projects.bogor.module

Fields in edu.ksu.cis.projects.bogor.module declared as DefaultCounterExampleWriter.GuidedSystemSharedState

protected DefaultCounterExampleWriter.GuidedSystemSharedState	DefaultCounterExampleWriter.GuidedSearcherProxy.sharedSearchState Search metadata shared across all guided components.
protected DefaultCounterExampleWriter.GuidedSystemSharedState	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.sharedSearchState Search metadata shared across all guided components.

Methods in edu.ksu.cis.projects.bogor.module that return DefaultCounterExampleWriter.GuidedSystemSharedState

DefaultCounterExampleWriter.GuidedSystemSharedState

DefaultCounterExampleWriter.IGuidedSimulator.getSearchState()

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

DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy(ISchedulingStrategist ss, DefaultCounterExampleWriter.GuidedSystemSharedState gsss, List<ICounterExampleSchedulingInfo> path)
Creates a new GuidedSchedulingStrategistProxy object.

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.