Lines Matching refs:x
1 predicate fzn_all_different_int(array [int] of var int: x);
2 predicate count(array [int] of var int: x, var int: y, var int: c);
4 predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of v…
5 predicate maximum_int(var int: m, array [int] of var int: x);
6 predicate minimum_int(var int: m, array [int] of var int: x);
8 predicate sort(array [int] of var int: x, array [int] of var int: y);
9 predicate table_bool(array [int] of var bool: x, array [int, int] of bool: t);
10 predicate table_int(array [int] of var int: x, array [int, int] of int: t);
16 array [1..720] of var 0..1: x :: output_array([1..720]);
17 …x[241], x[242], x[243], x[244], x[245], x[246], x[247], x[248], x[249], x[250], x[251], x[252], x[…
18 …x[361], x[362], x[363], x[364], x[365], x[366], x[367], x[368], x[369], x[370], x[371], x[372], x[…
19 …x[481], x[482], x[483], x[484], x[485], x[486], x[487], x[488], x[489], x[490], x[491], x[492], x[…
20 …x[601], x[602], x[603], x[604], x[605], x[606], x[607], x[608], x[609], x[610], x[611], x[612], x[…
21 …x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[…
22 …x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[…
23 …x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[…
24 …x[1], x[2], x[3], x[4], x[5], x[6], x[55], x[56], x[57], x[58], x[59], x[60], x[79], x[80], x[81],…
25 …x[1], x[2], x[15], x[16], x[21], x[22], x[25], x[26], x[39], x[40], x[45], x[46], x[75], x[76], x[…
26 …x[1], x[3], x[7], x[9], x[13], x[15], x[25], x[27], x[31], x[33], x[37], x[39], x[49], x[51], x[55…
27 …x[1], x[6], x[7], x[12], x[20], x[22], x[25], x[30], x[31], x[36], x[44], x[46], x[49], x[54], x[5…
28 …x[2], x[4], x[8], x[10], x[14], x[16], x[26], x[28], x[32], x[34], x[38], x[40], x[50], x[52], x[5…
29 …x[2], x[5], x[8], x[11], x[19], x[21], x[26], x[29], x[32], x[35], x[43], x[45], x[50], x[53], x[5…
30 …x[3], x[4], x[9], x[10], x[23], x[24], x[27], x[28], x[33], x[34], x[47], x[48], x[51], x[52], x[5…
31 …x[3], x[5], x[13], x[18], x[19], x[24], x[27], x[29], x[37], x[42], x[43], x[48], x[73], x[78], x[…
32 …x[4], x[6], x[14], x[17], x[20], x[23], x[28], x[30], x[38], x[41], x[44], x[47], x[74], x[77], x[…
33 …x[5], x[6], x[11], x[12], x[17], x[18], x[29], x[30], x[35], x[36], x[41], x[42], x[53], x[54], x[…
34 …x[7], x[8], x[9], x[10], x[11], x[12], x[31], x[32], x[33], x[34], x[35], x[36], x[85], x[86], x[8…
35 …x[7], x[8], x[13], x[14], x[19], x[20], x[49], x[50], x[63], x[64], x[69], x[70], x[73], x[74], x[…
36 …x[9], x[11], x[15], x[17], x[21], x[23], x[51], x[53], x[61], x[66], x[67], x[72], x[75], x[77], x…
37 …x[10], x[12], x[16], x[18], x[22], x[24], x[52], x[54], x[62], x[65], x[68], x[71], x[76], x[78], …
38 …x[13], x[14], x[15], x[16], x[17], x[18], x[37], x[38], x[39], x[40], x[41], x[42], x[61], x[62], …
39 …x[19], x[20], x[21], x[22], x[23], x[24], x[43], x[44], x[45], x[46], x[47], x[48], x[67], x[68], …
40 …x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], …
41 …x[25], x[26], x[27], x[28], x[29], x[30], x[49], x[50], x[51], x[52], x[53], x[54], x[73], x[74], …
42 …x[31], x[32], x[37], x[38], x[43], x[44], x[55], x[56], x[61], x[62], x[67], x[68], x[79], x[80], …
43 …x[33], x[35], x[39], x[41], x[45], x[47], x[57], x[59], x[63], x[65], x[69], x[71], x[81], x[83], …
44 …x[34], x[36], x[40], x[42], x[46], x[48], x[58], x[60], x[64], x[66], x[70], x[72], x[82], x[84], …
45 …x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], …
46 …x[73], x[74], x[75], x[76], x[77], x[78], x[79], x[80], x[81], x[82], x[83], x[84], x[85], x[86], …
47 …x[97], x[98], x[99], x[100], x[101], x[102], x[103], x[104], x[105], x[106], x[107], x[108], x[109…
48 …x[121], x[122], x[123], x[124], x[125], x[126], x[127], x[128], x[129], x[130], x[131], x[132], x[…
49 …x[121], x[122], x[123], x[124], x[125], x[126], x[127], x[128], x[129], x[130], x[131], x[132], x[…
50 …x[145], x[146], x[147], x[148], x[149], x[150], x[169], x[170], x[171], x[172], x[173], x[174], x[…
51 …x[151], x[152], x[157], x[158], x[163], x[164], x[175], x[176], x[181], x[182], x[187], x[188], x[…
52 …x[153], x[155], x[159], x[161], x[165], x[167], x[177], x[179], x[183], x[185], x[189], x[191], x[…
53 …x[154], x[156], x[160], x[162], x[166], x[168], x[178], x[180], x[184], x[186], x[190], x[192], x[…
54 …x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[…