korat.finitization
Interface IDoubleSet

All Superinterfaces:

IFieldDomain, IPrimitiveTypeSet

All Known Implementing Classes:

DoubleSet

public interface IDoubleSet
extends IPrimitiveTypeSet

IDoubleSet represents field domain for double fields

Author:

korat.team

Method Summary

void	addDouble(double d)
void	addRange(double min, double diff, double max)
void	removeDouble(double d)

Methods inherited from interface korat.finitization.IFieldDomain

getClassOfField, getNumberOfElements, getNumOfClassDomains, isArrayType, isPrimitiveType

Method Detail

addDouble

void addDouble(double d)

addRange

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

removeDouble

void removeDouble(double d)