Lines Matching refs:Interval
56 protected List<Interval> intervals;
60 intervals = new ArrayList<Interval>(2); // most sets are 1 or 2 elements
63 public IntervalSet(List<Interval> intervals) {
96 add(Interval.create(a,b));
100 protected void add(Interval addition) {
108 Interval r = (Interval) iter.next();
114 Interval bigger = addition.union(r);
119 Interval next = (Interval) iter.next();
143 protected void add(Interval addition) {
152 Interval r = (Interval)intervals.get(i);
158 Interval bigger = addition.union(r);
164 Interval next = (Interval)intervals.get(i);
200 Interval I = (Interval) other.intervals.get(i);
231 Interval first = (Interval)intervals.get(0);
239 Interval previous = (Interval)intervals.get(i-1);
240 Interval current = (Interval)intervals.get(i);
245 Interval last = (Interval)intervals.get(n -1);
288 Interval mine=null;
289 Interval theirs=null;
291 mine = (Interval)thisIter.next();
294 theirs = (Interval)otherIter.next();
306 mine = (Interval)thisIter.next();
316 mine = (Interval)thisIter.next();
324 theirs = (Interval)otherIter.next();
338 Interval right = new Interval(theirs.b+1, mine.b);
343 theirs = (Interval)otherIter.next();
353 mine = (Interval)thisIter.next();
374 mine = (Interval)thisIter.next();
379 theirs = (Interval)otherIter.next();
417 Interval mine = (Interval)myIntervals.get(i);
418 Interval theirs = (Interval)theirIntervals.get(j);
475 Interval I = (Interval) intervals.get(i);
488 Interval I = (Interval) iter.next();
508 Interval I = (Interval)intervals.get(0);
520 Interval last = (Interval)intervals.get(intervals.size()-1);
531 Interval I = (Interval) intervals.get(i);
541 /** Return a list of Interval objects. */
542 public List<Interval> getIntervals() {
548 * to make sure they are the same. Interval.equals() is used
573 Interval I = (Interval) iter.next();
606 Interval firstInterval = this.intervals.get(0);
610 Interval I = (Interval) intervals.get(i);
620 Interval I = (Interval) intervals.get(i);
638 Interval I = (Interval) intervals.get(j);
656 Interval I = (Interval) intervals.get(i);
672 Interval I = (Interval) intervals.get(i);