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