get_re_sort_basis method

Z3_sort get_re_sort_basis(
  1. Z3_context c,
  2. Z3_sort s
)

\brief Retrieve basis sort for regex sort.

def_API('Z3_get_re_sort_basis', SORT, (_in(CONTEXT), _in(SORT)))

Implementation

Z3_sort get_re_sort_basis(
  Z3_context c,
  Z3_sort s,
) {
  return _get_re_sort_basis(
    c,
    s,
  );
}