action: add is_relaxed() function

[model-checker.git] / action.cc

diff --git a/action.cc b/action.cc
index 486e89ee54aaddc8ea302c64b3a1eccef786a28c..9427c7d204e4a8e3a509f7cda437c7c67439e58f 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -156,6 +156,11 @@ bool ModelAction::is_initialization() const
        return type == ATOMIC_INIT;
 }
 
+bool ModelAction::is_relaxed() const
+{
+       return order == std::memory_order_relaxed;
+}
+
 bool ModelAction::is_acquire() const
 {
        switch (order) {