gov.nasa.jpf.vm

Interface StateSet

All Known Implementing Classes:

DebugJenkinsStateSet, FullStateSet, JenkinsStateSet, SerializingStateSet

public interface StateSet

interface to encapsulate an ADT (conceptually a set) used to answer if a state has been seen already

Field Summary

Fields

Modifier and Type	Field and Description
static int	UNKNOWN_ID

Method Summary

Modifier and Type	Method and Description
int	addCurrent() check if a state is already in the set, and add it if not.
void	attach(VM vm)
int	size() how many states already in the set.

Field Detail

UNKNOWN_ID

static final int UNKNOWN_ID

See Also:

Constant Field Values

Method Detail

attach

void attach(VM vm)

addCurrent

int addCurrent()

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

size

int size()

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