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

Packages that use HyperresolutionManager

Package	Description
org.semanticweb.HermiT.tableau

Uses of HyperresolutionManager in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return HyperresolutionManager

Modifier and Type	Method and Description
HyperresolutionManager	Tableau.getAdditionalHyperresolutionManager()
HyperresolutionManager	Tableau.getPermanentHyperresolutionManager()