aima.logic.propositional.visitors
Class AndDetector

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

All Implemented Interfaces:

Visitor, PLVisitor

public class AndDetector
extends java.lang.Object
implements PLVisitor

Constructor Summary

AndDetector()

Method Summary

boolean	containsEmbeddedAnd(Sentence s)
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

AndDetector

public AndDetector()

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

containsEmbeddedAnd

public boolean containsEmbeddedAnd(Sentence s)