aima.logic.propositional.parsing
Class AbstractPLVisitor

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

All Implemented Interfaces:

Visitor, PLVisitor

Direct Known Subclasses:

CNFTransformer

public class AbstractPLVisitor
extends java.lang.Object
implements PLVisitor

Constructor Summary

AbstractPLVisitor()

Method Summary

protected Sentence	recreate(java.lang.Object ast)
java.lang.Object	visitBinarySentence(BinarySentence fs, java.lang.Object arg)
java.lang.Object	visitFalseSentence(FalseSentence fs, java.lang.Object arg)
java.lang.Object	visitMultiSentence(MultiSentence fs, java.lang.Object arg)
java.lang.Object	visitNotSentence(UnarySentence fs, java.lang.Object arg)
java.lang.Object	visitSymbol(Symbol s, java.lang.Object arg)
java.lang.Object	visitTrueSentence(TrueSentence ts, java.lang.Object arg)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractPLVisitor

public AbstractPLVisitor()

Method Detail

visitSymbol

public java.lang.Object visitSymbol(Symbol s,
                                    java.lang.Object arg)

Specified by:

visitSymbol in interface PLVisitor

visitTrueSentence

public java.lang.Object visitTrueSentence(TrueSentence ts,
                                          java.lang.Object arg)

Specified by:

visitTrueSentence in interface PLVisitor

visitFalseSentence

public java.lang.Object visitFalseSentence(FalseSentence fs,
                                           java.lang.Object arg)

Specified by:

visitFalseSentence in interface PLVisitor

visitNotSentence

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

Specified by:

visitNotSentence in interface PLVisitor

visitBinarySentence

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

Specified by:

visitBinarySentence in interface PLVisitor

visitMultiSentence

public java.lang.Object visitMultiSentence(MultiSentence fs,
                                           java.lang.Object arg)

Specified by:

visitMultiSentence in interface PLVisitor

recreate

protected Sentence recreate(java.lang.Object ast)