#ifndef SIMGRID_MC_REQUEST_H
#define SIMGRID_MC_REQUEST_H
-#include <string>
-
-#include "xbt/base.h"
-
#include "src/simix/smx_private.h"
namespace simgrid {
/** Is the process ready to execute its simcall?
*
* This is true if the request associated with the process is ready.
+ *
+ * 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).
*/
XBT_PRIVATE bool actor_is_enabled(smx_actor_t process);