X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=f9c6d417084e62d39956ad1b1775c236b7bc48b8;hb=c0182a11fd62cc38f9f5cbe49960d7a9bce8d381;hp=4903f37b7720c4116943f5c542bcfa06ae92c8a8;hpb=85c090982c2a8dd6e236aa8f3d0a79f974ab9603;p=model-checker.git

diff --git a/action.h b/action.h
index 4903f37..f9c6d41 100644
--- a/action.h
+++ b/action.h
@@ -21,7 +21,8 @@ typedef enum action_type {
 	THREAD_JOIN,
 	ATOMIC_READ,
 	ATOMIC_WRITE,
-	ATOMIC_RMW
+	ATOMIC_RMW,
+	ATOMIC_INIT
 } action_type_t;
 
 /* Forward declaration */
@@ -51,6 +52,7 @@ public:
 	bool is_read() const;
 	bool is_write() const;
 	bool is_rmw() const;
+	bool is_initialization() const;
 	bool is_acquire() const;
 	bool is_release() const;
 	bool is_seqcst() const;