|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DerivationHistory.Fact | |
---|---|
org.semanticweb.HermiT.debugger |
Uses of DerivationHistory.Fact in org.semanticweb.HermiT.debugger |
---|
Classes in org.semanticweb.HermiT.debugger that implement DerivationHistory.Fact | |
---|---|
static class |
DerivationHistory.Atom
|
static class |
DerivationHistory.Disjunction
|
Fields in org.semanticweb.HermiT.debugger declared as DerivationHistory.Fact | |
---|---|
protected DerivationHistory.Fact |
DerivationViewer.DerivationTreeTreeModel.m_root
|
Methods in org.semanticweb.HermiT.debugger that return DerivationHistory.Fact | |
---|---|
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 | |
---|---|
DerivationViewer.DerivationTreeTreeModel(DerivationHistory.Fact root)
|
|
DerivationViewer(Prefixes prefixes,
DerivationHistory.Fact root)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |