Uses of Class
korat.finitization.impl.ClassDomain

Packages that use ClassDomain

korat.finitization.impl

Uses of ClassDomain in korat.finitization.impl

Subclasses of ClassDomain in korat.finitization.impl

class

NullClassDomain

Fields in korat.finitization.impl declared as ClassDomain

private ClassDomain	ArraySet.arrays
(package private) ClassDomain	ObjSet.CacheElement.oset
private ClassDomain	Finitization.rootClassDomain

Fields in korat.finitization.impl with type parameters of type ClassDomain

protected List<ClassDomain>

ObjSet.domains

Methods in korat.finitization.impl that return ClassDomain

ClassDomain	Finitization.getClassDomain(Class cls)
ClassDomain	ArraySet.getClassDomain(int classDomainIndex)
ClassDomain	BooleanSet.getClassDomain(int classDomainIndex)
abstract ClassDomain	FieldDomain.getClassDomain(int classDomainIndex) Returns the class domain for the given index primitive types should return null.
ClassDomain	ObjSet.getClassDomain(int classDomainIndex)
ClassDomain	PrimitiveTypeSet.getClassDomain(int classDomainIndex)
ClassDomain	ArraySet.getClassDomainFor(int objectIndex)
ClassDomain	BooleanSet.getClassDomainFor(int objectIndex)
abstract ClassDomain	FieldDomain.getClassDomainFor(int objectIndex) Finds the class domain for given object index by calling getClassDomainFor(objectIndex) and returns the following class domain.
ClassDomain	ObjSet.getClassDomainFor(int objectIndex)
ClassDomain	PrimitiveTypeSet.getClassDomainFor(int objectIndex)
ClassDomain	ArraySet.getNextClassDomainFor(int objectIndex)
ClassDomain	BooleanSet.getNextClassDomainFor(int objectIndex)
abstract ClassDomain	FieldDomain.getNextClassDomainFor(int objectIndex) Finds the class domain for given object index by calling getClassDomainFor(objectIndex) and returns the following class domain.
ClassDomain	ObjSet.getNextClassDomainFor(int objectIndex)
ClassDomain	PrimitiveTypeSet.getNextClassDomainFor(int objectIndex)
ClassDomain	ObjSet.removeClassDomain(int index)

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

private void

Finitization.appendClassDomain(List<CVElem> list, ClassDomain cd)

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

ArraySet(ClassDomain arrays, IntSet lengthsSet, FieldDomain valuesSet)

ObjSet.CacheElement(Object obj, ClassDomain cd, int objIndexWithinObjSet, int indexOfFirstObjectInNextClassDomain)