Lines 1-6
Link Here
|
|
|
1 |
bin/fzn-gecode |
1 |
bin/mzn-gecode |
2 |
bin/mzn-gecode |
2 |
bin/fz |
|
|
3 |
include/examples/scowl.hpp |
4 |
include/gecode/driver.hh |
3 |
include/gecode/driver.hh |
5 |
include/gecode/driver/options.hpp |
4 |
include/gecode/driver/options.hpp |
6 |
include/gecode/driver/script.hpp |
5 |
include/gecode/driver/script.hpp |
Lines 13-18
Link Here
|
13 |
include/gecode/flatzinc/registry.hh |
12 |
include/gecode/flatzinc/registry.hh |
14 |
include/gecode/flatzinc/symboltable.hh |
13 |
include/gecode/flatzinc/symboltable.hh |
15 |
include/gecode/flatzinc/varspec.hh |
14 |
include/gecode/flatzinc/varspec.hh |
|
|
15 |
include/gecode/float.hh |
16 |
include/gecode/float/arithmetic.hh |
17 |
include/gecode/float/arithmetic/div.hpp |
18 |
include/gecode/float/arithmetic/min-max-channel.hpp |
19 |
include/gecode/float/arithmetic/mult.hpp |
20 |
include/gecode/float/arithmetic/pow-nroot.hpp |
21 |
include/gecode/float/arithmetic/sqr-sqrt-abs.hpp |
22 |
include/gecode/float/array-traits.hpp |
23 |
include/gecode/float/array.hpp |
24 |
include/gecode/float/branch.hh |
25 |
include/gecode/float/branch/activity.hpp |
26 |
include/gecode/float/branch/afc.hpp |
27 |
include/gecode/float/branch/assign.hpp |
28 |
include/gecode/float/branch/merit.hpp |
29 |
include/gecode/float/branch/traits.hpp |
30 |
include/gecode/float/branch/val-commit.hpp |
31 |
include/gecode/float/branch/val-sel.hpp |
32 |
include/gecode/float/branch/val.hpp |
33 |
include/gecode/float/branch/var.hpp |
34 |
include/gecode/float/exception.hpp |
35 |
include/gecode/float/limits.hpp |
36 |
include/gecode/float/linear.hh |
37 |
include/gecode/float/linear/nary.hpp |
38 |
include/gecode/float/nextafter.hpp |
39 |
include/gecode/float/num.hpp |
40 |
include/gecode/float/rel.hh |
41 |
include/gecode/float/rel/eq.hpp |
42 |
include/gecode/float/rel/lq-le.hpp |
43 |
include/gecode/float/rel/nq.hpp |
44 |
include/gecode/float/rounding.hpp |
45 |
include/gecode/float/transcendental.hh |
46 |
include/gecode/float/transcendental/exp-log.hpp |
47 |
include/gecode/float/trigonometric.hh |
48 |
include/gecode/float/trigonometric/asinacos.hpp |
49 |
include/gecode/float/trigonometric/sincos.hpp |
50 |
include/gecode/float/trigonometric/tanatan.hpp |
51 |
include/gecode/float/val.hpp |
52 |
include/gecode/float/var-imp.hpp |
53 |
include/gecode/float/var-imp/delta.hpp |
54 |
include/gecode/float/var-imp/float.hpp |
55 |
include/gecode/float/var/float.hpp |
56 |
include/gecode/float/var/print.hpp |
57 |
include/gecode/float/view.hpp |
58 |
include/gecode/float/view/float.hpp |
59 |
include/gecode/float/view/minus.hpp |
60 |
include/gecode/float/view/offset.hpp |
61 |
include/gecode/float/view/print.hpp |
62 |
include/gecode/float/view/rel-test.hpp |
63 |
include/gecode/float/view/scale.hpp |
16 |
include/gecode/gist.hh |
64 |
include/gecode/gist.hh |
17 |
include/gecode/gist/drawingcursor.hh |
65 |
include/gecode/gist/drawingcursor.hh |
18 |
include/gecode/gist/drawingcursor.hpp |
66 |
include/gecode/gist/drawingcursor.hpp |
Lines 45-52
Link Here
|
45 |
include/gecode/int/arithmetic/divmod.hpp |
93 |
include/gecode/int/arithmetic/divmod.hpp |
46 |
include/gecode/int/arithmetic/max.hpp |
94 |
include/gecode/int/arithmetic/max.hpp |
47 |
include/gecode/int/arithmetic/mult.hpp |
95 |
include/gecode/int/arithmetic/mult.hpp |
48 |
include/gecode/int/arithmetic/sqr.hpp |
96 |
include/gecode/int/arithmetic/nroot.hpp |
49 |
include/gecode/int/arithmetic/sqrt.hpp |
97 |
include/gecode/int/arithmetic/pow-ops.hpp |
|
|
98 |
include/gecode/int/arithmetic/pow.hpp |
50 |
include/gecode/int/array-traits.hpp |
99 |
include/gecode/int/array-traits.hpp |
51 |
include/gecode/int/array.hpp |
100 |
include/gecode/int/array.hpp |
52 |
include/gecode/int/bin-packing.hh |
101 |
include/gecode/int/bin-packing.hh |
Lines 56-69
Link Here
|
56 |
include/gecode/int/bool/clause.hpp |
105 |
include/gecode/int/bool/clause.hpp |
57 |
include/gecode/int/bool/eq.hpp |
106 |
include/gecode/int/bool/eq.hpp |
58 |
include/gecode/int/bool/eqv.hpp |
107 |
include/gecode/int/bool/eqv.hpp |
|
|
108 |
include/gecode/int/bool/ite.hpp |
59 |
include/gecode/int/bool/lq.hpp |
109 |
include/gecode/int/bool/lq.hpp |
60 |
include/gecode/int/bool/or.hpp |
110 |
include/gecode/int/bool/or.hpp |
61 |
include/gecode/int/branch.hh |
111 |
include/gecode/int/branch.hh |
62 |
include/gecode/int/branch/post-val-bool.hpp |
112 |
include/gecode/int/branch/activity.hpp |
63 |
include/gecode/int/branch/post-val-int.hpp |
113 |
include/gecode/int/branch/afc.hpp |
64 |
include/gecode/int/branch/select-val.hpp |
114 |
include/gecode/int/branch/assign.hpp |
65 |
include/gecode/int/branch/select-values.hpp |
115 |
include/gecode/int/branch/merit.hpp |
66 |
include/gecode/int/branch/select-view.hpp |
116 |
include/gecode/int/branch/ngl.hpp |
|
|
117 |
include/gecode/int/branch/traits.hpp |
118 |
include/gecode/int/branch/val-commit.hpp |
119 |
include/gecode/int/branch/val-sel.hpp |
120 |
include/gecode/int/branch/val.hpp |
121 |
include/gecode/int/branch/var.hpp |
122 |
include/gecode/int/branch/view-values.hpp |
67 |
include/gecode/int/channel.hh |
123 |
include/gecode/int/channel.hh |
68 |
include/gecode/int/channel/base.hpp |
124 |
include/gecode/int/channel/base.hpp |
69 |
include/gecode/int/channel/dom.hpp |
125 |
include/gecode/int/channel/dom.hpp |
Lines 84-99
Link Here
|
84 |
include/gecode/int/count/view-eq.hpp |
140 |
include/gecode/int/count/view-eq.hpp |
85 |
include/gecode/int/count/view-gq.hpp |
141 |
include/gecode/int/count/view-gq.hpp |
86 |
include/gecode/int/count/view-lq.hpp |
142 |
include/gecode/int/count/view-lq.hpp |
87 |
include/gecode/int/cumulatives.hh |
143 |
include/gecode/int/cumulative.hh |
88 |
include/gecode/int/cumulative/basic.hpp |
144 |
include/gecode/int/cumulative/basic.hpp |
89 |
include/gecode/int/cumulative/edge-finding.hpp |
145 |
include/gecode/int/cumulative/edge-finding.hpp |
|
|
146 |
include/gecode/int/cumulative/limits.hpp |
90 |
include/gecode/int/cumulative/man-prop.hpp |
147 |
include/gecode/int/cumulative/man-prop.hpp |
91 |
include/gecode/int/cumulative/opt-prop.hpp |
148 |
include/gecode/int/cumulative/opt-prop.hpp |
92 |
include/gecode/int/cumulative/overload.hpp |
149 |
include/gecode/int/cumulative/overload.hpp |
93 |
include/gecode/int/cumulative/task-view.hpp |
150 |
include/gecode/int/cumulative/task-view.hpp |
94 |
include/gecode/int/cumulative/task.hpp |
151 |
include/gecode/int/cumulative/task.hpp |
95 |
include/gecode/int/cumulative/tree.hpp |
152 |
include/gecode/int/cumulative/tree.hpp |
96 |
include/gecode/int/cumulative.hh |
153 |
include/gecode/int/cumulatives.hh |
97 |
include/gecode/int/cumulatives/val.hpp |
154 |
include/gecode/int/cumulatives/val.hpp |
98 |
include/gecode/int/distinct.hh |
155 |
include/gecode/int/distinct.hh |
99 |
include/gecode/int/distinct/bnd.hpp |
156 |
include/gecode/int/distinct/bnd.hpp |
Lines 102-110
Link Here
|
102 |
include/gecode/int/distinct/graph.hpp |
159 |
include/gecode/int/distinct/graph.hpp |
103 |
include/gecode/int/distinct/ter-dom.hpp |
160 |
include/gecode/int/distinct/ter-dom.hpp |
104 |
include/gecode/int/distinct/val.hpp |
161 |
include/gecode/int/distinct/val.hpp |
|
|
162 |
include/gecode/int/div.hh |
163 |
include/gecode/int/div.hpp |
105 |
include/gecode/int/dom.hh |
164 |
include/gecode/int/dom.hh |
106 |
include/gecode/int/dom/range.hpp |
165 |
include/gecode/int/dom/range.hpp |
107 |
include/gecode/int/dom/spec.hpp |
166 |
include/gecode/int/dom/set.hpp |
108 |
include/gecode/int/element.hh |
167 |
include/gecode/int/element.hh |
109 |
include/gecode/int/element/int.hpp |
168 |
include/gecode/int/element/int.hpp |
110 |
include/gecode/int/element/pair.hpp |
169 |
include/gecode/int/element/pair.hpp |
Lines 129-134
Link Here
|
129 |
include/gecode/int/gcc/view.hpp |
188 |
include/gecode/int/gcc/view.hpp |
130 |
include/gecode/int/int-set-1.hpp |
189 |
include/gecode/int/int-set-1.hpp |
131 |
include/gecode/int/int-set-2.hpp |
190 |
include/gecode/int/int-set-2.hpp |
|
|
191 |
include/gecode/int/ldsb.hh |
192 |
include/gecode/int/ldsb/brancher.hpp |
193 |
include/gecode/int/ldsb/sym-imp.hpp |
132 |
include/gecode/int/limits.hpp |
194 |
include/gecode/int/limits.hpp |
133 |
include/gecode/int/linear.hh |
195 |
include/gecode/int/linear.hh |
134 |
include/gecode/int/linear/bool-int.hpp |
196 |
include/gecode/int/linear/bool-int.hpp |
Lines 164-169
Link Here
|
164 |
include/gecode/int/precede.hh |
226 |
include/gecode/int/precede.hh |
165 |
include/gecode/int/precede/single.hpp |
227 |
include/gecode/int/precede/single.hpp |
166 |
include/gecode/int/propagator.hpp |
228 |
include/gecode/int/propagator.hpp |
|
|
229 |
include/gecode/int/reify.hpp |
167 |
include/gecode/int/rel.hh |
230 |
include/gecode/int/rel.hh |
168 |
include/gecode/int/rel/eq.hpp |
231 |
include/gecode/int/rel/eq.hpp |
169 |
include/gecode/int/rel/lex.hpp |
232 |
include/gecode/int/rel/lex.hpp |
Lines 204-216
Link Here
|
204 |
include/gecode/int/unary/tree.hpp |
267 |
include/gecode/int/unary/tree.hpp |
205 |
include/gecode/int/val-set.hh |
268 |
include/gecode/int/val-set.hh |
206 |
include/gecode/int/val-set.hpp |
269 |
include/gecode/int/val-set.hpp |
207 |
include/gecode/int/var/bool.hpp |
|
|
208 |
include/gecode/int/var/int.hpp |
209 |
include/gecode/int/var/print.hpp |
210 |
include/gecode/int/var-imp.hpp |
270 |
include/gecode/int/var-imp.hpp |
211 |
include/gecode/int/var-imp/bool.hpp |
271 |
include/gecode/int/var-imp/bool.hpp |
212 |
include/gecode/int/var-imp/delta.hpp |
272 |
include/gecode/int/var-imp/delta.hpp |
213 |
include/gecode/int/var-imp/int.hpp |
273 |
include/gecode/int/var-imp/int.hpp |
|
|
274 |
include/gecode/int/var/bool.hpp |
275 |
include/gecode/int/var/int.hpp |
276 |
include/gecode/int/var/print.hpp |
277 |
include/gecode/int/view-val-graph.hh |
278 |
include/gecode/int/view-val-graph/bi-link.hpp |
279 |
include/gecode/int/view-val-graph/comb-ptr-flag.hpp |
280 |
include/gecode/int/view-val-graph/edge.hpp |
281 |
include/gecode/int/view-val-graph/graph.hpp |
282 |
include/gecode/int/view-val-graph/iter-prune-val.hpp |
283 |
include/gecode/int/view-val-graph/node.hpp |
284 |
include/gecode/int/view.hpp |
214 |
include/gecode/int/view/bool-test.hpp |
285 |
include/gecode/int/view/bool-test.hpp |
215 |
include/gecode/int/view/bool.hpp |
286 |
include/gecode/int/view/bool.hpp |
216 |
include/gecode/int/view/cached.hpp |
287 |
include/gecode/int/view/cached.hpp |
Lines 224-237
Link Here
|
224 |
include/gecode/int/view/rel-test.hpp |
295 |
include/gecode/int/view/rel-test.hpp |
225 |
include/gecode/int/view/scale.hpp |
296 |
include/gecode/int/view/scale.hpp |
226 |
include/gecode/int/view/zero.hpp |
297 |
include/gecode/int/view/zero.hpp |
227 |
include/gecode/int/view-val-graph/bi-link.hpp |
|
|
228 |
include/gecode/int/view-val-graph/comb-ptr-flag.hpp |
229 |
include/gecode/int/view-val-graph/edge.hpp |
230 |
include/gecode/int/view-val-graph/graph.hpp |
231 |
include/gecode/int/view-val-graph/iter-prune-val.hpp |
232 |
include/gecode/int/view-val-graph/node.hpp |
233 |
include/gecode/int/view-val-graph.hh |
234 |
include/gecode/int/view.hpp |
235 |
include/gecode/iter.hh |
298 |
include/gecode/iter.hh |
236 |
include/gecode/iter/ranges-add.hpp |
299 |
include/gecode/iter/ranges-add.hpp |
237 |
include/gecode/iter/ranges-append.hpp |
300 |
include/gecode/iter/ranges-append.hpp |
Lines 258-263
Link Here
|
258 |
include/gecode/iter/ranges-values.hpp |
321 |
include/gecode/iter/ranges-values.hpp |
259 |
include/gecode/iter/values-array.hpp |
322 |
include/gecode/iter/values-array.hpp |
260 |
include/gecode/iter/values-bitset.hpp |
323 |
include/gecode/iter/values-bitset.hpp |
|
|
324 |
include/gecode/iter/values-bitsetoffset.hpp |
261 |
include/gecode/iter/values-inter.hpp |
325 |
include/gecode/iter/values-inter.hpp |
262 |
include/gecode/iter/values-list.hpp |
326 |
include/gecode/iter/values-list.hpp |
263 |
include/gecode/iter/values-map.hpp |
327 |
include/gecode/iter/values-map.hpp |
Lines 270-287
Link Here
|
270 |
include/gecode/iter/values-union.hpp |
334 |
include/gecode/iter/values-union.hpp |
271 |
include/gecode/iter/values-unique.hpp |
335 |
include/gecode/iter/values-unique.hpp |
272 |
include/gecode/kernel.hh |
336 |
include/gecode/kernel.hh |
|
|
337 |
include/gecode/kernel/activity.hpp |
273 |
include/gecode/kernel/advisor.hpp |
338 |
include/gecode/kernel/advisor.hpp |
|
|
339 |
include/gecode/kernel/afc.hpp |
274 |
include/gecode/kernel/allocators.hpp |
340 |
include/gecode/kernel/allocators.hpp |
275 |
include/gecode/kernel/archive.hpp |
341 |
include/gecode/kernel/archive.hpp |
276 |
include/gecode/kernel/array.hpp |
342 |
include/gecode/kernel/array.hpp |
277 |
include/gecode/kernel/branch.hpp |
343 |
include/gecode/kernel/branch-tiebreak.hpp |
278 |
include/gecode/kernel/brancher-tiebreak.hpp |
344 |
include/gecode/kernel/branch-traits.hpp |
279 |
include/gecode/kernel/brancher-val.hpp |
345 |
include/gecode/kernel/branch-val.hpp |
|
|
346 |
include/gecode/kernel/branch-var.hpp |
347 |
include/gecode/kernel/brancher-merit.hpp |
348 |
include/gecode/kernel/brancher-val-commit.hpp |
349 |
include/gecode/kernel/brancher-val-sel-commit.hpp |
350 |
include/gecode/kernel/brancher-val-sel.hpp |
351 |
include/gecode/kernel/brancher-view-sel.hpp |
352 |
include/gecode/kernel/brancher-view-val.hpp |
280 |
include/gecode/kernel/brancher-view.hpp |
353 |
include/gecode/kernel/brancher-view.hpp |
281 |
include/gecode/kernel/brancher.hpp |
|
|
282 |
include/gecode/kernel/core.hpp |
354 |
include/gecode/kernel/core.hpp |
283 |
include/gecode/kernel/exception.hpp |
355 |
include/gecode/kernel/exception.hpp |
284 |
include/gecode/kernel/global-prop-info.hpp |
356 |
include/gecode/kernel/global-afc.hpp |
285 |
include/gecode/kernel/macros.hpp |
357 |
include/gecode/kernel/macros.hpp |
286 |
include/gecode/kernel/memory-config.hpp |
358 |
include/gecode/kernel/memory-config.hpp |
287 |
include/gecode/kernel/memory-manager.hpp |
359 |
include/gecode/kernel/memory-manager.hpp |
Lines 289-294
Link Here
|
289 |
include/gecode/kernel/propagator.hpp |
361 |
include/gecode/kernel/propagator.hpp |
290 |
include/gecode/kernel/range-list.hpp |
362 |
include/gecode/kernel/range-list.hpp |
291 |
include/gecode/kernel/region.hpp |
363 |
include/gecode/kernel/region.hpp |
|
|
364 |
include/gecode/kernel/rnd.hpp |
292 |
include/gecode/kernel/shared-array.hpp |
365 |
include/gecode/kernel/shared-array.hpp |
293 |
include/gecode/kernel/var-imp.hpp |
366 |
include/gecode/kernel/var-imp.hpp |
294 |
include/gecode/kernel/var-type.hpp |
367 |
include/gecode/kernel/var-type.hpp |
Lines 298-305
Link Here
|
298 |
include/gecode/minimodel.hh |
371 |
include/gecode/minimodel.hh |
299 |
include/gecode/minimodel/bool-expr.hpp |
372 |
include/gecode/minimodel/bool-expr.hpp |
300 |
include/gecode/minimodel/exception.hpp |
373 |
include/gecode/minimodel/exception.hpp |
301 |
include/gecode/minimodel/lin-expr.hpp |
374 |
include/gecode/minimodel/float-rel.hpp |
302 |
include/gecode/minimodel/lin-rel.hpp |
375 |
include/gecode/minimodel/int-rel.hpp |
|
|
376 |
include/gecode/minimodel/ldsb.hpp |
303 |
include/gecode/minimodel/matrix.hpp |
377 |
include/gecode/minimodel/matrix.hpp |
304 |
include/gecode/minimodel/optimize.hpp |
378 |
include/gecode/minimodel/optimize.hpp |
305 |
include/gecode/minimodel/reg.hpp |
379 |
include/gecode/minimodel/reg.hpp |
Lines 307-324
Link Here
|
307 |
include/gecode/minimodel/set-rel.hpp |
381 |
include/gecode/minimodel/set-rel.hpp |
308 |
include/gecode/search.hh |
382 |
include/gecode/search.hh |
309 |
include/gecode/search/bab.hpp |
383 |
include/gecode/search/bab.hpp |
|
|
384 |
include/gecode/search/cutoff.hpp |
310 |
include/gecode/search/dfs.hpp |
385 |
include/gecode/search/dfs.hpp |
|
|
386 |
include/gecode/search/engine-base.hpp |
387 |
include/gecode/search/exception.hpp |
388 |
include/gecode/search/meta/nogoods.hh |
389 |
include/gecode/search/meta/rbs.hh |
311 |
include/gecode/search/options.hpp |
390 |
include/gecode/search/options.hpp |
312 |
include/gecode/search/parallel/bab.hh |
391 |
include/gecode/search/parallel/bab.hh |
313 |
include/gecode/search/parallel/dfs.hh |
392 |
include/gecode/search/parallel/dfs.hh |
314 |
include/gecode/search/parallel/engine.hh |
393 |
include/gecode/search/parallel/engine.hh |
315 |
include/gecode/search/parallel/path.hh |
394 |
include/gecode/search/parallel/path.hh |
316 |
include/gecode/search/parallel/restart.hh |
395 |
include/gecode/search/rbs.hpp |
317 |
include/gecode/search/restart.hpp |
|
|
318 |
include/gecode/search/sequential/bab.hh |
396 |
include/gecode/search/sequential/bab.hh |
319 |
include/gecode/search/sequential/dfs.hh |
397 |
include/gecode/search/sequential/dfs.hh |
320 |
include/gecode/search/sequential/path.hh |
398 |
include/gecode/search/sequential/path.hh |
321 |
include/gecode/search/sequential/restart.hh |
|
|
322 |
include/gecode/search/statistics.hpp |
399 |
include/gecode/search/statistics.hpp |
323 |
include/gecode/search/stop.hpp |
400 |
include/gecode/search/stop.hpp |
324 |
include/gecode/search/support.hh |
401 |
include/gecode/search/support.hh |
Lines 327-335
Link Here
|
327 |
include/gecode/set/array-traits.hpp |
404 |
include/gecode/set/array-traits.hpp |
328 |
include/gecode/set/array.hpp |
405 |
include/gecode/set/array.hpp |
329 |
include/gecode/set/branch.hh |
406 |
include/gecode/set/branch.hh |
330 |
include/gecode/set/branch/post-val.hpp |
407 |
include/gecode/set/branch/activity.hpp |
331 |
include/gecode/set/branch/select-val.hpp |
408 |
include/gecode/set/branch/afc.hpp |
332 |
include/gecode/set/branch/select-view.hpp |
409 |
include/gecode/set/branch/assign.hpp |
|
|
410 |
include/gecode/set/branch/merit.hpp |
411 |
include/gecode/set/branch/ngl.hpp |
412 |
include/gecode/set/branch/traits.hpp |
413 |
include/gecode/set/branch/val-commit.hpp |
414 |
include/gecode/set/branch/val-sel.hpp |
415 |
include/gecode/set/branch/val.hpp |
416 |
include/gecode/set/branch/var.hpp |
417 |
include/gecode/set/channel.hh |
418 |
include/gecode/set/channel/bool.hpp |
419 |
include/gecode/set/channel/int.hpp |
420 |
include/gecode/set/channel/set.hpp |
421 |
include/gecode/set/channel/sorted.hpp |
333 |
include/gecode/set/convex.hh |
422 |
include/gecode/set/convex.hh |
334 |
include/gecode/set/convex/conv.hpp |
423 |
include/gecode/set/convex/conv.hpp |
335 |
include/gecode/set/convex/hull.hpp |
424 |
include/gecode/set/convex/hull.hpp |
Lines 343-356
Link Here
|
343 |
include/gecode/set/exception.hpp |
432 |
include/gecode/set/exception.hpp |
344 |
include/gecode/set/int.hh |
433 |
include/gecode/set/int.hh |
345 |
include/gecode/set/int/card.hpp |
434 |
include/gecode/set/int/card.hpp |
346 |
include/gecode/set/int/channel-bool.hpp |
|
|
347 |
include/gecode/set/int/channel-int.hpp |
348 |
include/gecode/set/int/match.hpp |
349 |
include/gecode/set/int/minmax.hpp |
435 |
include/gecode/set/int/minmax.hpp |
350 |
include/gecode/set/int/weights.hpp |
436 |
include/gecode/set/int/weights.hpp |
|
|
437 |
include/gecode/set/ldsb.hh |
438 |
include/gecode/set/ldsb/brancher.hpp |
351 |
include/gecode/set/limits.hpp |
439 |
include/gecode/set/limits.hpp |
352 |
include/gecode/set/precede.hh |
440 |
include/gecode/set/precede.hh |
353 |
include/gecode/set/precede/single.hpp |
441 |
include/gecode/set/precede/single.hpp |
|
|
442 |
include/gecode/set/rel-op.hh |
443 |
include/gecode/set/rel-op/common.hpp |
444 |
include/gecode/set/rel-op/inter.hpp |
445 |
include/gecode/set/rel-op/partition.hpp |
446 |
include/gecode/set/rel-op/post.hpp |
447 |
include/gecode/set/rel-op/subofunion.hpp |
448 |
include/gecode/set/rel-op/superofinter.hpp |
449 |
include/gecode/set/rel-op/union.hpp |
354 |
include/gecode/set/rel.hh |
450 |
include/gecode/set/rel.hh |
355 |
include/gecode/set/rel/common.hpp |
451 |
include/gecode/set/rel/common.hpp |
356 |
include/gecode/set/rel/eq.hpp |
452 |
include/gecode/set/rel/eq.hpp |
Lines 361-385
Link Here
|
361 |
include/gecode/set/rel/re-lq.hpp |
457 |
include/gecode/set/rel/re-lq.hpp |
362 |
include/gecode/set/rel/re-subset.hpp |
458 |
include/gecode/set/rel/re-subset.hpp |
363 |
include/gecode/set/rel/subset.hpp |
459 |
include/gecode/set/rel/subset.hpp |
364 |
include/gecode/set/rel-op.hh |
|
|
365 |
include/gecode/set/rel-op/common.hpp |
366 |
include/gecode/set/rel-op/inter.hpp |
367 |
include/gecode/set/rel-op/partition.hpp |
368 |
include/gecode/set/rel-op/post.hpp |
369 |
include/gecode/set/rel-op/subofunion.hpp |
370 |
include/gecode/set/rel-op/superofinter.hpp |
371 |
include/gecode/set/rel-op/union.hpp |
372 |
include/gecode/set/sequence.hh |
460 |
include/gecode/set/sequence.hh |
373 |
include/gecode/set/sequence/common.hpp |
461 |
include/gecode/set/sequence/common.hpp |
374 |
include/gecode/set/sequence/seq-u.hpp |
462 |
include/gecode/set/sequence/seq-u.hpp |
375 |
include/gecode/set/sequence/seq.hpp |
463 |
include/gecode/set/sequence/seq.hpp |
376 |
include/gecode/set/var/print.hpp |
|
|
377 |
include/gecode/set/var/set.hpp |
378 |
include/gecode/set/var-imp.hpp |
464 |
include/gecode/set/var-imp.hpp |
379 |
include/gecode/set/var-imp/delta.hpp |
465 |
include/gecode/set/var-imp/delta.hpp |
380 |
include/gecode/set/var-imp/integerset.hpp |
466 |
include/gecode/set/var-imp/integerset.hpp |
381 |
include/gecode/set/var-imp/iter.hpp |
467 |
include/gecode/set/var-imp/iter.hpp |
382 |
include/gecode/set/var-imp/set.hpp |
468 |
include/gecode/set/var-imp/set.hpp |
|
|
469 |
include/gecode/set/var/print.hpp |
470 |
include/gecode/set/var/set.hpp |
383 |
include/gecode/set/view.hpp |
471 |
include/gecode/set/view.hpp |
384 |
include/gecode/set/view/cached.hpp |
472 |
include/gecode/set/view/cached.hpp |
385 |
include/gecode/set/view/complement.hpp |
473 |
include/gecode/set/view/complement.hpp |
Lines 390-395
Link Here
|
390 |
include/gecode/support.hh |
478 |
include/gecode/support.hh |
391 |
include/gecode/support/auto-link.hpp |
479 |
include/gecode/support/auto-link.hpp |
392 |
include/gecode/support/bitset-base.hpp |
480 |
include/gecode/support/bitset-base.hpp |
|
|
481 |
include/gecode/support/bitset-offset.hpp |
393 |
include/gecode/support/bitset.hpp |
482 |
include/gecode/support/bitset.hpp |
394 |
include/gecode/support/block-allocator.hpp |
483 |
include/gecode/support/block-allocator.hpp |
395 |
include/gecode/support/cast.hpp |
484 |
include/gecode/support/cast.hpp |
Lines 399-404
Link Here
|
399 |
include/gecode/support/dynamic-stack.hpp |
488 |
include/gecode/support/dynamic-stack.hpp |
400 |
include/gecode/support/exception.hpp |
489 |
include/gecode/support/exception.hpp |
401 |
include/gecode/support/heap.hpp |
490 |
include/gecode/support/heap.hpp |
|
|
491 |
include/gecode/support/hw-rnd.hpp |
402 |
include/gecode/support/int-type.hpp |
492 |
include/gecode/support/int-type.hpp |
403 |
include/gecode/support/macros.hpp |
493 |
include/gecode/support/macros.hpp |
404 |
include/gecode/support/marked-pointer.hpp |
494 |
include/gecode/support/marked-pointer.hpp |
Lines 412-443
Link Here
|
412 |
include/gecode/support/thread/windows.hpp |
502 |
include/gecode/support/thread/windows.hpp |
413 |
include/gecode/support/timer.hpp |
503 |
include/gecode/support/timer.hpp |
414 |
lib/libgecodedriver.so |
504 |
lib/libgecodedriver.so |
415 |
lib/libgecodedriver.so.32 |
505 |
lib/libgecodedriver.so.36 |
416 |
lib/libgecodedriver.so.32.0 |
506 |
lib/libgecodedriver.so.36.0 |
417 |
lib/libgecodeflatzinc.so |
507 |
lib/libgecodeflatzinc.so |
418 |
lib/libgecodeflatzinc.so.32 |
508 |
lib/libgecodeflatzinc.so.36 |
419 |
lib/libgecodeflatzinc.so.32.0 |
509 |
lib/libgecodeflatzinc.so.36.0 |
|
|
510 |
lib/libgecodefloat.so |
511 |
lib/libgecodefloat.so.36 |
512 |
lib/libgecodefloat.so.36.0 |
420 |
%%GIST%%lib/libgecodegist.so |
513 |
%%GIST%%lib/libgecodegist.so |
421 |
%%GIST%%lib/libgecodegist.so.32 |
514 |
%%GIST%%lib/libgecodegist.so.36 |
422 |
%%GIST%%lib/libgecodegist.so.32.0 |
515 |
%%GIST%%lib/libgecodegist.so.36.0 |
423 |
lib/libgecodeint.so |
516 |
lib/libgecodeint.so |
424 |
lib/libgecodeint.so.32 |
517 |
lib/libgecodeint.so.36 |
425 |
lib/libgecodeint.so.32.0 |
518 |
lib/libgecodeint.so.36.0 |
426 |
lib/libgecodekernel.so |
519 |
lib/libgecodekernel.so |
427 |
lib/libgecodekernel.so.32 |
520 |
lib/libgecodekernel.so.36 |
428 |
lib/libgecodekernel.so.32.0 |
521 |
lib/libgecodekernel.so.36.0 |
429 |
lib/libgecodeminimodel.so |
522 |
lib/libgecodeminimodel.so |
430 |
lib/libgecodeminimodel.so.32 |
523 |
lib/libgecodeminimodel.so.36 |
431 |
lib/libgecodeminimodel.so.32.0 |
524 |
lib/libgecodeminimodel.so.36.0 |
432 |
lib/libgecodesearch.so |
525 |
lib/libgecodesearch.so |
433 |
lib/libgecodesearch.so.32 |
526 |
lib/libgecodesearch.so.36 |
434 |
lib/libgecodesearch.so.32.0 |
527 |
lib/libgecodesearch.so.36.0 |
435 |
lib/libgecodeset.so |
528 |
lib/libgecodeset.so |
436 |
lib/libgecodeset.so.32 |
529 |
lib/libgecodeset.so.36 |
437 |
lib/libgecodeset.so.32.0 |
530 |
lib/libgecodeset.so.36.0 |
438 |
lib/libgecodesupport.so |
531 |
lib/libgecodesupport.so |
439 |
lib/libgecodesupport.so.32 |
532 |
lib/libgecodesupport.so.36 |
440 |
lib/libgecodesupport.so.32.0 |
533 |
lib/libgecodesupport.so.36.0 |
441 |
%%DATADIR%%/mznlib/all_different_int.mzn |
534 |
%%DATADIR%%/mznlib/all_different_int.mzn |
442 |
%%DATADIR%%/mznlib/all_equal_int.mzn |
535 |
%%DATADIR%%/mznlib/all_equal_int.mzn |
443 |
%%DATADIR%%/mznlib/among.mzn |
536 |
%%DATADIR%%/mznlib/among.mzn |
Lines 467-473
Link Here
|
467 |
%%DATADIR%%/mznlib/increasing_int.mzn |
560 |
%%DATADIR%%/mznlib/increasing_int.mzn |
468 |
%%DATADIR%%/mznlib/int_set_channel.mzn |
561 |
%%DATADIR%%/mznlib/int_set_channel.mzn |
469 |
%%DATADIR%%/mznlib/inverse.mzn |
562 |
%%DATADIR%%/mznlib/inverse.mzn |
|
|
563 |
%%DATADIR%%/mznlib/inverse_set.mzn |
564 |
%%DATADIR%%/mznlib/lex_less_bool.mzn |
470 |
%%DATADIR%%/mznlib/lex_less_int.mzn |
565 |
%%DATADIR%%/mznlib/lex_less_int.mzn |
|
|
566 |
%%DATADIR%%/mznlib/lex_lesseq_bool.mzn |
471 |
%%DATADIR%%/mznlib/lex_lesseq_int.mzn |
567 |
%%DATADIR%%/mznlib/lex_lesseq_int.mzn |
472 |
%%DATADIR%%/mznlib/link_set_to_booleans.mzn |
568 |
%%DATADIR%%/mznlib/link_set_to_booleans.mzn |
473 |
%%DATADIR%%/mznlib/maximum_int.mzn |
569 |
%%DATADIR%%/mznlib/maximum_int.mzn |
Lines 476-482
Link Here
|
476 |
%%DATADIR%%/mznlib/minimum_int.mzn |
572 |
%%DATADIR%%/mznlib/minimum_int.mzn |
477 |
%%DATADIR%%/mznlib/nvalue.mzn |
573 |
%%DATADIR%%/mznlib/nvalue.mzn |
478 |
%%DATADIR%%/mznlib/partition_set.mzn |
574 |
%%DATADIR%%/mznlib/partition_set.mzn |
479 |
%%DATADIR%%/mznlib/precedence.mzn |
|
|
480 |
%%DATADIR%%/mznlib/range.mzn |
575 |
%%DATADIR%%/mznlib/range.mzn |
481 |
%%DATADIR%%/mznlib/redefinitions.mzn |
576 |
%%DATADIR%%/mznlib/redefinitions.mzn |
482 |
%%DATADIR%%/mznlib/regular.mzn |
577 |
%%DATADIR%%/mznlib/regular.mzn |
Lines 485-490
Link Here
|
485 |
%%DATADIR%%/mznlib/sum_pred.mzn |
580 |
%%DATADIR%%/mznlib/sum_pred.mzn |
486 |
%%DATADIR%%/mznlib/table_bool.mzn |
581 |
%%DATADIR%%/mznlib/table_bool.mzn |
487 |
%%DATADIR%%/mznlib/table_int.mzn |
582 |
%%DATADIR%%/mznlib/table_int.mzn |
|
|
583 |
%%DATADIR%%/mznlib/value_precede_int.mzn |
584 |
%%DATADIR%%/mznlib/value_precede_set.mzn |
488 |
@dirrm %%DATADIR%%/mznlib |
585 |
@dirrm %%DATADIR%%/mznlib |
489 |
@dirrm %%DATADIR%% |
586 |
@dirrm %%DATADIR%% |
490 |
@dirrm include/gecode/support/thread |
587 |
@dirrm include/gecode/support/thread |
Lines 496-509
Link Here
|
496 |
@dirrm include/gecode/set/rel-op |
593 |
@dirrm include/gecode/set/rel-op |
497 |
@dirrm include/gecode/set/rel |
594 |
@dirrm include/gecode/set/rel |
498 |
@dirrm include/gecode/set/precede |
595 |
@dirrm include/gecode/set/precede |
|
|
596 |
@dirrm include/gecode/set/ldsb |
499 |
@dirrm include/gecode/set/int |
597 |
@dirrm include/gecode/set/int |
500 |
@dirrm include/gecode/set/element |
598 |
@dirrm include/gecode/set/element |
501 |
@dirrm include/gecode/set/distinct |
599 |
@dirrm include/gecode/set/distinct |
502 |
@dirrm include/gecode/set/convex |
600 |
@dirrm include/gecode/set/convex |
|
|
601 |
@dirrm include/gecode/set/channel |
503 |
@dirrm include/gecode/set/branch |
602 |
@dirrm include/gecode/set/branch |
504 |
@dirrm include/gecode/set |
603 |
@dirrm include/gecode/set |
505 |
@dirrm include/gecode/search/sequential |
604 |
@dirrm include/gecode/search/sequential |
506 |
@dirrm include/gecode/search/parallel |
605 |
@dirrm include/gecode/search/parallel |
|
|
606 |
@dirrm include/gecode/search/meta |
507 |
@dirrm include/gecode/search |
607 |
@dirrm include/gecode/search |
508 |
@dirrm include/gecode/minimodel |
608 |
@dirrm include/gecode/minimodel |
509 |
@dirrm include/gecode/kernel |
609 |
@dirrm include/gecode/kernel |
Lines 522-527
Link Here
|
522 |
@dirrm include/gecode/int/no-overlap |
622 |
@dirrm include/gecode/int/no-overlap |
523 |
@dirrm include/gecode/int/member |
623 |
@dirrm include/gecode/int/member |
524 |
@dirrm include/gecode/int/linear |
624 |
@dirrm include/gecode/int/linear |
|
|
625 |
@dirrm include/gecode/int/ldsb |
525 |
@dirrm include/gecode/int/gcc |
626 |
@dirrm include/gecode/int/gcc |
526 |
@dirrm include/gecode/int/extensional |
627 |
@dirrm include/gecode/int/extensional |
527 |
@dirrm include/gecode/int/exec |
628 |
@dirrm include/gecode/int/exec |
Lines 539-545
Link Here
|
539 |
@dirrm include/gecode/int/arithmetic |
640 |
@dirrm include/gecode/int/arithmetic |
540 |
@dirrm include/gecode/int |
641 |
@dirrm include/gecode/int |
541 |
@dirrm include/gecode/gist |
642 |
@dirrm include/gecode/gist |
|
|
643 |
@dirrm include/gecode/float/view |
644 |
@dirrm include/gecode/float/var-imp |
645 |
@dirrm include/gecode/float/var |
646 |
@dirrm include/gecode/float/trigonometric |
647 |
@dirrm include/gecode/float/transcendental |
648 |
@dirrm include/gecode/float/rel |
649 |
@dirrm include/gecode/float/linear |
650 |
@dirrm include/gecode/float/branch |
651 |
@dirrm include/gecode/float/arithmetic |
652 |
@dirrm include/gecode/float |
542 |
@dirrm include/gecode/flatzinc |
653 |
@dirrm include/gecode/flatzinc |
543 |
@dirrm include/gecode/driver |
654 |
@dirrm include/gecode/driver |
544 |
@dirrm include/gecode |
655 |
@dirrm include/gecode |
545 |
@dirrm include/examples |
|
|