X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/22cae46149e1fb4988ad9e46060c3e7ecd4e0e44..afaf38d31c666bd960c0ca714c93c65fbb1a3a6d:/src/mc/mc_request.h diff --git a/src/mc/mc_request.h b/src/mc/mc_request.h index b635496b21..f7085c660e 100644 --- a/src/mc/mc_request.h +++ b/src/mc/mc_request.h @@ -6,10 +6,6 @@ #ifndef SIMGRID_MC_REQUEST_H #define SIMGRID_MC_REQUEST_H -#include - -#include "xbt/base.h" - #include "src/simix/smx_private.h" namespace simgrid { @@ -27,12 +23,6 @@ XBT_PRIVATE std::string request_to_string(smx_simcall_t req, int value, simgrid: XBT_PRIVATE bool request_is_enabled_by_idx(smx_simcall_t req, unsigned int idx); -/** Is the process ready to execute its simcall? - * - * This is true if the request associated with the process is ready. - */ -XBT_PRIVATE bool actor_is_enabled(smx_actor_t process); - XBT_PRIVATE std::string request_get_dot_output(smx_simcall_t req, int value); }