|
||||||||||
| 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 | |||||||||