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

Packages that use MergingManager

Package	Description
org.semanticweb.HermiT.tableau

Uses of MergingManager in org.semanticweb.HermiT.tableau

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

Modifier and Type	Method and Description
MergingManager	Tableau.getMergingManager()