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

        public void testSimpleNegativeSymbol()
        {
            Sentence sentence = (Sentence)parser.parse("(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(0, pos.Count);

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

            Assert.AreEqual(0, purePos.Count);

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

            Assert.AreEqual(0, impure.Count);
        }