org.semanticweb.HermiT.tableau
Class HyperresolutionManager

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

Nested Class Summary
protected static class HyperresolutionManager.BodyAtomsSwapper
           
protected static class HyperresolutionManager.CompiledDLClauseInfo
           
protected static class HyperresolutionManager.DLClauseBodyKey
           
 
Field Summary
protected  java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> m_atomicRoleTupleConsumersByGuardConcept1
           
protected  java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> m_atomicRoleTupleConsumersByGuardConcept2
           
protected  java.util.Map<AtomicRole,HyperresolutionManager.CompiledDLClauseInfo> m_atomicRoleTupleConsumersUnguarded
           
protected  ExtensionTable.Retrieval m_binaryTableRetrieval
           
protected  java.lang.Object[][] m_buffersToClear
           
protected  ExtensionTable.Retrieval[] m_deltaOldRetrievals
           
protected  ExtensionManager m_extensionManager
           
protected  int m_maxNumberOfVariables
           
protected  java.util.Map<DLPredicate,HyperresolutionManager.CompiledDLClauseInfo> m_tupleConsumersByDeltaPredicate
           
protected  UnionDependencySet[] m_unionDependencySetsToClear
           
protected  java.lang.Object[] m_valuesBuffer
           
 
Constructor Summary
HyperresolutionManager(Tableau tableau, java.util.Set<DLClause> dlClauses)
           
 
Method Summary
 void applyDLClauses()
           
 void clear()
           
protected  void getAtomicRoleClauseGuards(DLClause swappedDLClause, java.util.List<Atom> guardingAtomicConceptAtoms1, java.util.List<Atom> guardingAtomicConceptAtoms2)
           
protected  boolean isPredicateWithExtension(DLPredicate dlPredicate)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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

HyperresolutionManager

public HyperresolutionManager(Tableau tableau,
                              java.util.Set<DLClause> dlClauses)
Method Detail

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()