gov.nasa.jpf.vm

Class SerializingStateSet

java.lang.Object

gov.nasa.jpf.vm.SerializingStateSet

All Implemented Interfaces:

StateSet

Direct Known Subclasses:

FullStateSet, JenkinsStateSet

public abstract class SerializingStateSet
extends java.lang.Object
implements StateSet

Field Summary

Fields

Modifier and Type	Field and Description
protected StateSerializer	serializer

Fields inherited from interface gov.nasa.jpf.vm.StateSet

UNKNOWN_ID

Constructor Summary

Constructors

Constructor and Description
SerializingStateSet()

Method Summary

Modifier and Type	Method and Description
protected abstract int	add(int[] state)
int	addCurrent() check if a state is already in the set, and add it if not.
void	attach(VM vm)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface gov.nasa.jpf.vm.StateSet

size

Field Detail

serializer

protected StateSerializer serializer

Constructor Detail

SerializingStateSet

public SerializingStateSet()

Method Detail

attach

public void attach(VM vm)

Specified by:

attach in interface StateSet

addCurrent

public int addCurrent()

Description copied from interface: StateSet

check if a state is already in the set, and add it if not. Answer it's numeric id

Specified by:

addCurrent in interface StateSet

add

protected abstract int add(int[] state)