Uses of Class
korat.finitization.impl.StateSpace

Packages that use StateSpace

korat.finitization.impl
korat.testing.impl

Uses of StateSpace in korat.finitization.impl

Fields in korat.finitization.impl declared as StateSpace

protected static StateSpace	StateSpace.lastInstance
protected StateSpace	CVElem.stateSpace
(package private) StateSpace	CandidateBuilder.stateSpace
private StateSpace	Finitization.stateSpace

Methods in korat.finitization.impl that return StateSpace

static StateSpace	StateSpace.getLastInstance()
StateSpace	CVElem.getMyStateSpace()
StateSpace	Finitization.getStateSpace() Returns the IStateSpace according to the bounds of the system

Methods in korat.finitization.impl with parameters of type StateSpace

static ArrayElementCVElem	ArrayElementCVElem.create(Object o, String fName, FieldDomain fDomain, StateSpace myStateSpace) Parameter fName can be either number, representing the index of array element or "length", representing the length of the array
static CVElem	CVElem.create(Object o, String fName, FieldDomain fDomain, StateSpace stateSpace)
void	CandidateBuilder.setStateSpace(StateSpace stateSpace) Sets the state space

Constructors in korat.finitization.impl with parameters of type StateSpace

ArrayElementCVElem(Object o, int elementIndex, FieldDomain fDomain, StateSpace stateSpace)

ArrayElementCVElem(Object o, String fName, FieldDomain fDomain, StateSpace stateSpace)

CandidateBuilder(StateSpace stateSpace, IIntList changedFields)

CVElem(Object o, String fName, FieldDomain fDomain, StateSpace stateSpace)

Uses of StateSpace in korat.testing.impl

Fields in korat.testing.impl declared as StateSpace

protected StateSpace	StateSpaceExplorer.stateSpace
protected StateSpace	TestCradle.stateSpace

Methods in korat.testing.impl that return StateSpace

StateSpace

TestCradle.getStateSpace()