org.semanticweb.HermiT.tableau
Class ExtensionManager
java.lang.Object
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
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 |
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
ExtensionManager
public ExtensionManager(Tableau tableau)
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)