Uses of Class
org.semanticweb.HermiT.tableau.HyperresolutionManager.CompiledDLClauseInfo

Packages that use HyperresolutionManager.CompiledDLClauseInfo
org.semanticweb.HermiT.tableau   
 

Uses of HyperresolutionManager.CompiledDLClauseInfo in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as HyperresolutionManager.CompiledDLClauseInfo
protected  HyperresolutionManager.CompiledDLClauseInfo HyperresolutionManager.CompiledDLClauseInfo.m_next
           
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type HyperresolutionManager.CompiledDLClauseInfo
protected  java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> HyperresolutionManager.m_atomicRoleTupleConsumersByGuardConcept1
           
protected  java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> HyperresolutionManager.m_atomicRoleTupleConsumersByGuardConcept2
           
protected  java.util.Map<AtomicRole,HyperresolutionManager.CompiledDLClauseInfo> HyperresolutionManager.m_atomicRoleTupleConsumersUnguarded
           
protected  java.util.Map<DLPredicate,HyperresolutionManager.CompiledDLClauseInfo> HyperresolutionManager.m_tupleConsumersByDeltaPredicate
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type HyperresolutionManager.CompiledDLClauseInfo
HyperresolutionManager.CompiledDLClauseInfo(DLClauseEvaluator evaluator, HyperresolutionManager.CompiledDLClauseInfo next)