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

        public void testMultiAndClause2()
        {
            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));
        }