korat.finitization
Interface IIntSet

All Superinterfaces:

IFieldDomain, IPrimitiveTypeSet

All Known Implementing Classes:

IntSet

public interface IIntSet
extends IPrimitiveTypeSet

Interface that represents field domain of the primitive type int.

Author:

korat.team

Method Summary

void	addInt(int i)
void	addRange(int min, int diff, int max)
void	removeInt(int i)

Methods inherited from interface korat.finitization.IFieldDomain

getClassOfField, getNumberOfElements, getNumOfClassDomains, isArrayType, isPrimitiveType

Method Detail

addInt

void addInt(int i)

addRange

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

removeInt

void removeInt(int i)