korat.finitization.impl
Class LongSet

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

All Implemented Interfaces:

IFieldDomain, ILongSet, IPrimitiveTypeSet

public class LongSet
extends PrimitiveTypeSet
implements ILongSet

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

LongSet(long value)

LongSet(long min, long max)

LongSet(long min, long diff, long max)

Method Summary

void	addLong(long l)
void	addRange(long min, long diff, long max)
long	getLong(int index)
long[]	getLongs()
void	removeLong(long l)

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

LongSet

LongSet(long min,
        long diff,
        long max)

LongSet

LongSet(long min,
        long max)

LongSet

LongSet(long value)

Method Detail

addLong

public void addLong(long l)

Specified by:

addLong in interface ILongSet

addRange

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

Specified by:

addRange in interface ILongSet

removeLong

public void removeLong(long l)

Specified by:

removeLong in interface ILongSet

getLong

public long getLong(int index)

getLongs

public long[] getLongs()