|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |