--- /srv/reproducible-results/rbuild-debian/r-b-build.VCrI2xR7/b1/gecode_6.2.0-7_i386.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.VCrI2xR7/b2/gecode_6.2.0-7_i386.changes ├── Files │ @@ -1,9 +1,9 @@ │ │ ae824a86a64f80e5473144df4984356e 509440 libdevel optional libgecode-dev_6.2.0-7_i386.deb │ - 252e236b8fc72447f2c6af4098ec4bab 11061048 doc optional libgecode-doc_6.2.0-7_all.deb │ + 2ae5f1cf898c634a3cdc154c58437fa5 11053264 doc optional libgecode-doc_6.2.0-7_all.deb │ 324d4411848816d1d3bc57be0125de34 56444056 debug optional libgecode49t64-dbgsym_6.2.0-7_i386.deb │ 718dfd5f7fce8c7b7c88649fdf4c3b28 3174464 libs optional libgecode49t64_6.2.0-7_i386.deb │ 700ce55349280a916d6a045bff33e04e 2552008 debug optional libgecodeflatzinc49t64-dbgsym_6.2.0-7_i386.deb │ a61641d5cf7dacd518a953e032eddcbc 281560 libs optional libgecodeflatzinc49t64_6.2.0-7_i386.deb │ 617c07b6e9e22f8128cae10a74714bcb 3093308 debug optional libgecodegist49t64-dbgsym_6.2.0-7_i386.deb │ 3e3e18936140b89a4e2e41fc32741044 175932 libs optional libgecodegist49t64_6.2.0-7_i386.deb ├── libgecode-doc_6.2.0-7_all.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2025-02-11 17:33:26.000000 debian-binary │ │ --rw-r--r-- 0 0 0 156256 2025-02-11 17:33:26.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 10904600 2025-02-11 17:33:26.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 156276 2025-02-11 17:33:26.000000 control.tar.xz │ │ +-rw-r--r-- 0 0 0 10896796 2025-02-11 17:33:26.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./control │ │ │ │ @@ -1,13 +1,13 @@ │ │ │ │ Package: libgecode-doc │ │ │ │ Source: gecode │ │ │ │ Version: 6.2.0-7 │ │ │ │ Architecture: all │ │ │ │ Maintainer: Kari Pahula │ │ │ │ -Installed-Size: 234762 │ │ │ │ +Installed-Size: 234763 │ │ │ │ Depends: libjs-jquery │ │ │ │ Suggests: libgecode-dev │ │ │ │ Section: doc │ │ │ │ Priority: optional │ │ │ │ Homepage: https://www.gecode.org/ │ │ │ │ Description: generic constraint development environment │ │ │ │ Gecode is a toolkit for developing constraint-based systems and │ │ │ ├── ./md5sums │ │ │ │ ├── ./md5sums │ │ │ │ │┄ Files differ │ ├── data.tar.xz │ │ ├── data.tar │ │ │ ├── file list │ │ │ │ @@ -5008,15 +5008,15 @@ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 3513 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2array_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 63039 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2array_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4940 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2bool_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 16838 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2bool_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 10944 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 58122 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 16366 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh.html │ │ │ │ --rw-r--r-- 0 root (0) root (0) 95492 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh_source.html │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 95995 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4647 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2int_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 53730 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2int_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4515 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2set_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 50244 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2set_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 7021 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 28622 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 5869 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/gecode_2set_2convex_8cpp.html │ │ │ │ @@ -5602,23 +5602,23 @@ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4339 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2afc_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 40615 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2afc_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 3619 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 18641 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 6544 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 135052 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 6839 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2merit_8hpp.html │ │ │ │ --rw-r--r-- 0 root (0) root (0) 88144 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2merit_8hpp_source.html │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 89164 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2merit_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 6368 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2print_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 48730 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2print_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4200 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2traits_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 9806 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2traits_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4737 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-commit_8hpp.html │ │ │ │ --rw-r--r-- 0 root (0) root (0) 52268 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-commit_8hpp_source.html │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 52778 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-commit_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4706 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-sel_8hpp.html │ │ │ │ --rw-r--r-- 0 root (0) root (0) 42325 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-sel_8hpp_source.html │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 42523 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-sel_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4189 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2val_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 29475 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2val_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 5278 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2var_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 65617 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2var_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 5137 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2view_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 66535 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2branch_2view_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 32308 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/kernel_2data_2array_8hpp.html │ │ │ │ @@ -6962,15 +6962,15 @@ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4474 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-eq_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 46713 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-eq_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4474 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-gq_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 43307 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-gq_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4474 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-lq_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 37185 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-lq_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 9269 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-sel_8hpp.html │ │ │ │ --rw-r--r-- 0 root (0) root (0) 249095 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-sel_8hpp_source.html │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 249495 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-sel_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4749 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-val-graph_2graph_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 61712 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-val-graph_2graph_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 10161 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-val-graph_8hh.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 93781 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-val-graph_8hh_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 6979 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-val_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 118085 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-val_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4637 2025-02-11 17:33:26.000000 ./usr/share/doc/libgecode-dev/html/view-values_8cpp.html │ │ │ ├── ./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh_source.html │ │ │ │ @@ -282,27 +282,27 @@ │ │ │ │
341
│ │ │ │
│ │ │ │
360 class ValCommitInc : public ValCommit<SetView,int> {
│ │ │ │
361 public:
│ │ │ │
363 ValCommitInc(Space& home, const ValBranch<Var>& vb);
│ │ │ │
365 ValCommitInc(Space& home, ValCommitInc& vc);
│ │ │ │
367 ModEvent commit(Space& home, unsigned int a, SetView x, int i, int n);
│ │ │ │ -
369 NGL* ngl(Space& home, unsigned int a, View x, int n) const;
│ │ │ │ +
369 NGL* ngl(Space& home, unsigned int a, View x, int n) const;
│ │ │ │
371 void print(const Space& home, unsigned int a, SetView x, int i, int n,
│ │ │ │
372 std::ostream& o) const;
│ │ │ │
373 };
│ │ │ │
│ │ │ │
374
│ │ │ │
│ │ │ │
381 class ValCommitExc : public ValCommit<SetView,int> {
│ │ │ │
382 public:
│ │ │ │
384 ValCommitExc(Space& home, const ValBranch<Var>& vb);
│ │ │ │
386 ValCommitExc(Space& home, ValCommitExc& vc);
│ │ │ │
388 ModEvent commit(Space& home, unsigned int a, SetView x, int i, int n);
│ │ │ │ -
390 NGL* ngl(Space& home, unsigned int a, View x, int n) const;
│ │ │ │ +
390 NGL* ngl(Space& home, unsigned int a, View x, int n) const;
│ │ │ │
392 void print(const Space& home, unsigned int a, SetView x, int i, int n,
│ │ │ │
393 std::ostream& o) const;
│ │ │ │
394 };
│ │ │ │
│ │ │ │
395
│ │ │ │
396}}}
│ │ │ │
397
│ │ │ │ @@ -383,14 +383,15 @@ │ │ │ │
Gecode::Set::Branch::ValSelRnd::r
Rnd r
The used random number generator.
Definition branch.hh:280
│ │ │ │
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
│ │ │ │
Gecode::Set::Branch::ValSelRnd::dispose
void dispose(Space &home)
Delete value selection.
Definition val-sel.hpp:116
│ │ │ │
Gecode::Set::SetView
Set view for set variables
Definition view.hpp:56
│ │ │ │
Gecode::Space
Computation spaces.
Definition core.hpp:1742
│ │ │ │
Gecode::ValBranch
Value branching information.
Definition val.hpp:41
│ │ │ │
Gecode::ValCommit
Base class for value commit.
Definition val-commit.hpp:44
│ │ │ │ +
Gecode::ValCommit< SetView, int >::View
SetView View
View type.
Definition val-commit.hpp:47
│ │ │ │
Gecode::ValSel
Base class for value selection.
Definition val-sel.hpp:44
│ │ │ │
Gecode::VarBranch
Variable branching information.
Definition var.hpp:55
│ │ │ │
Gecode::ViewValNGL
View-value no-good literal.
Definition view-val.hpp:61
│ │ │ │
Gecode::ViewValNGL< SetView, int, PC_SET_ANY >::x
SetView x
The stored view.
Definition view-val.hpp:64
│ │ │ │
Gecode::ViewValNGL< SetView, int, PC_SET_ANY >::n
int n
The stored value.
Definition view-val.hpp:66
│ │ │ │
set.hh
│ │ │ │
GECODE_SET_EXPORT
#define GECODE_SET_EXPORT
Definition set.hh:67
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -458,14 +458,18 @@ │ │ │ │ │ DDeeffiinniittiioonn _c_o_r_e_._h_p_p_:_1_7_4_2 │ │ │ │ │ _G_e_c_o_d_e_:_:_V_a_l_B_r_a_n_c_h │ │ │ │ │ Value branching information. │ │ │ │ │ DDeeffiinniittiioonn _v_a_l_._h_p_p_:_4_1 │ │ │ │ │ _G_e_c_o_d_e_:_:_V_a_l_C_o_m_m_i_t │ │ │ │ │ Base class for value commit. │ │ │ │ │ DDeeffiinniittiioonn _v_a_l_-_c_o_m_m_i_t_._h_p_p_:_4_4 │ │ │ │ │ +_G_e_c_o_d_e_:_:_V_a_l_C_o_m_m_i_t_<_ _S_e_t_V_i_e_w_,_ _i_n_t_ _>_:_:_V_i_e_w │ │ │ │ │ +SetView View │ │ │ │ │ +View type. │ │ │ │ │ +DDeeffiinniittiioonn _v_a_l_-_c_o_m_m_i_t_._h_p_p_:_4_7 │ │ │ │ │ _G_e_c_o_d_e_:_:_V_a_l_S_e_l │ │ │ │ │ Base class for value selection. │ │ │ │ │ DDeeffiinniittiioonn _v_a_l_-_s_e_l_._h_p_p_:_4_4 │ │ │ │ │ _G_e_c_o_d_e_:_:_V_a_r_B_r_a_n_c_h │ │ │ │ │ Variable branching information. │ │ │ │ │ DDeeffiinniittiioonn _v_a_r_._h_p_p_:_5_5 │ │ │ │ │ _G_e_c_o_d_e_:_:_V_i_e_w_V_a_l_N_G_L │ │ │ ├── ./usr/share/doc/libgecode-dev/html/kernel_2branch_2merit_8hpp_source.html │ │ │ │ @@ -220,21 +220,21 @@ │ │ │ │
195 if (!f())
│ │ │ │
196 throw InvalidFunction("MeritFunction::MeritFunction");
│ │ │ │
197 }
│ │ │ │
198 template<class View>
│ │ │ │
199 forceinline
│ │ │ │
│ │ │ │
200 MeritFunction<View>::MeritFunction(Space& home, MeritFunction& mf)
│ │ │ │ -
201 : MeritBase<View,double>(home,mf), f(mf.f) {
│ │ │ │ +
201 : MeritBase<View,double>(home,mf), f(mf.f) {
│ │ │ │
202 }
│ │ │ │
│ │ │ │
203 template<class View>
│ │ │ │
204 forceinline double
│ │ │ │
│ │ │ │ -
205 MeritFunction<View>::operator ()(const Space& home, View x, int i) {
│ │ │ │ +
205 MeritFunction<View>::operator ()(const Space& home, View x, int i) {
│ │ │ │
206 typename View::VarType y(x.varimp());
│ │ │ │
207 GECODE_VALID_FUNCTION(f());
│ │ │ │
208 return f()(home,y,i);
│ │ │ │
209 }
│ │ │ │
│ │ │ │
210 template<class View>
│ │ │ │
211 forceinline bool
│ │ │ │ @@ -258,40 +258,40 @@ │ │ │ │
225 MeritDegree<View>::MeritDegree
│ │ │ │
226 (Space& home, const VarBranch<MeritDegree<View>::Var>& vb)
│ │ │ │
227 : MeritBase<View,unsigned int>(home,vb) {}
│ │ │ │
228 template<class View>
│ │ │ │
229 forceinline
│ │ │ │
│ │ │ │
230 MeritDegree<View>::MeritDegree(Space& home, MeritDegree& md)
│ │ │ │ -
231 : MeritBase<View,unsigned int>(home,md) {}
│ │ │ │ +
231 : MeritBase<View,unsigned int>(home,md) {}
│ │ │ │
│ │ │ │
232 template<class View>
│ │ │ │
233 forceinline unsigned int
│ │ │ │
│ │ │ │ -
234 MeritDegree<View>::operator ()(const Space&, View x, int) {
│ │ │ │ +
234 MeritDegree<View>::operator ()(const Space&, View x, int) {
│ │ │ │
235 return x.degree();
│ │ │ │
236 }
│ │ │ │
│ │ │ │
237
│ │ │ │
238 // AFC merit
│ │ │ │
239 template<class View>
│ │ │ │
240 forceinline
│ │ │ │
241 MeritAFC<View>::MeritAFC
│ │ │ │
242 (Space& home, const VarBranch<MeritAFC<View>::Var>& vb)
│ │ │ │
243 : MeritBase<View,double>(home,vb), afc(vb.afc()) {}
│ │ │ │
244 template<class View>
│ │ │ │
245 forceinline
│ │ │ │
│ │ │ │
246 MeritAFC<View>::MeritAFC(Space& home, MeritAFC& ma)
│ │ │ │ -
247 : MeritBase<View,double>(home,ma), afc(ma.afc) {}
│ │ │ │ +
247 : MeritBase<View,double>(home,ma), afc(ma.afc) {}
│ │ │ │
│ │ │ │
248 template<class View>
│ │ │ │
249 forceinline double
│ │ │ │
│ │ │ │ -
250 MeritAFC<View>::operator ()(const Space&, View x, int) {
│ │ │ │ +
250 MeritAFC<View>::operator ()(const Space&, View x, int) {
│ │ │ │
251 return x.afc();
│ │ │ │
252 }
│ │ │ │
│ │ │ │
253 template<class View>
│ │ │ │
254 forceinline bool
│ │ │ │
│ │ │ │
255 MeritAFC<View>::notice(void) const {
│ │ │ │ @@ -315,20 +315,20 @@ │ │ │ │
270 MeritAction<View>::MeritAction
│ │ │ │
271 (Space& home, const VarBranch<MeritAction<View>::Var>& vb)
│ │ │ │
272 : MeritBase<View,double>(home,vb), action(vb.action()) {}
│ │ │ │
273 template<class View>
│ │ │ │
274 forceinline
│ │ │ │
│ │ │ │
275 MeritAction<View>::MeritAction(Space& home, MeritAction& ma)
│ │ │ │ -
276 : MeritBase<View,double>(home,ma), action(ma.action) {}
│ │ │ │ +
276 : MeritBase<View,double>(home,ma), action(ma.action) {}
│ │ │ │
│ │ │ │
277 template<class View>
│ │ │ │
278 forceinline double
│ │ │ │
│ │ │ │ -
279 MeritAction<View>::operator ()(const Space&, View, int i) {
│ │ │ │ +
279 MeritAction<View>::operator ()(const Space&, View, int i) {
│ │ │ │
280 return action[i];
│ │ │ │
281 }
│ │ │ │
│ │ │ │
282 template<class View>
│ │ │ │
283 forceinline bool
│ │ │ │
│ │ │ │
284 MeritAction<View>::notice(void) const {
│ │ │ │ @@ -349,20 +349,20 @@ │ │ │ │
296 MeritCHB<View>::MeritCHB
│ │ │ │
297 (Space& home, const VarBranch<MeritCHB<View>::Var>& vb)
│ │ │ │
298 : MeritBase<View,double>(home,vb), chb(vb.chb()) {}
│ │ │ │
299 template<class View>
│ │ │ │
300 forceinline
│ │ │ │
│ │ │ │
301 MeritCHB<View>::MeritCHB(Space& home, MeritCHB& ma)
│ │ │ │ -
302 : MeritBase<View,double>(home,ma), chb(ma.chb) {}
│ │ │ │ +
302 : MeritBase<View,double>(home,ma), chb(ma.chb) {}
│ │ │ │
│ │ │ │
303 template<class View>
│ │ │ │
304 forceinline double
│ │ │ │
│ │ │ │ -
305 MeritCHB<View>::operator ()(const Space&, View, int i) {
│ │ │ │ +
305 MeritCHB<View>::operator ()(const Space&, View, int i) {
│ │ │ │
306 return chb[i];
│ │ │ │
307 }
│ │ │ │
│ │ │ │
308 template<class View>
│ │ │ │
309 forceinline bool
│ │ │ │
│ │ │ │
310 MeritCHB<View>::notice(void) const {
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -142,19 +142,19 @@ │ │ │ │ │ 194 : _M_e_r_i_t_B_a_s_e(home,vb), f(vb.merit()) { │ │ │ │ │ 195 if (!f()) │ │ │ │ │ 196 throw _I_n_v_a_l_i_d_F_u_n_c_t_i_o_n("MeritFunction::MeritFunction"); │ │ │ │ │ 197 } │ │ │ │ │ 198 template │ │ │ │ │ 199 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _2_0_0 _M_e_r_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_M_e_r_i_t_F_u_n_c_t_i_o_n(_S_p_a_c_e& home, _M_e_r_i_t_F_u_n_c_t_i_o_n& mf) │ │ │ │ │ -201 : _M_e_r_i_t_B_a_s_e(home,mf), f(mf.f) { │ │ │ │ │ +201 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(home,mf), f(mf.f) { │ │ │ │ │ 202 } │ │ │ │ │ 203 template │ │ │ │ │ 204 _f_o_r_c_e_i_n_l_i_n_e double │ │ │ │ │ -_2_0_5 _M_e_r_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e& home, View _x, int i) { │ │ │ │ │ +_2_0_5 _M_e_r_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e& home, _V_i_e_w _x, int i) { │ │ │ │ │ 206 typename View::VarType _y(_x._v_a_r_i_m_p()); │ │ │ │ │ 207 _G_E_C_O_D_E___V_A_L_I_D___F_U_N_C_T_I_O_N(f()); │ │ │ │ │ 208 return f()(home,_y,i); │ │ │ │ │ 209 } │ │ │ │ │ 210 template │ │ │ │ │ 211 _f_o_r_c_e_i_n_l_i_n_e bool │ │ │ │ │ _2_1_2 _M_e_r_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_n_o_t_i_c_e(void) const { │ │ │ │ │ @@ -172,34 +172,34 @@ │ │ │ │ │ 224 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 225 _M_e_r_i_t_D_e_g_r_e_e_<_V_i_e_w_>_:_:_M_e_r_i_t_D_e_g_r_e_e │ │ │ │ │ 226 (_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h<_M_e_r_i_t_D_e_g_r_e_e_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 227 : _M_e_r_i_t_B_a_s_e(home,vb) {} │ │ │ │ │ 228 template │ │ │ │ │ 229 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _2_3_0 _M_e_r_i_t_D_e_g_r_e_e_<_V_i_e_w_>_:_:_M_e_r_i_t_D_e_g_r_e_e(_S_p_a_c_e& home, _M_e_r_i_t_D_e_g_r_e_e& md) │ │ │ │ │ -231 : _M_e_r_i_t_B_a_s_e(home,md) {} │ │ │ │ │ +231 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,unsigned int>(home,md) {} │ │ │ │ │ 232 template │ │ │ │ │ 233 _f_o_r_c_e_i_n_l_i_n_e unsigned int │ │ │ │ │ -_2_3_4 _M_e_r_i_t_D_e_g_r_e_e_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ +_2_3_4 _M_e_r_i_t_D_e_g_r_e_e_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, _V_i_e_w _x, int) { │ │ │ │ │ 235 return _x._d_e_g_r_e_e(); │ │ │ │ │ 236 } │ │ │ │ │ 237 │ │ │ │ │ 238 // AFC merit │ │ │ │ │ 239 template │ │ │ │ │ 240 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 241 _M_e_r_i_t_A_F_C_<_V_i_e_w_>_:_:_M_e_r_i_t_A_F_C │ │ │ │ │ 242 (_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h<_M_e_r_i_t_A_F_C_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 243 : _M_e_r_i_t_B_a_s_e(home,vb), afc(vb.afc()) {} │ │ │ │ │ 244 template │ │ │ │ │ 245 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _2_4_6 _M_e_r_i_t_A_F_C_<_V_i_e_w_>_:_:_M_e_r_i_t_A_F_C(_S_p_a_c_e& home, _M_e_r_i_t_A_F_C& ma) │ │ │ │ │ -247 : _M_e_r_i_t_B_a_s_e(home,ma), afc(ma.afc) {} │ │ │ │ │ +247 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(home,ma), afc(ma.afc) {} │ │ │ │ │ 248 template │ │ │ │ │ 249 _f_o_r_c_e_i_n_l_i_n_e double │ │ │ │ │ -_2_5_0 _M_e_r_i_t_A_F_C_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ +_2_5_0 _M_e_r_i_t_A_F_C_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, _V_i_e_w _x, int) { │ │ │ │ │ 251 return _x._a_f_c(); │ │ │ │ │ 252 } │ │ │ │ │ 253 template │ │ │ │ │ 254 _f_o_r_c_e_i_n_l_i_n_e bool │ │ │ │ │ _2_5_5 _M_e_r_i_t_A_F_C_<_V_i_e_w_>_:_:_n_o_t_i_c_e(void) const { │ │ │ │ │ 256 // Given that AFC is just a fake, this not really necessary │ │ │ │ │ 257 return false; │ │ │ │ │ @@ -217,18 +217,18 @@ │ │ │ │ │ 269 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 270 _M_e_r_i_t_A_c_t_i_o_n_<_V_i_e_w_>_:_:_M_e_r_i_t_A_c_t_i_o_n │ │ │ │ │ 271 (_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h<_M_e_r_i_t_A_c_t_i_o_n_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 272 : _M_e_r_i_t_B_a_s_e(home,vb), action(vb.action()) {} │ │ │ │ │ 273 template │ │ │ │ │ 274 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _2_7_5 _M_e_r_i_t_A_c_t_i_o_n_<_V_i_e_w_>_:_:_M_e_r_i_t_A_c_t_i_o_n(_S_p_a_c_e& home, _M_e_r_i_t_A_c_t_i_o_n& ma) │ │ │ │ │ -276 : _M_e_r_i_t_B_a_s_e(home,ma), action(ma.action) {} │ │ │ │ │ +276 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(home,ma), action(ma.action) {} │ │ │ │ │ 277 template │ │ │ │ │ 278 _f_o_r_c_e_i_n_l_i_n_e double │ │ │ │ │ -_2_7_9 _M_e_r_i_t_A_c_t_i_o_n_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View, int i) { │ │ │ │ │ +_2_7_9 _M_e_r_i_t_A_c_t_i_o_n_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, _V_i_e_w, int i) { │ │ │ │ │ 280 return action[i]; │ │ │ │ │ 281 } │ │ │ │ │ 282 template │ │ │ │ │ 283 _f_o_r_c_e_i_n_l_i_n_e bool │ │ │ │ │ _2_8_4 _M_e_r_i_t_A_c_t_i_o_n_<_V_i_e_w_>_:_:_n_o_t_i_c_e(void) const { │ │ │ │ │ 285 return true; │ │ │ │ │ 286 } │ │ │ │ │ @@ -243,18 +243,18 @@ │ │ │ │ │ 295 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 296 _M_e_r_i_t_C_H_B_<_V_i_e_w_>_:_:_M_e_r_i_t_C_H_B │ │ │ │ │ 297 (_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h<_M_e_r_i_t_C_H_B_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 298 : _M_e_r_i_t_B_a_s_e(home,vb), chb(vb.chb()) {} │ │ │ │ │ 299 template │ │ │ │ │ 300 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _3_0_1 _M_e_r_i_t_C_H_B_<_V_i_e_w_>_:_:_M_e_r_i_t_C_H_B(_S_p_a_c_e& home, _M_e_r_i_t_C_H_B& ma) │ │ │ │ │ -302 : _M_e_r_i_t_B_a_s_e(home,ma), chb(ma.chb) {} │ │ │ │ │ +302 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(home,ma), chb(ma.chb) {} │ │ │ │ │ 303 template │ │ │ │ │ 304 _f_o_r_c_e_i_n_l_i_n_e double │ │ │ │ │ -_3_0_5 _M_e_r_i_t_C_H_B_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View, int i) { │ │ │ │ │ +_3_0_5 _M_e_r_i_t_C_H_B_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, _V_i_e_w, int i) { │ │ │ │ │ 306 return chb[i]; │ │ │ │ │ 307 } │ │ │ │ │ 308 template │ │ │ │ │ 309 _f_o_r_c_e_i_n_l_i_n_e bool │ │ │ │ │ _3_1_0 _M_e_r_i_t_C_H_B_<_V_i_e_w_>_:_:_n_o_t_i_c_e(void) const { │ │ │ │ │ 311 return true; │ │ │ │ │ 312 } │ │ │ ├── ./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-commit_8hpp_source.html │ │ │ │ @@ -166,50 +166,50 @@ │ │ │ │
114
│ │ │ │
115 // User-defined value selection
│ │ │ │
116 template<class View>
│ │ │ │
117 forceinline
│ │ │ │
│ │ │ │
118 ValCommitFunction<View>::ValCommitFunction(Space& home,
│ │ │ │
119 const ValBranch<Var>& vb)
│ │ │ │ -
120 : ValCommit<View,Val>(home,vb), c(vb.commit()) {
│ │ │ │ +
120 : ValCommit<View,Val>(home,vb), c(vb.commit()) {
│ │ │ │
121 if (!c())
│ │ │ │
122 throw InvalidFunction("ValCommitFunction::ValCommitFunction");
│ │ │ │
123 }
│ │ │ │
│ │ │ │
124 template<class View>
│ │ │ │
125 forceinline
│ │ │ │
│ │ │ │
126 ValCommitFunction<View>::ValCommitFunction(Space& home,
│ │ │ │
127 ValCommitFunction<View>& vc)
│ │ │ │ -
128 : ValCommit<View,Val>(home,vc), c(vc.c) {
│ │ │ │ +
128 : ValCommit<View,Val>(home,vc), c(vc.c) {
│ │ │ │
129 }
│ │ │ │
│ │ │ │
130 template<class View>
│ │ │ │
131 forceinline ModEvent
│ │ │ │
│ │ │ │ -
132 ValCommitFunction<View>::commit(Space& home, unsigned int a, View x, int i,
│ │ │ │ +
132 ValCommitFunction<View>::commit(Space& home, unsigned int a, View x, int i,
│ │ │ │
133 Val n) {
│ │ │ │
134 typename View::VarType y(x.varimp());
│ │ │ │
135 GECODE_VALID_FUNCTION(c());
│ │ │ │
136 c()(home,a,y,i,n);
│ │ │ │
137 return home.failed() ? ES_FAILED : ES_OK;
│ │ │ │
138 }
│ │ │ │
│ │ │ │
139 template<class View>
│ │ │ │
140 forceinline NGL*
│ │ │ │
│ │ │ │ -
141 ValCommitFunction<View>::ngl(Space&, unsigned int, View, Val) const {
│ │ │ │ +
141 ValCommitFunction<View>::ngl(Space&, unsigned int, View, Val) const {
│ │ │ │
142 return NULL;
│ │ │ │
143 }
│ │ │ │
│ │ │ │
144 template<class View>
│ │ │ │
145 forceinline void
│ │ │ │
│ │ │ │
146 ValCommitFunction<View>::print(const Space&, unsigned int,
│ │ │ │ -
147 View, int i, const Val&,
│ │ │ │ +
147 View, int i, const Val&,
│ │ │ │
148 std::ostream& o) const {
│ │ │ │
149 o << "var[" << i << "] is user-defined.";
│ │ │ │
150 }
│ │ │ │
│ │ │ │
151 template<class View>
│ │ │ │
152 forceinline bool
│ │ │ │
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -96,42 +96,42 @@ │ │ │ │ │ 113 │ │ │ │ │ 114 │ │ │ │ │ 115 // User-defined value selection │ │ │ │ │ 116 template │ │ │ │ │ 117 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _1_1_8 _V_a_l_C_o_m_m_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_V_a_l_C_o_m_m_i_t_F_u_n_c_t_i_o_n(_S_p_a_c_e& home, │ │ │ │ │ 119 const _V_a_l_B_r_a_n_c_h_<_V_a_r_>& vb) │ │ │ │ │ -120 : _V_a_l_C_o_m_m_i_t(home,vb), c(vb.commit()) { │ │ │ │ │ +120 : _V_a_l_C_o_m_m_i_t<_V_i_e_w,Val>(home,vb), c(vb.commit()) { │ │ │ │ │ 121 if (!_c()) │ │ │ │ │ 122 throw _I_n_v_a_l_i_d_F_u_n_c_t_i_o_n("ValCommitFunction::ValCommitFunction"); │ │ │ │ │ 123 } │ │ │ │ │ 124 template │ │ │ │ │ 125 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _1_2_6 _V_a_l_C_o_m_m_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_V_a_l_C_o_m_m_i_t_F_u_n_c_t_i_o_n(_S_p_a_c_e& home, │ │ │ │ │ 127 _V_a_l_C_o_m_m_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>& vc) │ │ │ │ │ -128 : _V_a_l_C_o_m_m_i_t(home,vc), c(vc.c) { │ │ │ │ │ +128 : _V_a_l_C_o_m_m_i_t<_V_i_e_w,Val>(home,vc), c(vc.c) { │ │ │ │ │ 129 } │ │ │ │ │ 130 template │ │ │ │ │ 131 _f_o_r_c_e_i_n_l_i_n_e _M_o_d_E_v_e_n_t │ │ │ │ │ -_1_3_2 _V_a_l_C_o_m_m_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_c_o_m_m_i_t(_S_p_a_c_e& home, unsigned int _a, View _x, int i, │ │ │ │ │ +_1_3_2 _V_a_l_C_o_m_m_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_c_o_m_m_i_t(_S_p_a_c_e& home, unsigned int _a, _V_i_e_w _x, int i, │ │ │ │ │ 133 Val _n) { │ │ │ │ │ 134 typename View::VarType _y(_x._v_a_r_i_m_p()); │ │ │ │ │ 135 _G_E_C_O_D_E___V_A_L_I_D___F_U_N_C_T_I_O_N(c()); │ │ │ │ │ 136 c()(home,_a,_y,i,_n); │ │ │ │ │ 137 return home._f_a_i_l_e_d() ? _E_S___F_A_I_L_E_D : _E_S___O_K; │ │ │ │ │ 138 } │ │ │ │ │ 139 template │ │ │ │ │ 140 _f_o_r_c_e_i_n_l_i_n_e _N_G_L* │ │ │ │ │ -_1_4_1 _V_a_l_C_o_m_m_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_n_g_l(_S_p_a_c_e&, unsigned int, View, Val) const { │ │ │ │ │ +_1_4_1 _V_a_l_C_o_m_m_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_n_g_l(_S_p_a_c_e&, unsigned int, _V_i_e_w, Val) const { │ │ │ │ │ 142 return NULL; │ │ │ │ │ 143 } │ │ │ │ │ 144 template │ │ │ │ │ 145 _f_o_r_c_e_i_n_l_i_n_e void │ │ │ │ │ _1_4_6 _V_a_l_C_o_m_m_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_p_r_i_n_t(const _S_p_a_c_e&, unsigned int, │ │ │ │ │ -147 View, int i, const Val&, │ │ │ │ │ +147 _V_i_e_w, int i, const Val&, │ │ │ │ │ 148 std::ostream& o) const { │ │ │ │ │ 149 o << "var[" << i << "] is user-defined."; │ │ │ │ │ 150 } │ │ │ │ │ 151 template │ │ │ │ │ 152 _f_o_r_c_e_i_n_l_i_n_e bool │ │ │ │ │ _1_5_3 _V_a_l_C_o_m_m_i_t_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_n_o_t_i_c_e(void) const { │ │ │ │ │ 154 return true; │ │ │ ├── ./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-sel_8hpp_source.html │ │ │ │ @@ -172,21 +172,21 @@ │ │ │ │
118 if (!v())
│ │ │ │
119 throw InvalidFunction("ValSelFunction::ValSelFunction");
│ │ │ │
120 }
│ │ │ │
121 template<class View>
│ │ │ │
122 forceinline
│ │ │ │
│ │ │ │
123 ValSelFunction<View>::ValSelFunction(Space& home, ValSelFunction<View>& vs)
│ │ │ │ -
124 : ValSel<View,Val>(home,vs), v(vs.v) {
│ │ │ │ +
124 : ValSel<View,Val>(home,vs), v(vs.v) {
│ │ │ │
125 }
│ │ │ │
│ │ │ │
126 template<class View>
│ │ │ │
127 forceinline typename ValSelFunction<View>::Val
│ │ │ │
│ │ │ │ -
128 ValSelFunction<View>::val(const Space& home, View x, int i) {
│ │ │ │ +
128 ValSelFunction<View>::val(const Space& home, View x, int i) {
│ │ │ │
129 typename View::VarType y(x.varimp());
│ │ │ │
130 GECODE_VALID_FUNCTION(v());
│ │ │ │
131 return v()(home,y,i);
│ │ │ │
132 }
│ │ │ │
│ │ │ │
133 template<class View>
│ │ │ │
134 forceinline bool
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -102,19 +102,19 @@ │ │ │ │ │ 117 : _V_a_l_S_e_l(home,vb), v(vb.val()) { │ │ │ │ │ 118 if (!v()) │ │ │ │ │ 119 throw _I_n_v_a_l_i_d_F_u_n_c_t_i_o_n("ValSelFunction::ValSelFunction"); │ │ │ │ │ 120 } │ │ │ │ │ 121 template │ │ │ │ │ 122 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _1_2_3 _V_a_l_S_e_l_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_V_a_l_S_e_l_F_u_n_c_t_i_o_n(_S_p_a_c_e& home, _V_a_l_S_e_l_F_u_n_c_t_i_o_n_<_V_i_e_w_>& vs) │ │ │ │ │ -124 : _V_a_l_S_e_l(home,vs), v(vs.v) { │ │ │ │ │ +124 : _V_a_l_S_e_l<_V_i_e_w,_V_a_l>(home,vs), v(vs.v) { │ │ │ │ │ 125 } │ │ │ │ │ 126 template │ │ │ │ │ 127 _f_o_r_c_e_i_n_l_i_n_e typename _V_a_l_S_e_l_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_V_a_l │ │ │ │ │ -_1_2_8 _V_a_l_S_e_l_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e& home, View _x, int i) { │ │ │ │ │ +_1_2_8 _V_a_l_S_e_l_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e& home, _V_i_e_w _x, int i) { │ │ │ │ │ 129 typename View::VarType _y(_x._v_a_r_i_m_p()); │ │ │ │ │ 130 _G_E_C_O_D_E___V_A_L_I_D___F_U_N_C_T_I_O_N(v()); │ │ │ │ │ 131 return v()(home,_y,i); │ │ │ │ │ 132 } │ │ │ │ │ 133 template │ │ │ │ │ 134 _f_o_r_c_e_i_n_l_i_n_e bool │ │ │ │ │ _1_3_5 _V_a_l_S_e_l_F_u_n_c_t_i_o_n_<_V_i_e_w_>_:_:_n_o_t_i_c_e(void) const { │ │ │ ├── ./usr/share/doc/libgecode-dev/html/view-sel_8hpp_source.html │ │ │ │ @@ -423,21 +423,21 @@ │ │ │ │
416
│ │ │ │
417
│ │ │ │
418
│ │ │ │
419 template<class View>
│ │ │ │
420 forceinline
│ │ │ │
│ │ │ │
421 ViewSelNone<View>::ViewSelNone(Space& home, const VarBranch<Var>& vb)
│ │ │ │ -
422 : ViewSel<View>(home,vb) {}
│ │ │ │ +
422 : ViewSel<View>(home,vb) {}
│ │ │ │
│ │ │ │
423 template<class View>
│ │ │ │
424 forceinline
│ │ │ │
│ │ │ │
425 ViewSelNone<View>::ViewSelNone(Space& home, ViewSelNone<View>& vs)
│ │ │ │ -
426 : ViewSel<View>(home,vs) {}
│ │ │ │ +
426 : ViewSel<View>(home,vs) {}
│ │ │ │
│ │ │ │
427 template<class View>
│ │ │ │
428 int
│ │ │ │
│ │ │ │
429 ViewSelNone<View>::select(Space&, ViewArray<View>&, int s) {
│ │ │ │
430 return s;
│ │ │ │
431 }
│ │ │ │ @@ -500,21 +500,21 @@ │ │ │ │
│ │ │ │
476
│ │ │ │
477
│ │ │ │
478 template<class View>
│ │ │ │
479 forceinline
│ │ │ │
│ │ │ │
480 ViewSelRnd<View>::ViewSelRnd(Space& home, const VarBranch<Var>& vb)
│ │ │ │ -
481 : ViewSel<View>(home,vb), r(vb.rnd()) {}
│ │ │ │ +
481 : ViewSel<View>(home,vb), r(vb.rnd()) {}
│ │ │ │
│ │ │ │
482 template<class View>
│ │ │ │
483 forceinline
│ │ │ │
│ │ │ │
484 ViewSelRnd<View>::ViewSelRnd(Space& home, ViewSelRnd<View>& vs)
│ │ │ │ -
485 : ViewSel<View>(home,vs), r(vs.r) {}
│ │ │ │ +
485 : ViewSel<View>(home,vs), r(vs.r) {}
│ │ │ │
│ │ │ │
486 template<class View>
│ │ │ │
487 int
│ │ │ │
│ │ │ │
488 ViewSelRnd<View>::select(Space&, ViewArray<View>& x, int s) {
│ │ │ │
489 unsigned int n=1;
│ │ │ │
490 int j=s;
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -309,19 +309,19 @@ │ │ │ │ │ 415 } │ │ │ │ │ 416 │ │ │ │ │ 417 │ │ │ │ │ 418 │ │ │ │ │ 419 template │ │ │ │ │ 420 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _4_2_1 _V_i_e_w_S_e_l_N_o_n_e_<_V_i_e_w_>_:_:_V_i_e_w_S_e_l_N_o_n_e(_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h_<_V_a_r_>& vb) │ │ │ │ │ -422 : _V_i_e_w_S_e_l(home,vb) {} │ │ │ │ │ +422 : _V_i_e_w_S_e_l<_V_i_e_w>(home,vb) {} │ │ │ │ │ 423 template │ │ │ │ │ 424 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _4_2_5 _V_i_e_w_S_e_l_N_o_n_e_<_V_i_e_w_>_:_:_V_i_e_w_S_e_l_N_o_n_e(_S_p_a_c_e& home, _V_i_e_w_S_e_l_N_o_n_e_<_V_i_e_w_>& vs) │ │ │ │ │ -426 : _V_i_e_w_S_e_l(home,vs) {} │ │ │ │ │ +426 : _V_i_e_w_S_e_l<_V_i_e_w>(home,vs) {} │ │ │ │ │ 427 template │ │ │ │ │ 428 int │ │ │ │ │ _4_2_9 _V_i_e_w_S_e_l_N_o_n_e_<_V_i_e_w_>_:_:_s_e_l_e_c_t(_S_p_a_c_e&, _V_i_e_w_A_r_r_a_y_<_V_i_e_w_>&, int s) { │ │ │ │ │ 430 return s; │ │ │ │ │ 431 } │ │ │ │ │ 432 template │ │ │ │ │ 433 int │ │ │ │ │ @@ -368,19 +368,19 @@ │ │ │ │ │ 474 return new (home) _V_i_e_w_S_e_l_N_o_n_e_<_V_i_e_w_>(home,*this); │ │ │ │ │ 475 } │ │ │ │ │ 476 │ │ │ │ │ 477 │ │ │ │ │ 478 template │ │ │ │ │ 479 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _4_8_0 _V_i_e_w_S_e_l_R_n_d_<_V_i_e_w_>_:_:_V_i_e_w_S_e_l_R_n_d(_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h_<_V_a_r_>& vb) │ │ │ │ │ -481 : _V_i_e_w_S_e_l(home,vb), _r(vb.rnd()) {} │ │ │ │ │ +481 : _V_i_e_w_S_e_l<_V_i_e_w>(home,vb), _r(vb.rnd()) {} │ │ │ │ │ 482 template │ │ │ │ │ 483 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _4_8_4 _V_i_e_w_S_e_l_R_n_d_<_V_i_e_w_>_:_:_V_i_e_w_S_e_l_R_n_d(_S_p_a_c_e& home, _V_i_e_w_S_e_l_R_n_d_<_V_i_e_w_>& vs) │ │ │ │ │ -485 : _V_i_e_w_S_e_l(home,vs), _r(vs._r) {} │ │ │ │ │ +485 : _V_i_e_w_S_e_l<_V_i_e_w>(home,vs), _r(vs._r) {} │ │ │ │ │ 486 template │ │ │ │ │ 487 int │ │ │ │ │ _4_8_8 _V_i_e_w_S_e_l_R_n_d_<_V_i_e_w_>_:_:_s_e_l_e_c_t(_S_p_a_c_e&, _V_i_e_w_A_r_r_a_y_<_V_i_e_w_>& _x, int s) { │ │ │ │ │ 489 unsigned int _n=1; │ │ │ │ │ 490 int j=s; │ │ │ │ │ 491 for (int i=s+1; i<_x.size(); i++) │ │ │ │ │ 492 if (!_x[i].assigned()) {