source_block::resume_propagation, méthode
En cas de substitution dans une classe dérivée, continue la propagation après qu'une réservation a été émise.
virtual void resume_propagation() = 0;
Configuration requise
En-tête : agents.h
Accès concurrentiel del'espace de noms :