1 /*++
2 Copyright (c) 2012 Microsoft Corporation
3 
4 Module Name:
5 
6     BoolSort.cs
7 
8 Abstract:
9 
10     Z3 Managed API: Bool Sorts
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 
23 namespace Microsoft.Z3
24 {
25     /// <summary>
26     /// A Boolean sort.
27     /// </summary>
28     public class BoolSort : Sort
29     {
30         #region Internal
BoolSort(Context ctx, IntPtr obj)31         internal BoolSort(Context ctx, IntPtr obj) : base(ctx, obj) { Debug.Assert(ctx != null); }
BoolSort(Context ctx)32         internal BoolSort(Context ctx) : base(ctx, Native.Z3_mk_bool_sort(ctx.nCtx)) { Debug.Assert(ctx != null); }
33         #endregion
34     };
35 }
36