aima.logic.fol.parsing
Interface FOLVisitor

All Known Implementing Classes:

AbstractFOLVisitor, AbstractModulation.IdentifyCandidateMatchingTerm, AbstractModulation.ReplaceMatchingTerm, PredicateCollector, SubstVisitor, VariableCollector

public interface FOLVisitor

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	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)

visitQuantifiedSentence

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