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
static class	DerivationHistory.DatatypeChecking
static class	DerivationHistory.DisjunctApplication
static class	DerivationHistory.DLClauseApplication
static class	DerivationHistory.ExistentialExpansion
static class	DerivationHistory.GraphChecking
static class	DerivationHistory.Merging
static class	DerivationHistory.UnknownDatatypeRestrictionDetection

Fields in org.semanticweb.HermiT.debugger declared as DerivationHistory.Derivation

Modifier and Type	Field and Description
static DerivationHistory.Derivation	DerivationHistory.BaseFact.INSTANCE

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)