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

        public void testSimpleAndClause()
        {
            Sentence simple = (Sentence)parser.parse("(A AND B)");
            Sentence a = (Sentence)parser.parse("A");
            Sentence b = (Sentence)parser.parse("B");
            List<Sentence> clauses = gatherer.getClausesFrom(simple);
            Assert.AreEqual(2, clauses.Count);
            Assert.IsTrue(clauses.Contains(a));
            Assert.IsTrue(clauses.Contains(b));
        }