- Scheduler *scheduler;
-
- bool sleep_can_read_from(ModelAction * curr, const ModelAction *write);
- bool thin_air_constraint_may_allow(const ModelAction * writer, const ModelAction *reader);
- bool mo_may_allow(const ModelAction * writer, const ModelAction *reader);
- bool has_asserted() {return asserted;}
- void reset_asserted() {asserted=false;}
+ Scheduler * const scheduler;
+
+ bool sleep_can_read_from(ModelAction *curr, const ModelAction *write);
+ bool thin_air_constraint_may_allow(const ModelAction *writer, const ModelAction *reader);
+ bool mo_may_allow(const ModelAction *writer, const ModelAction *reader);
+ bool has_asserted() const;
+ void set_assert();
+ void set_bad_synchronization();