model: bugfix - inherit future values from previous loads

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index 2647b977c23665997fa703404a8401d61b776ad6..63c0375211c513ef704c4ee4c3fbb8abe832fdb5 100644 (file)
--- a/action.h
+++ b/action.h
@@ -151,6 +151,8 @@ public:
        bool get_sleep_flag() { return sleep_flag; }
        unsigned int hash() const;
 
+       bool equals(const ModelAction *x) const { return this == x; }
+       bool equals(const Promise *x) const { return false; }
        MEMALLOC
 private:
 
@@ -191,6 +193,4 @@ private:
        bool sleep_flag;
 };
 
-typedef std::list< ModelAction *, SnapshotAlloc<ModelAction *> > action_list_t;
-
 #endif /* __ACTION_H__ */