Function z3_sys::Z3_probe_le [−][src]
pub unsafe extern "C" fn Z3_probe_le(
x: Z3_context,
p1: Z3_probe,
p2: Z3_probe
) -> Z3_probe
Expand description
Return a probe that evaluates to “true” when the value returned by p1
is less than or equal to the value returned by p2
.
NOTE: For probes, “true” is any value different from 0.0.