Lines Matching defs:interval
32 private Interval interval;
37 public IntervalNode(Interval interval, Comparator endpointComparator, Object data) {
39 this.interval = interval;
45 this.interval = argNode.interval;
49 return interval;
79 return interval.getLowEndpoint();
84 Object curMax = interval.getHighEndpoint();
102 String res = interval.toString();