Lines Matching refs:VectorClock

71 } VectorClock;  typedef
74 void DRD_(vc_init)(VectorClock* const vc,
77 void DRD_(vc_cleanup)(VectorClock* const vc);
78 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs);
79 void DRD_(vc_assign)(VectorClock* const lhs, const VectorClock* const rhs);
80 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid);
82 Bool DRD_(vc_lte)(const VectorClock* const vc1,
83                   const VectorClock* const vc2);
84 Bool DRD_(vc_ordered)(const VectorClock* const vc1,
85                       const VectorClock* const vc2);
86 void DRD_(vc_min)(VectorClock* const result,
87                   const VectorClock* const rhs);
88 void DRD_(vc_combine)(VectorClock* const result,
89                       const VectorClock* const rhs);
90 void DRD_(vc_print)(const VectorClock* const vc);
91 char* DRD_(vc_aprint)(const VectorClock* const vc);
92 void DRD_(vc_check)(const VectorClock* const vc);
103 Bool DRD_(vc_lte)(const VectorClock* const vc1, const VectorClock* const vc2)  in DRD_()