org.semanticweb.HermiT.tableau
Class DescriptionGraphManager
java.lang.Object
org.semanticweb.HermiT.tableau.DescriptionGraphManager
- All Implemented Interfaces:
- java.io.Serializable
public final class DescriptionGraphManager
- 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 |
m_tableau
protected final Tableau m_tableau
m_interruptFlag
protected final InterruptFlag m_interruptFlag
m_tableauMonitor
protected final TableauMonitor m_tableauMonitor
m_extensionManager
protected final ExtensionManager m_extensionManager
m_mergingManager
protected final MergingManager m_mergingManager
m_occurrenceManager
protected final DescriptionGraphManager.OccurrenceManager m_occurrenceManager
m_descriptionGraphIndices
protected final java.util.Map<DescriptionGraph,java.lang.Integer> m_descriptionGraphIndices
m_descriptionGraphsByIndex
protected final DescriptionGraph[] m_descriptionGraphsByIndex
m_extensionTablesByIndex
protected final ExtensionTable[] m_extensionTablesByIndex
m_auxiliaryTuples1
protected final java.lang.Object[][] m_auxiliaryTuples1
m_auxiliaryTuples2
protected final java.lang.Object[][] m_auxiliaryTuples2
m_newNodes
protected final java.util.List<Node> m_newNodes
m_binaryUnionDependencySet
protected final UnionDependencySet m_binaryUnionDependencySet
m_deltaOldRetrievals
protected final ExtensionTable.Retrieval[] m_deltaOldRetrievals
DescriptionGraphManager
public DescriptionGraphManager(Tableau tableau)
clear
public void clear()
getDescriptionGraphTuple
public java.lang.Object[] getDescriptionGraphTuple(int graphIndex,
int tupleIndex)
checkGraphConstraints
public boolean checkGraphConstraints()
isSatisfied
public boolean isSatisfied(ExistsDescriptionGraph existsDescriptionGraph,
Node node)
mergeGraphs
public void mergeGraphs(Node mergeFrom,
Node mergeInto,
UnionDependencySet binaryUnionDependencySet)
descriptionGraphTupleAdded
public void descriptionGraphTupleAdded(int tupleIndex,
java.lang.Object[] tuple)
descriptionGraphTupleRemoved
public void descriptionGraphTupleRemoved(int tupleIndex,
java.lang.Object[] tuple)
expand
public void expand(ExistsDescriptionGraph existsDescriptionGraph,
Node forNode)
intializeNode
public void intializeNode(Node node)
destroyNode
public void destroyNode(Node node)