action: add 'get_cv()' accessor function
authorBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 08:05:15 +0000 (01:05 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 08:05:15 +0000 (01:05 -0700)
action.h

index f6bc19b57827e8d0aa26c6fdaa9d0bf412c950c8..f554e36cbb0495ce0658595970086891968b48b9 100644 (file)
--- a/action.h
+++ b/action.h
@@ -55,6 +55,7 @@ public:
        bool is_synchronizing(const ModelAction *act) const;
 
        void create_cv(ModelAction *parent = NULL);
+       ClockVector * get_cv() const { return cv; }
        void read_from(ModelAction *act);
 
        inline bool operator <(const ModelAction& act) const {