Lines Matching refs:intersection
78 Range intersection;
82 // if there is intersection
83 if (r.rangeIntersection(list[i],intersection)) {
88 if (intersection!=old) { // otherwise split:
89 //intersection on right side
90 if(old.getStart() != intersection.getStart()) {
91 list.insert(list.begin(),Range(old.getStart(),intersection.getStart() - old.getStart()));
94 //intersection on left side
95 if(old.getEnd() != intersection.getEnd()) {
96 list.insert(list.begin(),Range(intersection.getEnd(),old.getEnd() - intersection.getEnd()));
99 deleted.addRange(intersection);
