org.semanticweb.HermiT.tableau
Class TupleTableFullIndex

java.lang.Object
  extended by 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

Nested Class Summary
protected static class TupleTableFullIndex.EntryManager
           
 
Field Summary
protected static int BUCKET_OFFSET
           
protected static int ENTRY_HASH_CODE
           
protected static int ENTRY_NEXT
           
protected static int ENTRY_PAGE_SIZE
           
protected static int ENTRY_SIZE
           
protected static int ENTRY_TUPLE_INDEX
           
protected static float LOAD_FACTOR
           
protected  int[] m_buckets
           
protected  TupleTableFullIndex.EntryManager m_entryManager
           
protected  int m_indexedArity
           
protected  int m_numberOfTuples
           
protected  int m_resizeThreshold
           
protected  TupleTable m_tupleTable
           
 
Constructor Summary
TupleTableFullIndex(TupleTable tupleTable, int indexedArity)
           
 
Method Summary
 int addTuple(java.lang.Object[] tuple, int tentativeTupleIndex)
           
 void clear()
           
protected static int getBucketIndex(int hashCode, int bucketsLength)
           
protected  int getTupleHashCode(java.lang.Object[] tuple)
           
protected  int getTupleHashCode(java.lang.Object[] tupleBuffer, int[] positionIndexes)
           
 int getTupleIndex(java.lang.Object[] tuple)
           
 int getTupleIndex(java.lang.Object[] tupleBuffer, int[] positionIndexes)
           
 boolean removeTuple(int tupleIndex)
           
protected  void resizeBuckets()
           
 int sizeInMemory()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

TupleTableFullIndex

public TupleTableFullIndex(TupleTable tupleTable,
                           int indexedArity)
Method Detail

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)