Lines Matching refs:VectorClock
36 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity);
46 void DRD_(vc_init)(VectorClock* const vc,
64 void DRD_(vc_cleanup)(VectorClock* const vc)
70 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs)
76 void DRD_(vc_assign)(VectorClock* const lhs, const VectorClock* const rhs)
83 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid)
104 VectorClock vc2;
115 Bool DRD_(vc_ordered)(const VectorClock* const vc1,
116 const VectorClock* const vc2)
122 void DRD_(vc_min)(VectorClock* const result, const VectorClock* const rhs)
163 void DRD_(vc_combine)(VectorClock* const result, const VectorClock* const rhs)
237 void DRD_(vc_print)(const VectorClock* const vc)
252 char* DRD_(vc_aprint)(const VectorClock* const vc)
295 void DRD_(vc_check)(const VectorClock* const vc)
311 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity)
