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

Packages that use DefaultCounterExampleWriter.IStateSnapshotSource

edu.ksu.cis.projects.bogor.module

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

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

Classes in edu.ksu.cis.projects.bogor.module that implement DefaultCounterExampleWriter.IStateSnapshotSource

protected class

DefaultCounterExampleWriter.GuidedSearcherProxy [Document Pending]

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

DefaultCounterExampleWriter.IStateSnapshotSource

DefaultCounterExampleWriter.IGuidedSimulator.getStateSnapshotSource()