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

Packages that use MergingManager
org.semanticweb.HermiT.tableau   
 

Uses of MergingManager in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as MergingManager
protected  MergingManager Tableau.m_mergingManager
           
protected  MergingManager NominalIntroductionManager.m_mergingManager
           
protected  MergingManager DescriptionGraphManager.m_mergingManager
           
 

Methods in org.semanticweb.HermiT.tableau that return MergingManager
 MergingManager Tableau.getMergingManager()