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