org.semanticweb.HermiT.tableau
Class TupleIndex.TrieNodeManager

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

protected static final class TupleIndex.TrieNodeManager
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  int m_firstFreeTrieNode
           
protected  int[][] m_indexPages
           
protected  int m_numberOfPages
           
protected  java.lang.Object[][] m_objectPages
           
 
Constructor Summary
TupleIndex.TrieNodeManager()
           
 
Method Summary
 void clear()
           
 void deleteTrieNode(int trieNode)
           
 int getTrieNodeComponent(int trieNode, int component)
           
 java.lang.Object getTrieNodeObject(int trieNode)
           
 void initializeTrieNode(int trieNode, int parent, int firstChild, int previousSibling, int nextSibling, int nextEntry, java.lang.Object object)
           
 int newTrieNode()
           
 void setTrieNodeComponent(int trieNode, int component, int value)
           
 void setTrieNodeObject(int trieNode, java.lang.Object object)
           
 int size()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_indexPages

protected int[][] m_indexPages

m_objectPages

protected java.lang.Object[][] m_objectPages

m_firstFreeTrieNode

protected int m_firstFreeTrieNode

m_numberOfPages

protected int m_numberOfPages
Constructor Detail

TupleIndex.TrieNodeManager

public TupleIndex.TrieNodeManager()
Method Detail

size

public int size()

clear

public void clear()

getTrieNodeComponent

public int getTrieNodeComponent(int trieNode,
                                int component)

setTrieNodeComponent

public void setTrieNodeComponent(int trieNode,
                                 int component,
                                 int value)

getTrieNodeObject

public java.lang.Object getTrieNodeObject(int trieNode)

setTrieNodeObject

public void setTrieNodeObject(int trieNode,
                              java.lang.Object object)

initializeTrieNode

public void initializeTrieNode(int trieNode,
                               int parent,
                               int firstChild,
                               int previousSibling,
                               int nextSibling,
                               int nextEntry,
                               java.lang.Object object)

newTrieNode

public int newTrieNode()

deleteTrieNode

public void deleteTrieNode(int trieNode)