1) Add more comments.

[c11tester.git] / action.h

diff --git a/action.h b/action.h
index 53107ea81762d33ab6a63ef2fa7e69176b379b1c..bf5e6c35476693808b301ec6b4f5b9879e39214b 100644 (file)
--- a/action.h
+++ b/action.h
@@ -1,3 +1,7 @@
+/** @file action.h
+ *  @brief Models actions taken by threads.
+ */
+
 #ifndef __ACTION_H__
 #define __ACTION_H__
 
@@ -42,11 +46,13 @@ public:
 
        bool is_read();
        bool is_write();
+       bool is_rmw();
        bool is_acquire();
        bool is_release();
+       bool is_seqcst();
        bool same_var(ModelAction *act);
        bool same_thread(ModelAction *act);
-       bool is_dependent(ModelAction *act);
+       bool is_synchronizing(ModelAction *act);
 
        void create_cv(ModelAction *parent = NULL);
        void read_from(ModelAction *act);