1 files changed, 205 insertions, 0 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/MultiplicationTest.xtend b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/MultiplicationTest.xtend
new file mode 100644
index 00000000..5f997094
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/MultiplicationTest.xtend
@@ -0,0 +1,205 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests.interval
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.interval.Interval
+import java.util.Collection
+import org.junit.Assert
+import org.junit.Test
+import org.junit.runner.RunWith
+import org.junit.runners.Parameterized
+import org.junit.runners.Parameterized.Parameter
+import org.junit.runners.Parameterized.Parameters
+import static hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.interval.Interval.*
+@RunWith(Parameterized)
+class MultiplicationTest {
+        @Parameters(name="{index}: {0} * {1} = {2}")
+        static def Collection<Object[]> data() {
+                #[
+                        #[EMPTY, EMPTY, EMPTY],
+                        #[EMPTY, between(-1, 1), EMPTY],
+                        #[between(-1, 1), EMPTY, EMPTY],
+                        #[UNBOUNDED, UNBOUNDED, UNBOUNDED],
+                        #[UNBOUNDED, upTo(-2), UNBOUNDED],
+                        #[UNBOUNDED, upTo(0), UNBOUNDED],
+                        #[UNBOUNDED, upTo(3), UNBOUNDED],
+                        #[UNBOUNDED, above(-2), UNBOUNDED],
+                        #[UNBOUNDED, above(0), UNBOUNDED],
+                        #[UNBOUNDED, above(3), UNBOUNDED],
+                        #[UNBOUNDED, between(-4, -3), UNBOUNDED],
+                        #[UNBOUNDED, between(-4, 0), UNBOUNDED],
+                        #[UNBOUNDED, between(-3, 4), UNBOUNDED],
+                        #[UNBOUNDED, between(0, 4), UNBOUNDED],
+                        #[UNBOUNDED, between(3, 4), UNBOUNDED],
+                        #[UNBOUNDED, ZERO, ZERO],
+                        #[upTo(-5), UNBOUNDED, UNBOUNDED],
+                        #[upTo(-5), upTo(-2), above(10)],
+                        #[upTo(-5), upTo(0), above(0)],
+                        #[upTo(-5), upTo(3), UNBOUNDED],
+                        #[upTo(-5), above(-2), UNBOUNDED],
+                        #[upTo(-5), above(0), upTo(0)],
+                        #[upTo(-5), above(3), upTo(-15)],
+                        #[upTo(-5), between(-4, -3), above(15)],
+                        #[upTo(-5), between(-4, 0), above(0)],
+                        #[upTo(-5), between(-3, 4), UNBOUNDED],
+                        #[upTo(-5), between(0, 4), upTo(0)],
+                        #[upTo(-5), between(3, 4), upTo(-15)],
+                        #[upTo(-5), ZERO, ZERO],
+                        #[upTo(0), UNBOUNDED, UNBOUNDED],
+                        #[upTo(0), upTo(-2), above(0)],
+                        #[upTo(0), upTo(0), above(0)],
+                        #[upTo(0), upTo(3), UNBOUNDED],
+                        #[upTo(0), above(-2), UNBOUNDED],
+                        #[upTo(0), above(0), upTo(0)],
+                        #[upTo(0), above(3), upTo(0)],
+                        #[upTo(0), between(-4, -3), above(0)],
+                        #[upTo(0), between(-4, 0), above(0)],
+                        #[upTo(0), between(-3, 4), UNBOUNDED],
+                        #[upTo(0), between(0, 4), upTo(0)],
+                        #[upTo(0), between(3, 4), upTo(0)],
+                        #[upTo(0), ZERO, ZERO],
+                        #[upTo(5), UNBOUNDED, UNBOUNDED],
+                        #[upTo(5), upTo(-2), UNBOUNDED],
+                        #[upTo(5), upTo(0), UNBOUNDED],
+                        #[upTo(5), upTo(3), UNBOUNDED],
+                        #[upTo(5), above(-2), UNBOUNDED],
+                        #[upTo(5), above(0), UNBOUNDED],
+                        #[upTo(5), above(3), UNBOUNDED],
+                        #[upTo(5), between(-4, -3), above(-20)],
+                        #[upTo(5), between(-4, 0), above(-20)],
+                        #[upTo(5), between(-3, 4), UNBOUNDED],
+                        #[upTo(5), between(0, 4), upTo(20)],
+                        #[upTo(5), between(3, 4), upTo(20)],
+                        #[upTo(5), ZERO, ZERO],
+                        #[above(-5), UNBOUNDED, UNBOUNDED],
+                        #[above(-5), upTo(-2), UNBOUNDED],
+                        #[above(-5), upTo(0), UNBOUNDED],
+                        #[above(-5), upTo(3), UNBOUNDED],
+                        #[above(-5), above(-2), UNBOUNDED],
+                        #[above(-5), above(0), UNBOUNDED],
+                        #[above(-5), above(3), UNBOUNDED],
+                        #[above(-5), between(-4, -3), upTo(20)],
+                        #[above(-5), between(-4, 0), upTo(20)],
+                        #[above(-5), between(-3, 4), UNBOUNDED],
+                        #[above(-5), between(0, 4), above(-20)],
+                        #[above(-5), between(3, 4), above(-20)],
+                        #[above(-5), ZERO, ZERO],
+                        #[above(0), UNBOUNDED, UNBOUNDED],
+                        #[above(0), upTo(-2), upTo(0)],
+                        #[above(0), upTo(0), upTo(0)],
+                        #[above(0), upTo(3), UNBOUNDED],
+                        #[above(0), above(-2), UNBOUNDED],
+                        #[above(0), above(0), above(0)],
+                        #[above(0), above(3), above(0)],
+                        #[above(0), between(-4, -3), upTo(0)],
+                        #[above(0), between(-4, 0), upTo(0)],
+                        #[above(0), between(-3, 4), UNBOUNDED],
+                        #[above(0), between(0, 4), above(0)],
+                        #[above(0), between(3, 4), above(0)],
+                        #[above(0), ZERO, ZERO],
+                        #[above(5), UNBOUNDED, UNBOUNDED],
+                        #[above(5), upTo(-2), upTo(-10)],
+                        #[above(5), upTo(0), upTo(0)],
+                        #[above(5), upTo(3), UNBOUNDED],
+                        #[above(5), above(-2), UNBOUNDED],
+                        #[above(5), above(0), above(0)],
+                        #[above(5), above(3), above(15)],
+                        #[above(5), between(-4, -3), upTo(-15)],
+                        #[above(5), between(-4, 0), upTo(0)],
+                        #[above(5), between(-3, 4), UNBOUNDED],
+                        #[above(5), between(0, 4), above(0)],
+                        #[above(5), between(3, 4), above(15)],
+                        #[above(5), ZERO, ZERO],
+                        #[between(-6, -5), UNBOUNDED, UNBOUNDED],
+                        #[between(-6, -5), upTo(-2), above(10)],
+                        #[between(-6, -5), upTo(0), above(0)],
+                        #[between(-6, -5), upTo(3), above(-18)],
+                        #[between(-6, -5), above(-2), upTo(12)],
+                        #[between(-6, -5), above(0), upTo(0)],
+                        #[between(-6, -5), above(3), upTo(-15)],
+                        #[between(-6, -5), between(-4, -3), between(15, 24)],
+                        #[between(-6, -5), between(-4, 0), between(0, 24)],
+                        #[between(-6, -5), between(-3, 4), between(-24, 18)],
+                        #[between(-6, -5), between(0, 4), between(-24, 0)],
+                        #[between(-6, -5), between(3, 4), between(-24, -15)],
+                        #[between(-6, -5), ZERO, ZERO],
+                        #[between(-6, 0), UNBOUNDED, UNBOUNDED],
+                        #[between(-6, 0), upTo(-2), above(0)],
+                        #[between(-6, 0), upTo(0), above(0)],
+                        #[between(-6, 0), upTo(3), above(-18)],
+                        #[between(-6, 0), above(-2), upTo(12)],
+                        #[between(-6, 0), above(0), upTo(0)],
+                        #[between(-6, 0), above(3), upTo(0)],
+                        #[between(-6, 0), between(-4, -3), between(0, 24)],
+                        #[between(-6, 0), between(-4, 0), between(0, 24)],
+                        #[between(-6, 0), between(-3, 4), between(-24, 18)],
+                        #[between(-6, 0), between(0, 4), between(-24, 0)],
+                        #[between(-6, 0), between(3, 4), between(-24, 0)],
+                        #[between(-6, 0), ZERO, ZERO],
+                        #[between(-5, 6), UNBOUNDED, UNBOUNDED],
+                        #[between(-5, 6), upTo(-2), UNBOUNDED],
+                        #[between(-5, 6), upTo(0), UNBOUNDED],
+                        #[between(-5, 6), upTo(3), UNBOUNDED],
+                        #[between(-5, 6), above(-2), UNBOUNDED],
+                        #[between(-5, 6), above(0), UNBOUNDED],
+                        #[between(-5, 6), above(3), UNBOUNDED],
+                        #[between(-5, 6), between(-4, -3), between(-24, 20)],
+                        #[between(-5, 6), between(-4, 0), between(-24, 20)],
+                        #[between(-5, 6), between(-3, 4), between(-20, 24)],
+                        #[between(-5, 6), between(-3, 2), between(-18, 15)],
+                        #[between(-5, 1), between(-3, 4), between(-20, 15)],
+                        #[between(-5, 1), between(-3, 2), between(-10, 15)],
+                        #[between(-5, 6), between(0, 4), between(-20, 24)],
+                        #[between(-5, 6), between(3, 4), between(-20, 24)],
+                        #[between(-5, 6), ZERO, ZERO],
+                        #[between(0, 6), UNBOUNDED, UNBOUNDED],
+                        #[between(0, 6), upTo(-2), upTo(0)],
+                        #[between(0, 6), upTo(0), upTo(0)],
+                        #[between(0, 6), upTo(3), upTo(18)],
+                        #[between(0, 6), above(-2), above(-12)],
+                        #[between(0, 6), above(0), above(0)],
+                        #[between(0, 6), above(3), above(0)],
+                        #[between(0, 6), between(-4, -3), between(-24, 0)],
+                        #[between(0, 6), between(-4, 0), between(-24, 0)],
+                        #[between(0, 6), between(-3, 4), between(-18, 24)],
+                        #[between(0, 6), between(0, 4), between(0, 24)],
+                        #[between(0, 6), between(3, 4), between(0, 24)],
+                        #[between(0, 6), ZERO, ZERO],
+                        #[between(5, 6), UNBOUNDED, UNBOUNDED],
+                        #[between(5, 6), upTo(-2), upTo(-10)],
+                        #[between(5, 6), upTo(0), upTo(0)],
+                        #[between(5, 6), upTo(3), upTo(18)],
+                        #[between(5, 6), above(-2), above(-12)],
+                        #[between(5, 6), above(0), above(0)],
+                        #[between(5, 6), above(3), above(15)],
+                        #[between(5, 6), between(-4, -3), between(-24, -15)],
+                        #[between(5, 6), between(-4, 0), between(-24, 0)],
+                        #[between(5, 6), between(-3, 4), between(-18, 24)],
+                        #[between(5, 6), between(0, 4), between(0, 24)],
+                        #[between(5, 6), between(3, 4), between(15, 24)],
+                        #[between(5, 6), ZERO, ZERO],
+                        #[ZERO, UNBOUNDED, ZERO],
+                        #[ZERO, upTo(-2), ZERO],
+                        #[ZERO, upTo(0), ZERO],
+                        #[ZERO, upTo(3), ZERO],
+                        #[ZERO, above(-2), ZERO],
+                        #[ZERO, above(0), ZERO],
+                        #[ZERO, above(3), ZERO],
+                        #[ZERO, between(-4, -3), ZERO],
+                        #[ZERO, between(-4, 0), ZERO],
+                        #[ZERO, between(-3, 4), ZERO],
+                        #[ZERO, between(0, 4), ZERO],
+                        #[ZERO, between(3, 4), ZERO],
+                        #[ZERO, ZERO, ZERO]
+                ]
+        }
+        @Parameter(0) public var Interval a
+        @Parameter(1) public var Interval b
+        @Parameter(2) public var Interval result
+        @Test
+        def void multiplicatonTest() {
+                Assert.assertEquals(result, a * b)
+        }
+}

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/MultiplicationTest.xtend b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/MultiplicationTest.xtend new file mode 100644 index 00000000..5f997094 --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/MultiplicationTest.xtend
@@ -0,0 +1,205 @@
	1	package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests.interval
	2
	3	import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.interval.Interval
	4	import java.util.Collection
	5	import org.junit.Assert
	6	import org.junit.Test
	7	import org.junit.runner.RunWith
	8	import org.junit.runners.Parameterized
	9	import org.junit.runners.Parameterized.Parameter
	10	import org.junit.runners.Parameterized.Parameters
	11
	12	import static hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.interval.Interval.*
	13
	14	@RunWith(Parameterized)
	15	class MultiplicationTest {
	16	@Parameters(name="{index}: {0} * {1} = {2}")
	17	static def Collection<Object[]> data() {
	18	#[
	19	#[EMPTY, EMPTY, EMPTY],
	20	#[EMPTY, between(-1, 1), EMPTY],
	21	#[between(-1, 1), EMPTY, EMPTY],
	22	#[UNBOUNDED, UNBOUNDED, UNBOUNDED],
	23	#[UNBOUNDED, upTo(-2), UNBOUNDED],
	24	#[UNBOUNDED, upTo(0), UNBOUNDED],
	25	#[UNBOUNDED, upTo(3), UNBOUNDED],
	26	#[UNBOUNDED, above(-2), UNBOUNDED],
	27	#[UNBOUNDED, above(0), UNBOUNDED],
	28	#[UNBOUNDED, above(3), UNBOUNDED],
	29	#[UNBOUNDED, between(-4, -3), UNBOUNDED],
	30	#[UNBOUNDED, between(-4, 0), UNBOUNDED],
	31	#[UNBOUNDED, between(-3, 4), UNBOUNDED],
	32	#[UNBOUNDED, between(0, 4), UNBOUNDED],
	33	#[UNBOUNDED, between(3, 4), UNBOUNDED],
	34	#[UNBOUNDED, ZERO, ZERO],
	35	#[upTo(-5), UNBOUNDED, UNBOUNDED],
	36	#[upTo(-5), upTo(-2), above(10)],
	37	#[upTo(-5), upTo(0), above(0)],
	38	#[upTo(-5), upTo(3), UNBOUNDED],
	39	#[upTo(-5), above(-2), UNBOUNDED],
	40	#[upTo(-5), above(0), upTo(0)],
	41	#[upTo(-5), above(3), upTo(-15)],
	42	#[upTo(-5), between(-4, -3), above(15)],
	43	#[upTo(-5), between(-4, 0), above(0)],
	44	#[upTo(-5), between(-3, 4), UNBOUNDED],
	45	#[upTo(-5), between(0, 4), upTo(0)],
	46	#[upTo(-5), between(3, 4), upTo(-15)],
	47	#[upTo(-5), ZERO, ZERO],
	48	#[upTo(0), UNBOUNDED, UNBOUNDED],
	49	#[upTo(0), upTo(-2), above(0)],
	50	#[upTo(0), upTo(0), above(0)],
	51	#[upTo(0), upTo(3), UNBOUNDED],
	52	#[upTo(0), above(-2), UNBOUNDED],
	53	#[upTo(0), above(0), upTo(0)],
	54	#[upTo(0), above(3), upTo(0)],
	55	#[upTo(0), between(-4, -3), above(0)],
	56	#[upTo(0), between(-4, 0), above(0)],
	57	#[upTo(0), between(-3, 4), UNBOUNDED],
	58	#[upTo(0), between(0, 4), upTo(0)],
	59	#[upTo(0), between(3, 4), upTo(0)],
	60	#[upTo(0), ZERO, ZERO],
	61	#[upTo(5), UNBOUNDED, UNBOUNDED],
	62	#[upTo(5), upTo(-2), UNBOUNDED],
	63	#[upTo(5), upTo(0), UNBOUNDED],
	64	#[upTo(5), upTo(3), UNBOUNDED],
	65	#[upTo(5), above(-2), UNBOUNDED],
	66	#[upTo(5), above(0), UNBOUNDED],
	67	#[upTo(5), above(3), UNBOUNDED],
	68	#[upTo(5), between(-4, -3), above(-20)],
	69	#[upTo(5), between(-4, 0), above(-20)],
	70	#[upTo(5), between(-3, 4), UNBOUNDED],
	71	#[upTo(5), between(0, 4), upTo(20)],
	72	#[upTo(5), between(3, 4), upTo(20)],
	73	#[upTo(5), ZERO, ZERO],
	74	#[above(-5), UNBOUNDED, UNBOUNDED],
	75	#[above(-5), upTo(-2), UNBOUNDED],
	76	#[above(-5), upTo(0), UNBOUNDED],
	77	#[above(-5), upTo(3), UNBOUNDED],
	78	#[above(-5), above(-2), UNBOUNDED],
	79	#[above(-5), above(0), UNBOUNDED],
	80	#[above(-5), above(3), UNBOUNDED],
	81	#[above(-5), between(-4, -3), upTo(20)],
	82	#[above(-5), between(-4, 0), upTo(20)],
	83	#[above(-5), between(-3, 4), UNBOUNDED],
	84	#[above(-5), between(0, 4), above(-20)],
	85	#[above(-5), between(3, 4), above(-20)],
	86	#[above(-5), ZERO, ZERO],
	87	#[above(0), UNBOUNDED, UNBOUNDED],
	88	#[above(0), upTo(-2), upTo(0)],
	89	#[above(0), upTo(0), upTo(0)],
	90	#[above(0), upTo(3), UNBOUNDED],
	91	#[above(0), above(-2), UNBOUNDED],
	92	#[above(0), above(0), above(0)],
	93	#[above(0), above(3), above(0)],
	94	#[above(0), between(-4, -3), upTo(0)],
	95	#[above(0), between(-4, 0), upTo(0)],
	96	#[above(0), between(-3, 4), UNBOUNDED],
	97	#[above(0), between(0, 4), above(0)],
	98	#[above(0), between(3, 4), above(0)],
	99	#[above(0), ZERO, ZERO],
	100	#[above(5), UNBOUNDED, UNBOUNDED],
	101	#[above(5), upTo(-2), upTo(-10)],
	102	#[above(5), upTo(0), upTo(0)],
	103	#[above(5), upTo(3), UNBOUNDED],
	104	#[above(5), above(-2), UNBOUNDED],
	105	#[above(5), above(0), above(0)],
	106	#[above(5), above(3), above(15)],
	107	#[above(5), between(-4, -3), upTo(-15)],
	108	#[above(5), between(-4, 0), upTo(0)],
	109	#[above(5), between(-3, 4), UNBOUNDED],
	110	#[above(5), between(0, 4), above(0)],
	111	#[above(5), between(3, 4), above(15)],
	112	#[above(5), ZERO, ZERO],
	113	#[between(-6, -5), UNBOUNDED, UNBOUNDED],
	114	#[between(-6, -5), upTo(-2), above(10)],
	115	#[between(-6, -5), upTo(0), above(0)],
	116	#[between(-6, -5), upTo(3), above(-18)],
	117	#[between(-6, -5), above(-2), upTo(12)],
	118	#[between(-6, -5), above(0), upTo(0)],
	119	#[between(-6, -5), above(3), upTo(-15)],
	120	#[between(-6, -5), between(-4, -3), between(15, 24)],
	121	#[between(-6, -5), between(-4, 0), between(0, 24)],
	122	#[between(-6, -5), between(-3, 4), between(-24, 18)],
	123	#[between(-6, -5), between(0, 4), between(-24, 0)],
	124	#[between(-6, -5), between(3, 4), between(-24, -15)],
	125	#[between(-6, -5), ZERO, ZERO],
	126	#[between(-6, 0), UNBOUNDED, UNBOUNDED],
	127	#[between(-6, 0), upTo(-2), above(0)],
	128	#[between(-6, 0), upTo(0), above(0)],
	129	#[between(-6, 0), upTo(3), above(-18)],
	130	#[between(-6, 0), above(-2), upTo(12)],
	131	#[between(-6, 0), above(0), upTo(0)],
	132	#[between(-6, 0), above(3), upTo(0)],
	133	#[between(-6, 0), between(-4, -3), between(0, 24)],
	134	#[between(-6, 0), between(-4, 0), between(0, 24)],
	135	#[between(-6, 0), between(-3, 4), between(-24, 18)],
	136	#[between(-6, 0), between(0, 4), between(-24, 0)],
	137	#[between(-6, 0), between(3, 4), between(-24, 0)],
	138	#[between(-6, 0), ZERO, ZERO],
	139	#[between(-5, 6), UNBOUNDED, UNBOUNDED],
	140	#[between(-5, 6), upTo(-2), UNBOUNDED],
	141	#[between(-5, 6), upTo(0), UNBOUNDED],
	142	#[between(-5, 6), upTo(3), UNBOUNDED],
	143	#[between(-5, 6), above(-2), UNBOUNDED],
	144	#[between(-5, 6), above(0), UNBOUNDED],
	145	#[between(-5, 6), above(3), UNBOUNDED],
	146	#[between(-5, 6), between(-4, -3), between(-24, 20)],
	147	#[between(-5, 6), between(-4, 0), between(-24, 20)],
	148	#[between(-5, 6), between(-3, 4), between(-20, 24)],
	149	#[between(-5, 6), between(-3, 2), between(-18, 15)],
	150	#[between(-5, 1), between(-3, 4), between(-20, 15)],
	151	#[between(-5, 1), between(-3, 2), between(-10, 15)],
	152	#[between(-5, 6), between(0, 4), between(-20, 24)],
	153	#[between(-5, 6), between(3, 4), between(-20, 24)],
	154	#[between(-5, 6), ZERO, ZERO],
	155	#[between(0, 6), UNBOUNDED, UNBOUNDED],
	156	#[between(0, 6), upTo(-2), upTo(0)],
	157	#[between(0, 6), upTo(0), upTo(0)],
	158	#[between(0, 6), upTo(3), upTo(18)],
	159	#[between(0, 6), above(-2), above(-12)],
	160	#[between(0, 6), above(0), above(0)],
	161	#[between(0, 6), above(3), above(0)],
	162	#[between(0, 6), between(-4, -3), between(-24, 0)],
	163	#[between(0, 6), between(-4, 0), between(-24, 0)],
	164	#[between(0, 6), between(-3, 4), between(-18, 24)],
	165	#[between(0, 6), between(0, 4), between(0, 24)],
	166	#[between(0, 6), between(3, 4), between(0, 24)],
	167	#[between(0, 6), ZERO, ZERO],
	168	#[between(5, 6), UNBOUNDED, UNBOUNDED],
	169	#[between(5, 6), upTo(-2), upTo(-10)],
	170	#[between(5, 6), upTo(0), upTo(0)],
	171	#[between(5, 6), upTo(3), upTo(18)],
	172	#[between(5, 6), above(-2), above(-12)],
	173	#[between(5, 6), above(0), above(0)],
	174	#[between(5, 6), above(3), above(15)],
	175	#[between(5, 6), between(-4, -3), between(-24, -15)],
	176	#[between(5, 6), between(-4, 0), between(-24, 0)],
	177	#[between(5, 6), between(-3, 4), between(-18, 24)],
	178	#[between(5, 6), between(0, 4), between(0, 24)],
	179	#[between(5, 6), between(3, 4), between(15, 24)],
	180	#[between(5, 6), ZERO, ZERO],
	181	#[ZERO, UNBOUNDED, ZERO],
	182	#[ZERO, upTo(-2), ZERO],
	183	#[ZERO, upTo(0), ZERO],
	184	#[ZERO, upTo(3), ZERO],
	185	#[ZERO, above(-2), ZERO],
	186	#[ZERO, above(0), ZERO],
	187	#[ZERO, above(3), ZERO],
	188	#[ZERO, between(-4, -3), ZERO],
	189	#[ZERO, between(-4, 0), ZERO],
	190	#[ZERO, between(-3, 4), ZERO],
	191	#[ZERO, between(0, 4), ZERO],
	192	#[ZERO, between(3, 4), ZERO],
	193	#[ZERO, ZERO, ZERO]
	194	]
	195	}
	196
	197	@Parameter(0) public var Interval a
	198	@Parameter(1) public var Interval b
	199	@Parameter(2) public var Interval result
	200
	201	@Test
	202	def void multiplicatonTest() {
	203	Assert.assertEquals(result, a * b)
	204	}
	205	}