Lines Matching refs:sg1
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
929 * all segments in the set CS are ordered consistently against both sg1 and
944 * if ( DRD_(vc_lte)(&sg1->vc, &sg->vc)
946 * || DRD_(vc_lte)(&sg->vc, &sg1->vc)
956 Segment* const sg1,
961 tl_assert(sg1->thr_next);
963 tl_assert(sg1->thr_next == sg2);
964 tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc));
974 if (DRD_(vc_lte)(&sg1->vc, &sg->vc))
980 if (DRD_(vc_lte)(&sg->vc, &sg1->vc))
