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

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

Uses of DescriptionGraphManager in org.semanticweb.HermiT.existentials
 

Fields in org.semanticweb.HermiT.existentials declared as DescriptionGraphManager
protected  DescriptionGraphManager AbstractExpansionStrategy.m_descriptionGraphManager
           
 

Uses of DescriptionGraphManager in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as DescriptionGraphManager
protected  DescriptionGraphManager Tableau.m_descriptionGraphManager
           
 

Methods in org.semanticweb.HermiT.tableau that return DescriptionGraphManager
 DescriptionGraphManager Tableau.getDescriptionGraphManager()