X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e18b130366eaef03cef5a1eea2d588d43703981d..f2e52058267e8ba6e5c4da63653351395471935b:/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?