org.semanticweb.HermiT.tableau
Class TupleTable

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.TupleTable
All Implemented Interfaces:
java.io.Serializable

public final class TupleTable
extends java.lang.Object
implements java.io.Serializable

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

See Also:
Serialized Form

Nested Class Summary
protected static class TupleTable.Page
           
 
Field Summary
protected  int m_arity
           
protected  int m_firstFreeTupleIndex
           
protected  int m_numberOfPages
           
protected  TupleTable.Page[] m_pages
           
protected  int m_tupleCapacity
           
protected static int PAGE_SIZE
           
 
Constructor Summary
TupleTable(int arity)
           
 
Method Summary
 int addTuple(java.lang.Object[] tupleBuffer)
           
 void clear()
           
 int getFirstFreeTupleIndex()
           
 java.lang.Object getTupleObject(int tupleIndex, int objectIndex)
           
 void nullifyTuple(int tupleIndex)
           
 void retrieveTuple(java.lang.Object[] tupleBuffer, int tupleIndex)
           
 void setTupleObject(int tupleIndex, int objectIndex, java.lang.Object object)
           
 int sizeInMemory()
           
 void truncate(int newFirstFreeTupleIndex)
           
 boolean tupleEquals(java.lang.Object[] tupleBuffer, int[] positionIndexes, int tupleIndex, int compareLength)
           
 boolean tupleEquals(java.lang.Object[] tupleBuffer, int tupleIndex, int compareLength)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

PAGE_SIZE

protected static final int PAGE_SIZE
See Also:
Constant Field Values

m_arity

protected final int m_arity

m_pages

protected TupleTable.Page[] m_pages

m_numberOfPages

protected int m_numberOfPages

m_tupleCapacity

protected int m_tupleCapacity

m_firstFreeTupleIndex

protected int m_firstFreeTupleIndex
Constructor Detail

TupleTable

public TupleTable(int arity)
Method Detail

sizeInMemory

public int sizeInMemory()

getFirstFreeTupleIndex

public int getFirstFreeTupleIndex()

addTuple

public int addTuple(java.lang.Object[] tupleBuffer)

tupleEquals

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

tupleEquals

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

retrieveTuple

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

getTupleObject

public java.lang.Object getTupleObject(int tupleIndex,
                                       int objectIndex)

setTupleObject

public void setTupleObject(int tupleIndex,
                           int objectIndex,
                           java.lang.Object object)

truncate

public void truncate(int newFirstFreeTupleIndex)

nullifyTuple

public void nullifyTuple(int tupleIndex)

clear

public void clear()