|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use HyperresolutionManager | |
|---|---|
| org.semanticweb.HermiT.tableau | |
| Uses of HyperresolutionManager in org.semanticweb.HermiT.tableau |
|---|
| Fields in org.semanticweb.HermiT.tableau declared as HyperresolutionManager | |
|---|---|
protected HyperresolutionManager |
Tableau.m_additionalHyperresolutionManager
|
protected HyperresolutionManager |
Tableau.m_permanentHyperresolutionManager
|
| Methods in org.semanticweb.HermiT.tableau that return HyperresolutionManager | |
|---|---|
HyperresolutionManager |
Tableau.getAdditionalHyperresolutionManager()
|
HyperresolutionManager |
Tableau.getPermanentHyperresolutionManager()
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||