Esempi in C# (CSharp) per ExprUtil.AsIfThenElse

Esempio n. 1

        public void IsIfThenElseWithAnd()
        {
            var sb    = GetSimpleBuilder();
            var v     = GetVarAndIdExpr("foo", BasicType.Bool).Item2;
            var ite   = sb.And(sb.Eq(v, sb.False), v);
            var asIte = ExprUtil.AsIfThenElse(ite);

            Assert.IsNull(asIte);
        }