aima.logic.fol.parsing
Interface FOLVisitor

All Known Implementing Classes:

AbstractFOLVisitor, PredicateCollector, SubstVisitor, VariableCollector

public interface FOLVisitor

Author:

Ravi Mohan

Method Summary

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	visitParanthizedSentence(ParanthizedSentence sentence, java.lang.Object arg)
java.lang.Object	visitPredicate(Predicate p, 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 variable, java.lang.Object arg)

Method Detail

visitPredicate

java.lang.Object visitPredicate(Predicate p,
                                java.lang.Object arg)

visitTermEquality

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

visitVariable

java.lang.Object visitVariable(Variable variable,
                               java.lang.Object arg)

visitConstant

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

visitFunction

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

visitNotSentence

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

visitConnectedSentence

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

visitParanthizedSentence

java.lang.Object visitParanthizedSentence(ParanthizedSentence sentence,
                                          java.lang.Object arg)

visitQuantifiedSentence

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