org.semanticweb.HermiT.tableau

Class TupleTable

java.lang.Object

org.semanticweb.HermiT.tableau.TupleTable

All Implemented Interfaces:

Serializable

public final class TupleTable
extends Object
implements Serializable

The actual implementation of the tuple tables used in the ExtensionTable class.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TupleTable(int arity)

Method Summary

Modifier and Type	Method and Description
int	addTuple(Object[] tupleBuffer)
void	clear() Clear.
int	getFirstFreeTupleIndex()
Object	getTupleObject(int tupleIndex, int objectIndex)
void	nullifyTuple(int tupleIndex)
void	retrieveTuple(Object[] tupleBuffer, int tupleIndex)
void	setTupleObject(int tupleIndex, int objectIndex, Object object)
int	sizeInMemory()
void	truncate(int newFirstFreeTupleIndex)
boolean	tupleEquals(Object[] tupleBuffer, int[] positionIndexes, int tupleIndex, int compareLength)
boolean	tupleEquals(Object[] tupleBuffer, int tupleIndex, int compareLength)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TupleTable

public TupleTable(int arity)

Parameters:

arity - arity

Method Detail

sizeInMemory

public int sizeInMemory()

Returns:

size

getFirstFreeTupleIndex

public int getFirstFreeTupleIndex()

Returns:

free tuple index

addTuple

public int addTuple(Object[] tupleBuffer)

Parameters:

tupleBuffer - tupleBuffer

Returns:

index of added tuple

tupleEquals

public boolean tupleEquals(Object[] tupleBuffer,
                           int tupleIndex,
                           int compareLength)

Parameters:

tupleBuffer - tupleBuffer

tupleIndex - tupleIndex

compareLength - compareLength

Returns:

true if equal

tupleEquals

public boolean tupleEquals(Object[] tupleBuffer,
                           int[] positionIndexes,
                           int tupleIndex,
                           int compareLength)

Parameters:

tupleBuffer - tupleBuffer

positionIndexes - positionIndexes

tupleIndex - tupleIndex

compareLength - compareLength

Returns:

true if equals

retrieveTuple

public void retrieveTuple(Object[] tupleBuffer,
                          int tupleIndex)

Parameters:

tupleBuffer - tupleBuffer

tupleIndex - tupleIndex

getTupleObject

public Object getTupleObject(int tupleIndex,
                             int objectIndex)

Parameters:

tupleIndex - tupleIndex

objectIndex - objectIndex

Returns:

object

setTupleObject

public void setTupleObject(int tupleIndex,
                           int objectIndex,
                           Object object)

Parameters:

tupleIndex - tupleIndex

objectIndex - objectIndex

object - object

truncate

public void truncate(int newFirstFreeTupleIndex)

Parameters:

newFirstFreeTupleIndex - newFirstFreeTupleIndex

nullifyTuple

public void nullifyTuple(int tupleIndex)

Parameters:

tupleIndex - tupleIndex

clear

public void clear()

Clear.