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

Classes in org.semanticweb.HermiT.debugger that implement DerivationHistory.Fact

Modifier and Type	Class and Description
static class	DerivationHistory.Atom
static class	DerivationHistory.Disjunction

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

Modifier and Type	Method and Description
abstract DerivationHistory.Fact	DerivationHistory.Derivation.getPremise(int premiseIndex)
DerivationHistory.Fact	DerivationHistory.DLClauseApplication.getPremise(int premiseIndex)
DerivationHistory.Fact	DerivationHistory.DisjunctApplication.getPremise(int premiseIndex)
DerivationHistory.Fact	DerivationHistory.Merging.getPremise(int premiseIndex)
DerivationHistory.Fact	DerivationHistory.GraphChecking.getPremise(int premiseIndex)
DerivationHistory.Fact	DerivationHistory.ExistentialExpansion.getPremise(int premiseIndex)
DerivationHistory.Fact	DerivationHistory.ClashDetection.getPremise(int premiseIndex)
DerivationHistory.Fact	DerivationHistory.DatatypeChecking.getPremise(int premiseIndex)
DerivationHistory.Fact	DerivationHistory.UnknownDatatypeRestrictionDetection.getPremise(int premiseIndex)
DerivationHistory.Fact	DerivationHistory.BaseFact.getPremise(int premiseIndex)

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

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