X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=a321a85edede7f0b12a47142f61e44a33f561cbd;hb=53748c53db55c1230d4b191caf0e4016a2b9c0a6;hp=b435524d6d4a423405e221724794e8fcfeae4f84;hpb=80617a5bb7ad550ac821b68e81dce05b5c906309;p=model-checker.git

diff --git a/action.cc b/action.cc
index b435524..a321a85 100644
--- a/action.cc
+++ b/action.cc
@@ -186,6 +186,11 @@ void ModelAction::synchronize_with(const ModelAction *act) {
 	cv->merge(act->cv);
 }
 
+bool ModelAction::has_synchronized_with(const ModelAction *act) const
+{
+	return cv->has_synchronized_with(act->cv);
+}
+
 /**
  * Check whether 'this' happens before act, according to the memory-model's
  * happens before relation. This is checked via the ClockVector constructs.