X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b17531686acca9a61c349274d9de9c0dc4c7e07a..2376a01092173679830310f4d57b267445959f97:/src/mc/mc_request.h diff --git a/src/mc/mc_request.h b/src/mc/mc_request.h index f7f8bcd68c..2fa08961aa 100644 --- a/src/mc/mc_request.h +++ b/src/mc/mc_request.h @@ -24,12 +24,6 @@ XBT_PRIVATE bool request_depend(smx_simcall_t req1, smx_simcall_t req2); XBT_PRIVATE char* request_to_string(smx_simcall_t req, int value, simgrid::mc::RequestType type); -/** Check if the given simcall is visible - * - * \return `TRUE` or `FALSE` - */ -XBT_PRIVATE bool request_is_visible(smx_simcall_t req); - XBT_PRIVATE bool request_is_enabled_by_idx(smx_simcall_t req, unsigned int idx); /** Is the process ready to execute its simcall?