public static Z3ArithExpr Neg(this Z3ArithExpr expr1, Z3Context context) { Contract.Assert(expr1 != null); return(context.MkUnaryMinus(expr1)); }
public static Z3ArithExpr Neg(this Z3ArithExpr expr1, Z3Context context) { Contract.Assert(expr1 != null); return(context.MkUnaryMinus(expr1)); }