public static void boolToInt(BoolExpr b, out IntExpr e) { e = new IntExpr((Microsoft.Z3.IntExpr)ctx.MkITE(b.expr, intConst(1).expr, intConst(0).expr)); }
public static void not(BoolExpr f1, out BoolExpr e) { e = new BoolExpr(ctx.MkNot(f1.expr)); }
public static void getTrueBool(out BoolExpr e) { e = new BoolExpr(ctx.MkTrue()); }
public static void and(BoolExpr f1, BoolExpr f2, out BoolExpr e) { e = new BoolExpr(ctx.MkAnd(f1.expr, f2.expr)); }
public static void cmp(IntExpr f1, IntExpr f2, out BoolExpr e) { e = new BoolExpr(ctx.MkEq(f1.expr, f2.expr)); }