Uses of Interface
korat.finitization.IObjSet

Packages that use IObjSet

korat.finitization
korat.finitization.impl

Uses of IObjSet in korat.finitization

Methods in korat.finitization that return IObjSet

IObjSet	IFinitization.createObjSet(Class fieldBaseClass) Helper.
IObjSet	IFinitization.createObjSet(Class fieldBaseClass, boolean includeNull) Creates IObjSet according to the given parameters.
IObjSet	IFinitization.createObjSet(Class fieldBaseClass, int numOfInstances) Helper.
IObjSet	IFinitization.createObjSet(Class fieldBaseClass, int numOfInstances, boolean includeNull) Creates IObjSet and automatically creates given number of instances of the same class Equivalent to IClassDomain c = f.createClassDomain(fieldBaseClass, numOfInstances); IObjSet toReturn = f.createObjSet(fieldBaseClass, includeNull); toReturn.addClassDomain(c); return toReturn;
IObjSet	IFinitization.createObjSet(String fieldBaseClassName) Helper.
IObjSet	IFinitization.createObjSet(String fieldBaseClassName, boolean includeNull) Helper.
IObjSet	IFinitization.createObjSet(String fieldBaseClassName, int numOfInstances) Helper.
IObjSet	IFinitization.createObjSet(String fieldBaseClassName, int numOfInstances, boolean includeNull) Helper.

Methods in korat.finitization with parameters of type IObjSet

void	IFinitization.addAll(Class cls, String fieldName, IObjSet objSet) Adds all objects from the given objSet to the given field which has to be of type Collection.
void	IFinitization.addAll(String fullFieldName, IObjSet objSet) Adds all objects from the given objSet to the given field which has to be of type Collection.
void	IFinitization.addAll(String className, String fieldName, IObjSet objSet) Adds all objects from the given objSet to the given field which has to be of type Collection.

Uses of IObjSet in korat.finitization.impl

Classes in korat.finitization.impl that implement IObjSet

class

ObjSet

Methods in korat.finitization.impl that return IObjSet

IObjSet	Finitization.createObjSet(Class fieldBaseClass)
IObjSet	Finitization.createObjSet(Class fieldBaseClass, boolean includeNull)
IObjSet	Finitization.createObjSet(Class fieldBaseClass, int numOfInstances)
IObjSet	Finitization.createObjSet(Class fieldBaseClass, int numOfInstances, boolean includeNull)
IObjSet	Finitization.createObjSet(String fieldBaseClassName)
IObjSet	Finitization.createObjSet(String fieldBaseClassName, boolean includeNull)
IObjSet	Finitization.createObjSet(String fieldBaseClassName, int numOfInstances)
IObjSet	Finitization.createObjSet(String fieldBaseClassName, int numOfInstances, boolean includeNull)

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

void	Finitization.addAll(Class cls, String fieldName, IObjSet objSet)
void	Finitization.addAll(String fullFieldName, IObjSet objSet)
void	Finitization.addAll(String className, String fieldName, IObjSet objSet)