korat.finitization
Interface ILongSet

All Superinterfaces:

IFieldDomain, IPrimitiveTypeSet

All Known Implementing Classes:

LongSet

public interface ILongSet
extends IPrimitiveTypeSet

Interface that represents field domain of the primitive type long.

Author:

korat.team

Method Summary

void	addLong(long l)
void	addRange(long min, long diff, long max)
void	removeLong(long l)

Methods inherited from interface korat.finitization.IFieldDomain

getClassOfField, getNumberOfElements, getNumOfClassDomains, isArrayType, isPrimitiveType

Method Detail

addLong

void addLong(long l)

addRange

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

removeLong

void removeLong(long l)