org.semanticweb.HermiT.tableau
Class ExtensionManager

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.ExtensionManager
All Implemented Interfaces:
java.io.Serializable

public final class ExtensionManager
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  boolean m_addActive
           
protected  ExtensionTable[] m_allExtensionTablesArray
           
protected  java.lang.Object[] m_binaryAuxiliaryTupleAdd
           
protected  java.lang.Object[] m_binaryAuxiliaryTupleContains
           
protected  ExtensionTable m_binaryExtensionTable
           
protected  PermanentDependencySet m_clashDependencySet
           
protected  DependencySetFactory m_dependencySetFactory
           
protected  java.util.Map<java.lang.Integer,ExtensionTable> m_extensionTablesByArity
           
protected  java.lang.Object[] m_fouraryAuxiliaryTupleAdd
           
protected  java.lang.Object[] m_fouraryAuxiliaryTupleContains
           
protected  Tableau m_tableau
           
protected  TableauMonitor m_tableauMonitor
           
protected  java.lang.Object[] m_ternaryAuxiliaryTupleAdd
           
protected  java.lang.Object[] m_ternaryAuxiliaryTupleContains
           
protected  ExtensionTable m_ternaryExtensionTable
           
 
Constructor Summary
ExtensionManager(Tableau tableau)
           
 
Method Summary
 boolean addAnnotatedEquality(AnnotatedEquality annotatedEquality, Node node0, Node node1, Node node2, DependencySet dependencySet)
           
 boolean addAssertion(DLPredicate dlPredicate, Node node, DependencySet dependencySet, boolean isCore)
           
 boolean addAssertion(DLPredicate dlPredicate, Node node0, Node node1, DependencySet dependencySet, boolean isCore)
           
 boolean addAssertion(DLPredicate dlPredicate, Node node0, Node node1, Node node2, DependencySet dependencySet, boolean isCore)
           
 boolean addConceptAssertion(Concept concept, Node node, DependencySet dependencySet, boolean isCore)
           
 boolean addDataRangeAssertion(DataRange dataRange, Node node, DependencySet dependencySet, boolean isCore)
           
 boolean addRoleAssertion(Role role, Node nodeFrom, Node nodeTo, DependencySet dependencySet, boolean isCore)
           
 boolean addTuple(java.lang.Object[] tuple, DependencySet dependencySet, boolean isCore)
           
 void backtrack()
           
 void branchingPointPushed()
           
 void clear()
           
 void clearClash()
           
 boolean containsAnnotatedEquality(AnnotatedEquality annotatedEquality, Node node0, Node node1, Node node2)
           
 boolean containsAssertion(DLPredicate dlPredicate, Node node)
           
 boolean containsAssertion(DLPredicate dlPredicate, Node node0, Node node1)
           
 boolean containsAssertion(DLPredicate dlPredicate, Node node0, Node node1, Node node2)
           
 boolean containsClash()
           
 boolean containsConceptAssertion(Concept concept, Node node)
           
 boolean containsDataRangeAssertion(DataRange range, Node node)
           
 boolean containsRoleAssertion(Role role, Node nodeFrom, Node nodeTo)
           
 boolean containsTuple(java.lang.Object[] tuple)
           
 DependencySet getAssertionDependencySet(DLPredicate dlPredicate, Node node)
           
 DependencySet getAssertionDependencySet(DLPredicate dlPredicate, Node node0, Node node1)
           
 DependencySet getAssertionDependencySet(DLPredicate dlPredicate, Node node0, Node node1, Node node2)
           
 ExtensionTable getBinaryExtensionTable()
           
 DependencySet getClashDependencySet()
           
 DependencySet getConceptAssertionDependencySet(Concept concept, Node node)
           
 DependencySet getDataRangeAssertionDependencySet(DataRange range, Node node)
           
 ExtensionTable getExtensionTable(int arity)
           
 java.util.Collection<ExtensionTable> getExtensionTables()
           
 DependencySet getRoleAssertionDependencySet(Role role, Node nodeFrom, Node nodeTo)
           
 ExtensionTable getTernaryExtensionTable()
           
 DependencySet getTupleDependencySet(java.lang.Object[] tuple)
           
 boolean isCore(java.lang.Object[] tuple)
           
 boolean propagateDeltaNew()
           
 void setClash(DependencySet clashDependencySet)
           
 
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_tableauMonitor

protected final TableauMonitor m_tableauMonitor

m_dependencySetFactory

protected final DependencySetFactory m_dependencySetFactory

m_extensionTablesByArity

protected final java.util.Map<java.lang.Integer,ExtensionTable> m_extensionTablesByArity

m_allExtensionTablesArray

protected final ExtensionTable[] m_allExtensionTablesArray

m_binaryExtensionTable

protected final ExtensionTable m_binaryExtensionTable

m_ternaryExtensionTable

protected final ExtensionTable m_ternaryExtensionTable

m_binaryAuxiliaryTupleContains

protected final java.lang.Object[] m_binaryAuxiliaryTupleContains

