X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f3b7e5f4b4d7c87ee3e8827313ec966ea8fc8387..dba6fd1fd37f0d3757e26933711efc3845230d6e:/src/mc/mc_request.hpp diff --git a/src/mc/mc_request.hpp b/src/mc/mc_request.hpp index d33c0afa1b..f8dbc06cf5 100644 --- a/src/mc/mc_request.hpp +++ b/src/mc/mc_request.hpp @@ -19,11 +19,7 @@ enum class RequestType { XBT_PRIVATE bool request_depend(smx_simcall_t req1, smx_simcall_t req2); -XBT_PRIVATE std::string request_to_string(smx_simcall_t req, int value, simgrid::mc::RequestType type); - XBT_PRIVATE bool request_is_enabled_by_idx(smx_simcall_t req, unsigned int idx); - -XBT_PRIVATE std::string request_get_dot_output(smx_simcall_t req, int value); } }