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

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