Uses of Interface
edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.IGuidedSimulator

Packages that use DefaultCounterExampleWriter.IGuidedSimulator

edu.ksu.cis.projects.bogor.module

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

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

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

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)
static DefaultCounterExampleWriter.IGuidedSimulator	DefaultCounterExampleWriter.getSimulator(File trailsFile, int traceNumber, SymbolTable st, Class bogorConfigurationClass, PrintWriter pw)
static DefaultCounterExampleWriter.IGuidedSimulator	DefaultCounterExampleWriter.getSimulator(File trailsFile, int traceNumber, SymbolTable st, PrintWriter pw)