Uses of Class
org.semanticweb.HermiT.debugger.DerivationHistory.Atom

Packages that use DerivationHistory.Atom

Package	Description
org.semanticweb.HermiT.debugger

Uses of DerivationHistory.Atom in org.semanticweb.HermiT.debugger

Methods in org.semanticweb.HermiT.debugger that return DerivationHistory.Atom

Modifier and Type	Method and Description
DerivationHistory.Atom	DerivationHistory.getAtom(Object[] tuple)

Constructors in org.semanticweb.HermiT.debugger with parameters of type DerivationHistory.Atom

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)