|
From: <sv...@va...> - 2008-04-06 14:57:36
|
Author: bart
Date: 2008-04-06 15:57:41 +0100 (Sun, 06 Apr 2008)
New Revision: 7855
Log:
Added vc_combine2().
Modified:
trunk/exp-drd/drd_vc.h
Modified: trunk/exp-drd/drd_vc.h
===================================================================
--- trunk/exp-drd/drd_vc.h 2008-04-06 14:57:37 UTC (rev 7854)
+++ trunk/exp-drd/drd_vc.h 2008-04-06 14:57:41 UTC (rev 7855)
@@ -69,6 +69,7 @@
const VectorClock* const rhs);
void vc_assign(VectorClock* const lhs,
const VectorClock* const rhs);
+UInt vc_get(VectorClock* const vc, const ThreadId tid);
void vc_increment(VectorClock* const vc, ThreadId const threadid);
Bool vc_lte(const VectorClock* const vc1,
const VectorClock* const vc2);
@@ -78,6 +79,9 @@
const VectorClock* const rhs);
void vc_combine(VectorClock* const result,
const VectorClock* const rhs);
+Bool vc_combine2(VectorClock* const result,
+ const VectorClock* const rhs,
+ const ThreadId tid);
void vc_print(const VectorClock* const vc);
void vc_snprint(Char* const str, Int const size,
const VectorClock* const vc);
|