towards making rmw work...

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index 5ab36b360ffd0bd3889f456a53e61f6c9cfe7712..8d06aa49269bd6747f5353307a91e1b15ac63cb2 100644 (file)
--- a/action.h
+++ b/action.h
@@ -91,7 +91,8 @@ public:
                return get_seq_number() > act.get_seq_number();
        }
 
-       void upgrade_rmw(ModelAction * act);
+       void process_rmw(ModelAction * act);
+       void copy_typeandorder(ModelAction * act);
 
        MEMALLOC
 private: