get_datatype_sort_recognizer method
\brief Return idx'th recognizer.
\pre Z3_get_sort_kind(t) == Z3_DATATYPE_SORT \pre idx < Z3_get_datatype_sort_num_constructors(c, t)
\sa Z3_get_datatype_sort_num_constructors \sa Z3_get_datatype_sort_constructor \sa Z3_get_datatype_sort_constructor_accessor
def_API('Z3_get_datatype_sort_recognizer', FUNC_DECL, (_in(CONTEXT), _in(SORT), _in(UINT)))
Implementation
Z3_func_decl get_datatype_sort_recognizer(
Z3_context c,
Z3_sort t,
int idx,
) {
return _get_datatype_sort_recognizer(
c,
t,
idx,
);
}