MCPcopy Create free account
hub / github.com/Z3Prover/z3 / TupleSort

Method TupleSort

src/api/java/TupleSort.java:59–66  ·  view source on GitHub ↗
(Context ctx, Symbol name, int numFields, Symbol[] fieldNames,
            Sort[] fieldSorts)

Source from the content-addressed store, hash-verified

57 }
58
59 TupleSort(Context ctx, Symbol name, int numFields, Symbol[] fieldNames,
60 Sort[] fieldSorts)
61 {
62 super(ctx, Native.mkTupleSort(ctx.nCtx(), name.getNativeObject(),
63 numFields, Symbol.arrayToNative(fieldNames),
64 AST.arrayToNative(fieldSorts), new Native.LongPtr(),
65 new long[numFields]));
66 }
67};

Callers

nothing calls this directly

Calls 4

mkTupleSortMethod · 0.80
nCtxMethod · 0.80
getNativeObjectMethod · 0.80
arrayToNativeMethod · 0.80

Tested by

no test coverage detected