Function z3_sys::Z3_get_symbol_string [−][src]
pub unsafe extern "C" fn Z3_get_symbol_string(
c: Z3_context,
s: Z3_symbol
) -> Z3_string
Expand description
Return the symbol name.
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 Z3_get_symbol_string
.
Preconditions:
Z3_get_symbol_kind(s) == SymbolKind::String