aima.logic.fol
Class VariableCollector

java.lang.Object
  aima.logic.fol.parsing.AbstractFOLVisitor
      aima.logic.fol.VariableCollector

All Implemented Interfaces:

FOLVisitor

public class VariableCollector
extends AbstractFOLVisitor

Author:

Ravi Mohan

Constructor Summary

VariableCollector(FOLParser parser)

Method Summary

java.util.Set	collectAllVariables(Sentence sentence)
java.util.List<java.lang.String>	getAllVariableNames(Sentence sentence)
java.lang.Object	visitVariable(Variable var, java.lang.Object arg)

Methods inherited from class aima.logic.fol.parsing.AbstractFOLVisitor

recreate, visitConnectedSentence, visitConstant, visitFunction, visitNotSentence, visitParanthizedSentence, visitPredicate, visitQuantifiedSentence, visitTermEquality

Methods inherited from class java.lang.Object

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

Constructor Detail

VariableCollector

public VariableCollector(FOLParser parser)

Method Detail

visitVariable

public java.lang.Object visitVariable(Variable var,
                                      java.lang.Object arg)

Specified by:

visitVariable in interface FOLVisitor

Overrides:

visitVariable in class AbstractFOLVisitor

collectAllVariables

public java.util.Set collectAllVariables(Sentence sentence)

getAllVariableNames

public java.util.List<java.lang.String> getAllVariableNames(Sentence sentence)