C# (CSharp) Microsoft.Z3.Context.MkNot Examples

Example #1

File: Z3Utilities.cs Project: thisiscam/formula

 public static Z3BoolExpr Not(this Z3BoolExpr expr1, Z3Context context)
 {
     Contract.Assert(expr1 != null);
     return(context.MkNot(expr1));
 }

Example #2

File: Z3Utilities.cs Project: thisiscam/formula

 public static Z3BoolExpr NEq(this Z3Expr expr1, Z3Context context, Z3Expr expr2)
 {
     Contract.Requires(expr1 != null && expr2 != null);
     return(context.MkNot(context.MkEq(expr1, expr2)));
 }