Uses of Class
korat.finitization.impl.FieldDomain

Packages that use FieldDomain

korat.finitization.impl

Uses of FieldDomain in korat.finitization.impl

Subclasses of FieldDomain in korat.finitization.impl

class	ArraySet
class	BooleanSet
class	ByteSet
class	DoubleSet
class	FloatSet
class	IntSet
class	LongSet
class	ObjSet
class	PrimitiveTypeSet Represents Field domain for primitive type.
class	ShortSet

Fields in korat.finitization.impl declared as FieldDomain

protected FieldDomain	CVElem.fieldDomain
protected FieldDomain	ArraySet.valuesSet

Methods in korat.finitization.impl that return FieldDomain

FieldDomain	CVElem.getFieldDomain()
FieldDomain	StateSpace.getFieldDomain(int candidateVectorIndex) Returns FieldDomain connected with the given index in candidate vector.
FieldDomain	StateSpace.getFieldDomain(Object obj, String fieldName) Helper, returns IFieldIndex connected with the given field in the given object.

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

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)

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

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

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

ArraySet(ClassDomain arrays, IntSet lengthsSet, FieldDomain valuesSet)

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