model: template-ize 'r_modification_order'

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index 2647b977c23665997fa703404a8401d61b776ad6..c39af5ecdb177aff649eb79ba39eb3eff1b3253c 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: