AIMA.Test.Core.Unit.Logic.Propositional.Visitors.CNFClauseGathererTest.testSymbol C# (CSharp) Метод

        public void testSymbol()
        {
            Sentence simple = (Sentence)parser.parse("A");
            Sentence a = (Sentence)parser.parse("A");
            List<Sentence> clauses = gatherer.getClausesFrom(simple);
            Assert.IsNotNull(clauses);
            Assert.AreEqual(1, clauses.Count);
            Assert.IsTrue(clauses.Contains(a));
        }