-
- s_mc_snapshot_stack()
- : context(nullptr), process_index(0)
- {}
- ~s_mc_snapshot_stack();
- s_mc_snapshot_stack(s_mc_snapshot_stack& p) = delete;
- s_mc_snapshot_stack& operator=(s_mc_snapshot_stack&) = delete;
-
- s_mc_snapshot_stack(s_mc_snapshot_stack&& that)
- {
- *this = std::move(that);
- }
- s_mc_snapshot_stack& operator=(s_mc_snapshot_stack&& that)
- {
- this->local_variables = std::move(that.local_variables);
- this->context = std::move(that.context);
- that.context = nullptr;
- this->process_index = that.process_index;
- that.process_index = 0;
- return *this;
- }
-
-}s_mc_snapshot_stack_t, *mc_snapshot_stack_t;
-
-typedef struct s_mc_global_t {
- mc_snapshot_t snapshot;
- int prev_pair;
- char *prev_req;
- int initial_communications_pattern_done;
- int recv_deterministic;
- int send_deterministic;
- char *send_diff;
- char *recv_diff;
-}s_mc_global_t, *mc_global_t;