Lines Matching refs:vc2
82 const VectorClock* const vc2);
84 const VectorClock* const vc2);
98 * vc2, and if additionally all corresponding counters in v2 are higher or
102 Bool DRD_(vc_lte)(const VectorClock* const vc1, const VectorClock* const vc2)
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)
