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