org.semanticweb.HermiT.tableau
Class TupleTable
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
TupleTable
public TupleTable(int arity)
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()