Uses of Class
korat.finitization.impl.CVElem

Packages that use CVElem

korat.finitization.impl

Uses of CVElem in korat.finitization.impl

Subclasses of CVElem in korat.finitization.impl

class

ArrayElementCVElem CVElem representing elements of an array

Fields in korat.finitization.impl declared as CVElem

protected CVElem[]

StateSpace.structureList

Methods in korat.finitization.impl that return CVElem

static CVElem	CVElem.create(Object o, String fName, FieldDomain fDomain, StateSpace stateSpace)
CVElem	StateSpace.getCVElem(int candidateVectorIndex) Returns ICVElem corresponding to the given index.
protected CVElem	StateSpace.getCVElem(Object obj, String fieldName)
CVElem[]	StateSpace.getStructureList()

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

void	StateSpace.setStructureList(CVElem[] structureList) Feature that will be used by Finitization object to build StateSpace.

Method parameters in korat.finitization.impl with type arguments of type CVElem

private void	Finitization.appendClassDomain(List<CVElem> list, ClassDomain cd)
private void	Finitization.appendFields(List<CVElem> fieldsList, Object obj, Map<String,IFieldDomain> fieldsMap)