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

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

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

Méthode	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 méthode

public SubstVisitor ( ) : System
Résultat	System

subst() public méthode

public subst ( Term>.Dictionary theta, Function aFunction ) : Function
theta	Term>.Dictionary
aFunction	Function
Résultat	Function

subst() public méthode

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

subst() public méthode

public subst ( Term>.Dictionary theta, Sentence aSentence ) : Sentence
theta	Term>.Dictionary
aSentence	Sentence
Résultat	Sentence

subst() public méthode

public subst ( Term>.Dictionary theta, Term aTerm ) : Term
theta	Term>.Dictionary
aTerm	Term
Résultat	Term

visitQuantifiedSentence() public méthode

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

visitVariable() public méthode

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