| Package | Description |
|---|---|
| org.semanticweb.HermiT.debugger |
| Modifier and Type | Method and Description |
|---|---|
DerivationHistory.Atom |
DerivationHistory.getAtom(Object[] tuple) |
| Constructor and Description |
|---|
ClashDetection(DerivationHistory.Atom[] causes) |
DatatypeChecking(DerivationHistory.Atom[] causes) |
DLClauseApplication(DLClause dlClause,
DerivationHistory.Atom[] premises) |
ExistentialExpansion(DerivationHistory.Atom existentialAtom) |
GraphChecking(DerivationHistory.Atom graph1,
int position1,
DerivationHistory.Atom graph2,
int position2) |
Merging(DerivationHistory.Atom equality,
DerivationHistory.Atom fromAtom) |
UnknownDatatypeRestrictionDetection(DerivationHistory.Atom[] causes) |
Copyright © 2020. All rights reserved.