|
||||||||||
| 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 | |||||||||