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_store_n(
      a,
      indices.length,
      indicesPtr,
      c._createAST(value),
    );
    return result;
  } finally {
    malloc.free(indicesPtr);
  }
}