ast_vector_translate method

Z3_ast_vector ast_vector_translate(
  1. Z3_context s,
  2. Z3_ast_vector v,
  3. Z3_context t
)

\brief Translate the AST vector \c v from context \c s into an AST vector in context \c t.

def_API('Z3_ast_vector_translate', AST_VECTOR, (_in(CONTEXT), _in(AST_VECTOR), _in(CONTEXT)))

Implementation

Z3_ast_vector ast_vector_translate(
  Z3_context s,
  Z3_ast_vector v,
  Z3_context t,
) {
  return _ast_vector_translate(
    s,
    v,
    t,
  );
}