build method

@override Z3_ast build(Context c)

Implementation

@override
Z3_ast build(Context c) {
  final a = c._createFuncDecl(mapFn);
  final arraysPtr = calloc<Z3_ast>(arrays.length);
  try {
    for (var i = 0; i < arrays.length; i++) {
      arraysPtr[i] = c._createAST(arrays[i]);
    }
    final result = c._z3.mk_map(a, arrays.length, arraysPtr);
    return result;
  } finally {
    malloc.free(arraysPtr);
  }
}