SNAPSHOTALLOC
private:
int get_execution_number() const;
- bool should_wake_up(const ModelAction *curr, const Thread *thread) const;
- void wake_up_sleeping_actions(ModelAction *curr);
+ bool should_wake_up(const Thread *thread) const;
+ void wake_up_sleeping_actions();
modelclock_t get_next_seq_num();
bool next_execution();
bool initialize_curr_action(ModelAction **curr);