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