probe_const method

Z3_probe probe_const(
  1. Z3_context x,
  2. double val
)

\brief Return a probe that always evaluates to val.

def_API('Z3_probe_const', PROBE, (_in(CONTEXT), _in(DOUBLE)))

Implementation

Z3_probe probe_const(
  Z3_context x,
  double val,
) {
  return _probe_const(
    x,
    val,
  );
}