X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=5f62ff835df1d1e9df13dde2e8cd204d2bafd9d2;hb=ac8e176cd4a8756244c12dbbcaf961d27bfc8a74;hp=76b2affb02db0a59d93c5efc8bde0973241af74d;hpb=717ddd114a51764ac33d3d86d6eeb09c7c4aee1b;p=model-checker.git

diff --git a/model.h b/model.h
index 76b2aff..5f62ff8 100644
--- a/model.h
+++ b/model.h
@@ -101,7 +101,7 @@ public:
 
 	void print_summary() const;
 #if SUPPORT_MOD_ORDER_DUMP
-	void dumpGraph(char *filename);
+	void dumpGraph(char *filename) const;
 #endif
 
 	void add_thread(Thread *t);
@@ -165,6 +165,7 @@ private:
 	ModelAction * get_last_conflict(ModelAction *act);
 	void set_backtracking(ModelAction *act);
 	Thread * get_next_thread(ModelAction *curr);
+	bool set_latest_backtrack(ModelAction *act);
 	ModelAction * get_next_backtrack();
 	void reset_to_initial_state();
 	bool resolve_promises(ModelAction *curr);