reset_memory method

void reset_memory()

\brief 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.

def_API('Z3_reset_memory', VOID, ())

Implementation

void reset_memory() {
  return _reset_memory();
}