Uses of Interface
korat.finitization.IByteSet

Packages that use IByteSet

korat.finitization
korat.finitization.impl

Uses of IByteSet in korat.finitization

Methods in korat.finitization that return IByteSet

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

Uses of IByteSet in korat.finitization.impl

Classes in korat.finitization.impl that implement IByteSet

class

ByteSet

Methods in korat.finitization.impl that return IByteSet

IByteSet	Finitization.createByteSet(byte singleValue)
IByteSet	Finitization.createByteSet(byte min, byte max)
IByteSet	Finitization.createByteSet(byte min, byte diff, byte max)