aima.logic.fol
Class SubstVisitor

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

All Implemented Interfaces:

FOLVisitor

public class SubstVisitor
extends AbstractFOLVisitor

Author:

Ravi Mohan

Constructor Summary

SubstVisitor(FOLParser parser)

Method Summary

Sentence	getSubstitutedSentence(Sentence beforeSubst, java.util.Properties p)
java.lang.Object	visitQuantifiedSentence(QuantifiedSentence sentence, java.lang.Object arg)
java.lang.Object	visitVariable(Variable variable, java.lang.Object arg)

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SubstVisitor

public SubstVisitor(FOLParser parser)

Method Detail

visitVariable

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

Specified by:

visitVariable in interface FOLVisitor

Overrides:

visitVariable in class AbstractFOLVisitor

visitQuantifiedSentence

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

Specified by:

visitQuantifiedSentence in interface FOLVisitor

Overrides:

visitQuantifiedSentence in class AbstractFOLVisitor

getSubstitutedSentence

public Sentence getSubstitutedSentence(Sentence beforeSubst,
                                       java.util.Properties p)