Z3
FiniteDomainExpr.cs
Go to the documentation of this file.
1/*++
2Copyright (<c>) 2012 Microsoft Corporation
3
4Module Name:
5
6 FiniteDomainExpr.cs
7
8Abstract:
9
10 Z3 Managed API: Finite-domain Expressions
11
12Author:
13
14 Christoph Wintersteiger (cwinter) 2015-12-02
15
16Notes:
17
18--*/
19using System.Diagnostics;
20using System;
21
22namespace 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}
The main interaction with Z3 happens via the Context.
Definition: Context.cs:32
Expressions are terms.
Definition: Expr.cs:31
Finite-domain expressions