X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/96cedde3cdbc0b8ffc3f096a1b65d021b0226f99..2dab73b61a6ad4feb7d2d267bf5621c7b95926b3:/src/mc/mc_base.h diff --git a/src/mc/mc_base.h b/src/mc/mc_base.h index f66f1828ef..44347c0a25 100644 --- a/src/mc/mc_base.h +++ b/src/mc/mc_base.h @@ -1,4 +1,4 @@ -/* Copyright (c) 2008-2019. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2008-2020. 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. */ @@ -35,13 +35,12 @@ XBT_PRIVATE void handle_simcall(smx_simcall_t req, int req_num); * Most requests are always enabled but WAIT and WAITANY * are not always enabled: a WAIT where the communication does not * have both a source and a destination yet is not enabled - * (unless timeout is enabled in the wait and enabeld in SimGridMC). + * (unless timeout is enabled in the wait and enabled in SimGridMC). */ XBT_PRIVATE bool actor_is_enabled(smx_actor_t process); /** Check if the given simcall is visible */ -XBT_PRIVATE bool request_is_visible(smx_simcall_t req); - +XBT_PRIVATE bool request_is_visible(const s_smx_simcall* req); } }