org.semanticweb.HermiT.tableau
Class TupleIndex

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

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

See Also:
Serialized Form

Nested Class Summary
protected static class TupleIndex.TrieNodeManager
           
static class TupleIndex.TupleIndexRetrieval
           
 
Field Summary
protected static int BUCKET_OFFSET
           
protected static float LOAD_FACTOR
           
protected  int[] m_buckets
           
protected  int m_bucketsLengthMinusOne
           
protected  int[] m_indexingSequence
           
protected  int m_numberOfNodes
           
protected  int m_resizeThreshold
           
protected  int m_root
           
protected  TupleIndex.TrieNodeManager m_trieNodeManager
           
protected static int TRIE_NODE_FIRST_CHILD
           
protected static int TRIE_NODE_NEXT_ENTRY
           
protected static int TRIE_NODE_NEXT_SIBLING
           
protected static int TRIE_NODE_PAGE_SIZE
           
protected static int TRIE_NODE_PARENT
           
protected static int TRIE_NODE_PREVIOUS_SIBLING
           
protected static int TRIE_NODE_SIZE
           
protected static int TRIE_NODE_TUPLE_INDEX
           
 
Constructor Summary
TupleIndex(int[] indexingSequence)
           
 
Method Summary
 int addTuple(java.lang.Object[] tuple, int potentialTupleIndex)
           
 void clear()
           
protected  int getChildNode(int parent, java.lang.Object object)
           
protected  int getChildNodeAddIfNecessary(int parent, java.lang.Object object)
           
protected static int getIndexFor(int hashCode, int tableLengthMinusOne)
           
 int[] getIndexingSequence()
           
 int getTupleIndex(java.lang.Object[] tuple)
           
protected  void removeTrieNode(int trieNode)
           
 int removeTuple(java.lang.Object[] tuple)
           
protected  void resizeBuckets()
           
 int sizeInMemoy()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

LOAD_FACTOR

protected static final float LOAD_FACTOR
See Also:
Constant Field Values

BUCKET_OFFSET

protected static final int BUCKET_OFFSET
See Also:
Constant Field Values

m_indexingSequence

protected final int[] m_indexingSequence

m_trieNodeManager

protected final TupleIndex.TrieNodeManager m_trieNodeManager

m_root

protected int m_root

m_buckets

protected int[] m_buckets

m_bucketsLengthMinusOne

protected int m_bucketsLengthMinusOne

m_resizeThreshold

protected int m_resizeThreshold

m_numberOfNodes

protected int m_numberOfNodes

TRIE_NODE_PARENT

protected static final int TRIE_NODE_PARENT
See Also:
Constant Field Values

TRIE_NODE_FIRST_CHILD

protected static final int TRIE_NODE_FIRST_CHILD
See Also:
Constant Field Values

TRIE_NODE_TUPLE_INDEX

protected static final int TRIE_NODE_TUPLE_INDEX
See Also:
Constant Field Values

TRIE_NODE_PREVIOUS_SIBLING

protected static final int TRIE_NODE_PREVIOUS_SIBLING
See Also:
Constant Field Values

TRIE_NODE_NEXT_SIBLING

protected static final int TRIE_NODE_NEXT_SIBLING
See Also:
Constant Field Values

TRIE_NODE_NEXT_ENTRY

protected static final int TRIE_NODE_NEXT_ENTRY
See Also:
Constant Field Values

TRIE_NODE_SIZE

protected static final int TRIE_NODE_SIZE
See Also:
Constant Field Values

TRIE_NODE_PAGE_SIZE

protected static final int TRIE_NODE_PAGE_SIZE
See Also:
Constant Field Values
Constructor Detail

TupleIndex

public TupleIndex(int[] indexingSequence)
Method Detail

sizeInMemoy

public int sizeInMemoy()

getIndexingSequence

public int[] getIndexingSequence()

clear

public void clear()

addTuple

public int addTuple(java.lang.Object[] tuple,
                    int potentialTupleIndex)

getTupleIndex

public int getTupleIndex(java.lang.Object[] tuple)

removeTuple

public int removeTuple(java.lang.Object[] tuple)

removeTrieNode

protected void removeTrieNode(int trieNode)

getChildNode

protected int getChildNode(int parent,
                           java.lang.Object object)

getChildNodeAddIfNecessary

protected int getChildNodeAddIfNecessary(int parent,
                                         java.lang.Object object)

resizeBuckets

protected void resizeBuckets()

getIndexFor

protected static int getIndexFor(int hashCode,
                                 int tableLengthMinusOne)