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);
14 array [1..676] of var 0..1: x;
15 …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[…
16 …x[1], x[27], x[53], x[79], x[105], x[131], x[157], x[183], x[209], x[235], x[261], x[287], x[313],…
17 …x[2], x[28], x[54], x[80], x[106], x[132], x[158], x[184], x[210], x[236], x[262], x[288], x[314],…
18 …x[3], x[29], x[55], x[81], x[107], x[133], x[159], x[185], x[211], x[237], x[263], x[289], x[315],…
19 …x[4], x[30], x[56], x[82], x[108], x[134], x[160], x[186], x[212], x[238], x[264], x[290], x[316],…
20 …x[5], x[31], x[57], x[83], x[109], x[135], x[161], x[187], x[213], x[239], x[265], x[291], x[317],…
21 …x[6], x[32], x[58], x[84], x[110], x[136], x[162], x[188], x[214], x[240], x[266], x[292], x[318],…
22 …x[7], x[33], x[59], x[85], x[111], x[137], x[163], x[189], x[215], x[241], x[267], x[293], x[319],…
23 …x[8], x[34], x[60], x[86], x[112], x[138], x[164], x[190], x[216], x[242], x[268], x[294], x[320],…
24 …x[9], x[35], x[61], x[87], x[113], x[139], x[165], x[191], x[217], x[243], x[269], x[295], x[321],…
25 …x[10], x[36], x[62], x[88], x[114], x[140], x[166], x[192], x[218], x[244], x[270], x[296], x[322]…
26 …x[11], x[37], x[63], x[89], x[115], x[141], x[167], x[193], x[219], x[245], x[271], x[297], x[323]…
27 …x[12], x[38], x[64], x[90], x[116], x[142], x[168], x[194], x[220], x[246], x[272], x[298], x[324]…
28 …x[13], x[39], x[65], x[91], x[117], x[143], x[169], x[195], x[221], x[247], x[273], x[299], x[325]…
29 …x[14], x[40], x[66], x[92], x[118], x[144], x[170], x[196], x[222], x[248], x[274], x[300], x[326]…
30 …x[15], x[41], x[67], x[93], x[119], x[145], x[171], x[197], x[223], x[249], x[275], x[301], x[327]…
31 …x[16], x[42], x[68], x[94], x[120], x[146], x[172], x[198], x[224], x[250], x[276], x[302], x[328]…
32 …x[17], x[43], x[69], x[95], x[121], x[147], x[173], x[199], x[225], x[251], x[277], x[303], x[329]…
33 …x[18], x[44], x[70], x[96], x[122], x[148], x[174], x[200], x[226], x[252], x[278], x[304], x[330]…
34 …x[19], x[45], x[71], x[97], x[123], x[149], x[175], x[201], x[227], x[253], x[279], x[305], x[331]…
35 …x[20], x[46], x[72], x[98], x[124], x[150], x[176], x[202], x[228], x[254], x[280], x[306], x[332]…
36 …x[21], x[47], x[73], x[99], x[125], x[151], x[177], x[203], x[229], x[255], x[281], x[307], x[333]…
37 …x[22], x[48], x[74], x[100], x[126], x[152], x[178], x[204], x[230], x[256], x[282], x[308], x[334…
38 …x[23], x[49], x[75], x[101], x[127], x[153], x[179], x[205], x[231], x[257], x[283], x[309], x[335…
39 …x[24], x[50], x[76], x[102], x[128], x[154], x[180], x[206], x[232], x[258], x[284], x[310], x[336…
40 …x[25], x[51], x[77], x[103], x[129], x[155], x[181], x[207], x[233], x[259], x[285], x[311], x[337…
41 …x[26], x[52], x[78], x[104], x[130], x[156], x[182], x[208], x[234], x[260], x[286], x[312], x[338…
42 …x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], …
43 …x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64], x[65], x[66], …
44 …x[79], x[80], x[81], x[82], x[83], x[84], x[85], x[86], x[87], x[88], x[89], x[90], x[91], x[92], …
45 …x[105], x[106], x[107], x[108], x[109], x[110], x[111], x[112], x[113], x[114], x[115], x[116], x[…
46 …x[131], x[132], x[133], x[134], x[135], x[136], x[137], x[138], x[139], x[140], x[141], x[142], x[…
47 …x[157], x[158], x[159], x[160], x[161], x[162], x[163], x[164], x[165], x[166], x[167], x[168], x[…
48 …x[183], x[184], x[185], x[186], x[187], x[188], x[189], x[190], x[191], x[192], x[193], x[194], x[…
49 …x[209], x[210], x[211], x[212], x[213], x[214], x[215], x[216], x[217], x[218], x[219], x[220], x[…
50 …x[235], x[236], x[237], x[238], x[239], x[240], x[241], x[242], x[243], x[244], x[245], x[246], x[…
51 …x[261], x[262], x[263], x[264], x[265], x[266], x[267], x[268], x[269], x[270], x[271], x[272], x[…
52 …x[287], x[288], x[289], x[290], x[291], x[292], x[293], x[294], x[295], x[296], x[297], x[298], x[…
53 …x[313], x[314], x[315], x[316], x[317], x[318], x[319], x[320], x[321], x[322], x[323], x[324], x[…
54 …x[339], x[340], x[341], x[342], x[343], x[344], x[345], x[346], x[347], x[348], x[349], x[350], x[…
55 …x[365], x[366], x[367], x[368], x[369], x[370], x[371], x[372], x[373], x[374], x[375], x[376], x[…
56 …x[391], x[392], x[393], x[394], x[395], x[396], x[397], x[398], x[399], x[400], x[401], x[402], x[…
57 …x[417], x[418], x[419], x[420], x[421], x[422], x[423], x[424], x[425], x[426], x[427], x[428], x[…
58 …x[443], x[444], x[445], x[446], x[447], x[448], x[449], x[450], x[451], x[452], x[453], x[454], x[…
59 …x[469], x[470], x[471], x[472], x[473], x[474], x[475], x[476], x[477], x[478], x[479], x[480], x[…
60 …x[495], x[496], x[497], x[498], x[499], x[500], x[501], x[502], x[503], x[504], x[505], x[506], x[…
61 …x[521], x[522], x[523], x[524], x[525], x[526], x[527], x[528], x[529], x[530], x[531], x[532], x[…
62 …x[547], x[548], x[549], x[550], x[551], x[552], x[553], x[554], x[555], x[556], x[557], x[558], x[…
63 …x[573], x[574], x[575], x[576], x[577], x[578], x[579], x[580], x[581], x[582], x[583], x[584], x[…
64 …x[599], x[600], x[601], x[602], x[603], x[604], x[605], x[606], x[607], x[608], x[609], x[610], x[…
65 …x[625], x[626], x[627], x[628], x[629], x[630], x[631], x[632], x[633], x[634], x[635], x[636], x[…
66 …x[651], x[652], x[653], x[654], x[655], x[656], x[657], x[658], x[659], x[660], x[661], x[662], x[…
67 …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[…
68 …x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], …
69 …x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64], x[65], x[66], …
70 …x[79], x[80], x[81], x[82], x[83], x[84], x[85], x[86], x[87], x[88], x[89], x[90], x[91], x[92], …
71 …x[105], x[106], x[107], x[108], x[109], x[110], x[111], x[112], x[113], x[114], x[115], x[116], x[…
72 …x[131], x[132], x[133], x[134], x[135], x[136], x[137], x[138], x[139], x[140], x[141], x[142], x[…
73 …x[157], x[158], x[159], x[160], x[161], x[162], x[163], x[164], x[165], x[166], x[167], x[168], x[…
74 …x[183], x[184], x[185], x[186], x[187], x[188], x[189], x[190], x[191], x[192], x[193], x[194], x[…
75 …x[209], x[210], x[211], x[212], x[213], x[214], x[215], x[216], x[217], x[218], x[219], x[220], x[…
76 …x[235], x[236], x[237], x[238], x[239], x[240], x[241], x[242], x[243], x[244], x[245], x[246], x[…
77 …x[261], x[262], x[263], x[264], x[265], x[266], x[267], x[268], x[269], x[270], x[271], x[272], x[…
78 …x[287], x[288], x[289], x[290], x[291], x[292], x[293], x[294], x[295], x[296], x[297], x[298], x[…
79 …x[313], x[314], x[315], x[316], x[317], x[318], x[319], x[320], x[321], x[322], x[323], x[324], x[…
80 …x[339], x[340], x[341], x[342], x[343], x[344], x[345], x[346], x[347], x[348], x[349], x[350], x[…
81 …x[365], x[366], x[367], x[368], x[369], x[370], x[371], x[372], x[373], x[374], x[375], x[376], x[…
82 …x[391], x[392], x[393], x[394], x[395], x[396], x[397], x[398], x[399], x[400], x[401], x[402], x[…
83 …x[417], x[418], x[419], x[420], x[421], x[422], x[423], x[424], x[425], x[426], x[427], x[428], x[…
84 …x[443], x[444], x[445], x[446], x[447], x[448], x[449], x[450], x[451], x[452], x[453], x[454], x[…
85 …x[469], x[470], x[471], x[472], x[473], x[474], x[475], x[476], x[477], x[478], x[479], x[480], x[…
86 …x[495], x[496], x[497], x[498], x[499], x[500], x[501], x[502], x[503], x[504], x[505], x[506], x[…
87 …x[521], x[522], x[523], x[524], x[525], x[526], x[527], x[528], x[529], x[530], x[531], x[532], x[…
88 …x[547], x[548], x[549], x[550], x[551], x[552], x[553], x[554], x[555], x[556], x[557], x[558], x[…
89 …x[573], x[574], x[575], x[576], x[577], x[578], x[579], x[580], x[581], x[582], x[583], x[584], x[…
90 …x[599], x[600], x[601], x[602], x[603], x[604], x[605], x[606], x[607], x[608], x[609], x[610], x[…
91 …x[625], x[626], x[627], x[628], x[629], x[630], x[631], x[632], x[633], x[634], x[635], x[636], x[…
92 …x[651], x[652], x[653], x[654], x[655], x[656], x[657], x[658], x[659], x[660], x[661], x[662], x[…
93 …x[105], x[106], x[107], x[108], x[109], x[110], x[111], x[112], x[113], x[114], x[115], x[116], x[…
94 …x[287], x[288], x[289], x[290], x[291], x[292], x[293], x[294], x[295], x[296], x[297], x[298], x[…
95 …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[…
96 …x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], …
97 …x[105], x[106], x[107], x[108], x[109], x[110], x[111], x[112], x[113], x[114], x[115], x[116], x[…
98 …x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64], x[65], x[66], …
99 …x[105], x[106], x[107], x[108], x[109], x[110], x[111], x[112], x[113], x[114], x[115], x[116], x[…
100 …x[105], x[106], x[107], x[108], x[109], x[110], x[111], x[112], x[113], x[114], x[115], x[116], x[…
101 …x[157], x[158], x[159], x[160], x[161], x[162], x[163], x[164], x[165], x[166], x[167], x[168], x[…
102 …x[209], x[210], x[211], x[212], x[213], x[214], x[215], x[216], x[217], x[218], x[219], x[220], x[…
103 …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[…
104 …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[…
105 …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[…
106 …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[…
107 …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[…
108 …x[105], x[106], x[107], x[108], x[109], x[110], x[111], x[112], x[113], x[114], x[115], x[116], x[…
109 …x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64], x[65], x[66], …
110 …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[…
111 …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[…
112 …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[…
113 …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[…