Esempi in C# (CSharp) per AIMA.Core.Logic.FOL.Inference AbstractModulation.isValidMatch

isValidMatch() public abstract method

public abstract isValidMatch ( Term toMatch, List toMatchVariables, Term possibleMatch, Term>.Dictionary substitution ) : bool
toMatch	Term
toMatchVariables	List
possibleMatch	Term
substitution	Term>.Dictionary
return	bool

Esempio n. 1

File: AbstractModulation.cs Progetto: claudiu04/AIMA.Net

            public Object visitVariable(Variable variable, Object arg)
            {
                if (null != (substitution = abstractModulation.unifier.unify(toMatch, variable)))
                {
                    if (abstractModulation.isValidMatch(toMatch, toMatchVariables, variable,
                                                        substitution))
                    {
                        matchingTerm = variable;
                    }
                }

                return(variable);
            }