[−][src]Function z3_sys::Z3_probe_not
pub unsafe extern "C" fn Z3_probe_not(x: Z3_context, p: Z3_probe) -> Z3_probe
Return a probe that evaluates to "true" when p
does not evaluate to true.
NOTE: For probes, "true" is any value different from 0.0.