C# Класс AIMA.Core.Logic.FOL.Inference.AbstractModulation.ReplaceMatchingTerm

Наследование: FOLVisitor

Показать файл Открыть проект

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

Метод	Описание
ReplaceMatchingTerm ( ) : System
replace ( AtomicSentence expression, Term toReplace, Term replaceWith ) : AtomicSentence
visitConnectedSentence ( ConnectedSentence sentence, Object arg ) : Object
visitConstant ( Constant constant, Object arg ) : Object
visitFunction ( Function function, Object arg ) : Object
visitNotSentence ( NotSentence sentence, Object arg ) : Object
visitPredicate ( Predicate p, Object arg ) : Object
visitQuantifiedSentence ( QuantifiedSentence sentence, Object arg ) : Object
visitTermEquality ( TermEquality equality, Object arg ) : Object
visitVariable ( Variable variable, Object arg ) : Object

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

ReplaceMatchingTerm() публичный метод

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

replace() публичный метод

public replace ( AtomicSentence expression, Term toReplace, Term replaceWith ) : AtomicSentence
expression	AtomicSentence
toReplace	Term
replaceWith	Term
Результат	AtomicSentence

visitConnectedSentence() публичный метод

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

visitConstant() публичный метод

public visitConstant ( Constant constant, Object arg ) : Object
constant	AIMA.Core.Logic.FOL.Parsing.AST.Constant
arg	Object
Результат	Object

visitFunction() публичный метод

public visitFunction ( Function function, Object arg ) : Object
function	Function
arg	Object
Результат	Object

visitNotSentence() публичный метод

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

visitPredicate() публичный метод

public visitPredicate ( Predicate p, Object arg ) : Object
p	AIMA.Core.Logic.FOL.Parsing.AST.Predicate
arg	Object
Результат	Object

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

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

visitTermEquality() публичный метод

public visitTermEquality ( TermEquality equality, Object arg ) : Object
equality	AIMA.Core.Logic.FOL.Parsing.AST.TermEquality
arg	Object
Результат	Object

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

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