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

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

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

Fields in org.semanticweb.HermiT.structural declared as ExpressionManager.DescriptionComplementNNFVisitor
protected  ExpressionManager.DescriptionComplementNNFVisitor ExpressionManager.m_descriptionComplementNNFVisitor