overwrite_buffer::resume_propagation Method

Resumes propagation after a reservation has been released.

virtual void resume_propagation();

Requirements

Header: agents.h

Namespace: concurrency