- bool is_enabled(Thread *t);
- bool is_enabled(thread_id_t tid);
- ModelAction * get_action() { return action; }
- bool has_priority(thread_id_t tid);
- int get_num_threads() {return num_threads;}
+ bool is_enabled(Thread *t) const;
+ bool is_enabled(thread_id_t tid) const;
+ enabled_type_t enabled_status(thread_id_t tid) const;
+
+ ModelAction * get_action() const { return action; }
+ bool has_priority(thread_id_t tid) const;
+ int get_num_threads() const { return num_threads; }