org.semanticweb.HermiT.tableau
Class DescriptionGraphManager.OccurrenceManager

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

protected static class DescriptionGraphManager.OccurrenceManager
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
static int GRAPH_INDEX
           
static int LIST_NODE_PAGE_SIZE
           
static int LIST_NODE_SIZE
           
protected  int m_firstFreeListNode
           
protected  int[][] m_nodePages
           
protected  int m_numberOfPages
           
static int NEXT_NODE
           
static int POSITION_IN_TUPLE
           
static int TUPLE_INDEX
           
 
Constructor Summary
DescriptionGraphManager.OccurrenceManager()
           
 
Method Summary
 void clear()
           
 void deleteListNode(int listNode)
           
 int getListNodeComponent(int listNode, int component)
           
 void initializeListNode(int listNode, int graphIndex, int tupleIndex, int positionInTuple, int nextListNode)
           
 int newListNode()
           
 void setListNodeComponent(int listNode, int component, int value)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

GRAPH_INDEX

public static final int GRAPH_INDEX
See Also:
Constant Field Values

TUPLE_INDEX

public static final int TUPLE_INDEX
See Also:
Constant Field Values

POSITION_IN_TUPLE

public static final int POSITION_IN_TUPLE
See Also:
Constant Field Values

NEXT_NODE

public static final int NEXT_NODE
See Also:
Constant Field Values

LIST_NODE_SIZE

public static final int LIST_NODE_SIZE
See Also:
Constant Field Values

LIST_NODE_PAGE_SIZE

public static final int LIST_NODE_PAGE_SIZE
See Also:
Constant Field Values

m_nodePages

protected int[][] m_nodePages

m_firstFreeListNode

protected int m_firstFreeListNode

m_numberOfPages

protected int m_numberOfPages
Constructor Detail

DescriptionGraphManager.OccurrenceManager

public DescriptionGraphManager.OccurrenceManager()
Method Detail

clear

public void clear()

getListNodeComponent

public int getListNodeComponent(int listNode,
                                int component)

setListNodeComponent

public void setListNodeComponent(int listNode,
                                 int component,
                                 int value)

initializeListNode

public void initializeListNode(int listNode,
                               int graphIndex,
                               int tupleIndex,
                               int positionInTuple,
                               int nextListNode)

newListNode

public int newListNode()

deleteListNode

public void deleteListNode(int listNode)