probe_gt method

Z3_probe probe_gt(
  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 the value returned by \c p2.

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

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

Implementation

Z3_probe probe_gt(
  Z3_context x,
  Z3_probe p1,
  Z3_probe p2,
) {
  return _probe_gt(
    x,
    p1,
    p2,
  );
}