AIMA.Core.Logic.Propositional.Algorithms.WalkSAT.getNumberOfClausesSatisfiedIn C# (CSharp) Method

        private int getNumberOfClausesSatisfiedIn(List<Sentence> clauses, Model model)
        {
            int retVal = 0;
            foreach(Sentence s in clauses)
            {
                if (model.isTrue(s))
                {
                    retVal += 1;
                }
            }
            return retVal;
        }
    }