-bool ClockVector::has_synchronized_with(const ClockVector *cv) const
-{
- ASSERT(cv);
- if (cv->num_threads > num_threads)
- return false;
- for (int i = 0; i < cv->num_threads; i++)
- if (cv->clock[i] > clock[i])
- return false;
- return true;
-}
-