/** @returns the context for the main model-checking system thread */
ucontext_t * get_system_context() { return &system_context; }
- const ModelExecution * get_execution() const { return execution; }
+ ModelExecution * get_execution() const { return execution; }
int get_execution_number() const { return execution_number; }
Thread * get_thread(thread_id_t tid) const;
Thread * get_thread(const ModelAction *act) const;
- bool is_enabled(Thread *t) const;
- bool is_enabled(thread_id_t tid) const;
-
- unsigned int get_num_threads() const;
Thread * get_current_thread() const;
void switch_from_master(Thread *thread);
int execution_number;
+ unsigned int get_num_threads() const;
+
void execute_sleep_set();
bool next_execution();