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
Return the symbol name.
- Precondition:
Z3_get_symbol_string(s) == SymbolKind::String
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
.
See also: