AIMA.Core.Logic.FOL.CNFConstructor.visitTermEquality C# (CSharp) Méthode

        public Object visitTermEquality(TermEquality equality, Object arg)
        {
            ArgData ad = (ArgData)arg;
            if (ad.negated)
            {
                ad.clauses[ad.clauses.Count - 1].addNegativeLiteral(equality);
            }
            else
            {
                ad.clauses[ad.clauses.Count - 1].addPositiveLiteral(equality);
            }
            return equality;
        }