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

            public Object visitTermEquality(TermEquality equality, Object arg)
            {
                Term newTerm1 = (Term)equality.getTerm1().accept(this, arg);
                Term newTerm2 = (Term)equality.getTerm2().accept(this, arg);
                return new TermEquality(newTerm1, newTerm2);
            }