z3_sys

Function Z3_tactic_cond

Source 
pub unsafe extern "C" fn Z3_tactic_cond(
    c: Z3_context,
    p: Z3_probe,
    t1: Z3_tactic,
    t2: Z3_tactic,
) -> Z3_tactic
Expand description

Return a tactic that applies t1 to a given goal if the probe p evaluates to true, and t2 if p evaluates to false.