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

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)