Skip to content

Commit 098fb3f

Browse files
committed
Merge branch 'master' of /Volumes/GecodeGitMigration/gecode-git
2 parents e86a910 + 1e8c55c commit 098fb3f

File tree

255 files changed

+34374
-25496
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

255 files changed

+34374
-25496
lines changed

Makefile.dep

Lines changed: 23156 additions & 20961 deletions
Large diffs are not rendered by default.

Makefile.in

Lines changed: 34 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -153,7 +153,7 @@ SUPPORTHDR0 = \
153153
marked-pointer int-type auto-link \
154154
thread thread/thread thread/windows thread/pthreads thread/none timer \
155155
dynamic-queue bitset-base bitset bitset-offset \
156-
hw-rnd
156+
hw-rnd run-jobs
157157

158158
SUPPORTSRC1 = $(SUPPORTSRC0:%=gecode/support/%.cpp)
159159
SUPPORTHDR = gecode/support.hh \
@@ -195,19 +195,20 @@ VARIMP = $(VARIMPHDR)
195195

196196
KERNELSRC0 = \
197197
archive core memory-manager branch region \
198-
afc activity rnd exception trace-filter tracer
198+
afc action chb rnd exception \
199+
trace-recorder trace-filter tracer trace
199200

200201
KERNELHDR0 = \
201-
archive array shared-array core exception \
202+
archive array shared-array shared-data core exception \
202203
macros memory-config memory-manager region modevent range-list \
203204
propagator advisor view var \
204205
branch-var branch-val branch-tiebreak \
205206
brancher-view-sel brancher-merit \
206207
brancher-val-sel brancher-val-commit brancher-view brancher-view-val \
207-
brancher-val-sel-commit \
208-
allocators print gpi \
209-
afc activity rnd branch-traits \
210-
trace-traits trace-filter tracer trace-recorder \
208+
brancher-val-sel-commit brancher-print brancher-filter \
209+
allocators gpi \
210+
afc action chb rnd branch-traits \
211+
trace-traits trace-filter tracer trace-recorder trace trace-print \
211212
subscribed-propagators
212213

213214
KERNELSRC = $(KERNELSRC0:%=gecode/kernel/%.cpp)
@@ -325,7 +326,7 @@ INTSRC0 = \
325326
bin-packing/conflict-graph.cpp \
326327
unary.cpp cumulative.cpp cumulatives.cpp \
327328
circuit.cpp no-overlap.cpp nvalues.cpp \
328-
member.cpp branch/activity.cpp \
329+
member.cpp branch/action.cpp branch/chb.cpp \
329330
arithmetic/mult.cpp \
330331
branch/view-sel.cpp branch/val-sel-commit.cpp \
331332
branch/view-values.cpp \
@@ -383,8 +384,8 @@ INTHDR0 = \
383384
distinct.hh dom.hh \
384385
element.hh exception.hpp gcc.hh linear.hh \
385386
reify.hpp propagator.hpp extensional.hh rel.hh \
386-
sorted.hh var-imp.hpp view.hpp ipl.hpp \
387-
channel.hh channel/dom.hpp channel/val.hpp \
387+
sorted.hh var-imp.hpp view.hpp ipl.hpp irt.hpp \
388+
channel.hh channel.hpp channel/dom.hpp channel/val.hpp \
388389
channel/base.hpp channel/link-single.hpp channel/link-multi.hpp \
389390
sequence.hh sequence/int.hpp sequence/view.hpp \
390391
sequence/set-op.hpp sequence/violations.hpp \
@@ -416,7 +417,7 @@ INTHDR0 = \
416417
nvalues/int-lq.hpp nvalues/int-gq.hpp \
417418
val-set.hh val-set.hpp \
418419
member.hh member/prop.hpp member/re-prop.hpp \
419-
branch/afc.hpp branch/activity.hpp \
420+
branch/afc.hpp branch/action.hpp branch/chb.hpp \
420421
ldsb.hh ldsb/brancher.hpp ldsb/sym-imp.hpp \
421422
trace.hpp \
422423
trace/bool-trace-view.hpp trace/int-trace-view.hpp \
@@ -464,8 +465,11 @@ INTBUILDDIRS = \
464465
#
465466

