void restore_initial_state() const;
/** Ask to the application to check for a deadlock. If so, do an error message and throw a DeadlockError. */
void restore_initial_state() const;
/** Ask to the application to check for a deadlock. If so, do an error message and throw a DeadlockError. */