Lines Matching defs:vc1
58 VectorClock vc1;
68 DRD_(vc_init)(&vc1, vc1elem, sizeof(vc1elem)/sizeof(vc1elem[0]));
74 DRD_(vc_combine)(&vc3, &vc1);
77 fprintf(stderr, "vc1: %s", (str = DRD_(vc_aprint)(&vc1)));
84 fprintf(stderr, "vc_lte(vc1, vc2) = %d, vc_lte(vc1, vc3) = %d,"
86 DRD_(vc_lte)(&vc1, &vc2), DRD_(vc_lte)(&vc1, &vc3),
97 DRD_(vc_reserve)(&vc1, i);
99 DRD_(vc_reserve)(&vc1, i);
101 DRD_(vc_cleanup)(&vc1);