mk_char_sort method

Z3_sort mk_char_sort(
  1. Z3_context c
)

\brief Create a sort for unicode characters.

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_char_sort', SORT, (_in(CONTEXT), ))

Implementation

Z3_sort mk_char_sort(
  Z3_context c,
) {
  return _mk_char_sort(
    c,
  );
}