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

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

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

Fields in org.semanticweb.HermiT.structural declared as ExpressionManager.DescriptionNNFVisitor
protected  ExpressionManager.DescriptionNNFVisitor ExpressionManager.m_descriptionNNFVisitor