AIMA.Core.Logic.FOL.Inference.AbstractModulation.IdentifyCandidateMatchingTerm.getMatchingSubstitution C# (CSharp) Метод

Документация по классу AbstractModulation.IdentifyCandidateMatchingTerm Показать файл Открыть проект

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

public getMatchingSubstitution ( ) : Term>.Dictionary
Результат Term>.Dictionary 
            public Dictionary<Variable, Term> getMatchingSubstitution()
            {
                return substitution;
            }
AbstractModulation.IdentifyCandidateMatchingTerm
IdentifyCandidateMatchingTerm
getMatchingSubstitution
getMatchingTerm
isMatch
visitConnectedSentence
visitConstant
visitFunction
visitNotSentence
visitPredicate
visitQuantifiedSentence
visitTermEquality
visitVariable