korat.finitization.impl
Class ByteSet

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

All Implemented Interfaces:

IByteSet, IFieldDomain, IPrimitiveTypeSet

public class ByteSet
extends PrimitiveTypeSet
implements IByteSet

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

ByteSet(byte value)

ByteSet(byte min, byte max)

ByteSet(byte min, byte diff, byte max)

Method Summary

void	addByte(byte b)
void	addRange(byte min, byte diff, byte max)
byte	getByte(int index)
byte[]	getBytes()
void	removeByte(byte b)

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

ByteSet

ByteSet(byte min,
        byte diff,
        byte max)

ByteSet

ByteSet(byte min,
        byte max)

ByteSet

ByteSet(byte value)

Method Detail

addByte

public void addByte(byte b)

Specified by:

addByte in interface IByteSet

addRange

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

Specified by:

addRange in interface IByteSet

removeByte

public void removeByte(byte b)

Specified by:

removeByte in interface IByteSet

getByte

public byte getByte(int index)

getBytes

public byte[] getBytes()