Uses of Class
org.semanticweb.HermiT.structural.ExpressionManager.DescriptionSimplificationVisitor

Packages that use ExpressionManager.DescriptionSimplificationVisitor
org.semanticweb.HermiT.structural   
 

Uses of ExpressionManager.DescriptionSimplificationVisitor in org.semanticweb.HermiT.structural
 

Fields in org.semanticweb.HermiT.structural declared as ExpressionManager.DescriptionSimplificationVisitor
protected  ExpressionManager.DescriptionSimplificationVisitor ExpressionManager.m_descriptionSimplificationVisitor