revisedIntervals.add(less); final OWLRealInterval greater = i.greater(n); if (greater != null) revisedIntervals.add(greater);
revisedIntervals.add(less); final OWLRealInterval greater = i.greater(n); if (greater != null) revisedIntervals.add(greater);
/** * Test getting a sub-interval greater than an integer on an integer line. */ @Test public void greaterInt1() { final OWLRealInterval i = interval(1, 5, true, true, LineType.INTEGER_ONLY); assertEquals(interval(3, 5, true, true, LineType.INTEGER_ONLY), i.greater(2)); }
/** * Test getting a sub-interval greater than the lower endpoint of an integer line. */ @Test public void greaterInt2() { final OWLRealInterval i = interval(1, 5, true, true, LineType.INTEGER_ONLY); assertEquals(interval(2, 5, true, true, LineType.INTEGER_ONLY), i.greater(1)); }