aima.core.logic.fol

Class VariableCollector

java.lang.Object

aima.core.logic.fol.VariableCollector

All Implemented Interfaces:

FOLVisitor

public class VariableCollector
extends java.lang.Object
implements FOLVisitor

Author:

Ravi Mohan, Ciaran O'Reilly

Constructor Summary

Constructors

Constructor and Description
VariableCollector()

Method Summary

Modifier and Type	Method and Description
java.util.Set<Variable>	collectAllVariables(Chain chain)
java.util.Set<Variable>	collectAllVariables(Clause clause)
java.util.Set<Variable>	collectAllVariables(Sentence sentence)
java.util.Set<Variable>	collectAllVariables(Term term)
java.lang.Object	visitConnectedSentence(ConnectedSentence sentence, java.lang.Object arg)
java.lang.Object	visitConstant(Constant constant, java.lang.Object arg)
java.lang.Object	visitFunction(Function function, java.lang.Object arg)
java.lang.Object	visitNotSentence(NotSentence sentence, java.lang.Object arg)
java.lang.Object	visitPredicate(Predicate predicate, java.lang.Object arg)
java.lang.Object	visitQuantifiedSentence(QuantifiedSentence sentence, java.lang.Object arg)
java.lang.Object	visitTermEquality(TermEquality equality, java.lang.Object arg)
java.lang.Object	visitVariable(Variable var, java.lang.Object arg)

Methods inherited from class java.lang.Object

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

Constructor Detail

VariableCollector

public VariableCollector()

Method Detail

collectAllVariables

public java.util.Set<Variable> collectAllVariables(Sentence sentence)

collectAllVariables

public java.util.Set<Variable> collectAllVariables(Term term)

collectAllVariables

public java.util.Set<Variable> collectAllVariables(Clause clause)

collectAllVariables

public java.util.Set<Variable> collectAllVariables(Chain chain)

visitVariable

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

Specified by:

visitVariable in interface FOLVisitor

visitQuantifiedSentence

public java.lang.Object visitQuantifiedSentence(QuantifiedSentence sentence,
                                                java.lang.Object arg)

Specified by:

visitQuantifiedSentence in interface FOLVisitor

visitPredicate

public java.lang.Object visitPredicate(Predicate predicate,
                                       java.lang.Object arg)

Specified by:

visitPredicate in interface FOLVisitor

visitTermEquality

public java.lang.Object visitTermEquality(TermEquality equality,
                                          java.lang.Object arg)

Specified by:

visitTermEquality in interface FOLVisitor

visitConstant

public java.lang.Object visitConstant(Constant constant,
                                      java.lang.Object arg)

Specified by:

visitConstant in interface FOLVisitor

visitFunction

public java.lang.Object visitFunction(Function function,
                                      java.lang.Object arg)

Specified by:

visitFunction in interface FOLVisitor

visitNotSentence

public java.lang.Object visitNotSentence(NotSentence sentence,
                                         java.lang.Object arg)

Specified by:

visitNotSentence in interface FOLVisitor

visitConnectedSentence

public java.lang.Object visitConnectedSentence(ConnectedSentence sentence,
                                               java.lang.Object arg)

Specified by:

visitConnectedSentence in interface FOLVisitor