get_datatype_sort_num_constructors method
\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,
);
}