timer::pause-Methode
Beendet den timer-Meldungsblock. Wenn es ein wiederholender timer-Meldungsblock ist, kann er mit einem nachfolgenden start()-Aufruf neu gestartet werden. Bei einmaligen Zeitgebern hat dies die gleichen Auswirkungen wie ein Aufruf von stop.
void pause();
Anforderungen
Header: agents.h
Namespace: Parallelität