this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 if5_5 : 1
7 if5f_5 : 0
8 if5_4 : 0
9 if5f_5f : 1
10 if2_set2_4 : 0
11 ifTwoVars : 0
12 ifTwoOptVars : 0
13 ifEqualInitVars : 1
14 ifEqualChainInitVars : 1
15 ifOneVar : 1
16 ifOneOptVar : 1
17solvers:
18- gecode
19- cbc
20***/
21
22%-----------------------------------------------------------------------------%
23var int: if5_5;
24if5_5 == is_same(5, 5);
25
26var int: if5f_5;
27if5f_5 == is_same(5.0, 5);
28
29var int: if5_4;
30if5_4 == is_same(5, 4);
31
32var int: if5f_5f;
33if5f_5f == is_same(5.0, 5.0);
34
35var int: if2_set2_4;
36if2_set2_4 == is_same(2, {2, 4});
37
38var int: ifTwoVars;
39var int: var1;
40var 0..15: var2;
41ifTwoVars == is_same(var1, var2);
42
43var int: ifTwoOptVars;
44var opt int: varO1;
45var opt 0..15: varO2;
46ifTwoOptVars == is_same(varO1, varO2);
47
48var int: ifEqualInitVars;
49var int: varInit1 = 3;
50var 0..15: varInit2 = 3;
51ifEqualInitVars == is_same(varInit1, varInit2);
52
53var int: ifEqualChainInitVars;
54var opt int: varInterm = varO1;
55var opt int: varChInit1 = varInterm;
56var opt 0..15: varChInit2 = varO1;
57ifEqualChainInitVars == is_same(varChInit1, varChInit2);
58
59var int: ifOneVar;
60var int: v;
61ifOneVar == is_same(v, v);
62
63var int: ifOneOptVar;
64var opt -1.0..-0.5: varOF;
65ifOneOptVar == is_same(varOF, varOF);