Ejemplo n.º 1
0
        public void Test()
        {
            var builder   = new SimpleExprBuilder(/*immutable=*/ true);
            var boolTrue  = builder.ConstantBool(true);
            var boolFalse = builder.ConstantBool(false);
            var iffExpr   = builder.Iff(boolTrue, boolFalse);

            using (var writer = new StringWriter())
            {
                var printer = GetPrinter(writer);
                printer.PrintExpr(iffExpr);
                Assert.AreEqual("(and (=> true false ) (=> false true ) )", writer.ToString());
            }
        }