timer::pause (Método)
Detiene el bloque de mensajería timer. Si es un bloque de mensajería timer que se repite, se puede reiniciar con una llamada start() subsiguiente. Para los temporizadores no repetitivos, esto tiene el mismo efecto que una llamada stop.
void pause();
Requisitos
Encabezado: agents.h
Espacio de nombres: Simultaneidad