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

        public void testDPLLReturnsTrueWhenAllClausesTrueInModel()
        {
            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 (A OR B))");
            bool satisfiable = dpll.dpllSatisfiable(sentence, model);
            Assert.AreEqual(true, satisfiable);
        }