gov.nasa.jpf.vm

Class FullStateSet

java.lang.Object

gov.nasa.jpf.vm.SerializingStateSet

gov.nasa.jpf.vm.FullStateSet

All Implemented Interfaces:

StateSet

public class FullStateSet
extends SerializingStateSet

Implements a lossless StateSet

Field Summary

Fields inherited from class gov.nasa.jpf.vm.SerializingStateSet

serializer

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

UNKNOWN_ID

Constructor Summary

Constructors

Constructor and Description
FullStateSet()

Method Summary

Modifier and Type	Method and Description
int	add(int[] state)
int	size() how many states already in the set.

Methods inherited from class gov.nasa.jpf.vm.SerializingStateSet

addCurrent, attach

Methods inherited from class java.lang.Object

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

Constructor Detail

FullStateSet

public FullStateSet()

Method Detail

size

public int size()

Description copied from interface: StateSet

how many states already in the set. also, index of next newly-added state.

add

public int add(int[] state)

Specified by:

add in class SerializingStateSet