The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.
When overridden in a derived class, resumes propagation after a reservation has been released.
virtual void resume_propagation() = 0;