korat.finitization.impl
Class IntSet

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

All Implemented Interfaces:

IFieldDomain, IIntSet, IPrimitiveTypeSet

public class IntSet
extends PrimitiveTypeSet
implements IIntSet

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

IntSet(int value)

IntSet(int min, int max)

IntSet(int min, int diff, int max)

Method Summary

void	addInt(int i)
void	addRange(int min, int diff, int max)
int	getInt(int index)
int[]	getInts()
int	getMax()
int	getMin()
void	removeInt(int i)

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

IntSet

IntSet(int min,
       int diff,
       int max)

IntSet

IntSet(int min,
       int max)

IntSet

IntSet(int value)

Method Detail

addInt

public void addInt(int i)

Specified by:

addInt in interface IIntSet

removeInt

public void removeInt(int i)

Specified by:

removeInt in interface IIntSet

addRange

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

Specified by:

addRange in interface IIntSet

getInt

public int getInt(int index)

getInts

public int[] getInts()

getMin

public int getMin()

getMax

public int getMax()