model: report 'updates' when adding mo_graph edges

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 0666472d9a2ca9a441db9e3195943ad0b6158e9a..7dc6ed6cb78574596488ecfb53fad221cf1436f1 100644 (file)
--- a/model.h
+++ b/model.h
@@ -103,8 +103,8 @@ private:
        void build_reads_from_past(ModelAction *curr);
        ModelAction * process_rmw(ModelAction *curr);
        void post_r_modification_order(ModelAction *curr, const ModelAction *rf);
-       void r_modification_order(ModelAction *curr, const ModelAction *rf);
-       void w_modification_order(ModelAction *curr);
+       bool r_modification_order(ModelAction *curr, const ModelAction *rf);
+       bool w_modification_order(ModelAction *curr);
        bool release_seq_head(const ModelAction *rf,
                        std::vector<const ModelAction *> *release_heads) const;