org.semanticweb.HermiT.tableau
Class TupleTable.Page

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

protected static final class TupleTable.Page
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
 int m_arity
           
 java.lang.Object[] m_objects
           
 
Constructor Summary
TupleTable.Page(int arity)
           
 
Method Summary
 void nullifyTuple(int tupleStartIndex)
           
 void retrieveTuple(int tupleStartIndex, java.lang.Object[] tupleBuffer)
           
 int sizeInMemory()
           
 void storeTuple(int tupleStartIndex, java.lang.Object[] tupleBuffer)
           
 boolean tupleEquals(java.lang.Object[] tupleBuffer, int[] positionIndexes, int tupleStartIndex, int compareLength)
           
 boolean tupleEquals(java.lang.Object[] tupleBuffer, int tupleStartIndex, int compareLength)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_arity

public final int m_arity

m_objects

public java.lang.Object[] m_objects
Constructor Detail

TupleTable.Page

public TupleTable.Page(int arity)
Method Detail

sizeInMemory

public int sizeInMemory()

storeTuple

public void storeTuple(int tupleStartIndex,
                       java.lang.Object[] tupleBuffer)

retrieveTuple

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

nullifyTuple

public void nullifyTuple(int tupleStartIndex)

tupleEquals

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

tupleEquals

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