Z3_probe_const

z3_sys

Function Z3_probe_const 

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

Return a probe that always evaluates to val.