threads: move circular wait check into Threads::is_waiting_on

[model-checker.git] / threads-model.h

diff --git a/threads-model.h b/threads-model.h
index eb0fd438d388931ef0316231abd828d6e5295581..eed11cbb0ce827bc4f3eea1ca5ba515ca36df874 100644 (file)
--- 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