org.semanticweb.HermiT.tableau
Class HyperresolutionManager.CompiledDLClauseInfo

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.HyperresolutionManager.CompiledDLClauseInfo
Enclosing class:
HyperresolutionManager

protected static final class HyperresolutionManager.CompiledDLClauseInfo
extends java.lang.Object


Field Summary
protected  DLClauseEvaluator m_evaluator
           
protected  int m_indexInList
           
protected  HyperresolutionManager.CompiledDLClauseInfo m_next
           
 
Constructor Summary
HyperresolutionManager.CompiledDLClauseInfo(DLClauseEvaluator evaluator, HyperresolutionManager.CompiledDLClauseInfo next)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_evaluator

protected final DLClauseEvaluator m_evaluator

m_next

protected final HyperresolutionManager.CompiledDLClauseInfo m_next

m_indexInList

protected final int m_indexInList
Constructor Detail

HyperresolutionManager.CompiledDLClauseInfo

public HyperresolutionManager.CompiledDLClauseInfo(DLClauseEvaluator evaluator,
                                                   HyperresolutionManager.CompiledDLClauseInfo next)