params_set_symbol method

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

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

def_API('Z3_params_set_symbol', VOID, (_in(CONTEXT), _in(PARAMS), _in(SYMBOL), _in(SYMBOL)))

Implementation

void params_set_symbol(
  Z3_context c,
  Z3_params p,
  Z3_symbol k,
  Z3_symbol v,
) {
  return _params_set_symbol(
    c,
    p,
    k,
    v,
  );
}