mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-20 04:43:39 +00:00
Code Activity

add multi-argument select for C#

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-03-17 11:36:29 -07:00
parent d953bdd2e4
commit 93a4afe5d2
2 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/dotnet/ArrayExpr.cs
View file

@ -39,11 +39,13 @@ namespace Microsoft.Z3
} }
#endregion #endregion
/// <summary> Single argument select </summary>
public Expr this[Expr index] public Expr this[Expr index]
{ {
get { return Context.MkSelect(this, index); } get { return Context.MkSelect(this, index); }
} }
/// <summary> Multi argument select </summary>
public Expr this[IEnumerable<Expr> index] public Expr this[IEnumerable<Expr> index]
{ {
get { return Context.MkSelect(this, index.ToArray()); } get { return Context.MkSelect(this, index.ToArray()); }

1
src/api/dotnet/SeqExpr.cs
View file

@ -39,6 +39,7 @@ namespace Microsoft.Z3
} }
#endregion #endregion
/// <summary> Access the nth element of a sequence </summary>
public Expr this[Expr index] public Expr this[Expr index]
{ {
get { return Context.MkNth(this, index); } get { return Context.MkNth(this, index); }