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

Packages that use DerivationHistory.Disjunction

Package	Description
org.semanticweb.HermiT.debugger

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

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

Modifier and Type	Method and Description
DerivationHistory.Disjunction	DerivationHistory.getDisjunction(GroundDisjunction groundDisjunction)

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

Constructor and Description
DisjunctApplication(DerivationHistory.Disjunction disjunction, int disjunctIndex)