korat.finitization
Interface IByteSet

All Superinterfaces:

IFieldDomain, IPrimitiveTypeSet

All Known Implementing Classes:

ByteSet

public interface IByteSet
extends IPrimitiveTypeSet

IByteSet represents field domain for byte fields

Author:

korat.team

Method Summary

void	addByte(byte b)
void	addRange(byte min, byte diff, byte max)
void	removeByte(byte b)

Methods inherited from interface korat.finitization.IFieldDomain

getClassOfField, getNumberOfElements, getNumOfClassDomains, isArrayType, isPrimitiveType

Method Detail

addByte

void addByte(byte b)

addRange

void addRange(byte min,
              byte diff,
              byte max)

removeByte

void removeByte(byte b)