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

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

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

Fields in org.semanticweb.HermiT.debugger declared as DerivationHistory.Disjunction
protected  DerivationHistory.Disjunction DerivationHistory.DisjunctApplication.m_disjunction
           
 

Fields in org.semanticweb.HermiT.debugger with type parameters of type DerivationHistory.Disjunction
protected  java.util.Map<GroundDisjunction,DerivationHistory.Disjunction> DerivationHistory.m_derivedDisjunctions
           
 

Methods in org.semanticweb.HermiT.debugger that return DerivationHistory.Disjunction
 DerivationHistory.Disjunction DerivationHistory.getDisjunction(GroundDisjunction groundDisjunction)
           
 

Constructors in org.semanticweb.HermiT.debugger with parameters of type DerivationHistory.Disjunction
DerivationHistory.DisjunctApplication(DerivationHistory.Disjunction disjunction, int disjunctIndex)