Lines Matching refs:vc
66 unsigned capacity; /**< number of elements allocated for array vc. */
67 unsigned size; /**< number of elements used of array vc. */
68 VCElem* vc; /**< vector clock elements. */
73 void DRD_(vc_init)(VectorClock* const vc,
76 void DRD_(vc_cleanup)(VectorClock* const vc);
79 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid);
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);
109 while (j < vc2->size && vc2->vc[j].threadid < vc1->vc[i].threadid)
111 if (j >= vc2->size || vc2->vc[j].threadid > vc1->vc[i].threadid)
118 tl_assert(j < vc2->size && vc2->vc[j].threadid == vc1->vc[i].threadid);
120 if (vc1->vc[i].count > vc2->vc[j].count)