Lines Matching refs:vc
67 unsigned capacity; /**< number of elements allocated for array vc. */
68 unsigned size; /**< number of elements used of array vc. */
69 VCElem* vc; /**< vector clock elements. */
74 void DRD_(vc_init)(VectorClock* const vc,
77 void DRD_(vc_cleanup)(VectorClock* const vc);
80 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid);
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);
110 while (j < vc2->size && vc2->vc[j].threadid < vc1->vc[i].threadid)
112 if (j >= vc2->size || vc2->vc[j].threadid > vc1->vc[i].threadid)
119 tl_assert(j < vc2->size && vc2->vc[j].threadid == vc1->vc[i].threadid);
121 if (vc1->vc[i].count > vc2->vc[j].count)
