Beispiel #1
0
 public static Z3Expr Ite(this Z3BoolExpr cond, Z3Context context, Z3Expr ifTrue, Z3Expr ifFalse)
 {
     Contract.Assert(cond != null && ifTrue != null && ifFalse != null);
     return(context.MkITE(cond, ifTrue, ifFalse));
 }