translate method

Z3_ast translate(
  1. Z3_context source,
  2. Z3_ast a,
  3. Z3_context target
)

\brief Translate/Copy the AST \c a from context \c source to context \c target. AST \c a must have been created using context \c source. \pre source != target

def_API('Z3_translate', AST, (_in(CONTEXT), _in(AST), _in(CONTEXT)))

Implementation

Z3_ast translate(
  Z3_context source,
  Z3_ast a,
  Z3_context target,
) {
  return _translate(
    source,
    a,
    target,
  );
}