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

Packages that use ExistentialExpansionManager
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.tableau   
 

Uses of ExistentialExpansionManager in org.semanticweb.HermiT.existentials
 

Fields in org.semanticweb.HermiT.existentials declared as ExistentialExpansionManager
protected  ExistentialExpansionManager AbstractExpansionStrategy.m_existentialExpansionManager
           
 

Uses of ExistentialExpansionManager in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as ExistentialExpansionManager
protected  ExistentialExpansionManager Tableau.m_existentialExpasionManager
           
 

Methods in org.semanticweb.HermiT.tableau that return ExistentialExpansionManager
 ExistentialExpansionManager Tableau.getExistentialExpansionManager()