aima.logic.propositional.visitors
Classes 
AndDetector
BasicTraverser
CNFClauseGatherer
CNFTransformer
NegativeSymbolCollector
PositiveSymbolCollector
SymbolClassifier
SymbolCollector