Z3
ConstructorList.cs
Go to the documentation of this file.
1/*++
2Copyright (c) 2012 Microsoft Corporation
3
4Module Name:
5
6 ConstructorList.cs
7
8Abstract:
9
10 Z3 Managed API: Constructor Lists
11
12Author:
13
14 Christoph Wintersteiger (cwinter) 2012-11-23
15
16Notes:
17
18--*/
19
20using System.Diagnostics;
21using System;
22using System.Collections.Generic;
23using System.Linq;
24using System.Text;
25
26
27namespace Microsoft.Z3
28{
33 {
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}
Constructors are used for datatype sorts.
Definition: Constructor.cs:29
Lists of constructors
The main interaction with Z3 happens via the Context.
Definition: Context.cs:32
Internal base class for interfacing with native Z3 objects. Should not be used externally.
Definition: Z3Object.cs:33