Z3_update_term

z3_sys

Function Z3_update_term 

Source 
pub unsafe extern "C" fn Z3_update_term(
    c: Z3_context,
    a: Z3_ast,
    num_args: c_uint,
    args: *const Z3_ast,
) -> Option<Z3_ast>
Expand description

Update the arguments of term a using the arguments args.

The number of arguments num_args should coincide with the number of arguments to a.

If a is a quantifier, then num_args has to be 1.