get_decl_num_parameters method

int get_decl_num_parameters(Z3_context c, Z3_func_decl d)

\brief Return the number of parameters associated with a declaration.

def_API('Z3_get_decl_num_parameters', UINT, (_in(CONTEXT), _in(FUNC_DECL)))

Implementation

int get_decl_num_parameters(
  Z3_context c,
  Z3_func_decl d,
) {
  return _get_decl_num_parameters(
    c,
    d,
  );
}