aima.logic.propositional.visitors
Class PositiveSymbolCollector

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

All Implemented Interfaces:

Visitor, PLVisitor

public class PositiveSymbolCollector
extends BasicTraverser

Constructor Summary

PositiveSymbolCollector()

Method Summary

java.util.Set<Symbol>	getPositiveSymbolsIn(Sentence sentence)
java.lang.Object	visitNotSentence(UnarySentence ns, java.lang.Object arg)
java.lang.Object	visitSymbol(Symbol symbol, java.lang.Object arg)

Methods inherited from class aima.logic.propositional.visitors.BasicTraverser

visitBinarySentence, visitFalseSentence, visitMultiSentence, visitTrueSentence

Methods inherited from class java.lang.Object

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

Constructor Detail

PositiveSymbolCollector

public PositiveSymbolCollector()

Method Detail

visitSymbol

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

Specified by:

visitSymbol in interface PLVisitor

Overrides:

visitSymbol in class BasicTraverser

visitNotSentence

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

Specified by:

visitNotSentence in interface PLVisitor

Overrides:

visitNotSentence in class BasicTraverser

getPositiveSymbolsIn

public java.util.Set<Symbol> getPositiveSymbolsIn(Sentence sentence)