probe_ge method

Z3_probe probe_ge(
  1. Z3_context x,
  2. Z3_probe p1,
  3. Z3_probe p2
)

\brief Return a probe that evaluates to "true" when the value returned by \c p1 is greater than or equal to the value returned by \c p2.

\remark For probes, "true" is any value different from 0.0.

def_API('Z3_probe_ge', PROBE, (_in(CONTEXT), _in(PROBE), _in(PROBE)))

Implementation

Z3_probe probe_ge(
  Z3_context x,
  Z3_probe p1,
  Z3_probe p2,
) {
  return _probe_ge(
    x,
    p1,
    p2,
  );
}