Uses of Interface
org.semanticweb.HermiT.debugger.DerivationHistory.Fact

Packages that use DerivationHistory.Fact

Package	Description
org.semanticweb.HermiT.debugger

Uses of DerivationHistory.Fact in org.semanticweb.HermiT.debugger

Constructors in org.semanticweb.HermiT.debugger with parameters of type DerivationHistory.Fact

Constructor and Description
DerivationViewer(Prefixes prefixes, DerivationHistory.Fact root)