Lines 43-48
Link Here
|
43 |
include/gecode/float/rel/lq-le.hpp |
43 |
include/gecode/float/rel/lq-le.hpp |
44 |
include/gecode/float/rel/nq.hpp |
44 |
include/gecode/float/rel/nq.hpp |
45 |
include/gecode/float/rounding.hpp |
45 |
include/gecode/float/rounding.hpp |
|
|
46 |
include/gecode/float/trace.hpp |
47 |
include/gecode/float/trace/delta.hpp |
48 |
include/gecode/float/trace/trace-view.hpp |
49 |
include/gecode/float/trace/traits.hpp |
46 |
include/gecode/float/transcendental.hh |
50 |
include/gecode/float/transcendental.hh |
47 |
include/gecode/float/transcendental/exp-log.hpp |
51 |
include/gecode/float/transcendental/exp-log.hpp |
48 |
include/gecode/float/trigonometric.hh |
52 |
include/gecode/float/trigonometric.hh |
Lines 144-157
Link Here
|
144 |
include/gecode/int/count/view-gq.hpp |
148 |
include/gecode/int/count/view-gq.hpp |
145 |
include/gecode/int/count/view-lq.hpp |
149 |
include/gecode/int/count/view-lq.hpp |
146 |
include/gecode/int/cumulative.hh |
150 |
include/gecode/int/cumulative.hh |
147 |
include/gecode/int/cumulative/basic.hpp |
|
|
148 |
include/gecode/int/cumulative/edge-finding.hpp |
151 |
include/gecode/int/cumulative/edge-finding.hpp |
149 |
include/gecode/int/cumulative/limits.hpp |
152 |
include/gecode/int/cumulative/limits.hpp |
150 |
include/gecode/int/cumulative/man-prop.hpp |
153 |
include/gecode/int/cumulative/man-prop.hpp |
151 |
include/gecode/int/cumulative/opt-prop.hpp |
154 |
include/gecode/int/cumulative/opt-prop.hpp |
152 |
include/gecode/int/cumulative/overload.hpp |
155 |
include/gecode/int/cumulative/overload.hpp |
|
|
156 |
include/gecode/int/cumulative/post.hpp |
157 |
include/gecode/int/cumulative/subsumption.hpp |
153 |
include/gecode/int/cumulative/task-view.hpp |
158 |
include/gecode/int/cumulative/task-view.hpp |
154 |
include/gecode/int/cumulative/task.hpp |
159 |
include/gecode/int/cumulative/task.hpp |
|
|
160 |
include/gecode/int/cumulative/time-tabling.hpp |
155 |
include/gecode/int/cumulative/tree.hpp |
161 |
include/gecode/int/cumulative/tree.hpp |
156 |
include/gecode/int/cumulatives.hh |
162 |
include/gecode/int/cumulatives.hh |
157 |
include/gecode/int/cumulatives/val.hpp |
163 |
include/gecode/int/cumulatives/val.hpp |
Lines 159-164
Link Here
|
159 |
include/gecode/int/distinct/bnd.hpp |
165 |
include/gecode/int/distinct/bnd.hpp |
160 |
include/gecode/int/distinct/dom-ctrl.hpp |
166 |
include/gecode/int/distinct/dom-ctrl.hpp |
161 |
include/gecode/int/distinct/dom.hpp |
167 |
include/gecode/int/distinct/dom.hpp |
|
|
168 |
include/gecode/int/distinct/eqite.hpp |
162 |
include/gecode/int/distinct/graph.hpp |
169 |
include/gecode/int/distinct/graph.hpp |
163 |
include/gecode/int/distinct/ter-dom.hpp |
170 |
include/gecode/int/distinct/ter-dom.hpp |
164 |
include/gecode/int/distinct/val.hpp |
171 |
include/gecode/int/distinct/val.hpp |
Lines 193-198
Link Here
|
193 |
include/gecode/int/idx-view.hpp |
200 |
include/gecode/int/idx-view.hpp |
194 |
include/gecode/int/int-set-1.hpp |
201 |
include/gecode/int/int-set-1.hpp |
195 |
include/gecode/int/int-set-2.hpp |
202 |
include/gecode/int/int-set-2.hpp |
|
|
203 |
include/gecode/int/ipl.hpp |
196 |
include/gecode/int/ldsb.hh |
204 |
include/gecode/int/ldsb.hh |
197 |
include/gecode/int/ldsb/brancher.hpp |
205 |
include/gecode/int/ldsb/brancher.hpp |
198 |
include/gecode/int/ldsb/sym-imp.hpp |
206 |
include/gecode/int/ldsb/sym-imp.hpp |
Lines 252-257
Link Here
|
252 |
include/gecode/int/support-values.hpp |
260 |
include/gecode/int/support-values.hpp |
253 |
include/gecode/int/task.hh |
261 |
include/gecode/int/task.hh |
254 |
include/gecode/int/task/array.hpp |
262 |
include/gecode/int/task/array.hpp |
|
|
263 |
include/gecode/int/task/event.hpp |
255 |
include/gecode/int/task/fwd-to-bwd.hpp |
264 |
include/gecode/int/task/fwd-to-bwd.hpp |
256 |
include/gecode/int/task/iter.hpp |
265 |
include/gecode/int/task/iter.hpp |
257 |
include/gecode/int/task/man-to-opt.hpp |
266 |
include/gecode/int/task/man-to-opt.hpp |
Lines 259-264
Link Here
|
259 |
include/gecode/int/task/purge.hpp |
268 |
include/gecode/int/task/purge.hpp |
260 |
include/gecode/int/task/sort.hpp |
269 |
include/gecode/int/task/sort.hpp |
261 |
include/gecode/int/task/tree.hpp |
270 |
include/gecode/int/task/tree.hpp |
|
|
271 |
include/gecode/int/trace.hpp |
272 |
include/gecode/int/trace/bool-delta.hpp |
273 |
include/gecode/int/trace/bool-trace-view.hpp |
274 |
include/gecode/int/trace/int-delta.hpp |
275 |
include/gecode/int/trace/int-trace-view.hpp |
276 |
include/gecode/int/trace/traits.hpp |
262 |
include/gecode/int/unary.hh |
277 |
include/gecode/int/unary.hh |
263 |
include/gecode/int/unary/detectable.hpp |
278 |
include/gecode/int/unary/detectable.hpp |
264 |
include/gecode/int/unary/edge-finding.hpp |
279 |
include/gecode/int/unary/edge-finding.hpp |
Lines 266-274
Link Here
|
266 |
include/gecode/int/unary/not-first-not-last.hpp |
281 |
include/gecode/int/unary/not-first-not-last.hpp |
267 |
include/gecode/int/unary/opt-prop.hpp |
282 |
include/gecode/int/unary/opt-prop.hpp |
268 |
include/gecode/int/unary/overload.hpp |
283 |
include/gecode/int/unary/overload.hpp |
|
|
284 |
include/gecode/int/unary/post.hpp |
269 |
include/gecode/int/unary/subsumption.hpp |
285 |
include/gecode/int/unary/subsumption.hpp |
270 |
include/gecode/int/unary/task-view.hpp |
286 |
include/gecode/int/unary/task-view.hpp |
271 |
include/gecode/int/unary/task.hpp |
287 |
include/gecode/int/unary/task.hpp |
|
|
288 |
include/gecode/int/unary/time-tabling.hpp |
272 |
include/gecode/int/unary/tree.hpp |
289 |
include/gecode/int/unary/tree.hpp |
273 |
include/gecode/int/val-set.hh |
290 |
include/gecode/int/val-set.hh |
274 |
include/gecode/int/val-set.hpp |
291 |
include/gecode/int/val-set.hpp |
Lines 358-373
Link Here
|
358 |
include/gecode/kernel/brancher-view.hpp |
375 |
include/gecode/kernel/brancher-view.hpp |
359 |
include/gecode/kernel/core.hpp |
376 |
include/gecode/kernel/core.hpp |
360 |
include/gecode/kernel/exception.hpp |
377 |
include/gecode/kernel/exception.hpp |
361 |
include/gecode/kernel/global-afc.hpp |
378 |
include/gecode/kernel/gpi.hpp |
362 |
include/gecode/kernel/macros.hpp |
379 |
include/gecode/kernel/macros.hpp |
363 |
include/gecode/kernel/memory-config.hpp |
380 |
include/gecode/kernel/memory-config.hpp |
364 |
include/gecode/kernel/memory-manager.hpp |
381 |
include/gecode/kernel/memory-manager.hpp |
365 |
include/gecode/kernel/modevent.hpp |
382 |
include/gecode/kernel/modevent.hpp |
|
|
383 |
include/gecode/kernel/print.hpp |
366 |
include/gecode/kernel/propagator.hpp |
384 |
include/gecode/kernel/propagator.hpp |
367 |
include/gecode/kernel/range-list.hpp |
385 |
include/gecode/kernel/range-list.hpp |
368 |
include/gecode/kernel/region.hpp |
386 |
include/gecode/kernel/region.hpp |
369 |
include/gecode/kernel/rnd.hpp |
387 |
include/gecode/kernel/rnd.hpp |
370 |
include/gecode/kernel/shared-array.hpp |
388 |
include/gecode/kernel/shared-array.hpp |
|
|
389 |
include/gecode/kernel/subscribed-propagators.hpp |
390 |
include/gecode/kernel/trace-filter.hpp |
391 |
include/gecode/kernel/trace-recorder.hpp |
392 |
include/gecode/kernel/trace-traits.hpp |
393 |
include/gecode/kernel/tracer.hpp |
371 |
include/gecode/kernel/var-imp.hpp |
394 |
include/gecode/kernel/var-imp.hpp |
372 |
include/gecode/kernel/var-type.hpp |
395 |
include/gecode/kernel/var-type.hpp |
373 |
include/gecode/kernel/var.hpp |
396 |
include/gecode/kernel/var.hpp |
Lines 386-410
Link Here
|
386 |
include/gecode/minimodel/set-rel.hpp |
409 |
include/gecode/minimodel/set-rel.hpp |
387 |
include/gecode/search.hh |
410 |
include/gecode/search.hh |
388 |
include/gecode/search/bab.hpp |
411 |
include/gecode/search/bab.hpp |
|
|
412 |
include/gecode/search/base.hpp |
413 |
include/gecode/search/build.hpp |
389 |
include/gecode/search/cutoff.hpp |
414 |
include/gecode/search/cutoff.hpp |
390 |
include/gecode/search/dfs.hpp |
415 |
include/gecode/search/dfs.hpp |
391 |
include/gecode/search/engine-base.hpp |
|
|
392 |
include/gecode/search/engine.hpp |
416 |
include/gecode/search/engine.hpp |
393 |
include/gecode/search/exception.hpp |
417 |
include/gecode/search/exception.hpp |
|
|
418 |
include/gecode/search/lds.hpp |
419 |
include/gecode/search/meta/dead.hh |
394 |
include/gecode/search/meta/nogoods.hh |
420 |
include/gecode/search/meta/nogoods.hh |
|
|
421 |
include/gecode/search/meta/parallel/pbs.hh |
422 |
include/gecode/search/meta/parallel/pbs.hpp |
395 |
include/gecode/search/meta/rbs.hh |
423 |
include/gecode/search/meta/rbs.hh |
|
|
424 |
include/gecode/search/meta/rbs.hpp |
425 |
include/gecode/search/meta/sequential/pbs.hh |
426 |
include/gecode/search/meta/sequential/pbs.hpp |
396 |
include/gecode/search/options.hpp |
427 |
include/gecode/search/options.hpp |
397 |
include/gecode/search/parallel/bab.hh |
428 |
include/gecode/search/parallel/bab.hh |
398 |
include/gecode/search/parallel/dfs.hh |
429 |
include/gecode/search/parallel/dfs.hh |
399 |
include/gecode/search/parallel/engine.hh |
430 |
include/gecode/search/parallel/engine.hh |
400 |
include/gecode/search/parallel/path.hh |
431 |
include/gecode/search/parallel/path.hh |
|
|
432 |
include/gecode/search/pbs.hpp |
401 |
include/gecode/search/rbs.hpp |
433 |
include/gecode/search/rbs.hpp |
|
|
434 |
include/gecode/search/relax.hh |
435 |
include/gecode/search/sebs.hpp |
402 |
include/gecode/search/sequential/bab.hh |
436 |
include/gecode/search/sequential/bab.hh |
403 |
include/gecode/search/sequential/dfs.hh |
437 |
include/gecode/search/sequential/dfs.hh |
|
|
438 |
include/gecode/search/sequential/lds.hh |
404 |
include/gecode/search/sequential/path.hh |
439 |
include/gecode/search/sequential/path.hh |
405 |
include/gecode/search/statistics.hpp |
440 |
include/gecode/search/statistics.hpp |
406 |
include/gecode/search/stop.hpp |
441 |
include/gecode/search/stop.hpp |
407 |
include/gecode/search/support.hh |
442 |
include/gecode/search/support.hh |
|
|
443 |
include/gecode/search/traits.hpp |
408 |
include/gecode/search/worker.hh |
444 |
include/gecode/search/worker.hh |
409 |
include/gecode/set.hh |
445 |
include/gecode/set.hh |
410 |
include/gecode/set/array-traits.hpp |
446 |
include/gecode/set/array-traits.hpp |
Lines 467-472
Link Here
|
467 |
include/gecode/set/sequence/common.hpp |
503 |
include/gecode/set/sequence/common.hpp |
468 |
include/gecode/set/sequence/seq-u.hpp |
504 |
include/gecode/set/sequence/seq-u.hpp |
469 |
include/gecode/set/sequence/seq.hpp |
505 |
include/gecode/set/sequence/seq.hpp |
|
|
506 |
include/gecode/set/trace.hpp |
507 |
include/gecode/set/trace/delta.hpp |
508 |
include/gecode/set/trace/trace-view.hpp |
509 |
include/gecode/set/trace/traits.hpp |
470 |
include/gecode/set/var-imp.hpp |
510 |
include/gecode/set/var-imp.hpp |
471 |
include/gecode/set/var-imp/delta.hpp |
511 |
include/gecode/set/var-imp/delta.hpp |
472 |
include/gecode/set/var-imp/integerset.hpp |
512 |
include/gecode/set/var-imp/integerset.hpp |
Lines 482-487
Link Here
|
482 |
include/gecode/set/view/set.hpp |
522 |
include/gecode/set/view/set.hpp |
483 |
include/gecode/set/view/singleton.hpp |
523 |
include/gecode/set/view/singleton.hpp |
484 |
include/gecode/support.hh |
524 |
include/gecode/support.hh |
|
|
525 |
include/gecode/support/allocator.hpp |
485 |
include/gecode/support/auto-link.hpp |
526 |
include/gecode/support/auto-link.hpp |
486 |
include/gecode/support/bitset-base.hpp |
527 |
include/gecode/support/bitset-base.hpp |
487 |
include/gecode/support/bitset-offset.hpp |
528 |
include/gecode/support/bitset-offset.hpp |
Lines 635-640
Link Here
|
635 |
lib/libgecodesupport.so.%%SHLIB_VERSION%%.0 |
676 |
lib/libgecodesupport.so.%%SHLIB_VERSION%%.0 |
636 |
%%DATADIR%%/mznlib/all_different_int.mzn |
677 |
%%DATADIR%%/mznlib/all_different_int.mzn |
637 |
%%DATADIR%%/mznlib/all_equal_int.mzn |
678 |
%%DATADIR%%/mznlib/all_equal_int.mzn |
|
|
679 |
%%DATADIR%%/mznlib/alldifferent_except_0.mzn |
638 |
%%DATADIR%%/mznlib/among.mzn |
680 |
%%DATADIR%%/mznlib/among.mzn |
639 |
%%DATADIR%%/mznlib/arg_max_int.mzn |
681 |
%%DATADIR%%/mznlib/arg_max_int.mzn |
640 |
%%DATADIR%%/mznlib/arg_min_int.mzn |
682 |
%%DATADIR%%/mznlib/arg_min_int.mzn |