org.semanticweb.HermiT.tableau
Class HyperresolutionManager
java.lang.Object
org.semanticweb.HermiT.tableau.HyperresolutionManager
- All Implemented Interfaces:
- java.io.Serializable
public final class HyperresolutionManager
- extends java.lang.Object
- implements java.io.Serializable
Applies the rules during the expansion of a tableau.
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_extensionManager
protected final ExtensionManager m_extensionManager
m_deltaOldRetrievals
protected final ExtensionTable.Retrieval[] m_deltaOldRetrievals
m_binaryTableRetrieval
protected final ExtensionTable.Retrieval m_binaryTableRetrieval
m_tupleConsumersByDeltaPredicate
protected final java.util.Map<DLPredicate,HyperresolutionManager.CompiledDLClauseInfo> m_tupleConsumersByDeltaPredicate
m_atomicRoleTupleConsumersUnguarded
protected final java.util.Map<AtomicRole,HyperresolutionManager.CompiledDLClauseInfo> m_atomicRoleTupleConsumersUnguarded
m_atomicRoleTupleConsumersByGuardConcept1
protected final java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> m_atomicRoleTupleConsumersByGuardConcept1
m_atomicRoleTupleConsumersByGuardConcept2
protected final java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> m_atomicRoleTupleConsumersByGuardConcept2
m_buffersToClear
protected final java.lang.Object[][] m_buffersToClear
m_unionDependencySetsToClear
protected final UnionDependencySet[] m_unionDependencySetsToClear
m_valuesBuffer
protected final java.lang.Object[] m_valuesBuffer
m_maxNumberOfVariables
protected final int m_maxNumberOfVariables
HyperresolutionManager
public HyperresolutionManager(Tableau tableau,
java.util.Set<DLClause> dlClauses)
getAtomicRoleClauseGuards
protected void getAtomicRoleClauseGuards(DLClause swappedDLClause,
java.util.List<Atom> guardingAtomicConceptAtoms1,
java.util.List<Atom> guardingAtomicConceptAtoms2)
isPredicateWithExtension
protected boolean isPredicateWithExtension(DLPredicate dlPredicate)
clear
public void clear()
applyDLClauses
public void applyDLClauses()