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

Packages that use ICounterExampleSchedulingInfo

edu.ksu.cis.projects.bogor.module

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

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

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

class

DefaultCounterExampleSchedulingInfo

Fields in edu.ksu.cis.projects.bogor.module with type parameters of type ICounterExampleSchedulingInfo

protected List<ICounterExampleSchedulingInfo>	DefaultCounterExampleWriter.currErrorSchedules
protected ArrayList<List<ICounterExampleSchedulingInfo>>	DefaultCounterExampleWriter.errorSchedulesList
protected List<ICounterExampleSchedulingInfo>	DefaultCounterExampleWriter.GuidedSearcherProxy.schedulingDecisions The error path to reconstruct.
protected List<ICounterExampleSchedulingInfo>	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.schedulingDecisions

Methods in edu.ksu.cis.projects.bogor.module that return types with arguments of type ICounterExampleSchedulingInfo

protected ArrayList<ICounterExampleSchedulingInfo>	DefaultSearcher.extractErrorSchedule(ArrayList<IBacktrackingInfo> backtrackingInfos)
static List<ICounterExampleSchedulingInfo>	DefaultCounterExampleWriter.parseCounterExampleErrorSchedule(InputStream is)

Method parameters in edu.ksu.cis.projects.bogor.module with type arguments of type ICounterExampleSchedulingInfo

DefaultCounterExampleWriter.IGuidedSimulator	DefaultCounterExampleWriter.getGuidedSimulator(SymbolTable symtab, Properties config, Class bcClass, List<ICounterExampleSchedulingInfo> scheduleDecisions)
DefaultCounterExampleWriter.IGuidedSimulator	DefaultCounterExampleWriter.getGuidedSimulator(SymbolTable symtab, Properties config, Class bcClass, List<ICounterExampleSchedulingInfo> scheduleDecisions, int numScheduleDecisionsToUse, boolean externalizeAllSteps)
void	DefaultCounterExampleWriter.storeCounterExample(List<ICounterExampleSchedulingInfo> cesis, String reason)
void	ICounterExampleWriter.storeCounterExample(List<ICounterExampleSchedulingInfo> cesis, String reason)

Constructor parameters in edu.ksu.cis.projects.bogor.module with type arguments of type ICounterExampleSchedulingInfo

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.