AIMA.Test.Core.Unit.Logic.Propositional.Visitors.SymbolCollectorTest.testCollectSymbolsFromComplexSentence C# (CSharp) Method

        public void testCollectSymbolsFromComplexSentence()
        {
            Sentence sentence = (Sentence)parser
                    .parse(" (  (  ( NOT B11 )  OR  ( P12 OR P21 ) ) AND  (  ( B11 OR  ( NOT P12 )  ) AND  ( B11 OR  ( NOT P21 )  ) ) )");
            List<Symbol> s = collector.getSymbolsIn(sentence);
            Assert.AreEqual(3, s.Count);
            Sentence b11 = (Sentence)parser.parse("B11");
            Sentence p21 = (Sentence)parser.parse("P21");
            Sentence p12 = (Sentence)parser.parse("P12");
            Assert.IsTrue(FindSentence(s, b11));
            Assert.IsTrue(FindSentence(s, p21));
            Assert.IsTrue(FindSentence(s, p12));
        }
    }