C# (CSharp) Microsoft.Z3.Context.MkITEの例

コード例 #1

ファイル: Z3Utilities.cs プロジェクト: 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));
 }