- /* Currently not in use. May remove this field later
- *
- * collisions store a list of FuncInsts with the same position
- * but different action types. For example, CAS is broken down
- * as three different atomic operations in cmodelint.cc */
- // func_inst_list_mt collisions;
+ ModelAction * associated_act;
+ uint32_t action_marker;
+
+ /**
+ * Collisions store a list of FuncInsts with the same position
+ * but different action types. For example,
+ * <code>volatile int x; x++;</code> produces read and write
+ * actions with the same position.
+ */
+ func_inst_list_mt collisions;