Function z3_sys::Z3_probe_or

source · 
pub unsafe extern "C" fn Z3_probe_or(
    x: Z3_context,
    p1: Z3_probe,
    p2: Z3_probe
) -> Z3_probe
Expand description

Return a probe that evaluates to “true” when p1 or p2 evaluates to true.

NOTE: For probes, “true” is any value different from 0.0.