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

        public void testSimplePositiveSymbol()
        {
            Sentence sentence = (Sentence)parser.parse("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);

            Assert.AreEqual(0, neg.Count);

            Assert.AreEqual(1, pos.Count);
            Sentence b = (Sentence)parser.parse("B");
            Assert.IsTrue(FindSentence(pos, b));

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

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

            Assert.IsTrue(FindSentence(pure, b));

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