|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use DerivationHistory.Atom | |
|---|---|
| org.semanticweb.HermiT.debugger | |
| Uses of DerivationHistory.Atom in org.semanticweb.HermiT.debugger |
|---|
| Fields in org.semanticweb.HermiT.debugger declared as DerivationHistory.Atom | |
|---|---|
protected DerivationHistory.Atom[] |
DerivationHistory.ClashDetection.m_causes
|
protected DerivationHistory.Atom[] |
DerivationHistory.DatatypeChecking.m_causes
|
protected DerivationHistory.Atom[] |
DerivationHistory.UnknownDatatypeRestrictionDetection.m_causes
|
protected DerivationHistory.Atom |
DerivationHistory.Merging.m_equality
|
protected DerivationHistory.Atom |
DerivationHistory.ExistentialExpansion.m_existentialAtom
|
protected DerivationHistory.Atom |
DerivationHistory.Merging.m_fromAtom
|
protected DerivationHistory.Atom |
DerivationHistory.GraphChecking.m_graph1
|
protected DerivationHistory.Atom |
DerivationHistory.GraphChecking.m_graph2
|
protected DerivationHistory.Atom[] |
DerivationHistory.DLClauseApplication.m_premises
|
| Fields in org.semanticweb.HermiT.debugger with type parameters of type DerivationHistory.Atom | |
|---|---|
protected java.util.Map<DerivationHistory.AtomKey,DerivationHistory.Atom> |
DerivationHistory.m_derivedAtoms
|
protected java.util.Stack<DerivationHistory.Atom> |
DerivationHistory.m_mergeAtoms
|
| Methods in org.semanticweb.HermiT.debugger that return DerivationHistory.Atom | |
|---|---|
protected DerivationHistory.Atom |
DerivationHistory.addAtom(java.lang.Object[] tuple)
|
DerivationHistory.Atom |
DerivationHistory.getAtom(java.lang.Object[] tuple)
|
| Constructors in org.semanticweb.HermiT.debugger with parameters of type DerivationHistory.Atom | |
|---|---|
DerivationHistory.ClashDetection(DerivationHistory.Atom[] causes)
|
|
DerivationHistory.DatatypeChecking(DerivationHistory.Atom[] causes)
|
|
DerivationHistory.DLClauseApplication(DLClause dlClause,
DerivationHistory.Atom[] premises)
|
|
DerivationHistory.ExistentialExpansion(DerivationHistory.Atom existentialAtom)
|
|
DerivationHistory.GraphChecking(DerivationHistory.Atom graph1,
int position1,
DerivationHistory.Atom graph2,
int position2)
|
|
DerivationHistory.Merging(DerivationHistory.Atom equality,
DerivationHistory.Atom fromAtom)
|
|
DerivationHistory.UnknownDatatypeRestrictionDetection(DerivationHistory.Atom[] causes)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||