void SIMIX_request_answer(smx_req_t);
void SIMIX_request_pre(smx_req_t, int);
void SIMIX_request_post(smx_action_t);
-int SIMIX_request_is_visible(smx_req_t req);
-int SIMIX_request_is_enabled(smx_req_t req);
-int SIMIX_request_is_enabled_by_idx(smx_req_t req, unsigned int idx);
XBT_INLINE smx_req_t SIMIX_req_mine(void);
#endif