org.semanticweb.HermiT.tableau
Class DescriptionGraphManager.OccurrenceManager
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
DescriptionGraphManager.OccurrenceManager
public DescriptionGraphManager.OccurrenceManager()
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)