C# Класс AIMA.Core.Logic.FOL.SubstVisitor

Наследование: AIMA.Core.Logic.FOL.Parsing.AbstractFOLVisitor
Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод Описание
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

Описание методов

SubstVisitor() публичный Метод

public SubstVisitor ( ) : System
Результат System

subst() публичный Метод

public subst ( Term>.Dictionary theta, Function aFunction ) : Function
theta Term>.Dictionary
aFunction Function
Результат Function

subst() публичный Метод

public subst ( Term>.Dictionary theta, Literal aLiteral ) : Literal
theta Term>.Dictionary
aLiteral AIMA.Core.Logic.FOL.KB.Data.Literal
Результат AIMA.Core.Logic.FOL.KB.Data.Literal

subst() публичный Метод

public subst ( Term>.Dictionary theta, Sentence aSentence ) : Sentence
theta Term>.Dictionary
aSentence Sentence
Результат Sentence

subst() публичный Метод

public subst ( Term>.Dictionary theta, Term aTerm ) : Term
theta Term>.Dictionary
aTerm Term
Результат Term

visitQuantifiedSentence() публичный Метод

public visitQuantifiedSentence ( QuantifiedSentence sentence, Object arg ) : Object
sentence AIMA.Core.Logic.FOL.Parsing.AST.QuantifiedSentence
arg Object
Результат Object

visitVariable() публичный Метод

public visitVariable ( Variable variable, Object arg ) : Object
variable AIMA.Core.Logic.FOL.Parsing.AST.Variable
arg Object
Результат Object