Function z3_sys::Z3_reset_memory [−][src]
pub unsafe extern "C" fn Z3_reset_memory()
Expand description
Reset all allocated resources.
Use this facility on out-of memory errors. It allows discharging the previous state and resuming afresh. Any pointers previously returned by the API become invalid.