public visitVariable ( |
||
variable | ||
arg | Object | |
return | Object |
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;
}