AIMA.Test.Core.Unit.Logic.Propositional.Algorithms.PLResolutionTest.testPLResolveWithNoLiteralMatching C# (CSharp) Méthode

        public void testPLResolveWithNoLiteralMatching()
        {
            Sentence one = (Sentence)parser.parse("(A OR B)");
            Sentence two = (Sentence)parser.parse("(C OR D)");
            List<Sentence> resolvents = resolution.plResolve(one, two);
            Assert.AreEqual(0, resolvents.Count);
        }