params_set_bool method

void params_set_bool(
  1. Z3_context c,
  2. Z3_params p,
  3. Z3_symbol k,
  4. bool v,
)

\brief Add a Boolean parameter \c k with value \c v to the parameter set \c p.

def_API('Z3_params_set_bool', VOID, (_in(CONTEXT), _in(PARAMS), _in(SYMBOL), _in(BOOL)))

Implementation

void params_set_bool(
  Z3_context c,
  Z3_params p,
  Z3_symbol k,
  bool v,
) {
  return _params_set_bool(
    c,
    p,
    k,
    v,
  );
}