Microsoft.Z3.TupleSort.TupleSort C# (CSharp) Méthode

TupleSort Class Documentation Afficher le fichier Open project: sslab-gatech/juxta

TupleSort() private méthode

private TupleSort ( Context ctx, Symbol name, uint numFields, Symbol fieldNames, Microsoft.Z3.Sort fieldSorts ) : System
ctx Context
name Symbol
numFields uint
fieldNames Symbol
fieldSorts Microsoft.Z3.Sort
Résultat System 
        internal TupleSort(Context ctx, Symbol name, uint numFields, Symbol[] fieldNames, Sort[] fieldSorts)
            : base(ctx)
        {
            Contract.Requires(ctx != null);
            Contract.Requires(name != null);

            IntPtr t = IntPtr.Zero;
            IntPtr[] f = new IntPtr[numFields];
            NativeObject = Native.Z3_mk_tuple_sort(ctx.nCtx, name.NativeObject, numFields,
                                                   Symbol.ArrayToNative(fieldNames), AST.ArrayToNative(fieldSorts),
                                                   ref t, f);
        }
TupleSort
TupleSort