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

Показать файл Открыть проект Примеры использования класса

Открытые свойства

Свойство	Тип	Описание
unifier	AIMA.Core.Logic.FOL.Unifier
variableCollector	AIMA.Core.Logic.FOL.VariableCollector

Защищенные свойства (Protected)

Свойство	Тип	Описание
substVisitor	AIMA.Core.Logic.FOL.SubstVisitor

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

Метод	Описание
isValidMatch ( Term toMatch, List toMatchVariables, Term possibleMatch, Term>.Dictionary substitution ) : bool

Защищенные методы

Метод	Описание
getMatchingSubstitution ( Term toMatch, AtomicSentence expression ) : IdentifyCandidateMatchingTerm

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

getMatchingSubstitution() защищенный метод

protected getMatchingSubstitution ( Term toMatch, AtomicSentence expression ) : IdentifyCandidateMatchingTerm
toMatch	Term
expression	AtomicSentence
Результат	IdentifyCandidateMatchingTerm

isValidMatch() публичный абстрактный метод

public abstract isValidMatch ( Term toMatch, List toMatchVariables, Term possibleMatch, Term>.Dictionary substitution ) : bool
toMatch	Term
toMatchVariables	List
possibleMatch	Term
substitution	Term>.Dictionary
Результат	bool

Описание свойств

substVisitor защищенное свойство

protected SubstVisitor,AIMA.Core.Logic.FOL substVisitor
Результат	AIMA.Core.Logic.FOL.SubstVisitor

unifier публичное свойство

public Unifier,AIMA.Core.Logic.FOL unifier
Результат	AIMA.Core.Logic.FOL.Unifier

variableCollector публичное свойство

public VariableCollector,AIMA.Core.Logic.FOL variableCollector
Результат	AIMA.Core.Logic.FOL.VariableCollector