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