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

        public void testExtendModel()
        {
            String p = "P";
            m = m.extend(new Symbol(p), true);
            Assert.AreEqual(true, m.getStatus(new Symbol("P")));
        }