AIMA.Core.Logic.Propositional.Algorithms.DPLL.clausesWithNonTrueValues C# (CSharp) Method

        public List<Sentence> clausesWithNonTrueValues(List<Sentence> clauseList,
                Model model)
        {
            List<Sentence> clausesWithNonTrueValues = new List<Sentence>();
            for (int i = 0; i < clauseList.Count; i++)
            {
                Sentence clause = clauseList[i];
                if (!(isClauseTrueInModel(clause, model)))
                {
                    if (!(clausesWithNonTrueValues.Contains(clause)))
                    {// defensive
                        // programming not really necessary
                        clausesWithNonTrueValues.Add(clause);
                    }
                }

            }
            return clausesWithNonTrueValues;
        }