probe_eq method

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

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

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

Implementation

Z3_probe probe_eq(
  Z3_context x,
  Z3_probe p1,
  Z3_probe p2,
) {
  return _probe_eq(
    x,
    p1,
    p2,
  );
}