|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DerivationHistory.Derivation | |
---|---|
org.semanticweb.HermiT.debugger |
Uses of DerivationHistory.Derivation in org.semanticweb.HermiT.debugger |
---|
Subclasses of DerivationHistory.Derivation in org.semanticweb.HermiT.debugger | |
---|---|
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 | |
---|---|
static DerivationHistory.Derivation |
DerivationHistory.BaseFact.INSTANCE
|
protected DerivationHistory.Derivation |
DerivationHistory.Atom.m_derivedBy
|
protected DerivationHistory.Derivation |
DerivationHistory.Disjunction.m_derivedBy
|
Fields in org.semanticweb.HermiT.debugger with type parameters of type DerivationHistory.Derivation | |
---|---|
protected java.util.Stack<DerivationHistory.Derivation> |
DerivationHistory.m_derivations
|
Methods in org.semanticweb.HermiT.debugger that return DerivationHistory.Derivation | |
---|---|
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 | |
---|---|
DerivationHistory.Atom(java.lang.Object[] tuple,
DerivationHistory.Derivation derivedBy)
|
|
DerivationHistory.Disjunction(GroundDisjunction groundDisjunction,
DerivationHistory.Derivation derivedBy)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |