action: add get_thread_operand() method

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index 5ec109883118af17cc3abf860594d58383ab0909..f742ddc62854a79fd2f2aff3721914781f115b36 100644 (file)
--- a/action.h
+++ b/action.h
@@ -125,6 +125,8 @@ public:
        bool is_conflicting_lock(const ModelAction *act) const;
        bool could_synchronize_with(const ModelAction *act) const;
 
+       Thread * get_thread_operand() const;
+
        void create_cv(const ModelAction *parent = NULL);
        ClockVector * get_cv() const { return cv; }
        bool synchronize_with(const ModelAction *act);