Lines Matching refs:sg2
927 * An implementation of the property 'equiv(sg1, sg2)' as defined in the paper
928 * by Mark Christiaens e.a. The property equiv(sg1, sg2) holds if and only if
930 * sg2. The set CS is defined as the set of segments that can immediately
945 * != DRD_(vc_lte)(&sg2->vc, &sg->vc)
947 * != DRD_(vc_lte)(&sg->vc, &sg2->vc))
957 Segment* const sg2)
962 tl_assert(sg2->thr_next);
963 tl_assert(sg1->thr_next == sg2);
964 tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc));
972 if (DRD_(vc_lte)(&sg2->vc, &sg->vc))
982 if (DRD_(vc_lte)(&sg->vc, &sg2->vc))
