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

Constructor Summary

SubstVisitor()

Method Summary

Function	subst(java.util.Map<Variable,Term> theta, Function aFunction)
Literal	subst(java.util.Map<Variable,Term> theta, Literal aLiteral)
Sentence	subst(java.util.Map<Variable,Term> theta, Sentence aSentence) Note: Refer to Artificial Intelligence A Modern Approach (2nd Edition): page 273.
Term	subst(java.util.Map<Variable,Term> theta, Term aTerm)
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, 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()

Method Detail

subst

public Sentence subst(java.util.Map<Variable,Term> theta,
                      Sentence aSentence)

Note: Refer to Artificial Intelligence A Modern Approach (2nd Edition): page 273.

Parameters:

theta - a substitution.

aSentence - the substitution has been applied to.

Returns:

a new Sentence representing the result of applying the substitution theta to aSentence.

subst

public Term subst(java.util.Map<Variable,Term> theta,
                  Term aTerm)

subst

public Function subst(java.util.Map<Variable,Term> theta,
                      Function aFunction)

subst

public Literal subst(java.util.Map<Variable,Term> theta,
                     Literal aLiteral)

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