#define SIMGRID_MC_STATE_H
#include <xbt/base.h>
+#include <xbt/dynar.h>
#include <simgrid_config.h>
#include "src/simix/smx_private.h"
s_smx_simcall_t executed_req; /* The executed request of the state */
int req_num; /* The request number (in the case of a
multi-request like waitany ) */
- mc_snapshot_t system_state; /* Snapshot of system state */
+ simgrid::mc::Snapshot* system_state; /* Snapshot of system state */
int num;
int in_visited_states;
// comm determinism verification (xbt_dynar_t<xbt_dynar_t<mc_comm_pattern_t>):
SG_END_DECL()
+namespace simgrid {
+namespace mc {
+
+XBT_PRIVATE int snapshot_compare(mc_state_t state1, mc_state_t state2);
+
+}
+}
+
#endif