X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=threads-model.h;fp=threads-model.h;h=eed11cbb0ce827bc4f3eea1ca5ba515ca36df874;hp=eb0fd438d388931ef0316231abd828d6e5295581;hb=a11b6cce3a692a041cbfb772282a68be7949eb02;hpb=ab73aff1ea7d1b5b8140b361824580449a6b4398

diff --git a/threads-model.h b/threads-model.h
index eb0fd43..eed11cb 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -105,6 +105,7 @@ public:
 	void set_pending(ModelAction *act) { pending = act; }
 
 	Thread * waiting_on() const;
+	bool is_waiting_on(const Thread *t) const;
 
 	/**
 	 * Remove one ModelAction from the waiting list