mk_string_sort method

Z3_sort mk_string_sort(
  1. Z3_context c
)

\brief Create a sort for unicode strings.

The sort for characters can be changed to ASCII by setting the global parameter \c encoding to \c ascii, or alternative to 16 bit characters by setting \c encoding to \c bmp.

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

Implementation

Z3_sort mk_string_sort(
  Z3_context c,
) {
  return _mk_string_sort(
    c,
  );
}