Function z3_sys::Z3_probe_const

source · 
pub unsafe extern "C" fn Z3_probe_const(
    x: Z3_context,
    val: f64
) -> Z3_probe
Expand description

Return a probe that always evaluates to val.