C# (CSharp) Microsoft.Z3.Context.MkUnaryMinus 예제들

예제 #1

파일: Z3Utilities.cs 프로젝트: thisiscam/formula

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