X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=fe76d7f9e6b401b6e7c868b8fe6e515b39d79ba0;hb=6caada76d7318c7853dd334bccbfed0367c242ec;hp=e92137d1c17b6222f867cd27cfdc568625dd9bd2;hpb=22efc98d95682e33aa85fd85f5e79d887875734b;p=model-checker.git

diff --git a/model.h b/model.h
index e92137d..fe76d7f 100644
--- a/model.h
+++ b/model.h
@@ -175,7 +175,8 @@ private:
 	bool set_latest_backtrack(ModelAction *act);
 	ModelAction * get_next_backtrack();
 	void reset_to_initial_state();
-	bool resolve_promises(ModelAction *curr);
+	int get_promise_to_resolve(const ModelAction *curr) const;
+	bool resolve_promise(ModelAction *curr, unsigned int promise_idx);
 	void compute_promises(ModelAction *curr);
 	void compute_relseq_breakwrites(ModelAction *curr);