Uses of Interface
korat.finitization.IIntSet

Packages that use IIntSet

korat.finitization
korat.finitization.impl

Uses of IIntSet in korat.finitization

Methods in korat.finitization that return IIntSet

IIntSet	IFinitization.createIntSet(int singleValue) Creates IIntSet with the single value that is given as the method parameter.
IIntSet	IFinitization.createIntSet(int min, int max) Creates IIntSet with the given min and max parameters.
IIntSet	IFinitization.createIntSet(int min, int diff, int max) Creates IIntSet according to the given parameters.
IIntSet	IArraySet.getArraySizes() Gets the domain for the size of the array.

Methods in korat.finitization with parameters of type IIntSet

IArraySet	IFinitization.createArraySet(Class clz, IIntSet array$length, IFieldDomain array$values, int count) Creates an instance of the IArraySet.
void	IArraySet.setArraySizes(IIntSet sizes) Sets domain for the size of the array.

Uses of IIntSet in korat.finitization.impl

Classes in korat.finitization.impl that implement IIntSet

class

IntSet

Methods in korat.finitization.impl that return IIntSet

IIntSet	Finitization.createIntSet(int singleValue)
IIntSet	Finitization.createIntSet(int min, int max)
IIntSet	Finitization.createIntSet(int min, int diff, int max)
IIntSet	ArraySet.getArraySizes()

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

IArraySet	Finitization.createArraySet(Class clz, IIntSet array$length, IFieldDomain array$values, int count)
void	ArraySet.setArraySizes(IIntSet sizes)