Microsoft.Z3.ListSort.ListSort C# (CSharp) Method

ListSort Class Documentation Show file Open project: sslab-gatech/juxta

ListSort() private method

private ListSort ( Context ctx, Symbol name, Microsoft.Z3.Sort elemSort ) : System
ctx Context
name Symbol
elemSort Microsoft.Z3.Sort
return System 
        internal ListSort(Context ctx, Symbol name, Sort elemSort)
            : base(ctx)
        {
            Contract.Requires(ctx != null);
            Contract.Requires(name != null);
            Contract.Requires(elemSort != null);

            IntPtr inil = IntPtr.Zero, iisnil = IntPtr.Zero,
                   icons = IntPtr.Zero, iiscons = IntPtr.Zero,
                   ihead = IntPtr.Zero, itail = IntPtr.Zero;

            NativeObject = Native.Z3_mk_list_sort(ctx.nCtx, name.NativeObject, elemSort.NativeObject,
                                                  ref inil, ref iisnil, ref icons, ref iiscons, ref ihead, ref itail);
        }
ListSort
ListSort