Método de timer::resume_propagation

Reinicia a propagação após uma reserva foi lançada.

virtual void resume_propagation();

Requisitos

Cabeçalho: Agents.h

Namespace: Simultaneidade

Consulte também

Referência

Timer de classe