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;
21 
22 namespace Microsoft.Z3
23 {
27  public class FiniteDomainExpr : Expr
28  {
29  #region Internal
30  internal FiniteDomainExpr(Context ctx, IntPtr obj)
32  : base(ctx, obj)
33  {
34  Contract.Requires(ctx != null);
35  }
36  #endregion
37  }
38 }
Expressions are terms.
Definition: Expr.cs:29
Finite-domain expressions
The main interaction with Z3 happens via the Context.
Definition: Context.cs:32