probe_lt method

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

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

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

Implementation

Z3_probe probe_lt(
  Z3_context x,
  Z3_probe p1,
  Z3_probe p2,
) {
  return _probe_lt(
    x,
    p1,
    p2,
  );
}