korat.finitization
Interface IFloatSet

All Superinterfaces:

IFieldDomain, IPrimitiveTypeSet

All Known Implementing Classes:

FloatSet

public interface IFloatSet
extends IPrimitiveTypeSet

Interface that represents field domain of the primitive type float.

Author:

korat.team

Method Summary

void	addFloat(float f)
void	addRange(float min, float diff, float max)
void	removeFloat(float f)

Methods inherited from interface korat.finitization.IFieldDomain

getClassOfField, getNumberOfElements, getNumOfClassDomains, isArrayType, isPrimitiveType

Method Detail

addFloat

void addFloat(float f)

addRange

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

removeFloat

void removeFloat(float f)