Uses of Class
org.semanticweb.HermiT.tableau.HyperresolutionManager

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