Uses of Interface
gov.nasa.jpf.vm.StateSet

Packages that use StateSet

Package	Description
gov.nasa.jpf.vm

Uses of StateSet in gov.nasa.jpf.vm

Classes in gov.nasa.jpf.vm that implement StateSet

Modifier and Type	Class and Description
class	DebugJenkinsStateSet a JenkinsStateSet that stores program state information in a readable and diffable format.
class	FullStateSet Implements a lossless StateSet
class	JenkinsStateSet Implements StateSet based on Jenkins hashes.
class	SerializingStateSet

Fields in gov.nasa.jpf.vm declared as StateSet

Modifier and Type	Field and Description
protected StateSet	VM.stateSet the repository we use to find out if we already have seen a state

Methods in gov.nasa.jpf.vm that return StateSet

Modifier and Type	Method and Description
StateSet	VM.getStateSet() Returns the stateSet if states are being matched.