X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=3f4ca001aa8c85d85564cf012d10bf37b6182614;hp=412543dbeba356d3839c66cc422ff1487fa659eb;hb=745b71256a4b96ddf4843c7f66b11d0cb3daa3cb;hpb=237f94a977b3c09f8b3b2f551e0057a4ed36b06d

diff --git a/model.h b/model.h
index 412543db..3f4ca001 100644
--- a/model.h
+++ b/model.h
@@ -167,7 +167,11 @@ private:
 
 	Thread * take_step(ModelAction *curr);
 
-	void check_recency(ModelAction *curr, const ModelAction *rf);
+	bool check_recency(ModelAction *curr, const ModelAction *rf) const;
+
+	template <typename T>
+	bool should_read_instead(const ModelAction *curr, const ModelAction *rf, const T *other_rf) const;
+
 	ModelAction * get_last_fence_conflict(ModelAction *act) const;
 	ModelAction * get_last_conflict(ModelAction *act) const;
 	void set_backtracking(ModelAction *act);