aima.core.logic.fol

Class SubstVisitor

java.lang.Object

aima.core.logic.fol.parsing.AbstractFOLVisitor

aima.core.logic.fol.SubstVisitor

All Implemented Interfaces:

FOLVisitor

public class SubstVisitor
extends AbstractFOLVisitor

Author:

Ravi Mohan, Ciaran O'Reilly

Constructor Summary

Constructors

Constructor and Description
SubstVisitor()

Method Summary

Modifier and Type	Method and Description
Function	subst(java.util.Map<Variable,Term> theta, Function function)
Literal	subst(java.util.Map<Variable,Term> theta, Literal literal)
Sentence	subst(java.util.Map<Variable,Term> theta, Sentence sentence) Note: Refer to Artificial Intelligence A Modern Approach (3rd Edition): page 323.
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.core.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 sentence)

Note: Refer to Artificial Intelligence A Modern Approach (3rd Edition): page 323.

Parameters:

theta - a substitution.

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

subst

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

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