action: add get_{type,mo}_str() accessors

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index ad34c830f4b61d0b2a214199c5d208aa5abddca2..d7d86ced55de125a0a8dbd6e167e30c47bf0bdd8 100644 (file)
--- a/action.h
+++ b/action.h
@@ -182,6 +182,9 @@ public:
        MEMALLOC
 private:
 
+       const char * get_type_str() const;
+       const char * get_mo_str() const;
+
        /** @brief Type of action (read, write, RMW, fence, thread create, etc.) */
        action_type type;