m_binaryAuxiliaryTupleAdd

protected final java.lang.Object[] m_binaryAuxiliaryTupleAdd

m_ternaryAuxiliaryTupleContains

protected final java.lang.Object[] m_ternaryAuxiliaryTupleContains

m_ternaryAuxiliaryTupleAdd

protected final java.lang.Object[] m_ternaryAuxiliaryTupleAdd

m_fouraryAuxiliaryTupleContains

protected final java.lang.Object[] m_fouraryAuxiliaryTupleContains

m_fouraryAuxiliaryTupleAdd

protected final java.lang.Object[] m_fouraryAuxiliaryTupleAdd

m_clashDependencySet

protected PermanentDependencySet m_clashDependencySet

m_addActive

protected boolean m_addActive
Constructor Detail

ExtensionManager

public ExtensionManager(Tableau tableau)
Method Detail

clear

public void clear()

branchingPointPushed

public void branchingPointPushed()

backtrack

public void backtrack()

getBinaryExtensionTable

public ExtensionTable getBinaryExtensionTable()

getTernaryExtensionTable

public ExtensionTable getTernaryExtensionTable()

getExtensionTable

public ExtensionTable getExtensionTable(int arity)

getExtensionTables

public java.util.Collection<ExtensionTable> getExtensionTables()

propagateDeltaNew

public boolean propagateDeltaNew()

clearClash

public void clearClash()

setClash

public void setClash(DependencySet clashDependencySet)

getClashDependencySet

public DependencySet getClashDependencySet()

containsClash

public boolean containsClash()

containsConceptAssertion

public boolean containsConceptAssertion(Concept concept,
                                        Node node)

containsDataRangeAssertion

public boolean containsDataRangeAssertion(DataRange range,
                                          Node node)

containsRoleAssertion

public boolean containsRoleAssertion(Role role,
                                     Node nodeFrom,
                                     Node nodeTo)

containsAssertion

public boolean containsAssertion(DLPredicate dlPredicate,
                                 Node node)

containsAssertion

public boolean containsAssertion(DLPredicate dlPredicate,
                                 Node node0,
                                 Node node1)

containsAssertion

public boolean containsAssertion(DLPredicate dlPredicate,
                                 Node node0,
                                 Node node1,
                                 Node node2)

containsAnnotatedEquality

public boolean containsAnnotatedEquality(AnnotatedEquality annotatedEquality,
                                         Node node0,
                                         Node node1,
                                         Node node2)

containsTuple

public boolean containsTuple(java.lang.Object[] tuple)

getConceptAssertionDependencySet

public DependencySet getConceptAssertionDependencySet(Concept concept,
                                                      Node node)

getDataRangeAssertionDependencySet

public DependencySet getDataRangeAssertionDependencySet(DataRange range,
                                                        Node node)

getRoleAssertionDependencySet

public DependencySet getRoleAssertionDependencySet(Role role,
                                                   Node nodeFrom,
                                                   Node nodeTo)

getAssertionDependencySet

public DependencySet getAssertionDependencySet(DLPredicate dlPredicate,
                                               Node node)

getAssertionDependencySet

public DependencySet getAssertionDependencySet(DLPredicate dlPredicate,
                                               Node node0,
                                               Node node1)

getAssertionDependencySet

public DependencySet getAssertionDependencySet(DLPredicate dlPredicate,
                                               Node node0,
                                               Node node1,
                                               Node node2)

getTupleDependencySet

public DependencySet getTupleDependencySet(java.lang.Object[] tuple)

isCore

public boolean isCore(java.lang.Object[] tuple)

addConceptAssertion

public boolean addConceptAssertion(Concept concept,
                                   Node node,
                                   DependencySet dependencySet,
                                   boolean isCore)

addDataRangeAssertion

public boolean addDataRangeAssertion(DataRange dataRange,
                                     Node node,
                                     DependencySet dependencySet,
                                     boolean isCore)

addRoleAssertion

public boolean addRoleAssertion(Role role,
                                Node nodeFrom,
                                Node nodeTo,
                                DependencySet dependencySet,
                                boolean isCore)

addAssertion

public boolean addAssertion(DLPredicate dlPredicate,
                            Node node,
                            DependencySet dependencySet,
                            boolean isCore)

addAssertion

public boolean addAssertion(DLPredicate dlPredicate,
                            Node node0,
                            Node node1,
                            DependencySet dependencySet,
                            boolean isCore)

addAssertion

public boolean addAssertion(DLPredicate dlPredicate,
                            Node node0,
                            Node node1,
                            Node node2,
                            DependencySet dependencySet,
                            boolean isCore)

addAnnotatedEquality

public boolean addAnnotatedEquality(AnnotatedEquality annotatedEquality,
                                    Node node0,
                                    Node node1,
                                    Node node2,
                                    DependencySet dependencySet)

addTuple

public boolean addTuple(java.lang.Object[] tuple,
                        DependencySet dependencySet,
                        boolean isCore)