aima.logic.propositional.visitors
Class CNFClauseGatherer

java.lang.Object
  aima.logic.propositional.visitors.BasicTraverser
      aima.logic.propositional.visitors.CNFClauseGatherer

All Implemented Interfaces:

Visitor, PLVisitor

public class CNFClauseGatherer
extends BasicTraverser

Constructor Summary

CNFClauseGatherer()

Method Summary

java.util.Set<Sentence>	getClausesFrom(Sentence sentence)
java.lang.Object	visitBinarySentence(BinarySentence bs, java.lang.Object args)

Methods inherited from class aima.logic.propositional.visitors.BasicTraverser

visitFalseSentence, visitMultiSentence, visitNotSentence, visitSymbol, visitTrueSentence

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CNFClauseGatherer

public CNFClauseGatherer()

Method Detail

visitBinarySentence

public java.lang.Object visitBinarySentence(BinarySentence bs,
                                            java.lang.Object args)

Specified by:

visitBinarySentence in interface PLVisitor

Overrides:

visitBinarySentence in class BasicTraverser

getClausesFrom

public java.util.Set<Sentence> getClausesFrom(Sentence sentence)