param_descrs_get_name method

Z3_symbol param_descrs_get_name(
  1. Z3_context c,
  2. Z3_param_descrs p,
  3. int i
)

\brief Return the name of the parameter at given index \c i.

\pre i < Z3_param_descrs_size(c, p)

def_API('Z3_param_descrs_get_name', SYMBOL, (_in(CONTEXT), _in(PARAM_DESCRS), _in(UINT)))

Implementation

Z3_symbol param_descrs_get_name(
  Z3_context c,
  Z3_param_descrs p,
  int i,
) {
  return _param_descrs_get_name(
    c,
    p,
    i,
  );
}