C# (CSharp) Microsoft.Z3.Context.MkSub Exemples

Exemple #1

Fichier : Z3Utilities.cs Projet : thisiscam/formula

 public static Z3ArithExpr Sub(this Z3ArithExpr expr1, Z3Context context, Z3ArithExpr expr2)
 {
     Contract.Requires(expr1 != null && expr2 != null);
     return(context.MkSub(expr1, expr2));
 }