get_tuple_sort_num_fields method

int get_tuple_sort_num_fields(Z3_context c, Z3_sort t)

\brief Return the number of fields of the given tuple sort.

\pre Z3_get_sort_kind(c, t) == Z3_DATATYPE_SORT

\sa Z3_mk_tuple_sort \sa Z3_get_sort_kind

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

Implementation

int get_tuple_sort_num_fields(
  Z3_context c,
  Z3_sort t,
) {
  return _get_tuple_sort_num_fields(
    c,
    t,
  );
}