{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.aI959bAz/b1/gecode_6.2.0-6_amd64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.aI959bAz/b2/gecode_6.2.0-6_amd64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,9 +1,9 @@\n \n b5018c44947127e3eb731548199357d0 509396 libdevel optional libgecode-dev_6.2.0-6_amd64.deb\n- e6999a6a3f98fb95066851eb0d17c7a8 11575580 doc optional libgecode-doc_6.2.0-6_all.deb\n+ e248404909bdec1e8f87f3c1bc20d529 11573876 doc optional libgecode-doc_6.2.0-6_all.deb\n 6894306b08de914d8c636450614ecbb7 61007180 debug optional libgecode49t64-dbgsym_6.2.0-6_amd64.deb\n efb2d0fb41f8444f9957853524492013 3064352 libs optional libgecode49t64_6.2.0-6_amd64.deb\n bf28e6306d61f21b7ec718b6966bde2b 2726164 debug optional libgecodeflatzinc49t64-dbgsym_6.2.0-6_amd64.deb\n 56cd67a15288275b983c7b462bca6723 272380 libs optional libgecodeflatzinc49t64_6.2.0-6_amd64.deb\n fef546f90bd50bb2a6f51bffa04c2dc0 4222388 debug optional libgecodegist49t64-dbgsym_6.2.0-6_amd64.deb\n d9b4af21c331f97b71c0f2d6caee91d5 169172 libs optional libgecodegist49t64_6.2.0-6_amd64.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 11419208 2024-08-27 03:47:35.000000 data.tar.xz\n+-rw-r--r-- 0 0 0 11417504 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: 230386\n+Installed-Size: 230380\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": "@@ -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@@ -5605,23 +5605,23 @@\n -rw-r--r-- 0 root (0) root (0) 4339 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 40615 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 3619 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp.html\n -rw-r--r-- 0 root (0) root (0) 18641 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp_source.html\n -rw-r--r-- 0 root (0) root (0) 6544 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 135052 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 6839 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp.html\n--rw-r--r-- 0 root (0) root (0) 89164 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp_source.html\n+-rw-r--r-- 0 root (0) root (0) 88144 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 6368 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 48730 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4200 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 9806 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4737 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp.html\n--rw-r--r-- 0 root (0) root (0) 52778 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp_source.html\n+-rw-r--r-- 0 root (0) root (0) 52268 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4706 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp.html\n--rw-r--r-- 0 root (0) root (0) 42523 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp_source.html\n+-rw-r--r-- 0 root (0) root (0) 42325 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4189 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2val_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 29475 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2val_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 5278 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2var_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 65617 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2var_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 5137 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2view_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 66535 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2branch_2view_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 32308 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/kernel_2data_2array_8hpp.html\n@@ -6965,15 +6965,15 @@\n -rw-r--r-- 0 root (0) root (0) 4474 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-eq_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 46713 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-eq_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4474 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-gq_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 43307 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-gq_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4474 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-lq_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 37185 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-lq_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 9269 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-sel_8hpp.html\n--rw-r--r-- 0 root (0) root (0) 249095 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-sel_8hpp_source.html\n+-rw-r--r-- 0 root (0) root (0) 249295 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-sel_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4749 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-val-graph_2graph_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 61712 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-val-graph_2graph_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 10161 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-val-graph_8hh.html\n -rw-r--r-- 0 root (0) root (0) 93781 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-val-graph_8hh_source.html\n -rw-r--r-- 0 root (0) root (0) 6979 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-val_8hpp.html\n -rw-r--r-- 0 root (0) root (0) 118085 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-val_8hpp_source.html\n -rw-r--r-- 0 root (0) root (0) 4637 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/view-values_8cpp.html\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"}]}, {"source1": "./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp_source.html", "source2": "./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp_source.html", "unified_diff": "@@ -220,21 +220,21 @@\n
195 if (!f())
\n
196 throw InvalidFunction("MeritFunction::MeritFunction");
\n
197 }
\n
198 template<class View>
\n
199 forceinline
\n
\n
200 MeritFunction<View>::MeritFunction(Space& home, MeritFunction& mf)
\n-
201 : MeritBase<View,double>(home,mf), f(mf.f) {
\n+
201 : MeritBase<View,double>(home,mf), f(mf.f) {
\n
202 }
\n
\n
203 template<class View>
\n
204 forceinline double
\n
\n-
205 MeritFunction<View>::operator ()(const Space& home, View x, int i) {
\n+
205 MeritFunction<View>::operator ()(const Space& home, View x, int i) {
\n
206 typename View::VarType y(x.varimp());
\n
207 GECODE_VALID_FUNCTION(f());
\n
208 return f()(home,y,i);
\n
209 }
\n
\n
210 template<class View>
\n
211 forceinline bool
\n@@ -258,40 +258,40 @@\n
225 MeritDegree<View>::MeritDegree
\n
226 (Space& home, const VarBranch<MeritDegree<View>::Var>& vb)
\n
227 : MeritBase<View,unsigned int>(home,vb) {}
\n
228 template<class View>
\n
229 forceinline
\n
\n
230 MeritDegree<View>::MeritDegree(Space& home, MeritDegree& md)
\n-
231 : MeritBase<View,unsigned int>(home,md) {}
\n+
231 : MeritBase<View,unsigned int>(home,md) {}
\n
\n
232 template<class View>
\n
233 forceinline unsigned int
\n
\n-
234 MeritDegree<View>::operator ()(const Space&, View x, int) {
\n+
234 MeritDegree<View>::operator ()(const Space&, View x, int) {
\n
235 return x.degree();
\n
236 }
\n
\n
237
\n
238 // AFC merit
\n
239 template<class View>
\n
240 forceinline
\n
241 MeritAFC<View>::MeritAFC
\n
242 (Space& home, const VarBranch<MeritAFC<View>::Var>& vb)
\n
243 : MeritBase<View,double>(home,vb), afc(vb.afc()) {}
\n
244 template<class View>
\n
245 forceinline
\n
\n
246 MeritAFC<View>::MeritAFC(Space& home, MeritAFC& ma)
\n-
247 : MeritBase<View,double>(home,ma), afc(ma.afc) {}
\n+
247 : MeritBase<View,double>(home,ma), afc(ma.afc) {}
\n
\n
248 template<class View>
\n
249 forceinline double
\n
\n-
250 MeritAFC<View>::operator ()(const Space&, View x, int) {
\n+
250 MeritAFC<View>::operator ()(const Space&, View x, int) {
\n
251 return x.afc();
\n
252 }
\n
\n
253 template<class View>
\n
254 forceinline bool
\n
\n
255 MeritAFC<View>::notice(void) const {
\n@@ -315,20 +315,20 @@\n
270 MeritAction<View>::MeritAction
\n
271 (Space& home, const VarBranch<MeritAction<View>::Var>& vb)
\n
272 : MeritBase<View,double>(home,vb), action(vb.action()) {}
\n
273 template<class View>
\n
274 forceinline
\n
\n
275 MeritAction<View>::MeritAction(Space& home, MeritAction& ma)
\n-
276 : MeritBase<View,double>(home,ma), action(ma.action) {}
\n+
276 : MeritBase<View,double>(home,ma), action(ma.action) {}
\n
\n
277 template<class View>
\n
278 forceinline double
\n
\n-
279 MeritAction<View>::operator ()(const Space&, View, int i) {
\n+
279 MeritAction<View>::operator ()(const Space&, View, int i) {
\n
280 return action[i];
\n
281 }
\n
\n
282 template<class View>
\n
283 forceinline bool
\n
\n
284 MeritAction<View>::notice(void) const {
\n@@ -349,20 +349,20 @@\n
296 MeritCHB<View>::MeritCHB
\n
297 (Space& home, const VarBranch<MeritCHB<View>::Var>& vb)
\n
298 : MeritBase<View,double>(home,vb), chb(vb.chb()) {}
\n
299 template<class View>
\n
300 forceinline
\n
\n
301 MeritCHB<View>::MeritCHB(Space& home, MeritCHB& ma)
\n-
302 : MeritBase<View,double>(home,ma), chb(ma.chb) {}
\n+
302 : MeritBase<View,double>(home,ma), chb(ma.chb) {}
\n
\n
303 template<class View>
\n
304 forceinline double
\n
\n-
305 MeritCHB<View>::operator ()(const Space&, View, int i) {
\n+
305 MeritCHB<View>::operator ()(const Space&, View, int i) {
\n
306 return chb[i];
\n
307 }
\n
\n
308 template<class View>
\n
309 forceinline bool
\n
\n
310 MeritCHB<View>::notice(void) const {
\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -142,19 +142,19 @@\n 194 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb), f(vb.merit()) {\n 195 if (!f())\n 196 throw _\bI_\bn_\bv_\ba_\bl_\bi_\bd_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn(\"MeritFunction::MeritFunction\");\n 197 }\n 198 template\n 199 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b2_\b0_\b0 _\bM_\be_\br_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn& mf)\n-201 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,double>(home,mf), f(mf.f) {\n+201 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,mf), f(mf.f) {\n 202 }\n 203 template\n 204 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be double\n-_\b2_\b0_\b5 _\bM_\be_\br_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\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& home, _\bV_\bi_\be_\bw _\bx, int i) {\n+_\b2_\b0_\b5 _\bM_\be_\br_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\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& home, View _\bx, int i) {\n 206 typename View::VarType _\by(_\bx._\bv_\ba_\br_\bi_\bm_\bp());\n 207 _\bG_\bE_\bC_\bO_\bD_\bE_\b__\bV_\bA_\bL_\bI_\bD_\b__\bF_\bU_\bN_\bC_\bT_\bI_\bO_\bN(f());\n 208 return f()(home,_\by,i);\n 209 }\n 210 template\n 211 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be bool\n _\b2_\b1_\b2 _\bM_\be_\br_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bo_\bt_\bi_\bc_\be(void) const {\n@@ -172,34 +172,34 @@\n 224 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 225 _\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be\n 226 (_\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_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 227 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb) {}\n 228 template\n 229 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b2_\b3_\b0 _\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\be& md)\n-231 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,unsigned int>(home,md) {}\n+231 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,md) {}\n 232 template\n 233 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be unsigned int\n-_\b2_\b3_\b4 _\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\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+_\b2_\b3_\b4 _\bM_\be_\br_\bi_\bt_\bD_\be_\bg_\br_\be_\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 235 return _\bx._\bd_\be_\bg_\br_\be_\be();\n 236 }\n 237\n 238 // AFC merit\n 239 template\n 240 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 241 _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bA_\bF_\bC\n 242 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh<_\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 243 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb), afc(vb.afc()) {}\n 244 template\n 245 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b2_\b4_\b6 _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bA_\bF_\bC(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC& ma)\n-247 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,double>(home,ma), afc(ma.afc) {}\n+247 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,ma), afc(ma.afc) {}\n 248 template\n 249 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be double\n-_\b2_\b5_\b0 _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\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_\b5_\b0 _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\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 251 return _\bx._\ba_\bf_\bc();\n 252 }\n 253 template\n 254 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be bool\n _\b2_\b5_\b5 _\bM_\be_\br_\bi_\bt_\bA_\bF_\bC_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bo_\bt_\bi_\bc_\be(void) const {\n 256 // Given that AFC is just a fake, this not really necessary\n 257 return false;\n@@ -217,18 +217,18 @@\n 269 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 270 _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn\n 271 (_\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_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 272 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb), action(vb.action()) {}\n 273 template\n 274 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b2_\b7_\b5 _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn& ma)\n-276 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,double>(home,ma), action(ma.action) {}\n+276 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,ma), action(ma.action) {}\n 277 template\n 278 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be double\n-_\b2_\b7_\b9 _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\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, int i) {\n+_\b2_\b7_\b9 _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\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, int i) {\n 280 return action[i];\n 281 }\n 282 template\n 283 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be bool\n _\b2_\b8_\b4 _\bM_\be_\br_\bi_\bt_\bA_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bo_\bt_\bi_\bc_\be(void) const {\n 285 return true;\n 286 }\n@@ -243,18 +243,18 @@\n 295 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n 296 _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bC_\bH_\bB\n 297 (_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh<_\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\br>& vb)\n 298 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,vb), chb(vb.chb()) {}\n 299 template\n 300 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b3_\b0_\b1 _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bM_\be_\br_\bi_\bt_\bC_\bH_\bB(_\bS_\bp_\ba_\bc_\be& home, _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB& ma)\n-302 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be<_\bV_\bi_\be_\bw,double>(home,ma), chb(ma.chb) {}\n+302 : _\bM_\be_\br_\bi_\bt_\bB_\ba_\bs_\be(home,ma), chb(ma.chb) {}\n 303 template\n 304 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be double\n-_\b3_\b0_\b5 _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\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, int i) {\n+_\b3_\b0_\b5 _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\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, int i) {\n 306 return chb[i];\n 307 }\n 308 template\n 309 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be bool\n _\b3_\b1_\b0 _\bM_\be_\br_\bi_\bt_\bC_\bH_\bB_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bo_\bt_\bi_\bc_\be(void) const {\n 311 return true;\n 312 }\n"}]}, {"source1": "./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp_source.html", "source2": "./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp_source.html", "unified_diff": "@@ -166,50 +166,50 @@\n
114
\n
115 // User-defined value selection
\n
116 template<class View>
\n
117 forceinline
\n
\n
118 ValCommitFunction<View>::ValCommitFunction(Space& home,
\n
119 const ValBranch<Var>& vb)
\n-
120 : ValCommit<View,Val>(home,vb), c(vb.commit()) {
\n+
120 : ValCommit<View,Val>(home,vb), c(vb.commit()) {
\n
121 if (!c())
\n
122 throw InvalidFunction("ValCommitFunction::ValCommitFunction");
\n
123 }
\n
\n
124 template<class View>
\n
125 forceinline
\n
\n
126 ValCommitFunction<View>::ValCommitFunction(Space& home,
\n
127 ValCommitFunction<View>& vc)
\n-
128 : ValCommit<View,Val>(home,vc), c(vc.c) {
\n+
128 : ValCommit<View,Val>(home,vc), c(vc.c) {
\n
129 }
\n
\n
130 template<class View>
\n
131 forceinline ModEvent
\n
\n-
132 ValCommitFunction<View>::commit(Space& home, unsigned int a, View x, int i,
\n+
132 ValCommitFunction<View>::commit(Space& home, unsigned int a, View x, int i,
\n
133 Val n) {
\n
134 typename View::VarType y(x.varimp());
\n
135 GECODE_VALID_FUNCTION(c());
\n
136 c()(home,a,y,i,n);
\n
137 return home.failed() ? ES_FAILED : ES_OK;
\n
138 }
\n
\n
139 template<class View>
\n
140 forceinline NGL*
\n
\n-
141 ValCommitFunction<View>::ngl(Space&, unsigned int, View, Val) const {
\n+
141 ValCommitFunction<View>::ngl(Space&, unsigned int, View, Val) const {
\n
142 return NULL;
\n
143 }
\n
\n
144 template<class View>
\n
145 forceinline void
\n
\n
146 ValCommitFunction<View>::print(const Space&, unsigned int,
\n-
147 View, int i, const Val&,
\n+
147 View, int i, const Val&,
\n
148 std::ostream& o) const {
\n
149 o << "var[" << i << "] is user-defined.";
\n
150 }
\n
\n
151 template<class View>
\n
152 forceinline bool
\n
\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -96,42 +96,42 @@\n 113\n 114\n 115 // User-defined value selection\n 116 template\n 117 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b1_\b1_\b8 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn(_\bS_\bp_\ba_\bc_\be& home,\n 119 const _\bV_\ba_\bl_\bB_\br_\ba_\bn_\bc_\bh_\b<_\bV_\ba_\br_\b>& vb)\n-120 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt<_\bV_\bi_\be_\bw,Val>(home,vb), c(vb.commit()) {\n+120 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt(home,vb), c(vb.commit()) {\n 121 if (!_\bc())\n 122 throw _\bI_\bn_\bv_\ba_\bl_\bi_\bd_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn(\"ValCommitFunction::ValCommitFunction\");\n 123 }\n 124 template\n 125 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b1_\b2_\b6 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn(_\bS_\bp_\ba_\bc_\be& home,\n 127 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>& vc)\n-128 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt<_\bV_\bi_\be_\bw,Val>(home,vc), c(vc.c) {\n+128 : _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt(home,vc), c(vc.c) {\n 129 }\n 130 template\n 131 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be _\bM_\bo_\bd_\bE_\bv_\be_\bn_\bt\n-_\b1_\b3_\b2 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\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 i,\n+_\b1_\b3_\b2 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\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 i,\n 133 Val _\bn) {\n 134 typename View::VarType _\by(_\bx._\bv_\ba_\br_\bi_\bm_\bp());\n 135 _\bG_\bE_\bC_\bO_\bD_\bE_\b__\bV_\bA_\bL_\bI_\bD_\b__\bF_\bU_\bN_\bC_\bT_\bI_\bO_\bN(c());\n 136 c()(home,_\ba,_\by,i,_\bn);\n 137 return home._\bf_\ba_\bi_\bl_\be_\bd() ? _\bE_\bS_\b__\bF_\bA_\bI_\bL_\bE_\bD : _\bE_\bS_\b__\bO_\bK;\n 138 }\n 139 template\n 140 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be _\bN_\bG_\bL*\n-_\b1_\b4_\b1 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bg_\bl(_\bS_\bp_\ba_\bc_\be&, unsigned int, _\bV_\bi_\be_\bw, Val) const {\n+_\b1_\b4_\b1 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bg_\bl(_\bS_\bp_\ba_\bc_\be&, unsigned int, View, Val) const {\n 142 return NULL;\n 143 }\n 144 template\n 145 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be void\n _\b1_\b4_\b6 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bp_\br_\bi_\bn_\bt(const _\bS_\bp_\ba_\bc_\be&, unsigned int,\n-147 _\bV_\bi_\be_\bw, int i, const Val&,\n+147 View, int i, const Val&,\n 148 std::ostream& o) const {\n 149 o << \"var[\" << i << \"] is user-defined.\";\n 150 }\n 151 template\n 152 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be bool\n _\b1_\b5_\b3 _\bV_\ba_\bl_\bC_\bo_\bm_\bm_\bi_\bt_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bo_\bt_\bi_\bc_\be(void) const {\n 154 return true;\n"}]}, {"source1": "./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp_source.html", "source2": "./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp_source.html", "unified_diff": "@@ -172,21 +172,21 @@\n
118 if (!v())
\n
119 throw InvalidFunction("ValSelFunction::ValSelFunction");
\n
120 }
\n
121 template<class View>
\n
122 forceinline
\n
\n
123 ValSelFunction<View>::ValSelFunction(Space& home, ValSelFunction<View>& vs)
\n-
124 : ValSel<View,Val>(home,vs), v(vs.v) {
\n+
124 : ValSel<View,Val>(home,vs), v(vs.v) {
\n
125 }
\n
\n
126 template<class View>
\n
127 forceinline typename ValSelFunction<View>::Val
\n
\n-
128 ValSelFunction<View>::val(const Space& home, View x, int i) {
\n+
128 ValSelFunction<View>::val(const Space& home, View x, int i) {
\n
129 typename View::VarType y(x.varimp());
\n
130 GECODE_VALID_FUNCTION(v());
\n
131 return v()(home,y,i);
\n
132 }
\n
\n
133 template<class View>
\n
134 forceinline bool
\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -102,19 +102,19 @@\n 117 : _\bV_\ba_\bl_\bS_\be_\bl(home,vb), v(vb.val()) {\n 118 if (!v())\n 119 throw _\bI_\bn_\bv_\ba_\bl_\bi_\bd_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn(\"ValSelFunction::ValSelFunction\");\n 120 }\n 121 template\n 122 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b1_\b2_\b3 _\bV_\ba_\bl_\bS_\be_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl_\bS_\be_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn(_\bS_\bp_\ba_\bc_\be& home, _\bV_\ba_\bl_\bS_\be_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>& vs)\n-124 : _\bV_\ba_\bl_\bS_\be_\bl<_\bV_\bi_\be_\bw,_\bV_\ba_\bl>(home,vs), v(vs.v) {\n+124 : _\bV_\ba_\bl_\bS_\be_\bl(home,vs), v(vs.v) {\n 125 }\n 126 template\n 127 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be typename _\bV_\ba_\bl_\bS_\be_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\ba_\bl\n-_\b1_\b2_\b8 _\bV_\ba_\bl_\bS_\be_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be& home, _\bV_\bi_\be_\bw _\bx, int i) {\n+_\b1_\b2_\b8 _\bV_\ba_\bl_\bS_\be_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bv_\ba_\bl(const _\bS_\bp_\ba_\bc_\be& home, View _\bx, int i) {\n 129 typename View::VarType _\by(_\bx._\bv_\ba_\br_\bi_\bm_\bp());\n 130 _\bG_\bE_\bC_\bO_\bD_\bE_\b__\bV_\bA_\bL_\bI_\bD_\b__\bF_\bU_\bN_\bC_\bT_\bI_\bO_\bN(v());\n 131 return v()(home,_\by,i);\n 132 }\n 133 template\n 134 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be bool\n _\b1_\b3_\b5 _\bV_\ba_\bl_\bS_\be_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bn_\bo_\bt_\bi_\bc_\be(void) const {\n"}]}, {"source1": "./usr/share/doc/libgecode-doc/html/view-sel_8hpp_source.html", "source2": "./usr/share/doc/libgecode-doc/html/view-sel_8hpp_source.html", "unified_diff": "@@ -500,21 +500,21 @@\n
\n
476
\n
477
\n
478 template<class View>
\n
479 forceinline
\n
\n
480 ViewSelRnd<View>::ViewSelRnd(Space& home, const VarBranch<Var>& vb)
\n-
481 : ViewSel<View>(home,vb), r(vb.rnd()) {}
\n+
481 : ViewSel<View>(home,vb), r(vb.rnd()) {}
\n
\n
482 template<class View>
\n
483 forceinline
\n
\n
484 ViewSelRnd<View>::ViewSelRnd(Space& home, ViewSelRnd<View>& vs)
\n-
485 : ViewSel<View>(home,vs), r(vs.r) {}
\n+
485 : ViewSel<View>(home,vs), r(vs.r) {}
\n
\n
486 template<class View>
\n
487 int
\n
\n
488 ViewSelRnd<View>::select(Space&, ViewArray<View>& x, int s) {
\n
489 unsigned int n=1;
\n
490 int j=s;
\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -368,19 +368,19 @@\n 474 return new (home) _\bV_\bi_\be_\bw_\bS_\be_\bl_\bN_\bo_\bn_\be_\b<_\bV_\bi_\be_\bw_\b>(home,*this);\n 475 }\n 476\n 477\n 478 template\n 479 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b4_\b8_\b0 _\bV_\bi_\be_\bw_\bS_\be_\bl_\bR_\bn_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\bi_\be_\bw_\bS_\be_\bl_\bR_\bn_\bd(_\bS_\bp_\ba_\bc_\be& home, const _\bV_\ba_\br_\bB_\br_\ba_\bn_\bc_\bh_\b<_\bV_\ba_\br_\b>& vb)\n-481 : _\bV_\bi_\be_\bw_\bS_\be_\bl(home,vb), _\br(vb.rnd()) {}\n+481 : _\bV_\bi_\be_\bw_\bS_\be_\bl<_\bV_\bi_\be_\bw>(home,vb), _\br(vb.rnd()) {}\n 482 template\n 483 _\bf_\bo_\br_\bc_\be_\bi_\bn_\bl_\bi_\bn_\be\n _\b4_\b8_\b4 _\bV_\bi_\be_\bw_\bS_\be_\bl_\bR_\bn_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bV_\bi_\be_\bw_\bS_\be_\bl_\bR_\bn_\bd(_\bS_\bp_\ba_\bc_\be& home, _\bV_\bi_\be_\bw_\bS_\be_\bl_\bR_\bn_\bd_\b<_\bV_\bi_\be_\bw_\b>& vs)\n-485 : _\bV_\bi_\be_\bw_\bS_\be_\bl(home,vs), _\br(vs._\br) {}\n+485 : _\bV_\bi_\be_\bw_\bS_\be_\bl<_\bV_\bi_\be_\bw>(home,vs), _\br(vs._\br) {}\n 486 template\n 487 int\n _\b4_\b8_\b8 _\bV_\bi_\be_\bw_\bS_\be_\bl_\bR_\bn_\bd_\b<_\bV_\bi_\be_\bw_\b>_\b:_\b:_\bs_\be_\bl_\be_\bc_\bt(_\bS_\bp_\ba_\bc_\be&, _\bV_\bi_\be_\bw_\bA_\br_\br_\ba_\by_\b<_\bV_\bi_\be_\bw_\b>& _\bx, int s) {\n 489 unsigned int _\bn=1;\n 490 int j=s;\n 491 for (int i=s+1; i<_\bx.size(); i++)\n 492 if (!_\bx[i].assigned()) {\n"}]}]}]}]}]}