aima.logic.propositional.visitors
Class BasicTraverser

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

All Implemented Interfaces:

Visitor, PLVisitor

Direct Known Subclasses:

CNFClauseGatherer, NegativeSymbolCollector, PositiveSymbolCollector, SymbolCollector

public class BasicTraverser
extends java.lang.Object
implements PLVisitor

Constructor Summary

BasicTraverser()

Method Summary

java.lang.Object	visitBinarySentence(BinarySentence bs, 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 ns, 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

BasicTraverser

public BasicTraverser()

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 ns,
                                         java.lang.Object arg)

Specified by:

visitNotSentence in interface PLVisitor

visitBinarySentence

public java.lang.Object visitBinarySentence(BinarySentence bs,
                                            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