AIMA.Test.Core.Unit.Logic.Propositional.Visitors.SymbolClassifierTest.testSingleSymbolPositiveAndNegative C# (CSharp) Method

        public void testSingleSymbolPositiveAndNegative()
        {
            Sentence sentence = (Sentence)parser.parse("(B AND (NOT B))");
            List<Symbol> neg = classifier.getNegativeSymbolsIn(sentence);
            List<Symbol> pos = classifier.getPositiveSymbolsIn(sentence);

            List<Symbol> pureNeg = classifier.getPureNegativeSymbolsIn(sentence);
            List<Symbol> purePos = classifier.getPurePositiveSymbolsIn(sentence);

            List<Symbol> pure = classifier.getPureSymbolsIn(sentence);
            List<Symbol> impure = classifier.getImpureSymbolsIn(sentence);

            Sentence b = (Sentence)parser.parse("B");

            Assert.AreEqual(1, neg.Count);
            Assert.IsTrue(FindSentence(neg, b));

            Assert.AreEqual(1, pos.Count);
            Assert.IsTrue(FindSentence(pos, b));

            Assert.AreEqual(0, pureNeg.Count);
            Assert.AreEqual(0, purePos.Count);
            Assert.AreEqual(0, pure.Count);
            Assert.AreEqual(1, impure.Count);
        }