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

Packages that use NominalIntroductionManager
org.semanticweb.HermiT.tableau   
 

Uses of NominalIntroductionManager in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as NominalIntroductionManager
protected  NominalIntroductionManager Tableau.m_nominalIntroductionManager
           
 

Methods in org.semanticweb.HermiT.tableau that return NominalIntroductionManager
 NominalIntroductionManager Tableau.getNominalIntroductionManager()