probe_not method

Z3_probe probe_not(
  1. Z3_context x,
  2. Z3_probe p
)

\brief Return a probe that evaluates to "true" when \c p does not evaluate to true.

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

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

Implementation

Z3_probe probe_not(
  Z3_context x,
  Z3_probe p,
) {
  return _probe_not(
    x,
    p,
  );
}