org.semanticweb.HermiT.tableau
Class TupleTableFullIndex
java.lang.Object
org.semanticweb.HermiT.tableau.TupleTableFullIndex
- All Implemented Interfaces:
- java.io.Serializable
public final class TupleTableFullIndex
- extends java.lang.Object
- implements java.io.Serializable
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BUCKET_OFFSET
protected static final int BUCKET_OFFSET
- See Also:
- Constant Field Values
LOAD_FACTOR
protected static final float LOAD_FACTOR
- See Also:
- Constant Field Values
m_tupleTable
protected final TupleTable m_tupleTable
m_indexedArity
protected final int m_indexedArity
m_entryManager
protected final TupleTableFullIndex.EntryManager m_entryManager
m_buckets
protected int[] m_buckets
m_resizeThreshold
protected int m_resizeThreshold
m_numberOfTuples
protected int m_numberOfTuples
ENTRY_SIZE
protected static final int ENTRY_SIZE
- See Also:
- Constant Field Values
ENTRY_NEXT
protected static final int ENTRY_NEXT
- See Also:
- Constant Field Values
ENTRY_HASH_CODE
protected static final int ENTRY_HASH_CODE
- See Also:
- Constant Field Values
ENTRY_TUPLE_INDEX
protected static final int ENTRY_TUPLE_INDEX
- See Also:
- Constant Field Values
ENTRY_PAGE_SIZE
protected static final int ENTRY_PAGE_SIZE
- See Also:
- Constant Field Values
TupleTableFullIndex
public TupleTableFullIndex(TupleTable tupleTable,
int indexedArity)
sizeInMemory
public int sizeInMemory()
clear
public void clear()
addTuple
public int addTuple(java.lang.Object[] tuple,
int tentativeTupleIndex)
resizeBuckets
protected void resizeBuckets()
getTupleIndex
public int getTupleIndex(java.lang.Object[] tuple)
getTupleIndex
public int getTupleIndex(java.lang.Object[] tupleBuffer,
int[] positionIndexes)
removeTuple
public boolean removeTuple(int tupleIndex)
getTupleHashCode
protected int getTupleHashCode(java.lang.Object[] tuple)
getTupleHashCode
protected int getTupleHashCode(java.lang.Object[] tupleBuffer,
int[] positionIndexes)
getBucketIndex
protected static int getBucketIndex(int hashCode,
int bucketsLength)