Lines Matching refs:interval

83      * Compute the set difference between two interval sets. The specific
131                     // split the current interval into two
140                 // replace the current interval
147                 // replace the current interval
154             // remove the current interval (thus no need to increment resultI)
216                 // next to each other, make a single larger interval
220                 // make sure we didn't just create an interval that
221                 // should be merged with next interval in list
253         // ok, must be after last interval (and disjoint from last interval) just add it
278             $interval = $this->intervals[$m];
279             $start = $interval->start;
280             $stop = $interval->stop;
399             $interval = $iter->current();
401             $start = $interval->start;
402             $stop = $interval->stop;
450             $interval = $iterator->current();
452             $start = $interval->start;
453             $stop = $interval->stop;
512         foreach ($this->intervals as $interval) {
513             $start = $interval->start;
514             $stop = $interval->stop;