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

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

Completed in 60 milliseconds