is_char_sort method

bool is_char_sort(
  1. Z3_context c,
  2. Z3_sort s
)

\brief Check if \c s is a character sort.

def_API('Z3_is_char_sort', BOOL, (_in(CONTEXT), _in(SORT)))

Implementation

bool is_char_sort(
  Z3_context c,
  Z3_sort s,
) {
  return _is_char_sort(
    c,
    s,
  );
}