aima.logic.propositional.parsing
Interface PLVisitor

All Superinterfaces:

Visitor

All Known Implementing Classes:

AbstractPLVisitor, AndDetector, BasicTraverser, CNFClauseGatherer, CNFTransformer, Model, NegativeSymbolCollector, PositiveSymbolCollector, SymbolCollector

public interface PLVisitor
extends Visitor

Method Summary

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)

Method Detail

visitSymbol

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

visitTrueSentence

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

visitFalseSentence

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

visitNotSentence

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

visitBinarySentence

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

visitMultiSentence

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