ast_vector_resize method

void ast_vector_resize(
  1. Z3_context c,
  2. Z3_ast_vector v,
  3. int n
)

\brief Resize the AST vector \c v.

def_API('Z3_ast_vector_resize', VOID, (_in(CONTEXT), _in(AST_VECTOR), _in(UINT)))

Implementation

void ast_vector_resize(
  Z3_context c,
  Z3_ast_vector v,
  int n,
) {
  return _ast_vector_resize(
    c,
    v,
    n,
  );
}