Lines Matching refs:Interval
24 /** @var array<Interval> */
122 $beforeCurrent = new Interval($resultInterval->start, $rightInterval->start - 1);
126 $afterCurrent = new Interval($rightInterval->stop + 1, $resultInterval->stop);
187 $this->addInterval(new Interval($value, $value));
192 $this->addInterval(new Interval($left, $right));
195 protected function addInterval(Interval $addition) : void
208 /** @var Interval $resilt */
261 $this->addInterval(new Interval($i->start, $i->stop));
322 $this->intervals[$k] = new Interval($i->start + 1, $i->stop);
329 $this->intervals[$k] = new Interval($i->start, $i->stop - 1);
336 $x = new Interval($i->start, $v);