+ bool is_write() const;
+ bool is_single_location() { return single_location; }
+ void not_single_location() { single_location = false; }
+
+ void set_execution_number(int new_number) { execution_number = new_number; }
+ int get_execution_number() { return execution_number; }
+
+ void set_associated_act(ModelAction * act, uint32_t marker);
+ ModelAction * get_associated_act(uint32_t marker);
+
+ void print();