org.junit.Assert.assertEquals(new Interval(Double.NEGATIVE_INFINITY, 4), sem.plus(new Interval(3,5), new Interval(Double.NEGATIVE_INFINITY, -1)));
org.junit.Assert.assertEquals(new Interval(-97, Double.POSITIVE_INFINITY), sem.plus(new Interval(3,Double.POSITIVE_INFINITY), new Interval(-100, -1)));
org.junit.Assert.assertEquals(new Interval(-97, Double.POSITIVE_INFINITY), sem.plus(new Interval(-100, -1), new Interval(3,Double.POSITIVE_INFINITY)));
org.junit.Assert.assertEquals(new Interval(-97, 4), sem.plus(new Interval(-100, -1), new Interval(3,5)));
org.junit.Assert.assertEquals(new Interval(-97, 4), sem.plus(new Interval(3,5), new Interval(-100, -1)));
}
@Test
public void testMinus(){
IntervalExpressionSemantics sem = new IntervalExpressionSemantics();