Uses of Interface
korat.finitization.IClassDomain

Packages that use IClassDomain

korat.finitization
korat.finitization.impl

Uses of IClassDomain in korat.finitization

Methods in korat.finitization that return IClassDomain

IClassDomain	IFinitization.createClassDomain(Class cls) Creates new empty class domain Equivalent to createClassDomain(cls, 0);
IClassDomain	IFinitization.createClassDomain(Class cls, int numOfInstances) Creates new ClassDomain if the ClassDomain with the given Class hasn't already been created or returns existing ClassDomain, no matter if it's size is different from the given parameter numOfInstances
IClassDomain	IFinitization.createClassDomain(String className) Equivalent to createClassDomain(className)
IClassDomain	IFinitization.createClassDomain(String className, int numOfInstances) Helper.
IClassDomain	IFinitization.getClassDomain(Class cls) Searches for the ObjSet of the given Class object.
IClassDomain	IFinitization.getClassDomain(String name) Helper.
IClassDomain	IObjSet.removeClassDomain(int index) Removes class domain from IObjSet

Methods in korat.finitization that return types with arguments of type IClassDomain

List<IClassDomain>

IObjSet.getClassDomains() Returns the list of all class domains

Methods in korat.finitization with parameters of type IClassDomain

boolean	IObjSet.addClassDomain(IClassDomain domain) Adds new class domain.
IFieldDomain	IFinitization.createObjSet(IClassDomain classDomain) Helper.
IFieldDomain	IFinitization.createObjSet(IClassDomain classDomain, boolean includeNull) Similar to createObjSet(IClassDomain classDomain) but also can include null value
boolean	IObjSet.removeClassDomain(IClassDomain domain) Removes class domain from this IObjSet

Uses of IClassDomain in korat.finitization.impl

Classes in korat.finitization.impl that implement IClassDomain

class	ClassDomain
class	NullClassDomain

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

private Map<Class<?>,IClassDomain>	Finitization.classDomains
private Map<IClassDomain,Map<String,IFieldDomain>>	Finitization.clsDomainsMap

Methods in korat.finitization.impl that return IClassDomain

IClassDomain	Finitization.createClassDomain(Class cls)
IClassDomain	Finitization.createClassDomain(Class cls, int numOfInstances)
IClassDomain	Finitization.createClassDomain(String className)
IClassDomain	Finitization.createClassDomain(String className, int numOfInstances)
IClassDomain	Finitization.getClassDomain(String name)

Methods in korat.finitization.impl that return types with arguments of type IClassDomain

List<IClassDomain>

ObjSet.getClassDomains()

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

boolean	ObjSet.addClassDomain(IClassDomain domain)
IFieldDomain	Finitization.createObjSet(IClassDomain classDomain)
IFieldDomain	Finitization.createObjSet(IClassDomain classDomain, boolean includeNull)
private Map<String,IFieldDomain>	Finitization.putClsDomainsMap(IClassDomain cd, Map<String,IFieldDomain> mfd)
boolean	ObjSet.removeClassDomain(IClassDomain domain)