AIMA.Core.Logic.FOL.Parsing.AbstractFOLVisitor.visitTermEquality C# (CSharp) Method

visitTermEquality() public method

public visitTermEquality ( TermEquality equality, Object arg ) : Object
equality AIMA.Core.Logic.FOL.Parsing.AST.TermEquality
arg Object
return Object
        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);
        }