ast_vector_set method

void ast_vector_set(
  1. Z3_context c,
  2. Z3_ast_vector v,
  3. int i,
  4. Z3_ast a,
)

\brief Update position \c i of the AST vector \c v with the AST \c a.

\pre i < Z3_ast_vector_size(c, v)

def_API('Z3_ast_vector_set', VOID, (_in(CONTEXT), _in(AST_VECTOR), _in(UINT), _in(AST)))

Implementation

void ast_vector_set(
  Z3_context c,
  Z3_ast_vector v,
  int i,
  Z3_ast a,
) {
  return _ast_vector_set(
    c,
    v,
    i,
    a,
  );
}