probe_and method

Z3_probe probe_and(Z3_context x, Z3_probe p1, Z3_probe p2)

\brief Return a probe that evaluates to "true" when \c p1 and \c p2 evaluates to true.

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

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

Implementation

Z3_probe probe_and(
  Z3_context x,
  Z3_probe p1,
  Z3_probe p2,
) {
  return _probe_and(
    x,
    p1,
    p2,
  );
}