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

        public void testDPLLFiltersClausesTheStatusOfWhichAreKnown()
        {
            Model model = new Model();
            model = model.extend(new Symbol("A"), true).extend(new Symbol("B"),
                    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(1, clausesWithNonTrueValues.Count);
            Sentence nonTrueClause = (Sentence)parser.parse("(B AND C)");
            clausesWithNonTrueValues.Contains(nonTrueClause);
        }