C# Class AIMA.Core.Logic.FOL.SubstVisitor

Inheritance: AIMA.Core.Logic.FOL.Parsing.AbstractFOLVisitor

Show file Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

Method	Description
SubstVisitor ( ) : System
subst ( Term>.Dictionary theta, Function aFunction ) : Function
subst ( Term>.Dictionary theta, Literal aLiteral ) : Literal
subst ( Term>.Dictionary theta, Sentence aSentence ) : Sentence
subst ( Term>.Dictionary theta, Term aTerm ) : Term
visitQuantifiedSentence ( QuantifiedSentence sentence, Object arg ) : Object
visitVariable ( Variable variable, Object arg ) : Object

Method Details

SubstVisitor() public method

public SubstVisitor ( ) : System
return	System

subst() public method

public subst ( Term>.Dictionary theta, Function aFunction ) : Function
theta	Term>.Dictionary
aFunction	Function
return	Function

subst() public method

public subst ( Term>.Dictionary theta, Literal aLiteral ) : Literal
theta	Term>.Dictionary
aLiteral	AIMA.Core.Logic.FOL.KB.Data.Literal
return	AIMA.Core.Logic.FOL.KB.Data.Literal

subst() public method

public subst ( Term>.Dictionary theta, Sentence aSentence ) : Sentence
theta	Term>.Dictionary
aSentence	Sentence
return	Sentence

subst() public method

public subst ( Term>.Dictionary theta, Term aTerm ) : Term
theta	Term>.Dictionary
aTerm	Term
return	Term

visitQuantifiedSentence() public method

public visitQuantifiedSentence ( QuantifiedSentence sentence, Object arg ) : Object
sentence	AIMA.Core.Logic.FOL.Parsing.AST.QuantifiedSentence
arg	Object
return	Object

visitVariable() public method

public visitVariable ( Variable variable, Object arg ) : Object
variable	AIMA.Core.Logic.FOL.Parsing.AST.Variable
arg	Object
return	Object