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