Searched defs:VectorClock (Results 1 - 1 of 1) sorted by relevance

/external/valgrind/main/drd/
H A Ddrd_vc.h71 } VectorClock; typedef in typeref:struct:__anon11160
74 void DRD_(vc_init)(VectorClock* const vc,
77 void DRD_(vc_cleanup)(VectorClock* const vc);
78 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs);
79 void DRD_(vc_assign)(VectorClock* const lhs, const VectorClock* const rhs);
80 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid);
82 Bool DRD_(vc_lte)(const VectorClock* const vc1,
83 const VectorClock* cons
[all...]

Completed in 2162 milliseconds