Function z3_sys::Z3_tactic_repeat

source · 
pub unsafe extern "C" fn Z3_tactic_repeat(
    c: Z3_context,
    t: Z3_tactic,
    max: c_uint
) -> Z3_tactic
Expand description

Return a tactic that keeps applying t until the goal is not modified anymore or the maximum number of iterations max is reached.