{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.Odfgz6Uo/b1/gecode_6.2.0-6_i386.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.Odfgz6Uo/b2/gecode_6.2.0-6_i386.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,9 +1,9 @@\n \n ca7f1bbaabea3f18f045cf1720400419 509388 libdevel optional libgecode-dev_6.2.0-6_i386.deb\n- 25192e3c9249c2b0f4ba93347f77b535 11570164 doc optional libgecode-doc_6.2.0-6_all.deb\n+ e2338eebb764607c6825c71662d4e812 11573184 doc optional libgecode-doc_6.2.0-6_all.deb\n 6372ed40af7dc0bde38cfd2eace2517f 59386924 debug optional libgecode49t64-dbgsym_6.2.0-6_i386.deb\n 40316ef4471358d750f8d923b1b36823 3173676 libs optional libgecode49t64_6.2.0-6_i386.deb\n 343c4d74983e36d0153e837ef17d2800 2610160 debug optional libgecodeflatzinc49t64-dbgsym_6.2.0-6_i386.deb\n 6e9c285fd60845b13974d9ba95767f03 281752 libs optional libgecodeflatzinc49t64_6.2.0-6_i386.deb\n 766c75b5c0fc196e878b5d142ee38483 4171892 debug optional libgecodegist49t64-dbgsym_6.2.0-6_i386.deb\n c6ab28b481cc7de6ca46c1c2c5f2040b 175840 libs optional libgecodegist49t64_6.2.0-6_i386.deb\n"}, {"source1": "libgecode-doc_6.2.0-6_all.deb", "source2": "libgecode-doc_6.2.0-6_all.deb", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -1,3 +1,3 @@\n -rw-r--r-- 0 0 0 4 2024-08-27 03:47:35.000000 debian-binary\n--rw-r--r-- 0 0 0 156180 2024-08-27 03:47:35.000000 control.tar.xz\n--rw-r--r-- 0 0 0 11413792 2024-08-27 03:47:35.000000 data.tar.xz\n+-rw-r--r-- 0 0 0 156168 2024-08-27 03:47:35.000000 control.tar.xz\n+-rw-r--r-- 0 0 0 11416824 2024-08-27 03:47:35.000000 data.tar.xz\n"}, {"source1": "control.tar.xz", "source2": "control.tar.xz", "unified_diff": null, "details": [{"source1": "control.tar", "source2": "control.tar", "unified_diff": null, "details": [{"source1": "./control", "source2": "./control", "unified_diff": "@@ -1,13 +1,13 @@\n Package: libgecode-doc\n Source: gecode\n Version: 6.2.0-6\n Architecture: all\n Maintainer: Kari Pahula \n-Installed-Size: 230384\n+Installed-Size: 230379\n Depends: libjs-jquery\n Suggests: libgecode-dev\n Section: doc\n Priority: optional\n Homepage: https://www.gecode.org/\n Description: generic constraint development environment\n Gecode is a toolkit for developing constraint-based systems and\n"}, {"source1": "./md5sums", "source2": "./md5sums", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "comments": ["Files differ"], "unified_diff": null}]}]}]}, {"source1": "data.tar.xz", "source2": "data.tar.xz", "unified_diff": null, "details": [{"source1": "data.tar", "source2": "data.tar", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -5011,15 +5011,15 @@\n -rw-r--r-- 0 root (0) root (0) 3513 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp.html\n -rw-r--r-- 0 root (0) root (0) 63039 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4940 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp.html\n -rw-r--r-- 0 root (0) root (0) 16838 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp_source.html\n -rw-r--r-- 0 root (0) root (0) 10944 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp.html\n -rw-r--r-- 0 root (0) root (0) 58122 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp_source.html\n -rw-r--r-- 0 root (0) root (0) 16366 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh.html\n--rw-r--r-- 0 root (0) root (0) 95492 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html\n+-rw-r--r-- 0 root (0) root (0) 95995 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html\n -rw-r--r-- 0 root (0) root (0) 4647 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 53730 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4515 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 50244 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 7021 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp.html\n -rw-r--r-- 0 root (0) root (0) 28622 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp_source.html\n -rw-r--r-- 0 root (0) root (0) 5869 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2convex_8cpp.html\n@@ -5431,25 +5431,25 @@\n -rw-r--r-- 0 root (0) root (0) 10346 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 42922 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 3612 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp.html\n -rw-r--r-- 0 root (0) root (0) 21629 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp_source.html\n -rw-r--r-- 0 root (0) root (0) 3480 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 18324 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4485 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp.html\n--rw-r--r-- 0 root (0) root (0) 75105 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp_source.html\n+-rw-r--r-- 0 root (0) root (0) 72844 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4479 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 60260 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4773 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 25516 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4500 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp.html\n--rw-r--r-- 0 root (0) root (0) 63557 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp_source.html\n+-rw-r--r-- 0 root (0) root (0) 61490 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 8697 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel-commit_8cpp.html\n -rw-r--r-- 0 root (0) root (0) 64299 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel-commit_8cpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4491 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp.html\n--rw-r--r-- 0 root (0) root (0) 61266 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp_source.html\n+-rw-r--r-- 0 root (0) root (0) 59856 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 15100 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 56003 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 54802 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 177273 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 6673 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2view-sel_8cpp.html\n -rw-r--r-- 0 root (0) root (0) 103740 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2view-sel_8cpp_source.html\n -rw-r--r-- 0 root (0) root (0) 8170 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_8hpp.html\n"}, {"source1": "./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html", "source2": "./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html", "unified_diff": "@@ -282,27 +282,27 @@\n
341
\n
\n
360 class ValCommitInc : public ValCommit<SetView,int> {
\n
361 public:
\n
363 ValCommitInc(Space& home, const ValBranch<Var>& vb);
\n
365 ValCommitInc(Space& home, ValCommitInc& vc);
\n
367 ModEvent commit(Space& home, unsigned int a, SetView x, int i, int n);
\n-
369 NGL* ngl(Space& home, unsigned int a, View x, int n) const;
\n+
369 NGL* ngl(Space& home, unsigned int a, View x, int n) const;
\n
371 void print(const Space& home, unsigned int a, SetView x, int i, int n,
\n
372 std::ostream& o) const;
\n
373 };
\n
\n
374
\n
\n
381 class ValCommitExc : public ValCommit<SetView,int> {
\n
382 public:
\n
384 ValCommitExc(Space& home, const ValBranch<Var>& vb);
\n
386 ValCommitExc(Space& home, ValCommitExc& vc);
\n
388 ModEvent commit(Space& home, unsigned int a, SetView x, int i, int n);
\n-
390 NGL* ngl(Space& home, unsigned int a, View x, int n) const;
\n+
390 NGL* ngl(Space& home, unsigned int a, View x, int n) const;
\n
392 void print(const Space& home, unsigned int a, SetView x, int i, int n,
\n
393 std::ostream& o) const;
\n
394 };
\n
\n
395
\n
396}}}
\n
397
\n@@ -383,14 +383,15 @@\n
Gecode::Set::Branch::ValSelRnd::r
Rnd r
The used random number generator.
Definition branch.hh:280
\n
Gecode::Set::Branch::ValSelRnd::val
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
Definition val-sel.hpp:100
\n
Gecode::Set::Branch::ValSelRnd::dispose
void dispose(Space &home)
Delete value selection.
Definition val-sel.hpp:116
\n
Gecode::Set::SetView
Set view for set variables
Definition view.hpp:56
\n
Gecode::Space
Computation spaces.
Definition core.hpp:1742
\n
Gecode::ValBranch
Value branching information.
Definition val.hpp:41
\n
Gecode::ValCommit
Base class for value commit.
Definition val-commit.hpp:44
\n+
Gecode::ValCommit< SetView, int >::View
SetView View
View type.
Definition val-commit.hpp:47
\n
Gecode::ValSel
Base class for value selection.
Definition val-sel.hpp:44
\n
Gecode::VarBranch
Variable branching information.
Definition var.hpp:55
\n
Gecode::ViewValNGL
View-value no-good literal.
Definition view-val.hpp:61
\n
Gecode::ViewValNGL< SetView, int, PC_SET_ANY >::x
SetView x
The stored view.
Definition view-val.hpp:64
\n
Gecode::ViewValNGL< SetView, int, PC_SET_ANY >::n
int n
The stored value.
Definition view-val.hpp:66
\n
set.hh
\n
GECODE_SET_EXPORT
#define GECODE_SET_EXPORT
Definition set.hh:67
\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -458,14 +458,18 @@\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bc_\bo_\br_\be_\b._\bh_\bp_\bp_\b:_\b1_\b7_\b4_\b2\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\bl_\bB_\br_\ba_\bn_\bc_\bh\n Value branching information.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\bl_\b._\bh_\bp_\bp_\b:_\b4_\b1\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt\n Base class for value commit.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\bl_\b-_\bc_\bo_\bm_\bm_\bi_\bt_\b._\bh_\bp_\bp_\b:_\b4_\b4\n+_\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\b<_\b _\bS_\be_\bt_\bV_\bi_\be_\bw_\b,_\b _\bi_\bn_\bt_\b _\b>_\b:_\b:_\bV_\bi_\be_\bw\n+SetView View\n+View type.\n+D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\bl_\b-_\bc_\bo_\bm_\bm_\bi_\bt_\b._\bh_\bp_\bp_\b:_\b4_\b7\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl\n Base class for value selection.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\bl_\b-_\bs_\be_\bl_\b._\bh_\bp_\bp_\b:_\b4_\b4\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh\n Variable branching information.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\br_\b._\bh_\bp_\bp_\b:_\b5_\b5\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\bi_\be_\bw_\bV_\ba_\bl_\bN_\bG_\bL\n"}]}, {"source1": "./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp_source.html", "source2": "./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp_source.html", "unified_diff": "@@ -107,100 +107,100 @@\n
39 MeritMin<View>::MeritMin
\n
40 (Space& home, const VarBranch<MeritMin<View>::Var>& vb)
\n
41 : MeritBase<View,int>(home,vb) {}
\n
42 template<class View>
\n
43 forceinline
\n
\n
44 MeritMin<View>::MeritMin(Space& home, MeritMin& m)
\n-
45 : MeritBase<View,int>(home,m) {}
\n+
45 : MeritBase<View,int>(home,m) {}
\n
\n
46 template<class View>
\n
47 forceinline int
\n
\n-
48 MeritMin<View>::operator ()(const Space&, View x, int) {
\n+
48 MeritMin<View>::operator ()(const Space&, View x, int) {
\n
49 return x.min();
\n
50 }
\n
\n
51
\n
52 // Maximum merit
\n
53 template<class View>
\n
54 forceinline
\n
55 MeritMax<View>::MeritMax
\n
56 (Space& home, const VarBranch<MeritMax<View>::Var>& vb)
\n
57 : MeritBase<View,int>(home,vb) {}
\n
58 template<class View>
\n
59 forceinline
\n
\n
60 MeritMax<View>::MeritMax(Space& home, MeritMax& m)
\n-
61 : MeritBase<View,int>(home,m) {}
\n+
61 : MeritBase<View,int>(home,m) {}
\n
\n
62 template<class View>
\n
63 forceinline int
\n
\n-
64 MeritMax<View>::operator ()(const Space&, View x, int) {
\n+
64 MeritMax<View>::operator ()(const Space&, View x, int) {
\n
65 return x.max();
\n
66 }
\n
\n
67
\n
68 // Size merit
\n
69 template<class View>
\n
70 forceinline
\n
71 MeritSize<View>::MeritSize
\n
72 (Space& home, const VarBranch<MeritSize<View>::Var>& vb)
\n
73 : MeritBase<View,unsigned int>(home,vb) {}
\n
74 template<class View>
\n
75 forceinline
\n
\n
76 MeritSize<View>::MeritSize(Space& home, MeritSize& m)
\n-
77 : MeritBase<View,unsigned int>(home,m) {}
\n+
77 : MeritBase<View,unsigned int>(home,m) {}
\n
\n
78 template<class View>
\n
79 forceinline unsigned int
\n
\n-
80 MeritSize<View>::operator ()(const Space&, View x, int) {
\n+
80 MeritSize<View>::operator ()(const Space&, View x, int) {
\n
81 return x.size();
\n
82 }
\n
\n
83
\n
84 // Degree over size merit
\n
85 template<class View>
\n
86 forceinline
\n
87 MeritDegreeSize<View>::MeritDegreeSize
\n
88 (Space& home, const VarBranch<MeritDegreeSize<View>::Var>& vb)
\n
89 : MeritBase<View,double>(home,vb) {}
\n
90 template<class View>
\n
91 forceinline
\n
\n
92 MeritDegreeSize<View>::MeritDegreeSize(Space& home, MeritDegreeSize& m)
\n-
93 : MeritBase<View,double>(home,m) {}
\n+
93 : MeritBase<View,double>(home,m) {}
\n
\n
94 template<class View>
\n
95 forceinline double
\n
\n-
96 MeritDegreeSize<View>::operator ()(const Space&, View x, int) {
\n+
96 MeritDegreeSize<View>::operator ()(const Space&, View x, int) {
\n
97 return static_cast<double>(x.degree()) / static_cast<double>(x.size());
\n
98 }
\n
\n
99
\n
100 // AFC over size merit
\n
101 template<class View>
\n
102 forceinline
\n
103 MeritAFCSize<View>::MeritAFCSize
\n
104 (Space& home, const VarBranch<MeritAFCSize<View>::Var>& vb)
\n
105 : MeritBase<View,double>(home,vb), afc(vb.afc()) {}
\n
106 template<class View>
\n
107 forceinline
\n
\n
108 MeritAFCSize<View>::MeritAFCSize(Space& home, MeritAFCSize& m)
\n-
109 : MeritBase<View,double>(home,m), afc(m.afc) {}
\n+
109 : MeritBase<View,double>(home,m), afc(m.afc) {}
\n
\n
110 template<class View>
\n
111 forceinline double
\n
\n-
112 MeritAFCSize<View>::operator ()(const Space&, View x, int) {
\n+
112 MeritAFCSize<View>::operator ()(const Space&, View x, int) {
\n
113 return x.afc() / static_cast<double>(x.size());
\n
114 }
\n
\n
115 template<class View>
\n
116 forceinline bool
\n
\n
117 MeritAFCSize<View>::notice(void) const {
\n@@ -222,20 +222,20 @@\n
130 MeritActionSize<View>::MeritActionSize
\n
131 (Space& home, const VarBranch<MeritActionSize<View>::Var>& vb)
\n
132 : MeritBase<View,double>(home,vb), action(vb.action()) {}
\n
133 template<class View>
\n
134 forceinline
\n
\n
135 MeritActionSize<View>::MeritActionSize(Space& home, MeritActionSize& m)
\n-
136 : MeritBase<View,double>(home,m), action(m.action) {}
\n+
136 : MeritBase<View,double>(home,m), action(m.action) {}
\n
\n
137 template<class View>
\n
138 forceinline double
\n
\n-
139 MeritActionSize<View>::operator ()(const Space&, View x, int i) {
\n+
139 MeritActionSize<View>::operator ()(const Space&, View x, int i) {
\n
140 return action[i] / static_cast<double>(x.size());
\n
141 }
\n
\n
142 template<class View>
\n
143 forceinline bool
\n
\n
144 MeritActionSize<View>::notice(void) const {
\n@@ -256,20 +256,20 @@\n
156 MeritCHBSize<View>::MeritCHBSize
\n
157 (Space& home, const VarBranch<MeritCHBSize<View>::Var>& vb)
\n
158 : MeritBase<View,double>(home,vb), chb(vb.chb()) {}
\n
159 template<class View>
\n
160 forceinline
\n
\n
161 MeritCHBSize<View>::MeritCHBSize(Space& home, MeritCHBSize& m)
\n-
162 : MeritBase<View,double>(home,m), chb(m.chb) {}
\n+
162 : MeritBase<View,double>(home,m), chb(m.chb) {}
\n
\n
163 template<class View>
\n
164 forceinline double
\n
\n-
165 MeritCHBSize<View>::operator ()(const Space&, View x, int i) {
\n+
165 MeritCHBSize<View>::operator ()(const Space&, View x, int i) {
\n
166 return chb[i] / static_cast<double>(x.size());
\n
167 }
\n
\n
168 template<class View>
\n
169 forceinline bool
\n
\n
170 MeritCHBSize<View>::notice(void) const {
\n@@ -290,40 +290,40 @@\n
182 MeritRegretMin<View>::MeritRegretMin
\n
183 (Space& home, const VarBranch<MeritRegretMin<View>::Var>& vb)
\n
184 : MeritBase<View,unsigned int>(home,vb) {}
\n
185 template<class View>
\n
186 forceinline
\n
\n
187 MeritRegretMin<View>::MeritRegretMin(Space& home, MeritRegretMin& m)
\n-
188 : MeritBase<View,unsigned int>(home,m) {}
\n+
188 : MeritBase<View,unsigned int>(home,m) {}
\n
\n
189 template<class View>
\n
190 forceinline unsigned int
\n
\n-
191 MeritRegretMin<View>::operator ()(const Space&, View x, int) {
\n+
191 MeritRegretMin<View>::operator ()(const Space&, View x, int) {
\n
192 return x.regret_min();
\n
193 }
\n
\n
194
\n
195 // Maximum regret merit
\n
196 template<class View>
\n
197 forceinline
\n
198 MeritRegretMax<View>::MeritRegretMax
\n
199 (Space& home, const VarBranch<MeritRegretMax<View>::Var>& vb)
\n
200 : MeritBase<View,unsigned int>(home,vb) {}
\n
201 template<class View>
\n
202 forceinline
\n
\n
203 MeritRegretMax<View>::MeritRegretMax(Space& home, MeritRegretMax& m)
\n-
204 : MeritBase<View,unsigned int>(home,m) {}
\n+
204 : MeritBase<View,unsigned int>(home,m) {}
\n
\n
205 template<class View>
\n
206 forceinline unsigned int
\n
\n-
207 MeritRegretMax<View>::operator ()(const Space&, View x, int) {
\n+
207 MeritRegretMax<View>::operator ()(const Space&, View x, int) {
\n
208 return x.regret_max();
\n
209 }
\n
\n
210
\n
211}}}
\n
212
\n
213// STATISTICS: int-branch
\n@@ -357,15 +357,14 @@\n
Gecode::Int::Branch::MeritRegretMin
Merit class for minimum regret.
Definition branch.hh:216
\n
Gecode::Int::Branch::MeritRegretMin::MeritRegretMin
MeritRegretMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
\n
Gecode::Int::Branch::MeritRegretMin::operator()
unsigned int operator()(const Space &home, View x, int i)
Return minimum regret as merit for view x at position i.
Definition merit.hpp:191
\n
Gecode::Int::Branch::MeritSize
Merit class for size.
Definition branch.hh:105
\n
Gecode::Int::Branch::MeritSize::MeritSize
MeritSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
\n
Gecode::Int::Branch::MeritSize::operator()
unsigned int operator()(const Space &home, View x, int i)
Return size as merit for view x at position i.
Definition merit.hpp:80
\n
Gecode::MeritBase
Base-class for merit class.
Definition merit.hpp:46
\n-\n
Gecode::MeritBase< View, int >::Var
View::VarType Var
Corresponding variable type.
Definition merit.hpp:51
\n
Gecode::Space
Computation spaces.
Definition core.hpp:1742
\n
Gecode::VarBranch
Variable branching information.
Definition var.hpp:55
\n
Gecode::VarImpVar::degree
unsigned int degree(void) const
Return degree (number of subscribed propagators and advisors)
Definition var.hpp:101
\n
Gecode::VarImpVar::afc
double afc(void) const
Return accumulated failure count.
Definition var.hpp:106
\n
Gecode
Gecode toplevel namespace
\n
Gecode::x
Post propagator for SetVar x
Definition set.hh:767
\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -47,82 +47,82 @@\n 38 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 39 _\bM_\be_\br_\bi_\bt_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bM_\bi_\bn\n 40 (Space& home, const VarBranch<_\bM_\be_\br_\bi_\bt_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 41 : MeritBase(home,vb) {}\n 42 template\n 43 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b4_\b4 _\bM_\be_\br_\bi_\bt_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bM_\bi_\bn(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bM_\bi_\bn& m)\n-45 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,int>(home,m) {}\n+45 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,m) {}\n 46 template\n 47 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be int\n-_\b4_\b8 _\bM_\be_\br_\bi_\bt_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b4_\b8 _\bM_\be_\br_\bi_\bt_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 49 return _\bx.min();\n 50 }\n 51\n 52 // Maximum merit\n 53 template\n 54 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 55 _\bM_\be_\br_\bi_\bt_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bM_\ba_\bx\n 56 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh<_\bM_\be_\br_\bi_\bt_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 57 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb) {}\n 58 template\n 59 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b6_\b0 _\bM_\be_\br_\bi_\bt_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bM_\ba_\bx(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bM_\ba_\bx& m)\n-61 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,int>(home,m) {}\n+61 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,m) {}\n 62 template\n 63 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be int\n-_\b6_\b4 _\bM_\be_\br_\bi_\bt_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b6_\b4 _\bM_\be_\br_\bi_\bt_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 65 return _\bx.max();\n 66 }\n 67\n 68 // Size merit\n 69 template\n 70 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 71 _\bM_\be_\br_\bi_\bt_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bS_\bi_\bz_\be\n 72 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh<_\bM_\be_\br_\bi_\bt_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 73 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb) {}\n 74 template\n 75 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b7_\b6 _\bM_\be_\br_\bi_\bt_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bS_\bi_\bz_\be(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bS_\bi_\bz_\be& m)\n-77 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,unsigned int>(home,m) {}\n+77 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,m) {}\n 78 template\n 79 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be unsigned int\n-_\b8_\b0 _\bM_\be_\br_\bi_\bt_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b8_\b0 _\bM_\be_\br_\bi_\bt_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 81 return _\bx.size();\n 82 }\n 83\n 84 // Degree over size merit\n 85 template\n 86 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 87 _\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be_\bS_\bi_\bz_\be\n 88 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh<_\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 89 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb) {}\n 90 template\n 91 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b9_\b2 _\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be_\bS_\bi_\bz_\be(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be_\bS_\bi_\bz_\be& m)\n-93 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,double>(home,m) {}\n+93 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,m) {}\n 94 template\n 95 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be double\n-_\b9_\b6 _\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b9_\b6 _\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 97 return static_cast(_\bx._\bd_\be_\bg_\br_\be_\be()) / static_cast(_\bx.size());\n 98 }\n 99\n 100 // AFC over size merit\n 101 template\n 102 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 103 _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\bS_\bi_\bz_\be\n 104 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh<_\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 105 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb), afc(vb.afc()) {}\n 106 template\n 107 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b1_\b0_\b8 _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\bS_\bi_\bz_\be(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\bS_\bi_\bz_\be& m)\n-109 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,double>(home,m), afc(m.afc) {}\n+109 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,m), afc(m.afc) {}\n 110 template\n 111 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be double\n-_\b1_\b1_\b2 _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b1_\b1_\b2 _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 113 return _\bx._\ba_\bf_\bc() / static_cast(_\bx.size());\n 114 }\n 115 template\n 116 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be bool\n _\b1_\b1_\b7 _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bo_\bt_\bi_\bc_\be(void) const {\n 118 return false;\n 119 }\n@@ -138,18 +138,18 @@\n 129 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 130 _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\bS_\bi_\bz_\be\n 131 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh<_\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 132 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb), action(vb.action()) {}\n 133 template\n 134 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b1_\b3_\b5 _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\bS_\bi_\bz_\be(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\bS_\bi_\bz_\be& m)\n-136 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,double>(home,m), action(m.action) {}\n+136 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,m), action(m.action) {}\n 137 template\n 138 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be double\n-_\b1_\b3_\b9 _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int i) {\n+_\b1_\b3_\b9 _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int i) {\n 140 return action[i] / static_cast(_\bx.size());\n 141 }\n 142 template\n 143 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be bool\n _\b1_\b4_\b4 _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bo_\bt_\bi_\bc_\be(void) const {\n 145 return true;\n 146 }\n@@ -164,18 +164,18 @@\n 155 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 156 _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\bS_\bi_\bz_\be\n 157 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh<_\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 158 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb), chb(vb.chb()) {}\n 159 template\n 160 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b1_\b6_\b1 _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\bS_\bi_\bz_\be(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\bS_\bi_\bz_\be& m)\n-162 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,double>(home,m), chb(m.chb) {}\n+162 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,m), chb(m.chb) {}\n 163 template\n 164 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be double\n-_\b1_\b6_\b5 _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int i) {\n+_\b1_\b6_\b5 _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int i) {\n 166 return chb[i] / static_cast(_\bx.size());\n 167 }\n 168 template\n 169 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be bool\n _\b1_\b7_\b0 _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\bS_\bi_\bz_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bo_\bt_\bi_\bc_\be(void) const {\n 171 return true;\n 172 }\n@@ -190,34 +190,34 @@\n 181 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 182 _\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\bi_\bn\n 183 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh<_\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 184 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb) {}\n 185 template\n 186 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b1_\b8_\b7 _\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\bi_\bn(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\bi_\bn& m)\n-188 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,unsigned int>(home,m) {}\n+188 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,m) {}\n 189 template\n 190 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be unsigned int\n-_\b1_\b9_\b1 _\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b1_\b9_\b1 _\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 192 return _\bx.regret_min();\n 193 }\n 194\n 195 // Maximum regret merit\n 196 template\n 197 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 198 _\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\ba_\bx\n 199 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh<_\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 200 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb) {}\n 201 template\n 202 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b2_\b0_\b3 _\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\ba_\bx(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\ba_\bx& m)\n-204 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,unsigned int>(home,m) {}\n+204 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,m) {}\n 205 template\n 206 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be unsigned int\n-_\b2_\b0_\b7 _\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b2_\b0_\b7 _\bM_\be_\br_\bi_\bt_\bR_\be_\bg_\br_\be_\bt_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b _\b(_\b)(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 208 return _\bx.regret_max();\n 209 }\n 210\n 211}}}\n 212\n 213// STATISTICS: int-branch\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bI_\bn_\bt_\b:_\b:_\bB_\br_\ba_\bn_\bc_\bh_\b:_\b:_\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\bS_\bi_\bz_\be\n@@ -333,18 +333,14 @@\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bI_\bn_\bt_\b:_\b:_\bB_\br_\ba_\bn_\bc_\bh_\b:_\b:_\bM_\be_\br_\bi_\bt_\bS_\bi_\bz_\be_\b:_\b:_\bo_\bp_\be_\br_\ba_\bt_\bo_\br_\b(_\b)\n unsigned int operator()(const Space &home, View x, int i)\n Return size as merit for view x at position i.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bm_\be_\br_\bi_\bt_\b._\bh_\bp_\bp_\b:_\b8_\b0\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be\n Base-class for merit class.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bm_\be_\br_\bi_\bt_\b._\bh_\bp_\bp_\b:_\b4_\b6\n-_\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be_\b<_\b _\bV_\bi_\be_\bw_\b,_\b _\bi_\bn_\bt_\b _\b>_\b:_\b:_\bV_\bi_\be_\bw\n-View View\n-View type.\n-D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bm_\be_\br_\bi_\bt_\b._\bh_\bp_\bp_\b:_\b4_\b9\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be_\b<_\b _\bV_\bi_\be_\bw_\b,_\b _\bi_\bn_\bt_\b _\b>_\b:_\b:_\bV_\ba_\br\n View::VarType Var\n Corresponding variable type.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bm_\be_\br_\bi_\bt_\b._\bh_\bp_\bp_\b:_\b5_\b1\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bS_\bp_\ba_\bc_\be\n Computation spaces.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bc_\bo_\br_\be_\b._\bh_\bp_\bp_\b:_\b1_\b7_\b4_\b2\n"}]}, {"source1": "./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp_source.html", "source2": "./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp_source.html", "unified_diff": "@@ -106,37 +106,37 @@\n
38 ValCommitEq<View>::ValCommitEq
\n
39 (Space& home, const ValBranch<ValCommitEq<View>::Var>& vb)
\n
40 : ValCommit<View,int>(home,vb) {}
\n
41 template<class View>
\n
42 forceinline
\n
\n
43 ValCommitEq<View>::ValCommitEq(Space& home, ValCommitEq& vc)
\n-
44 : ValCommit<View,int>(home,vc) {}
\n+
44 : ValCommit<View,int>(home,vc) {}
\n
\n
45 template<class View>
\n
46 forceinline ModEvent
\n
\n-
47 ValCommitEq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
\n+
47 ValCommitEq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
\n
48 return (a == 0) ? x.eq(home,n) : x.nq(home,n);
\n
49 }
\n
\n
50 template<class View>
\n
51 forceinline NGL*
\n
\n-
52 ValCommitEq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
\n+
52 ValCommitEq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
\n
53 if (a == 0)
\n
54 return new (home) EqNGL<View>(home,x,n);
\n
55 else
\n
56 return NULL;
\n
57 }
\n
\n
58 template<class View>
\n
59 forceinline void
\n
\n-
60 ValCommitEq<View>::print(const Space&, unsigned int a, View, int i,
\n+
60 ValCommitEq<View>::print(const Space&, unsigned int a, View, int i,
\n
61 int n, std::ostream& o) const {
\n
62 o << "var[" << i << "] "
\n
63 << ((a == 0) ? "=" : "!=") << " " << n;
\n
64 }
\n
\n
65
\n
66 template<class View>
\n@@ -144,37 +144,37 @@\n
68 ValCommitLq<View>::ValCommitLq
\n
69 (Space& home, const ValBranch<ValCommitLq<View>::Var>& vb)
\n
70 : ValCommit<View,int>(home,vb) {}
\n
71 template<class View>
\n
72 forceinline
\n
\n
73 ValCommitLq<View>::ValCommitLq(Space& home, ValCommitLq& vc)
\n-
74 : ValCommit<View,int>(home,vc) {}
\n+
74 : ValCommit<View,int>(home,vc) {}
\n
\n
75 template<class View>
\n
76 forceinline ModEvent
\n
\n-
77 ValCommitLq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
\n+
77 ValCommitLq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
\n
78 return (a == 0) ? x.lq(home,n) : x.gr(home,n);
\n
79 }
\n
\n
80 template<class View>
\n
81 forceinline NGL*
\n
\n-
82 ValCommitLq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
\n+
82 ValCommitLq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
\n
83 if (a == 0)
\n
84 return new (home) LqNGL<View>(home,x,n);
\n
85 else
\n
86 return NULL;
\n
87 }
\n
\n
88 template<class View>
\n
89 forceinline void
\n
\n-
90 ValCommitLq<View>::print(const Space&, unsigned int a, View, int i,
\n+
90 ValCommitLq<View>::print(const Space&, unsigned int a, View, int i,
\n
91 int n, std::ostream& o) const {
\n
92 o << "var[" << i << "] "
\n
93 << ((a == 0) ? "<=" : ">") << " " << n;
\n
94 }
\n
\n
95
\n
96 template<class View>
\n@@ -182,37 +182,37 @@\n
98 ValCommitGq<View>::ValCommitGq
\n
99 (Space& home, const ValBranch<ValCommitGq<View>::Var>& vb)
\n
100 : ValCommit<View,int>(home,vb) {}
\n
101 template<class View>
\n
102 forceinline
\n
\n
103 ValCommitGq<View>::ValCommitGq(Space& home, ValCommitGq& vc)
\n-
104 : ValCommit<View,int>(home,vc) {}
\n+
104 : ValCommit<View,int>(home,vc) {}
\n
\n
105 template<class View>
\n
106 forceinline ModEvent
\n
\n-
107 ValCommitGq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
\n+
107 ValCommitGq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
\n
108 return (a == 0) ? x.gq(home,n) : x.le(home,n);
\n
109 }
\n
\n
110 template<class View>
\n
111 forceinline NGL*
\n
\n-
112 ValCommitGq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
\n+
112 ValCommitGq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
\n
113 if (a == 0)
\n
114 return new (home) GqNGL<View>(home,x,n);
\n
115 else
\n
116 return NULL;
\n
117 }
\n
\n
118 template<class View>
\n
119 forceinline void
\n
\n-
120 ValCommitGq<View>::print(const Space&, unsigned int a, View, int i,
\n+
120 ValCommitGq<View>::print(const Space&, unsigned int a, View, int i,
\n
121 int n, std::ostream& o) const {
\n
122 o << "var[" << i << "] "
\n
123 << ((a == 0) ? ">=" : "<") << " " << n;
\n
124 }
\n
\n
125
\n
126 template<class View>
\n@@ -220,37 +220,37 @@\n
128 ValCommitGr<View>::ValCommitGr
\n
129 (Space& home, const ValBranch<ValCommitGr<View>::Var>& vb)
\n
130 : ValCommit<View,int>(home,vb) {}
\n
131 template<class View>
\n
132 forceinline
\n
\n
133 ValCommitGr<View>::ValCommitGr(Space& home, ValCommitGr& vc)
\n-
134 : ValCommit<View,int>(home,vc) {}
\n+
134 : ValCommit<View,int>(home,vc) {}
\n
\n
135 template<class View>
\n
136 forceinline ModEvent
\n
\n-
137 ValCommitGr<View>::commit(Space& home, unsigned int a, View x, int, int n) {
\n+
137 ValCommitGr<View>::commit(Space& home, unsigned int a, View x, int, int n) {
\n
138 return (a == 0) ? x.gr(home,n) : x.lq(home,n);
\n
139 }
\n
\n
140 template<class View>
\n
141 forceinline NGL*
\n
\n-
142 ValCommitGr<View>::ngl(Space& home, unsigned int a, View x, int n) const {
\n+
142 ValCommitGr<View>::ngl(Space& home, unsigned int a, View x, int n) const {
\n
143 if (a == 0)
\n
144 return new (home) GqNGL<View>(home,x,n+1);
\n
145 else
\n
146 return NULL;
\n
147 }
\n
\n
148 template<class View>
\n
149 forceinline void
\n
\n-
150 ValCommitGr<View>::print(const Space&, unsigned int a, View, int i,
\n+
150 ValCommitGr<View>::print(const Space&, unsigned int a, View, int i,
\n
151 int n, std::ostream& o) const {
\n
152 o << "var[" << i << "] "
\n
153 << ((a == 0) ? ">" : "<=") << " " << n;
\n
154 }
\n
\n
155
\n
156}}}
\n@@ -283,15 +283,14 @@\n
Gecode::Int::Branch::ValCommitLq::ValCommitLq
ValCommitLq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
\n
Gecode::Int::Branch::ValCommitLq::commit
ModEvent commit(Space &home, unsigned int a, View x, int i, int n)
Commit view x at position i to value n for alternative a.
Definition val-commit.hpp:77
\n
Gecode::NGL
No-good literal recorded during search.
Definition core.hpp:1340
\n
Gecode::Space
Computation spaces.
Definition core.hpp:1742
\n
Gecode::ValBranch
Value branching information.
Definition val.hpp:41
\n
Gecode::ValCommit
Base class for value commit.
Definition val-commit.hpp:44
\n
Gecode::ValCommit< View, int >::Var
View::VarType Var
Corresponding variable type.
Definition val-commit.hpp:49
\n-\n
Gecode
Gecode toplevel namespace
\n
Gecode::x
Post propagator for SetVar x
Definition set.hh:767
\n
Gecode::ModEvent
int ModEvent
Type for modification events.
Definition core.hpp:62
\n
forceinline
#define forceinline
Definition config.hpp:187
\n
\n
\n \n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -46,123 +46,123 @@\n 37 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 38 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq\n 39 (Space& home, const ValBranch<_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 40 : ValCommit(home,vb) {}\n 41 template\n 42 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b4_\b3 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq(_\bS_\bp_\ba_\bc_\be& home, _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq& vc)\n-44 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt<_\bV_\bi_\be_\bw,int>(home,vc) {}\n+44 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt(home,vc) {}\n 45 template\n 46 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be _\bM_\bo_\bd_\bE_\bv_\be_\bn_\bt\n-_\b4_\b7 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bc_\bo_\bm_\bm_\bi_\bt(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, _\bV_\bi_\be_\bw _\bx, int, int _\bn) {\n+_\b4_\b7 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bc_\bo_\bm_\bm_\bi_\bt(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, View _\bx, int, int _\bn) {\n 48 return (_\ba == 0) ? _\bx.eq(home,_\bn) : _\bx.nq(home,_\bn);\n 49 }\n 50 template\n 51 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be _\bN_\bG_\bL*\n-_\b5_\b2 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bg_\bl(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, _\bV_\bi_\be_\bw _\bx, int _\bn) const {\n+_\b5_\b2 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bg_\bl(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, View _\bx, int _\bn) const {\n 53 if (_\ba == 0)\n 54 return new (home) _\bE_\bq_\bN_\bG_\bL_\b<_\bV_\bi_\be_\bw_\b>(home,_\bx,_\bn);\n 55 else\n 56 return NULL;\n 57 }\n 58 template\n 59 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be void\n-_\b6_\b0 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bp_\br_\bi_\bn_\bt(const _\bS_\bp_\ba_\bc_\be&, unsigned int _\ba, _\bV_\bi_\be_\bw, int i,\n+_\b6_\b0 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bE_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bp_\br_\bi_\bn_\bt(const _\bS_\bp_\ba_\bc_\be&, unsigned int _\ba, View, int i,\n 61 int _\bn, std::ostream& o) const {\n 62 o << \"var[\" << i << \"] \"\n 63 << ((_\ba == 0) ? \"=\" : \"!=\") << \" \" << _\bn;\n 64 }\n 65\n 66 template\n 67 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 68 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq\n 69 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\bl_\bB_\br_\ba_\bn_\bc_\bh<_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 70 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt(home,vb) {}\n 71 template\n 72 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b7_\b3 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq(_\bS_\bp_\ba_\bc_\be& home, _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq& vc)\n-74 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt<_\bV_\bi_\be_\bw,int>(home,vc) {}\n+74 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt(home,vc) {}\n 75 template\n 76 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be _\bM_\bo_\bd_\bE_\bv_\be_\bn_\bt\n-_\b7_\b7 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bc_\bo_\bm_\bm_\bi_\bt(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, _\bV_\bi_\be_\bw _\bx, int, int _\bn) {\n+_\b7_\b7 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bc_\bo_\bm_\bm_\bi_\bt(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, View _\bx, int, int _\bn) {\n 78 return (_\ba == 0) ? _\bx.lq(home,_\bn) : _\bx.gr(home,_\bn);\n 79 }\n 80 template\n 81 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be _\bN_\bG_\bL*\n-_\b8_\b2 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bg_\bl(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, _\bV_\bi_\be_\bw _\bx, int _\bn) const {\n+_\b8_\b2 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bg_\bl(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, View _\bx, int _\bn) const {\n 83 if (_\ba == 0)\n 84 return new (home) _\bL_\bq_\bN_\bG_\bL_\b<_\bV_\bi_\be_\bw_\b>(home,_\bx,_\bn);\n 85 else\n 86 return NULL;\n 87 }\n 88 template\n 89 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be void\n-_\b9_\b0 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bp_\br_\bi_\bn_\bt(const _\bS_\bp_\ba_\bc_\be&, unsigned int _\ba, _\bV_\bi_\be_\bw, int i,\n+_\b9_\b0 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bL_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bp_\br_\bi_\bn_\bt(const _\bS_\bp_\ba_\bc_\be&, unsigned int _\ba, View, int i,\n 91 int _\bn, std::ostream& o) const {\n 92 o << \"var[\" << i << \"] \"\n 93 << ((_\ba == 0) ? \"<=\" : \">\") << \" \" << _\bn;\n 94 }\n 95\n 96 template\n 97 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 98 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq\n 99 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\bl_\bB_\br_\ba_\bn_\bc_\bh<_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 100 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt(home,vb) {}\n 101 template\n 102 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b1_\b0_\b3 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq(_\bS_\bp_\ba_\bc_\be& home, _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq& vc)\n-104 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt<_\bV_\bi_\be_\bw,int>(home,vc) {}\n+104 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt(home,vc) {}\n 105 template\n 106 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be _\bM_\bo_\bd_\bE_\bv_\be_\bn_\bt\n-_\b1_\b0_\b7 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bc_\bo_\bm_\bm_\bi_\bt(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, _\bV_\bi_\be_\bw _\bx, int, int _\bn)\n+_\b1_\b0_\b7 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bc_\bo_\bm_\bm_\bi_\bt(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, View _\bx, int, int _\bn)\n {\n 108 return (_\ba == 0) ? _\bx.gq(home,_\bn) : _\bx.le(home,_\bn);\n 109 }\n 110 template\n 111 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be _\bN_\bG_\bL*\n-_\b1_\b1_\b2 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bg_\bl(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, _\bV_\bi_\be_\bw _\bx, int _\bn) const {\n+_\b1_\b1_\b2 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bg_\bl(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, View _\bx, int _\bn) const {\n 113 if (_\ba == 0)\n 114 return new (home) _\bG_\bq_\bN_\bG_\bL_\b<_\bV_\bi_\be_\bw_\b>(home,_\bx,_\bn);\n 115 else\n 116 return NULL;\n 117 }\n 118 template\n 119 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be void\n-_\b1_\b2_\b0 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bp_\br_\bi_\bn_\bt(const _\bS_\bp_\ba_\bc_\be&, unsigned int _\ba, _\bV_\bi_\be_\bw, int i,\n+_\b1_\b2_\b0 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\bq_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bp_\br_\bi_\bn_\bt(const _\bS_\bp_\ba_\bc_\be&, unsigned int _\ba, View, int i,\n 121 int _\bn, std::ostream& o) const {\n 122 o << \"var[\" << i << \"] \"\n 123 << ((_\ba == 0) ? \">=\" : \"<\") << \" \" << _\bn;\n 124 }\n 125\n 126 template\n 127 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 128 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br\n 129 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\bl_\bB_\br_\ba_\bn_\bc_\bh<_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 130 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt(home,vb) {}\n 131 template\n 132 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b1_\b3_\b3 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br(_\bS_\bp_\ba_\bc_\be& home, _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br& vc)\n-134 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt<_\bV_\bi_\be_\bw,int>(home,vc) {}\n+134 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt(home,vc) {}\n 135 template\n 136 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be _\bM_\bo_\bd_\bE_\bv_\be_\bn_\bt\n-_\b1_\b3_\b7 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bc_\bo_\bm_\bm_\bi_\bt(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, _\bV_\bi_\be_\bw _\bx, int, int _\bn)\n+_\b1_\b3_\b7 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bc_\bo_\bm_\bm_\bi_\bt(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, View _\bx, int, int _\bn)\n {\n 138 return (_\ba == 0) ? _\bx.gr(home,_\bn) : _\bx.lq(home,_\bn);\n 139 }\n 140 template\n 141 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be _\bN_\bG_\bL*\n-_\b1_\b4_\b2 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bg_\bl(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, _\bV_\bi_\be_\bw _\bx, int _\bn) const {\n+_\b1_\b4_\b2 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bg_\bl(_\bS_\bp_\ba_\bc_\be& home, unsigned int _\ba, View _\bx, int _\bn) const {\n 143 if (_\ba == 0)\n 144 return new (home) _\bG_\bq_\bN_\bG_\bL_\b<_\bV_\bi_\be_\bw_\b>(home,_\bx,_\bn+1);\n 145 else\n 146 return NULL;\n 147 }\n 148 template\n 149 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be void\n-_\b1_\b5_\b0 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bp_\br_\bi_\bn_\bt(const _\bS_\bp_\ba_\bc_\be&, unsigned int _\ba, _\bV_\bi_\be_\bw, int i,\n+_\b1_\b5_\b0 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bG_\br_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bp_\br_\bi_\bn_\bt(const _\bS_\bp_\ba_\bc_\be&, unsigned int _\ba, View, int i,\n 151 int _\bn, std::ostream& o) const {\n 152 o << \"var[\" << i << \"] \"\n 153 << ((_\ba == 0) ? \">\" : \"<=\") << \" \" << _\bn;\n 154 }\n 155\n 156}}}\n 157\n@@ -272,18 +272,14 @@\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt\n Base class for value commit.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\bl_\b-_\bc_\bo_\bm_\bm_\bi_\bt_\b._\bh_\bp_\bp_\b:_\b4_\b4\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\b<_\b _\bV_\bi_\be_\bw_\b,_\b _\bi_\bn_\bt_\b _\b>_\b:_\b:_\bV_\ba_\br\n View::VarType Var\n Corresponding variable type.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\bl_\b-_\bc_\bo_\bm_\bm_\bi_\bt_\b._\bh_\bp_\bp_\b:_\b4_\b9\n-_\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\b<_\b _\bV_\bi_\be_\bw_\b,_\b _\bi_\bn_\bt_\b _\b>_\b:_\b:_\bV_\bi_\be_\bw\n-View View\n-View type.\n-D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\bl_\b-_\bc_\bo_\bm_\bm_\bi_\bt_\b._\bh_\bp_\bp_\b:_\b4_\b7\n _\bG_\be_\bc_\bo_\bd_\be\n Gecode toplevel namespace\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bx\n Post propagator for SetVar x\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bs_\be_\bt_\b._\bh_\bh_\b:_\b7_\b6_\b7\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bM_\bo_\bd_\bE_\bv_\be_\bn_\bt\n int ModEvent\n"}]}, {"source1": "./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp_source.html", "source2": "./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp_source.html", "unified_diff": "@@ -106,97 +106,97 @@\n
38 ValSelMin<View>::ValSelMin
\n
39 (Space& home, const ValBranch<ValSelMin<View>::Var>& vb)
\n
40 : ValSel<View,int>(home,vb) {}
\n
41 template<class View>
\n
42 forceinline
\n
\n
43 ValSelMin<View>::ValSelMin(Space& home, ValSelMin& vs)
\n-
44 : ValSel<View,int>(home,vs) {}
\n+
44 : ValSel<View,int>(home,vs) {}
\n
\n
45 template<class View>
\n
46 forceinline int
\n
\n-
47 ValSelMin<View>::val(const Space&, View x, int) {
\n+
47 ValSelMin<View>::val(const Space&, View x, int) {
\n
48 return x.min();
\n
49 }
\n
\n
50
\n
51 template<class View>
\n
52 forceinline
\n
53 ValSelMax<View>::ValSelMax
\n
54 (Space& home, const ValBranch<ValSelMax<View>::Var>& vb)
\n
55 : ValSel<View,int>(home,vb) {}
\n
56 template<class View>
\n
57 forceinline
\n
\n
58 ValSelMax<View>::ValSelMax(Space& home, ValSelMax& vs)
\n-
59 : ValSel<View,int>(home,vs) {}
\n+
59 : ValSel<View,int>(home,vs) {}
\n
\n
60 template<class View>
\n
61 forceinline int
\n
\n-
62 ValSelMax<View>::val(const Space&, View x, int) {
\n+
62 ValSelMax<View>::val(const Space&, View x, int) {
\n
63 return x.max();
\n
64 }
\n
\n
65
\n
66 template<class View>
\n
67 forceinline
\n
68 ValSelMed<View>::ValSelMed
\n
69 (Space& home, const ValBranch<ValSelMed<View>::Var>& vb)
\n
70 : ValSel<View,int>(home,vb) {}
\n
71 template<class View>
\n
72 forceinline
\n
\n
73 ValSelMed<View>::ValSelMed(Space& home, ValSelMed& vs)
\n-
74 : ValSel<View,int>(home,vs) {}
\n+
74 : ValSel<View,int>(home,vs) {}
\n
\n
75 template<class View>
\n
76 forceinline int
\n
\n-
77 ValSelMed<View>::val(const Space&, View x, int) {
\n+
77 ValSelMed<View>::val(const Space&, View x, int) {
\n
78 return x.med();
\n
79 }
\n
\n
80
\n
81 template<class View>
\n
82 forceinline
\n
83 ValSelAvg<View>::ValSelAvg
\n
84 (Space& home, const ValBranch<ValSelAvg<View>::Var>& vb)
\n
85 : ValSel<View,int>(home,vb) {}
\n
86 template<class View>
\n
87 forceinline
\n
\n
88 ValSelAvg<View>::ValSelAvg(Space& home, ValSelAvg& vs)
\n-
89 : ValSel<View,int>(home,vs) {}
\n+
89 : ValSel<View,int>(home,vs) {}
\n
\n
90 template<class View>
\n
91 forceinline int
\n
\n-
92 ValSelAvg<View>::val(const Space&, View x, int) {
\n+
92 ValSelAvg<View>::val(const Space&, View x, int) {
\n
93 return (x.width() == 2U) ? x.min() : ((x.min()+x.max()) / 2);
\n
94 }
\n
\n
95
\n
96 template<class View>
\n
97 forceinline
\n
98 ValSelRnd<View>::ValSelRnd
\n
99 (Space& home, const ValBranch<ValSelRnd<View>::Var>& vb)
\n
100 : ValSel<View,int>(home,vb), r(vb.rnd()) {}
\n
101 template<class View>
\n
102 forceinline
\n
\n
103 ValSelRnd<View>::ValSelRnd(Space& home, ValSelRnd& vs)
\n-
104 : ValSel<View,int>(home,vs), r(vs.r) {
\n+
104 : ValSel<View,int>(home,vs), r(vs.r) {
\n
105 }
\n
\n
106 template<class View>
\n
107 forceinline int
\n
\n-
108 ValSelRnd<View>::val(const Space&, View x, int) {
\n+
108 ValSelRnd<View>::val(const Space&, View x, int) {
\n
109 unsigned int p = r(x.size());
\n
110 for (ViewRanges<View> i(x); i(); ++i) {
\n
111 if (i.width() > p)
\n
112 return i.min() + static_cast<int>(p);
\n
113 p -= i.width();
\n
114 }
\n
115 GECODE_NEVER;
\n@@ -296,15 +296,14 @@\n
Gecode::Int::Branch::ValSelRnd::ValSelRnd
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
\n
Gecode::Int::Branch::ValSelRnd::dispose
void dispose(Space &home)
Delete value selection.
Definition val-sel.hpp:125
\n
Gecode::Int::IntView
Integer view for integer variables.
Definition view.hpp:129
\n
Gecode::Int::ViewRanges
Range iterator for integer views.
Definition view.hpp:54
\n
Gecode::Space
Computation spaces.
Definition core.hpp:1742
\n
Gecode::ValBranch
Value branching information.
Definition val.hpp:41
\n
Gecode::ValSel
Base class for value selection.
Definition val-sel.hpp:44
\n-\n
Gecode::ValSel< View, int >::Var
View::VarType Var
Corresponding variable type.
Definition val-sel.hpp:49
\n
Gecode
Gecode toplevel namespace
\n
Gecode::r
Post propagator for SetVar SetOpType SetVar SetRelType r
Definition set.hh:767
\n
Gecode::min
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Definition arithmetic.cpp:67
\n
Gecode::x
Post propagator for SetVar x
Definition set.hh:767
\n
forceinline
#define forceinline
Definition config.hpp:187
\n
GECODE_NEVER
#define GECODE_NEVER
Assert that this command is never executed.
Definition macros.hpp:56
\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -46,79 +46,79 @@\n 37 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 38 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\bM_\bi_\bn\n 39 (Space& home, const ValBranch<_\bV_\ba_\bl_\bS_\be_\bl_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 40 : ValSel(home,vb) {}\n 41 template\n 42 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b4_\b3 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\bM_\bi_\bn(_\bS_\bp_\ba_\bc_\be& home, _\bV_\ba_\bl_\bS_\be_\bl_\bM_\bi_\bn& vs)\n-44 : _\bV_\ba_\bl_\bS_\be_\bl<_\bV_\bi_\be_\bw,int>(home,vs) {}\n+44 : _\bV_\ba_\bl_\bS_\be_\bl(home,vs) {}\n 45 template\n 46 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be int\n-_\b4_\b7 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b4_\b7 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\bi_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 48 return _\bx.min();\n 49 }\n 50\n 51 template\n 52 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 53 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\bM_\ba_\bx\n 54 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\bl_\bB_\br_\ba_\bn_\bc_\bh<_\bV_\ba_\bl_\bS_\be_\bl_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 55 : _\bV_\ba_\bl_\bS_\be_\bl(home,vb) {}\n 56 template\n 57 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b5_\b8 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\bM_\ba_\bx(_\bS_\bp_\ba_\bc_\be& home, _\bV_\ba_\bl_\bS_\be_\bl_\bM_\ba_\bx& vs)\n-59 : _\bV_\ba_\bl_\bS_\be_\bl<_\bV_\bi_\be_\bw,int>(home,vs) {}\n+59 : _\bV_\ba_\bl_\bS_\be_\bl(home,vs) {}\n 60 template\n 61 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be int\n-_\b6_\b2 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b6_\b2 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\ba_\bx_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 63 return _\bx.max();\n 64 }\n 65\n 66 template\n 67 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 68 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\be_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\bM_\be_\bd\n 69 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\bl_\bB_\br_\ba_\bn_\bc_\bh<_\bV_\ba_\bl_\bS_\be_\bl_\bM_\be_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 70 : _\bV_\ba_\bl_\bS_\be_\bl(home,vb) {}\n 71 template\n 72 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b7_\b3 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\be_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\bM_\be_\bd(_\bS_\bp_\ba_\bc_\be& home, _\bV_\ba_\bl_\bS_\be_\bl_\bM_\be_\bd& vs)\n-74 : _\bV_\ba_\bl_\bS_\be_\bl<_\bV_\bi_\be_\bw,int>(home,vs) {}\n+74 : _\bV_\ba_\bl_\bS_\be_\bl(home,vs) {}\n 75 template\n 76 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be int\n-_\b7_\b7 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\be_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b7_\b7 _\bV_\ba_\bl_\bS_\be_\bl_\bM_\be_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 78 return _\bx.med();\n 79 }\n 80\n 81 template\n 82 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 83 _\bV_\ba_\bl_\bS_\be_\bl_\bA_\bv_\bg_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\bA_\bv_\bg\n 84 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\bl_\bB_\br_\ba_\bn_\bc_\bh<_\bV_\ba_\bl_\bS_\be_\bl_\bA_\bv_\bg_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 85 : _\bV_\ba_\bl_\bS_\be_\bl(home,vb) {}\n 86 template\n 87 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b8_\b8 _\bV_\ba_\bl_\bS_\be_\bl_\bA_\bv_\bg_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\bA_\bv_\bg(_\bS_\bp_\ba_\bc_\be& home, _\bV_\ba_\bl_\bS_\be_\bl_\bA_\bv_\bg& vs)\n-89 : _\bV_\ba_\bl_\bS_\be_\bl<_\bV_\bi_\be_\bw,int>(home,vs) {}\n+89 : _\bV_\ba_\bl_\bS_\be_\bl(home,vs) {}\n 90 template\n 91 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be int\n-_\b9_\b2 _\bV_\ba_\bl_\bS_\be_\bl_\bA_\bv_\bg_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b9_\b2 _\bV_\ba_\bl_\bS_\be_\bl_\bA_\bv_\bg_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 93 return (_\bx.width() == 2U) ? _\bx.min() : ((_\bx.min()+_\bx.max()) / 2);\n 94 }\n 95\n 96 template\n 97 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 98 _\bV_\ba_\bl_\bS_\be_\bl_\bR_\bn_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\bR_\bn_\bd\n 99 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\bl_\bB_\br_\ba_\bn_\bc_\bh<_\bV_\ba_\bl_\bS_\be_\bl_\bR_\bn_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 100 : _\bV_\ba_\bl_\bS_\be_\bl(home,vb), _\br(vb.rnd()) {}\n 101 template\n 102 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b1_\b0_\b3 _\bV_\ba_\bl_\bS_\be_\bl_\bR_\bn_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\bR_\bn_\bd(_\bS_\bp_\ba_\bc_\be& home, _\bV_\ba_\bl_\bS_\be_\bl_\bR_\bn_\bd& vs)\n-104 : _\bV_\ba_\bl_\bS_\be_\bl<_\bV_\bi_\be_\bw,int>(home,vs), _\br(vs._\br) {\n+104 : _\bV_\ba_\bl_\bS_\be_\bl(home,vs), _\br(vs._\br) {\n 105 }\n 106 template\n 107 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be int\n-_\b1_\b0_\b8 _\bV_\ba_\bl_\bS_\be_\bl_\bR_\bn_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw _\bx, int) {\n+_\b1_\b0_\b8 _\bV_\ba_\bl_\bS_\be_\bl_\bR_\bn_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be&, View _\bx, int) {\n 109 unsigned int _\bp = _\br(_\bx.size());\n 110 for (_\bV_\bi_\be_\bw_\bR_\ba_\bn_\bg_\be_\bs_\b<_\bV_\bi_\be_\bw_\b> i(_\bx); i(); ++i) {\n 111 if (i.width() > _\bp)\n 112 return i.min() + static_cast(_\bp);\n 113 _\bp -= i.width();\n 114 }\n 115 _\bG_\bE_\bC_\bO_\bD_\bE_\b__\bN_\bE_\bV_\bE_\bR;\n@@ -271,18 +271,14 @@\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bc_\bo_\br_\be_\b._\bh_\bp_\bp_\b:_\b1_\b7_\b4_\b2\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\bl_\bB_\br_\ba_\bn_\bc_\bh\n Value branching information.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\bl_\b._\bh_\bp_\bp_\b:_\b4_\b1\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl\n Base class for value selection.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\bl_\b-_\bs_\be_\bl_\b._\bh_\bp_\bp_\b:_\b4_\b4\n-_\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\b<_\b _\bV_\bi_\be_\bw_\b,_\b _\bi_\bn_\bt_\b _\b>_\b:_\b:_\bV_\bi_\be_\bw\n-View View\n-View type.\n-D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\bl_\b-_\bs_\be_\bl_\b._\bh_\bp_\bp_\b:_\b4_\b7\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\b<_\b _\bV_\bi_\be_\bw_\b,_\b _\bi_\bn_\bt_\b _\b>_\b:_\b:_\bV_\ba_\br\n View::VarType Var\n Corresponding variable type.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn _\bv_\ba_\bl_\b-_\bs_\be_\bl_\b._\bh_\bp_\bp_\b:_\b4_\b9\n _\bG_\be_\bc_\bo_\bd_\be\n Gecode toplevel namespace\n _\bG_\be_\bc_\bo_\bd_\be_\b:_\b:_\br\n"}]}]}]}]}]}