model: rework the resolve-promise interface

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 4b87b04a48a00263b9377c8e3b82549228e329f9..07879cdbfbfe90cbbfedc077a803ae109db6c76e 100644 (file)
--- a/model.h
+++ b/model.h
@@ -183,8 +183,8 @@ private:
        bool set_latest_backtrack(ModelAction *act);
        ModelAction * get_next_backtrack();
        void reset_to_initial_state();
-       int get_promise_to_resolve(const ModelAction *curr) const;
-       bool resolve_promise(ModelAction *curr, unsigned int promise_idx);
+       Promise * pop_promise_to_resolve(const ModelAction *curr);
+       bool resolve_promise(ModelAction *curr, Promise *promise);
        void compute_promises(ModelAction *curr);
        void compute_relseq_breakwrites(ModelAction *curr);