korat.finitization
Interface IShortSet

All Superinterfaces:

IFieldDomain, IPrimitiveTypeSet

All Known Implementing Classes:

ShortSet

public interface IShortSet
extends IPrimitiveTypeSet

Interface that represents field domain of the primitive type short.

Author:

korat.team

Method Summary

void	addRange(short min, short diff, short max)
void	addShort(short s)
void	removeShort(short s)

Methods inherited from interface korat.finitization.IFieldDomain

getClassOfField, getNumberOfElements, getNumOfClassDomains, isArrayType, isPrimitiveType

Method Detail

addShort

void addShort(short s)

addRange

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

removeShort

void removeShort(short s)