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

Наследование: FOLVisitor
Показать файл Открыть проект

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

Метод Описание
IdentifyCandidateMatchingTerm ( Term toMatch, AtomicSentence expression, AbstractModulation abstractModulation ) : System
getMatchingSubstitution ( ) : Term>.Dictionary
getMatchingTerm ( ) : Term
isMatch ( ) : bool
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

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

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

public IdentifyCandidateMatchingTerm ( Term toMatch, AtomicSentence expression, AbstractModulation abstractModulation ) : System
toMatch Term
expression AtomicSentence
abstractModulation AbstractModulation
Результат System

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

public getMatchingSubstitution ( ) : Term>.Dictionary
Результат Term>.Dictionary

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

public getMatchingTerm ( ) : Term
Результат Term

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

public isMatch ( ) : bool
Результат bool

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