org.semanticweb.HermiT.tableau
Class HyperresolutionManager
java.lang.Object
org.semanticweb.HermiT.tableau.HyperresolutionManager
- All Implemented Interfaces:
- Serializable
public final class HyperresolutionManager
- extends Object
- implements 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 Map<DLPredicate,HyperresolutionManager.CompiledDLClauseInfo> m_tupleConsumersByDeltaPredicate
m_atomicRoleTupleConsumersUnguarded
protected final Map<AtomicRole,HyperresolutionManager.CompiledDLClauseInfo> m_atomicRoleTupleConsumersUnguarded
m_atomicRoleTupleConsumersByGuardConcept1
protected final HashMap<AtomicRole,Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> m_atomicRoleTupleConsumersByGuardConcept1
m_atomicRoleTupleConsumersByGuardConcept2
protected final HashMap<AtomicRole,Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> m_atomicRoleTupleConsumersByGuardConcept2
m_buffersToClear
protected final Object[][] m_buffersToClear
m_unionDependencySetsToClear
protected final UnionDependencySet[] m_unionDependencySetsToClear
m_valuesBuffer
protected final Object[] m_valuesBuffer
m_maxNumberOfVariables
protected final int m_maxNumberOfVariables
HyperresolutionManager
public HyperresolutionManager(Tableau tableau,
Set<DLClause> dlClauses)
getAtomicRoleClauseGuards
protected void getAtomicRoleClauseGuards(DLClause swappedDLClause,
List<Atom> guardingAtomicConceptAtoms1,
List<Atom> guardingAtomicConceptAtoms2)
isPredicateWithExtension
protected boolean isPredicateWithExtension(DLPredicate dlPredicate)
clear
public void clear()
applyDLClauses
public void applyDLClauses()
Copyright © 2012. All Rights Reserved.