AIMA.Core.Logic.FOL.Parsing.AST.TermEquality.getTerm2 C# (CSharp) Method

        public Term getTerm2()
        {
            return term2;
        }

        // END-AtomicSentence
        //

        public override bool Equals(Object o)
        {
            if (this == o)
            {
                return(true);
            }
            if ((o == null) || !(o is TermEquality))
            {
                return(false);
            }
            TermEquality te = (TermEquality)o;

            return(te.getTerm1().Equals(term1) && te.getTerm2().Equals(term2));
        }