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());
}