mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-29 20:05:51 +00:00
Code Activity

revert to legacy syntax to enable older versions of .NET

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2016-04-24 09:21:05 -07:00
parent 643a87cb5b
commit d97bddc3b5
2 changed files with 46 additions and 46 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/api/dotnet/BoolExpr.cs
View file

@ -37,18 +37,18 @@ namespace Microsoft.Z3
#region Operators
/// <summary> Disjunction of Boolean expressions </summary>
public static BoolExpr operator|(BoolExpr a, BoolExpr b) => a.Context.MkOr(a, b);
public static BoolExpr operator|(BoolExpr a, BoolExpr b) { return a.Context.MkOr(a, b); }
/// <summary>
/// Conjunction of Boolean expressions
/// </summary>
public static BoolExpr operator &(BoolExpr a, BoolExpr b) => a.Context.MkAnd(a, b);
public static BoolExpr operator &(BoolExpr a, BoolExpr b) { return a.Context.MkAnd(a, b); }
/// <summary> Xor of Boolean expressions </summary>
public static BoolExpr operator ^(BoolExpr a, BoolExpr b) => a.Context.MkXor(a, b);
public static BoolExpr operator ^(BoolExpr a, BoolExpr b) { return a.Context.MkXor(a, b); }
/// <summary> Negation </summary>
public static BoolExpr operator !(BoolExpr a) => a.Context.MkNot(a);
public static BoolExpr operator !(BoolExpr a) { return a.Context.MkNot(a); }
#endregion
}