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

Packages that use DerivationHistory.Derivation
org.semanticweb.HermiT.debugger   
 

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

Subclasses of DerivationHistory.Derivation in org.semanticweb.HermiT.debugger
static class DerivationHistory.BaseFact
           
static class DerivationHistory.ClashDetection
           
static class DerivationHistory.DatatypeChecking
           
static class DerivationHistory.DisjunctApplication
           
static class DerivationHistory.DLClauseApplication
           
static class DerivationHistory.ExistentialExpansion
           
static class DerivationHistory.GraphChecking
           
static class DerivationHistory.Merging
           
static class DerivationHistory.UnknownDatatypeRestrictionDetection
           
 

Fields in org.semanticweb.HermiT.debugger declared as DerivationHistory.Derivation
static DerivationHistory.Derivation DerivationHistory.BaseFact.INSTANCE
           
protected  DerivationHistory.Derivation DerivationHistory.Atom.m_derivedBy
           
protected  DerivationHistory.Derivation DerivationHistory.Disjunction.m_derivedBy
           
 

Fields in org.semanticweb.HermiT.debugger with type parameters of type DerivationHistory.Derivation
protected  java.util.Stack<DerivationHistory.Derivation> DerivationHistory.m_derivations
           
 

Methods in org.semanticweb.HermiT.debugger that return DerivationHistory.Derivation
 DerivationHistory.Derivation DerivationHistory.Fact.getDerivation()
           
 DerivationHistory.Derivation DerivationHistory.Atom.getDerivation()
           
 DerivationHistory.Derivation DerivationHistory.Disjunction.getDerivation()
           
 

Constructors in org.semanticweb.HermiT.debugger with parameters of type DerivationHistory.Derivation
DerivationHistory.Atom(java.lang.Object[] tuple, DerivationHistory.Derivation derivedBy)
           
DerivationHistory.Disjunction(GroundDisjunction groundDisjunction, DerivationHistory.Derivation derivedBy)