Lines Matching refs:VectorClock
70 } VectorClock;
73 void DRD_(vc_init)(VectorClock* const vc,
76 void DRD_(vc_cleanup)(VectorClock* const vc);
77 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs);
78 void DRD_(vc_assign)(VectorClock* const lhs, const VectorClock* const rhs);
79 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid);
81 Bool DRD_(vc_lte)(const VectorClock* const vc1,
82 const VectorClock* const vc2);
83 Bool DRD_(vc_ordered)(const VectorClock* const vc1,
84 const VectorClock* const vc2);
85 void DRD_(vc_min)(VectorClock* const result,
86 const VectorClock* const rhs);
87 void DRD_(vc_combine)(VectorClock* const result,
88 const VectorClock* const rhs);
89 void DRD_(vc_print)(const VectorClock* const vc);
90 HChar* DRD_(vc_aprint)(const VectorClock* const vc);
91 void DRD_(vc_check)(const VectorClock* const vc);
102 Bool DRD_(vc_lte)(const VectorClock* const vc1, const VectorClock* const vc2)
