de.rwth.i2.attestor.stateSpaceGeneration

Interface State

All Known Subinterfaces:

ProgramState

All Known Implementing Classes:

DefaultProgramState, GeneralProgramState, IndexedState

public interface State

Field Summary

Fields

Modifier and Type	Field and Description
static int	INVALID_STATE_SPACE_ID

Method Summary

Modifier and Type	Method and Description
int	getStateSpaceId()
void	setStateSpaceId(int id)
int	size()

Field Detail

INVALID_STATE_SPACE_ID

static final int INVALID_STATE_SPACE_ID

See Also:

Constant Field Values

Method Detail

getStateSpaceId

int getStateSpaceId()

setStateSpaceId

void setStateSpaceId(int id)

size

int size()