AIMA.Test.Core.Unit.Logic.Propositional.Visitors.CNFClauseGathererTest.testNotSentence C# (CSharp) Method

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