ast_vector_push method

void ast_vector_push(Z3_context c, Z3_ast_vector v, Z3_ast a)

\brief Add the AST \c a in the end of the AST vector \c v. The size of \c v is increased by one.

def_API('Z3_ast_vector_push', VOID, (_in(CONTEXT), _in(AST_VECTOR), _in(AST)))

Implementation

void ast_vector_push(
  Z3_context c,
  Z3_ast_vector v,
  Z3_ast a,
) {
  return _ast_vector_push(
    c,
    v,
    a,
  );
}