Function z3_sys::Z3_compute_interpolant
[−]
[src]
pub unsafe extern "C" fn Z3_compute_interpolant(
c: Z3_context,
pat: Z3_ast,
p: Z3_params,
interp: *mut Z3_ast_vector,
model: *mut Z3_model
) -> Z3_lbool