int switch_to_master(ModelAction *act);
ClockVector * get_cv(thread_id_t tid);
ModelAction * get_parent_action(thread_id_t tid);
- bool isfinalfeasible() const;
void check_promises_thread_disabled();
void mo_check_promises(thread_id_t tid, const ModelAction *write);
void check_promises(thread_id_t tid, ClockVector *old_cv, ClockVector * merge_cv);
struct execution_stats stats;
void record_stats();
- bool isfeasibleotherthanRMW() const;
- bool isfeasible() const;
+ bool is_feasible_prefix_ignore_relseq() const;
+ bool is_infeasible_ignoreRMW() const;
+ bool is_infeasible() const;
bool is_deadlocked() const;
bool is_complete_execution() const;
bool have_bug_reports() const;