AIMA.Test.Core.Unit.Logic.Propositional.Visitors.CNFTransformerTest.testImplicationTransformation C# (CSharp) Méthode

testImplicationTransformation() private méthode

private testImplicationTransformation ( ) : void
Résultat void
        public void testImplicationTransformation()
        {
            Sentence impl = (Sentence)parser.parse("(A => B)");
            Sentence expected = (Sentence)parser.parse("((NOT A) OR B)");
            Sentence transformedImpl = transformer.transform(impl);
            Assert.AreEqual(expected.ToString(), transformedImpl.ToString());
        }