AIMA.Test.Core.Unit.Logic.Propositional.Algorithms.DPLLTest.testDPLLFilteringNonTrueClausesGivesNullWhenAllClausesAreKnown C# (CSharp) Метод

        public void testDPLLFilteringNonTrueClausesGivesNullWhenAllClausesAreKnown()
        {
            Model model = new Model();
            model = model.extend(new Symbol("A"), true).extend(new Symbol("B"),
                    true).extend(new Symbol("C"), true);
            Sentence sentence = (Sentence)parser
                    .parse("((A AND B) AND (B AND C))");
            List<Sentence> clauseList = new CNFClauseGatherer()
                            .getClausesFrom(new CNFTransformer()
                                    .transform(sentence));
            List<Sentence> clausesWithNonTrueValues = dpll
                    .clausesWithNonTrueValues(clauseList, model);
            Assert.AreEqual(0, clausesWithNonTrueValues.Count);
        }