public:
ModelAction(action_type_t type, memory_order order, void *loc, int value);
~ModelAction();
- void print(void);
+ void print(void) const;
thread_id_t get_tid() const { return tid; }
action_type get_type() const { return type; }
ClockVector * get_cv() const { return cv; }
void read_from(ModelAction *act);
+ bool happens_before(ModelAction *act);
+
inline bool operator <(const ModelAction& act) const {
return get_seq_number() < act.get_seq_number();
}