public IdentifyCandidateMatchingTerm(Term toMatch,
AtomicSentence expression,AbstractModulation abstractModulation)
{
this.abstractModulation = abstractModulation;
this.toMatch = toMatch;
this.toMatchVariables = abstractModulation.variableCollector
.collectAllVariables(toMatch);
expression.accept(this, null);
}
public IdentifyCandidateMatchingTerm(Term toMatch,
AtomicSentence expression, AbstractModulation abstractModulation)
{
this.abstractModulation = abstractModulation;
this.toMatch = toMatch;
this.toMatchVariables = abstractModulation.variableCollector
.collectAllVariables(toMatch);
expression.accept(this, null);
}
