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

Packages that use DerivationHistory

Package	Description
org.semanticweb.HermiT.debugger

Uses of DerivationHistory in org.semanticweb.HermiT.debugger

Methods in org.semanticweb.HermiT.debugger that return DerivationHistory

Modifier and Type	Method and Description
DerivationHistory	Debugger.getDerivationHistory()