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.