[−][src]Function z3_sys::Z3_tactic_apply_ex
pub unsafe extern "C" fn Z3_tactic_apply_ex(
c: Z3_context,
t: Z3_tactic,
g: Z3_goal,
p: Z3_params
) -> Z3_apply_result
Apply tactic t
to the goal g
using the parameter set p
.
pub unsafe extern "C" fn Z3_tactic_apply_ex(
c: Z3_context,
t: Z3_tactic,
g: Z3_goal,
p: Z3_params
) -> Z3_apply_result
Apply tactic t
to the goal g
using the parameter set p
.