* 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.