Uses of Interface
korat.finitization.ILongSet

Packages that use ILongSet

korat.finitization
korat.finitization.impl

Uses of ILongSet in korat.finitization

Methods in korat.finitization that return ILongSet

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

Uses of ILongSet in korat.finitization.impl

Classes in korat.finitization.impl that implement ILongSet

class

LongSet

Methods in korat.finitization.impl that return ILongSet

ILongSet	Finitization.createLongSet(long singleValue)
ILongSet	Finitization.createLongSet(long min, long max)
ILongSet	Finitization.createLongSet(long min, long diff, long max)