Uses of Interface
korat.finitization.IShortSet

Packages that use IShortSet

korat.finitization
korat.finitization.impl

Uses of IShortSet in korat.finitization

Methods in korat.finitization that return IShortSet

IShortSet	IFinitization.createShortSet(short singleValue) Creates IShortSet with the single value that is given as the method parameter.
IShortSet	IFinitization.createShortSet(short min, short max) Here the step (differecte) between two consecutive values in the set defaults to 1.
IShortSet	IFinitization.createShortSet(short min, short diff, short max)

Uses of IShortSet in korat.finitization.impl

Classes in korat.finitization.impl that implement IShortSet

class

ShortSet

Methods in korat.finitization.impl that return IShortSet

IShortSet	Finitization.createShortSet(short singleValue)
IShortSet	Finitization.createShortSet(short min, short max)
IShortSet	Finitization.createShortSet(short min, short diff, short max)