korat.finitization.impl
Class ShortSet

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

All Implemented Interfaces:

IFieldDomain, IPrimitiveTypeSet, IShortSet

public class ShortSet
extends PrimitiveTypeSet
implements IShortSet

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

ShortSet(short value)

ShortSet(short min, short max)

ShortSet(short min, short diff, short max)

Method Summary

void	addRange(short min, short diff, short max)
void	addShort(short s)
short	getShort(int index)
short[]	getShorts()
void	removeShort(short s)

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

ShortSet

ShortSet(short min,
         short diff,
         short max)

ShortSet

ShortSet(short min,
         short max)

ShortSet

ShortSet(short value)

Method Detail

addShort

public void addShort(short s)

Specified by:

addShort in interface IShortSet

addRange

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

Specified by:

addRange in interface IShortSet

removeShort

public void removeShort(short s)

Specified by:

removeShort in interface IShortSet

getShort

public short getShort(int index)

getShorts

public short[] getShorts()