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

コード例 #1

ファイル: Z3Utilities.cs プロジェクト: thisiscam/formula

 public static Z3BoolExpr And(this Z3BoolExpr expr1, Z3Context context, Z3BoolExpr expr2)
 {
     if (expr1 == null)
     {
         return(expr2);
     }
     else if (expr2 == null)
     {
         return(expr1);
     }
     else
     {
         return(context.MkAnd(expr1, expr2));
     }
 }