korat.finitization.impl
Class DoubleSet

java.lang.Object
  korat.finitization.impl.FieldDomain
      korat.finitization.impl.PrimitiveTypeSet
          korat.finitization.impl.DoubleSet

All Implemented Interfaces:

IDoubleSet, IFieldDomain, IPrimitiveTypeSet

public class DoubleSet
extends PrimitiveTypeSet
implements IDoubleSet

Author:

Aleksandar Milicevic

Field Summary

Fields inherited from class korat.finitization.impl.PrimitiveTypeSet

primitives

Fields inherited from class korat.finitization.impl.FieldDomain

classOfField

Constructor Summary

DoubleSet(double value)

DoubleSet(double min, double max)

DoubleSet(double min, double diff, double max)

Method Summary

void	addDouble(double d)
void	addRange(double min, double diff, double max)
double	getDouble(int index)
double[]	getDoubles()
void	removeDouble(double d)

Methods inherited from class korat.finitization.impl.PrimitiveTypeSet

getClassDomain, getClassDomainFor, getClassDomainIndexFor, getIndexOfFirstObjectInNextClassDomain, getNextClassDomainFor, getNumberOfElements, getNumOfClassDomains, getSizeOfClassDomain, isArrayType, isPrimitiveType

Methods inherited from class korat.finitization.impl.FieldDomain

checkClassDomainIndex, checkObjectIndex, getClassOfField

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface korat.finitization.IFieldDomain

getClassOfField, getNumberOfElements, getNumOfClassDomains, isArrayType, isPrimitiveType

Constructor Detail

DoubleSet

DoubleSet(double min,
          double diff,
          double max)

DoubleSet

DoubleSet(double min,
          double max)

DoubleSet

DoubleSet(double value)

Method Detail

addDouble

public void addDouble(double d)

Specified by:

addDouble in interface IDoubleSet

addRange

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

Specified by:

addRange in interface IDoubleSet

removeDouble

public void removeDouble(double d)

Specified by:

removeDouble in interface IDoubleSet

getDouble

public double getDouble(int index)

getDoubles

public double[] getDoubles()