Z3 |

FiniteDomainExpr.cs
Go to the documentation of this file.
1/*++
2 Copyright (<c>) 2012 Microsoft Corporation
3
4 Module Name:
5
6 FiniteDomainExpr.cs
7
8 Abstract:
9
10 Z3 Managed API: Finite-domain Expressions
11
12 Author:
13
14 Christoph Wintersteiger (cwinter) 2015-12-02
15
16 Notes:
17
18--*/
19 using System.Diagnostics;
20 using System;
21
22 namespace Microsoft.Z3
23{
27 public class FiniteDomainExpr : Expr
28 {
29 #region Internal
31 internal FiniteDomainExpr(Context ctx, IntPtr obj)
32 : base(ctx, obj)
33 {
34 Debug.Assert(ctx != null);
35 }
36 #endregion
37 }
38}
Microsoft.Z3.Context
The main interaction with Z3 happens via the Context.
Definition: Context.cs:32
Microsoft.Z3.Expr
Expressions are terms.
Definition: Expr.cs:31
Microsoft.Z3.FiniteDomainExpr
Finite-domain expressions
Definition: FiniteDomainExpr.cs:28
Microsoft.Z3
Definition: AlgebraicNum.cs:27