Lines Matching refs:sg2
1008 * An implementation of the property 'equiv(sg1, sg2)' as defined in the paper
1009 * by Mark Christiaens e.a. The property equiv(sg1, sg2) holds if and only if
1011 * sg2. The set CS is defined as the set of segments that can immediately
1026 * != DRD_(vc_lte)(&sg2->vc, &sg->vc)
1028 * != DRD_(vc_lte)(&sg->vc, &sg2->vc))
1038 Segment* const sg2)
1043 tl_assert(sg2
1044 tl_assert(sg1->thr_next == sg2);
1045 tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc));
1053 if (DRD_(vc_lte)(&sg2->vc, &sg->vc))
1063 if (DRD_(vc_lte)(&sg->vc, &sg2->vc))
