Esempi in C# (CSharp) per Microsoft.Z3.Context.MkITE

Esempio n. 1

File: Z3Utilities.cs Progetto: thisiscam/formula

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