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

Method ArraySort

src/api/java/ArraySort.java:62–65  ·  view source on GitHub ↗
(Context ctx, long obj)

Source from the content-addressed store, hash-verified

60 }
61
62 ArraySort(Context ctx, long obj)
63 {
64 super(ctx, obj);
65 }
66
67 ArraySort(Context ctx, D domain, R range)
68 {

Callers

nothing calls this directly

Calls 4

mkArraySortMethod · 0.80
nCtxMethod · 0.80
getNativeObjectMethod · 0.80
arrayToNativeMethod · 0.80

Tested by

no test coverage detected