diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-09 00:49:19 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-09 00:49:19 -0400 |
commit | 1999ab4733071c6a4c9989c137eb44ec62b09847 (patch) | |
tree | fb4c06a88689e80d4a021bf5ad995a377ed765a6 /Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf | |
parent | Implement interval arithmetic without exponentiation (diff) | |
download | VIATRA-Generator-1999ab4733071c6a4c9989c137eb44ec62b09847.tar.gz VIATRA-Generator-1999ab4733071c6a4c9989c137eb44ec62b09847.tar.zst VIATRA-Generator-1999ab4733071c6a4c9989c137eb44ec62b09847.zip |
Interval comparison
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf')
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/RelationTest.xtend | 120 |
1 files changed, 120 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/RelationTest.xtend b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/RelationTest.xtend new file mode 100644 index 00000000..23fc69ea --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/RelationTest.xtend | |||
@@ -0,0 +1,120 @@ | |||
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 RelationTest { | ||
16 | @Parameters(name = "{index}: {0} <> {1}") | ||
17 | static def Collection<Object[]> data() { | ||
18 | #[ | ||
19 | #[EMPTY, EMPTY, true, false, true, false], | ||
20 | #[EMPTY, between(1, 2), true, false, true, false], | ||
21 | #[between(1, 2), EMPTY, true, false, true, false], | ||
22 | #[upTo(1), upTo(0), false, true, false, true], | ||
23 | #[upTo(1), upTo(1), false, true, false, true], | ||
24 | #[upTo(1), upTo(2), false, true, false, true], | ||
25 | #[upTo(1), above(0), false, true, false, true], | ||
26 | #[upTo(1), above(1), false, true, false, true], | ||
27 | #[upTo(1), above(2), false, false, true, true], | ||
28 | #[upTo(1), between(-1, -1), false, true, false, true], | ||
29 | #[upTo(1), between(-1, 0), false, true, false, true], | ||
30 | #[upTo(1), between(-1, 1), false, true, false, true], | ||
31 | #[upTo(1), between(-1, 2), false, true, false, true], | ||
32 | #[upTo(1), between(1, 1), false, true, false, true], | ||
33 | #[upTo(1), between(1, 2), false, true, false, true], | ||
34 | #[upTo(1), between(2, 2), false, false, true, true], | ||
35 | #[upTo(1), between(2, 3), false, false, true, true], | ||
36 | #[above(1), upTo(0), false, false, false, false], | ||
37 | #[above(1), upTo(1), false, true, false, false], | ||
38 | #[above(1), upTo(2), false, true, false, true], | ||
39 | #[above(1), above(0), false, true, false, true], | ||
40 | #[above(1), above(1), false, true, false, true], | ||
41 | #[above(1), above(2), false, true, false, true], | ||
42 | #[above(1), between(-1, -1), false, false, false, false], | ||
43 | #[above(1), between(-1, 0), false, false, false, false], | ||
44 | #[above(1), between(-1, 1), false, true, false, false], | ||
45 | #[above(1), between(-1, 2), false, true, false, true], | ||
46 | #[above(1), between(1, 1), false, true, false, false], | ||
47 | #[above(1), between(1, 2), false, true, false, true], | ||
48 | #[above(1), between(2, 2), false, true, false, true], | ||
49 | #[above(1), between(2, 3), false, true, false, true], | ||
50 | #[between(1, 1), upTo(0), false, false, false, false], | ||
51 | #[between(1, 1), upTo(1), false, true, false, false], | ||
52 | #[between(1, 1), upTo(2), false, true, false, true], | ||
53 | #[between(1, 1), above(0), false, true, false, true], | ||
54 | #[between(1, 1), above(1), false, true, false, true], | ||
55 | #[between(1, 1), above(2), false, false, true, true], | ||
56 | #[between(1, 1), between(-1, -1), false, false, false, false], | ||
57 | #[between(1, 1), between(-1, 0), false, false, false, false], | ||
58 | #[between(1, 1), between(-1, 1), false, true, false, false], | ||
59 | #[between(1, 1), between(-1, 2), false, true, false, true], | ||
60 | #[between(1, 1), between(1, 1), true, true, false, false], | ||
61 | #[between(1, 1), between(1, 2), false, true, false, true], | ||
62 | #[between(1, 1), between(2, 2), false, false, true, true], | ||
63 | #[between(1, 1), between(2, 3), false, false, true, true], | ||
64 | #[between(-1, 1), upTo(-2), false, false, false, false], | ||
65 | #[between(-1, 1), upTo(-1), false, true, false, false], | ||
66 | #[between(-1, 1), upTo(0), false, true, false, true], | ||
67 | #[between(-1, 1), upTo(1), false, true, false, true], | ||
68 | #[between(-1, 1), upTo(2), false, true, false, true], | ||
69 | #[between(-1, 1), above(-2), false, true, false, true], | ||
70 | #[between(-1, 1), above(-1), false, true, false, true], | ||
71 | #[between(-1, 1), above(0), false, true, false, true], | ||
72 | #[between(-1, 1), above(1), false, true, false, true], | ||
73 | #[between(-1, 1), above(2), false, false, true, true], | ||
74 | #[between(-1, 1), between(-3, -2), false, false, false, false], | ||
75 | #[between(-1, 1), between(-2, -2), false, false, false, false], | ||
76 | #[between(-1, 1), between(-2, -1), false, true, false, false], | ||
77 | #[between(-1, 1), between(-2, 0), false, true, false, true], | ||
78 | #[between(-1, 1), between(-2, 1), false, true, false, true], | ||
79 | #[between(-1, 1), between(-2, 2), false, true, false, true], | ||
80 | #[between(-1, 1), between(-1, -1), false, true, false, false], | ||
81 | #[between(-1, 1), between(-1, 0), false, true, false, true], | ||
82 | #[between(-1, 1), between(-1, 1), false, true, false, true], | ||
83 | #[between(-1, 1), between(-1, 2), false, true, false, true], | ||
84 | #[between(-1, 1), between(0, 0), false, true, false, true], | ||
85 | #[between(-1, 1), between(0, 1), false, true, false, true], | ||
86 | #[between(-1, 1), between(0, 2), false, true, false, true], | ||
87 | #[between(-1, 1), between(1, 1), false, true, false, true], | ||
88 | #[between(-1, 1), between(1, 2), false, true, false, true], | ||
89 | #[between(-1, 1), between(2, 2), false, false, true, true], | ||
90 | #[between(-1, 1), between(2, 3), false, false, true, true] | ||
91 | ] | ||
92 | } | ||
93 | |||
94 | @Parameter(0) public var Interval a | ||
95 | @Parameter(1) public var Interval b | ||
96 | @Parameter(2) public var boolean mustEqual | ||
97 | @Parameter(3) public var boolean mayEqual | ||
98 | @Parameter(4) public var boolean mustBeLessThan | ||
99 | @Parameter(5) public var boolean mayBeLessThan | ||
100 | |||
101 | @Test | ||
102 | def void mustEqualTest() { | ||
103 | Assert.assertEquals(mustEqual, a.mustEqual(b)) | ||
104 | } | ||
105 | |||
106 | @Test | ||
107 | def void mayEqualTest() { | ||
108 | Assert.assertEquals(mayEqual, a.mayEqual(b)) | ||
109 | } | ||
110 | |||
111 | @Test | ||
112 | def void mustBeLessThanTest() { | ||
113 | Assert.assertEquals(mustBeLessThan, a.mustBeLessThan(b)) | ||
114 | } | ||
115 | |||
116 | @Test | ||
117 | def void mayBeLessThanTest() { | ||
118 | Assert.assertEquals(mayBeLessThan, a.mayBeLessThan(b)) | ||
119 | } | ||
120 | } | ||