+ 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_read(thread_id_t tid, int index, uint32_t marker, uint64_t read_val);
+ uint64_t get_associated_read(thread_id_t tid, int index, uint32_t marker);
+
+ void print();