korat.finitization.impl
Class FloatSet

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

All Implemented Interfaces:

IFieldDomain, IFloatSet, IPrimitiveTypeSet

public class FloatSet
extends PrimitiveTypeSet
implements IFloatSet

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

FloatSet(float value)

FloatSet(float min, float max)

FloatSet(float min, float diff, float max)

Method Summary

void	addFloat(float f)
void	addRange(float min, float diff, float max)
float	getFloat(int index)
float[]	getFloats()
void	removeFloat(float f)

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

FloatSet

FloatSet(float min,
         float diff,
         float max)

FloatSet

FloatSet(float min,
         float max)

FloatSet

FloatSet(float value)

Method Detail

addFloat

public void addFloat(float f)

Specified by:

addFloat in interface IFloatSet

addRange

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

Specified by:

addRange in interface IFloatSet

removeFloat

public void removeFloat(float f)

Specified by:

removeFloat in interface IFloatSet

getFloat

public float getFloat(int index)

getFloats

public float[] getFloats()