|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |