build method

@override Z3_ast build(Context c)

Implementation

@override
Z3_ast build(Context c) {
  final a = c._createAST(array);
  final indicesPtr = calloc<Z3_ast>(indices.length);
  try {
    for (var i = 0; i < indices.length; i++) {
      indicesPtr[i] = c._createAST(indices[i]);
    }
    final result = c._z3.mk_select_n(a, indices.length, indicesPtr);
    return result;
  } finally {
    malloc.free(indicesPtr);
  }
}