aima.logic.propositional.visitors
Class CNFTransformer

java.lang.Object
  aima.logic.propositional.parsing.AbstractPLVisitor
      aima.logic.propositional.visitors.CNFTransformer

All Implemented Interfaces:

Visitor, PLVisitor

public class CNFTransformer
extends AbstractPLVisitor

Constructor Summary

CNFTransformer()

Method Summary

Sentence	transform(Sentence s)
java.lang.Object	visitBinarySentence(BinarySentence bs, java.lang.Object arg)
java.lang.Object	visitNotSentence(UnarySentence us, java.lang.Object arg)

Methods inherited from class aima.logic.propositional.parsing.AbstractPLVisitor

recreate, visitFalseSentence, visitMultiSentence, visitSymbol, visitTrueSentence

Methods inherited from class java.lang.Object

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

Constructor Detail

CNFTransformer

public CNFTransformer()

Method Detail

visitBinarySentence

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

Specified by:

visitBinarySentence in interface PLVisitor

Overrides:

visitBinarySentence in class AbstractPLVisitor

visitNotSentence

public java.lang.Object visitNotSentence(UnarySentence us,
                                         java.lang.Object arg)

Specified by:

visitNotSentence in interface PLVisitor

Overrides:

visitNotSentence in class AbstractPLVisitor

transform

public Sentence transform(Sentence s)