From: Brian Norris <banorris@uci.edu>
Date: Thu, 21 Jun 2012 08:05:15 +0000 (-0700)
Subject: action: add 'get_cv()' accessor function
X-Git-Tag: pldi2013~391^2~7
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=69ecbdff21cd552ab9e0bc18dbbd42fb1aa5e799;p=model-checker.git

action: add 'get_cv()' accessor function
---

diff --git a/action.h b/action.h
index f6bc19b..f554e36 100644
--- 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 {