get_symbol_string method

Z3_string get_symbol_string(
  1. Z3_context c,
  2. Z3_symbol s
)

\brief Return the symbol name.

\pre Z3_get_symbol_kind(s) == Z3_STRING_SYMBOL

\warning The returned buffer is statically allocated by Z3. It will be automatically deallocated when #Z3_del_context is invoked. So, the buffer is invalidated in the next call to \c Z3_get_symbol_string.

\sa Z3_mk_string_symbol

def_API('Z3_get_symbol_string', STRING, (_in(CONTEXT), _in(SYMBOL)))

Implementation

Z3_string get_symbol_string(
  Z3_context c,
  Z3_symbol s,
) {
  return _get_symbol_string(
    c,
    s,
  );
}