Z3 |

ConstructorList.cs
Go to the documentation of this file.
1/*++
2 Copyright (c) 2012 Microsoft Corporation
3
4 Module Name:
5
6 ConstructorList.cs
7
8 Abstract:
9
10 Z3 Managed API: Constructor Lists
11
12 Author:
13
14 Christoph Wintersteiger (cwinter) 2012-11-23
15
16 Notes:
17
18--*/
19
20 using System.Diagnostics;
21 using System;
22 using System.Collections.Generic;
23 using System.Linq;
24 using System.Text;
25
26
27 namespace Microsoft.Z3
28{
32 public class ConstructorList : Z3Object
33 {
37 ~ConstructorList()
38 {
39 Native.Z3_del_constructor_list(Context.nCtx, NativeObject);
40 }
41
42 #region Internal
43 internal ConstructorList(Context ctx, IntPtr obj)
44 : base(ctx, obj)
45 {
46 Debug.Assert(ctx != null);
47 }
48
49 internal ConstructorList(Context ctx, Constructor[] constructors)
50 : base(ctx)
51 {
52 Debug.Assert(ctx != null);
53 Debug.Assert(constructors != null);
54
55 NativeObject = Native.Z3_mk_constructor_list(Context.nCtx, (uint)constructors.Length, Constructor.ArrayToNative(constructors));
56 }
57 #endregion
58 }
59}
Microsoft.Z3.Constructor
Constructors are used for datatype sorts.
Definition: Constructor.cs:29
Microsoft.Z3.ConstructorList
Lists of constructors
Definition: ConstructorList.cs:33
Microsoft.Z3.Context
The main interaction with Z3 happens via the Context.
Definition: Context.cs:32
Microsoft.Z3.Z3Object
Internal base class for interfacing with native Z3 objects. Should not be used externally.
Definition: Z3Object.cs:33
Microsoft.Z3
Definition: AlgebraicNum.cs:27