+ void copy_from_new(ModelAction *newaction);
+ void set_seq_number(modelclock_t num);
+ void set_try_lock(bool obtainedlock);
+ bool is_mutex_op() const;
+ bool is_lock() const;
+ bool is_trylock() const;
+ bool is_unlock() const;
+ bool is_success_lock() const;
+ bool is_failed_trylock() const;