org.semanticweb.HermiT.tableau
Class DescriptionGraphManager

java.lang.Object
  extended by 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

Nested Class Summary
protected static class DescriptionGraphManager.OccurrenceManager
           
 
Field Summary
protected  java.lang.Object[][] m_auxiliaryTuples1
           
protected  java.lang.Object[][] m_auxiliaryTuples2
           
protected  UnionDependencySet m_binaryUnionDependencySet
           
protected  ExtensionTable.Retrieval[] m_deltaOldRetrievals
           
protected  java.util.Map<DescriptionGraph,java.lang.Integer> m_descriptionGraphIndices
           
protected  DescriptionGraph[] m_descriptionGraphsByIndex
           
protected  ExtensionManager m_extensionManager
           
protected  ExtensionTable[] m_extensionTablesByIndex
           
protected  InterruptFlag m_interruptFlag
           
protected  MergingManager m_mergingManager
           
protected  java.util.List<Node> m_newNodes
           
protected  DescriptionGraphManager.OccurrenceManager m_occurrenceManager
           
protected  Tableau m_tableau
           
protected  TableauMonitor m_tableauMonitor
           
 
Constructor Summary
DescriptionGraphManager(Tableau tableau)
           
 
Method Summary
 boolean checkGraphConstraints()
           
 void clear()
           
 void descriptionGraphTupleAdded(int tupleIndex, java.lang.Object[] tuple)
           
 void descriptionGraphTupleRemoved(int tupleIndex, java.lang.Object[] tuple)
           
 void destroyNode(Node node)
           
 void expand(ExistsDescriptionGraph existsDescriptionGraph, Node forNode)
           
 java.lang.Object[] getDescriptionGraphTuple(int graphIndex, int tupleIndex)
           
 void intializeNode(Node node)
           
 boolean isSatisfied(ExistsDescriptionGraph existsDescriptionGraph, Node node)
           
 void mergeGraphs(Node mergeFrom, Node mergeInto, UnionDependencySet binaryUnionDependencySet)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

DescriptionGraphManager

public DescriptionGraphManager(Tableau tableau)
Method Detail

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)