ast_vector_get method

Z3_ast ast_vector_get(
  1. Z3_context c,
  2. Z3_ast_vector v,
  3. int i
)

\brief Return the AST at position \c i in the AST vector \c v.

\pre i < Z3_ast_vector_size(c, v)

def_API('Z3_ast_vector_get', AST, (_in(CONTEXT), _in(AST_VECTOR), _in(UINT)))

Implementation

Z3_ast ast_vector_get(
  Z3_context c,
  Z3_ast_vector v,
  int i,
) {
  return _ast_vector_get(
    c,
    v,
    i,
  );
}