be much more careful about sending values backwards...
[model-checker.git] / action.h
index 68db2c3..4960931 100644 (file)
--- a/action.h
+++ b/action.h
@@ -127,6 +127,7 @@ public:
 
        void set_sleep_flag() { sleep_flag=true; }
        bool get_sleep_flag() { return sleep_flag; }
+       unsigned int hash() const;
 
        MEMALLOC
 private: