get_datatype_sort_num_constructors method

int get_datatype_sort_num_constructors(Z3_context c, Z3_sort t)

\brief Return number of constructors for datatype.

\pre Z3_get_sort_kind(t) == Z3_DATATYPE_SORT

\sa Z3_get_datatype_sort_constructor \sa Z3_get_datatype_sort_recognizer \sa Z3_get_datatype_sort_constructor_accessor

def_API('Z3_get_datatype_sort_num_constructors', UINT, (_in(CONTEXT), _in(SORT)))

Implementation

int get_datatype_sort_num_constructors(
  Z3_context c,
  Z3_sort t,
) {
  return _get_datatype_sort_num_constructors(
    c,
    t,
  );
}