X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/049961f158bb9004ad5447616e2f5c3028b43298..e01a8f10de51f1d10f5ee7529c201d132e630904:/src/mc/mc_request.hpp diff --git a/src/mc/mc_request.hpp b/src/mc/mc_request.hpp index a18e428a94..ca980d7a18 100644 --- a/src/mc/mc_request.hpp +++ b/src/mc/mc_request.hpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2007-2020. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2007-2021. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -17,10 +17,6 @@ enum class RequestType { internal, }; -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); } }