this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 solution: !Solution:
5 y:
6 - '{}'
7 - '7..infinity'
8 - '{3,5}'
9 - '{3,5} union 7..infinity'
10 - '-1..1'
11 - '{-1,0,1} union 7..infinity'
12 - '{-1,0,1,3,5}'
13 - '{-1,0,1,3,5} union 7..infinity'
14 - '{-5,-3}'
15 - '{-5,-3} union 7..infinity'
16 - '{-5,-3,3,5}'
17 - '{-5,-3,3,5} union 7..infinity'
18 - '{-5,-3,-1,0,1}'
19 - '{-5,-3,-1,0,1} union 7..infinity'
20 - '{-5,-3,-1,0,1,3,5}'
21 - '{-5,-3,-1,0,1,3,5} union 7..infinity'
22 - '-infinity..-7'
23 - '-infinity..-7 union {} union 7..infinity'
24 - '-infinity..-7 union {3,5}'
25 - '-infinity..-7 union {3,5} union 7..infinity'
26 - '-infinity..-7 union {-1,0,1}'
27 - '-infinity..-7 union {-1,0,1} union 7..infinity'
28 - '-infinity..-7 union {-1,0,1,3,5}'
29 - '-infinity..-7 union {-1,0,1,3,5} union 7..infinity'
30 - '-infinity..-7 union {-5,-3}'
31 - '-infinity..-7 union {-5,-3} union 7..infinity'
32 - '-infinity..-7 union {-5,-3,3,5}'
33 - '-infinity..-7 union {-5,-3,3,5} union 7..infinity'
34 - '-infinity..-7 union {-5,-3,-1,0,1}'
35 - '-infinity..-7 union {-5,-3,-1,0,1} union 7..infinity'
36 - '-infinity..-7 union {-5,-3,-1,0,1,3,5}'
37 - '-infinity..-7 union {-5,-3,-1,0,1,3,5} union 7..infinity'
38***/
39
40array [1..5] of set of int: x = [
41 -infinity..-7,
42 {-5, -3},
43 -1..1,
44 {3, 5},
45 7..infinity
46];
47
48function set of int: s(bool: b, set of int: x) = if b then x else {} endif;
49
50array [1..32] of string: y :: add_to_output = [
51 show(
52 s(a, x[1]) union
53 s(b, x[2]) union
54 s(c, x[3]) union
55 s(d, x[4]) union
56 s(e, x[5])
57 ) | a, b, c, d, e in [false, true]
58];