aima.logic.propositional.visitors
Class NegativeSymbolCollector

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

All Implemented Interfaces:

Visitor, PLVisitor

public class NegativeSymbolCollector
extends BasicTraverser

Constructor Summary

NegativeSymbolCollector()

Method Summary

java.util.Set<Symbol>	getNegativeSymbolsIn(Sentence s)
java.lang.Object	visitNotSentence(UnarySentence ns, java.lang.Object arg)

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

visitBinarySentence, visitFalseSentence, visitMultiSentence, visitSymbol, visitTrueSentence

Methods inherited from class java.lang.Object

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

Constructor Detail

NegativeSymbolCollector

public NegativeSymbolCollector()

Method Detail

visitNotSentence

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

Specified by:

visitNotSentence in interface PLVisitor

Overrides:

visitNotSentence in class BasicTraverser

getNegativeSymbolsIn

public java.util.Set<Symbol> getNegativeSymbolsIn(Sentence s)