Function z3_sys::Z3_tactic_apply

pub unsafe extern "C" fn Z3_tactic_apply(
    c: Z3_context,
    t: Z3_tactic,
    g: Z3_goal
) -> Z3_apply_result

Apply tactic t to the goal g.

See also:

• Z3_tactic_apply_ex