aima.logic.propositional.visitors
Class SymbolCollector

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

All Implemented Interfaces:

Visitor, PLVisitor

public class SymbolCollector
extends BasicTraverser

Constructor Summary

SymbolCollector()

Method Summary

java.util.Set<Symbol>	getSymbolsIn(Sentence s)
java.lang.Object	visitSymbol(Symbol s, java.lang.Object arg)

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

visitBinarySentence, visitFalseSentence, visitMultiSentence, visitNotSentence, visitTrueSentence

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolCollector

public SymbolCollector()

Method Detail

visitSymbol

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

Specified by:

visitSymbol in interface PLVisitor

Overrides:

visitSymbol in class BasicTraverser

getSymbolsIn

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