Lines Matching refs:VectorClock

37 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity);
47 void DRD_(vc_init)(VectorClock* const vc,  in DRD_()
65 void DRD_(vc_cleanup)(VectorClock* const vc)  in DRD_()
71 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs)  in DRD_()
77 void DRD_(vc_assign)(VectorClock* const lhs, const VectorClock* const rhs)  in DRD_()
84 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid)  in DRD_()
105       VectorClock vc2;  in DRD_()
116 Bool DRD_(vc_ordered)(const VectorClock* const vc1,  in DRD_()
117                       const VectorClock* const vc2)  in DRD_()
123 void DRD_(vc_min)(VectorClock* const result, const VectorClock* const rhs)  in DRD_()
164 void DRD_(vc_combine)(VectorClock* const result, const VectorClock* const rhs)  in DRD_()
238 void DRD_(vc_print)(const VectorClock* const vc)  in DRD_()
253 char* DRD_(vc_aprint)(const VectorClock* const vc)  in DRD_()
296 void DRD_(vc_check)(const VectorClock* const vc)  in DRD_()
312 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity)  in DRD_()