466467
FLOATSRC0 = \
467-
var/float.cpp arithmetic.cpp array.cpp branch.cpp rel.cpp linear.cpp \
468-
linear/post.cpp branch/activity.cpp rounding.cpp exec.cpp \
468+
var/float.cpp var-imp/float.cpp \
469+
arithmetic.cpp array.cpp branch.cpp rel.cpp linear.cpp \
470+
linear/post.cpp bool.cpp channel.cpp \
471+
transcendental.cpp trigonometric.cpp \
472+
branch/action.cpp branch/chb.cpp rounding.cpp exec.cpp \
469473
branch/val-sel-commit.cpp branch/view-sel.cpp dom.cpp \
470474
relax.cpp \
471475
trace.cpp trace/tracer.cpp \
@@ -477,13 +481,17 @@ FLOATHDR0 = \
477481
view/scale.hpp view/print.hpp view/rel-test.hpp \
478482
var-imp/float.hpp var-imp/delta.hpp \
479483
var/float.hpp var/print.hpp linear.hh linear/nary.hpp \
480-
arithmetic.hh arithmetic/sqr-sqrt-abs.hpp arithmetic/pow-nroot.hpp \
481-
arithmetic/mult.hpp arithmetic/div.hpp arithmetic/min-max-channel.hpp \
484+
arithmetic.hh arithmetic/sqr-sqrt.hpp arithmetic/pow-nroot.hpp \
485+
arithmetic/mult.hpp arithmetic/div.hpp arithmetic/min-max.hpp \
486+
arithmetic/abs.hpp \
487+
channel.hh channel.hpp channel/channel.hpp \
482488
transcendental.hh transcendental/exp-log.hpp trigonometric.hh \
483489
trigonometric/sincos.hpp trigonometric/asinacos.hpp \
484490
trigonometric/tanatan.hpp \
485491
rel.hh rel/eq.hpp rel/lq-le.hpp rel/nq.hpp \
486-
branch.hh branch/afc.hpp branch/activity.hpp branch/traits.hpp \
492+
bool.hh bool/ite.hpp \
493+
branch.hh branch/afc.hpp branch/action.hpp branch/chb.hpp \
494+
branch/traits.hpp \
487495
branch/var.hpp branch/val.hpp branch/assign.hpp \
488496
branch/val-commit.hpp branch/val-sel.hpp branch/merit.hpp \
489497
num.hpp val.hpp rounding.hpp nextafter.hpp \
@@ -523,7 +531,7 @@ FLOATBUILDDIRS = \
523531
float float/var float/var-imp float/view \
524532
float/linear float/branch float/rel float/branch \
525533
float/arithmetic float/transcendental float/trigonometric \
526-
float/trace
534+
float/trace float/channel
527535

528536
#
529537
# SET COMPONENTS
@@ -539,27 +547,27 @@ SETSRC0 = \
539547
rel-op/post-compl-cvc.cpp rel-op/post-nocompl-cvc.cpp \
540548
rel-op-const-vvc.cpp rel-op-const-vcv.cpp rel-op-const-vcc.cpp \
541549
rel-op-const-cvc.cpp rel-op-const-cvv.cpp \
542-
int.cpp channel.cpp \
550+
int.cpp channel.cpp bool.cpp \
543551
element.cpp sequence.cpp \
544552
distinct.cpp distinct/atmostOne.cpp \
545553
precede.cpp \
546554
sequence/seq.cpp sequence/seq-u.cpp array.cpp var-imp/set.cpp \
547555
var-imp/integerset.cpp var/set.cpp \
548-
exec.cpp branch/activity.cpp branch/view-sel.cpp \
556+
exec.cpp branch/action.cpp branch/chb.cpp branch/view-sel.cpp \
549557
branch/val-sel-commit.cpp branch/ngl.cpp \
550558
ldsb.cpp ldsb/sym-imp.cpp \
551559
relax.cpp \
552560
trace.cpp trace/tracer.cpp \
553561
exception.cpp
554562
SETHDR0 = \
555-
limits.hpp \
556-
view.hpp exception.hpp int.hh element.hh var-imp.hpp \
563+
limits.hpp \
564+
view.hpp exception.hpp int.hh int.hpp element.hh var-imp.hpp \
557565
int/card.hpp \
558566
int/minmax.hpp int/weights.hpp \
559567
channel/sorted.hpp channel/int.hpp channel/bool.hpp channel/set.hpp \
560-
element/inter.hpp element/union.hpp \
568+
element/inter.hpp element/union.hpp \
561569
element/unionConst.hpp \
562-
element/disjoint.hpp array.hpp array-traits.hpp \
570+
element/disjoint.hpp array.hpp array-traits.hpp \
563571
var-imp/set.hpp var-imp/integerset.hpp \
564572
var-imp/delta.hpp var-imp/iter.hpp \
565573
var/set.hpp var/print.hpp \
@@ -576,7 +584,8 @@ SETHDR0 = \
576584
sequence/common.hpp convex/conv.hpp convex/hull.hpp convex.hh \
577585
precede.hh precede/single.hpp \
578586
rel-op.hh \
579-
branch.hh branch/afc.hpp branch/activity.hpp branch/traits.hpp \
587+
branch.hh branch/afc.hpp branch/action.hpp branch/chb.hpp \
588+
branch/traits.hpp \
580589
branch/var.hpp branch/val.hpp branch/assign.hpp \
581590
branch/merit.hpp branch/val-commit.hpp branch/val-sel.hpp \
582591
branch/ngl.hpp \
@@ -865,6 +874,7 @@ INTEXAMPLESRC0 = \
865874
dominating-queens colored-matrix multi-bin-packing \
866875
qcp
867876

877+
868878
INTEXAMPLEHDR = $(INTEXAMPLEHDR0:%=examples/%.hpp)
869879
INTEXAMPLESRC = $(INTEXAMPLESRC0:%=examples/%.cpp)
870880
ifeq "@enable_int_vars@" "yes"

0 commit comments

Comments
 (0)