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