Lines Matching refs:VectorClock

36 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity);
46 void DRD_(vc_init)(VectorClock* const vc,  in DRD_()
67 void DRD_(vc_cleanup)(VectorClock* const vc)  in DRD_()
73 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs)  in DRD_()
79 void DRD_(vc_assign)(VectorClock* const lhs, const VectorClock* const rhs)  in DRD_()
86 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid)  in DRD_()
107       VectorClock vc2;  in DRD_()
118 Bool DRD_(vc_ordered)(const VectorClock* const vc1,  in DRD_()
119                       const VectorClock* const vc2)  in DRD_()
125 void DRD_(vc_min)(VectorClock* const result, const VectorClock* const rhs)  in DRD_()
166 void DRD_(vc_combine)(VectorClock* const result, const VectorClock* const rhs)  in DRD_()
240 void DRD_(vc_print)(const VectorClock* const vc)  in DRD_()
255 HChar* DRD_(vc_aprint)(const VectorClock* const vc)  in DRD_()
298 void DRD_(vc_check)(const VectorClock* const vc)  in DRD_()
314 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity)  in DRD_()