X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=include%2Funrelacy.h;h=3f2e5ebdf429b918b0624a81be88c4100ac47de7;hp=f4d75e8648c88dd6d9b7f5053dbc986ac394b9e0;hb=fcf905f172a2b1f019e2b4e730b2628e487d2b56;hpb=ced31653a84f29c3f236fb5976f1241262953914

diff --git a/include/unrelacy.h b/include/unrelacy.h
index f4d75e8..3f2e5eb 100644
--- a/include/unrelacy.h
+++ b/include/unrelacy.h
@@ -1,9 +1,16 @@
+#ifndef __UNRELACY_H__
+#define __UNRELACY_H__
+
 #include <stdatomic.h>
 
 #define $
 
 /* Should re-define to something meaningful */
 #define ASSERT(expr)
+#define RL_ASSERT(expr)
+
+#define RL_NEW new
+#define RL_DELETE(expr) delete expr
 
 #define mo_seqcst memory_order_relaxed
 #define mo_release memory_order_release
@@ -13,6 +20,20 @@
 
 namespace rl {
 
+	template <typename T>
+	struct var {
+		var() { value = 0; }
+		var(T v) { value = v; }
+		var(var const& r) { value = r; }
+		~var() { }
+
+		void operator = (T v) { value = v; }
+		T operator () () { return value; }
+		void operator += (T v) { value += v; }
+
+		T value;
+	};
+
 	class backoff_t
 	{
 	 public:
@@ -27,3 +48,5 @@ namespace rl {
 	typedef backoff_t exp_backoff;
 
 }
+
+#endif /* __UNRELACY_H__ */