- simgrid::simix::Exec *exec = dynamic_cast<simgrid::simix::Exec*>(synchro);
- if (exec != nullptr) {
- SIMIX_post_host_execute(synchro);
- return;
- }
-
- simgrid::simix::Comm *comm = dynamic_cast<simgrid::simix::Comm*>(synchro);
- if (comm != nullptr) {
- SIMIX_post_comm(synchro);
- return;
- }
-
- simgrid::simix::Sleep *sleep = dynamic_cast<simgrid::simix::Sleep*>(synchro);
- if (sleep != nullptr) {
- SIMIX_post_process_sleep(synchro);
- return;
- }
-
- simgrid::simix::Raw *raw = dynamic_cast<simgrid::simix::Raw*>(synchro);
- if (raw != nullptr) {
- SIMIX_post_synchro(synchro);
- return;
- }