Thread * get_thread(const ModelAction *act) const;
Thread * get_current_thread() const;
+ thread_id_t get_current_thread_id() const;
uint64_t switch_thread(ModelAction *act);
unsigned int curr_thread_num;
Thread * chosen_thread;
- bool thread_chosen;
bool break_execution;
void startRunExecution(Thread *old);
void finishRunExecution(Thread *old);
- void chooseThread(ModelAction *act, Thread *thr);
Thread * getNextThread(Thread *old);
bool handleChosenThread(Thread *old);