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

Packages that use DerivationHistory.Derivation

Package	Description
org.semanticweb.HermiT.debugger

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

Subclasses of DerivationHistory.Derivation in org.semanticweb.HermiT.debugger

Modifier and Type	Class and Description
static class	DerivationHistory.BaseFact
static class	DerivationHistory.ClashDetection Clash detection.
static class	DerivationHistory.DatatypeChecking Datatype checking.
static class	DerivationHistory.DisjunctApplication Disjunction application.
static class	DerivationHistory.DLClauseApplication DL Application.
static class	DerivationHistory.ExistentialExpansion Existential expansion.
static class	DerivationHistory.GraphChecking Graph checking.
static class	DerivationHistory.Merging Merging.
static class	DerivationHistory.UnknownDatatypeRestrictionDetection Datatype restriction.

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

Modifier and Type	Method and Description
DerivationHistory.Derivation	DerivationHistory.Fact.getDerivation()
DerivationHistory.Derivation	DerivationHistory.Atom.getDerivation()
DerivationHistory.Derivation	DerivationHistory.Disjunction.getDerivation()

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

Constructor and Description
Atom(Object[] tuple, DerivationHistory.Derivation derivedBy)
Disjunction(GroundDisjunction groundDisjunction, DerivationHistory.Derivation derivedBy)