Uses of Class
org.semanticweb.HermiT.debugger.DerivationHistory

Packages that use DerivationHistory
org.semanticweb.HermiT.debugger   
 

Uses of DerivationHistory in org.semanticweb.HermiT.debugger
 

Fields in org.semanticweb.HermiT.debugger declared as DerivationHistory
protected  DerivationHistory Debugger.m_derivationHistory
           
 

Methods in org.semanticweb.HermiT.debugger that return DerivationHistory
 DerivationHistory Debugger.getDerivationHistory()