Function z3_sys::Z3_translate[−][src]

pub unsafe extern "C" fn Z3_translate(
    source: Z3_context, 
    a: Z3_ast, 
    target: Z3_context
) -> Z3_ast
Expand description

Translate/Copy the AST a from context source to context target.

AST a must have been created using context source.

Preconditions:

  • source != target