--- /srv/reproducible-results/rbuild-debian/r-b-build.bSYKbqnr/b1/gecode_6.2.0-6_armhf.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.bSYKbqnr/b2/gecode_6.2.0-6_armhf.changes ├── Files │ @@ -1,9 +1,9 @@ │ │ bef676bd041abc43f053ed12e63da215 509408 libdevel optional libgecode-dev_6.2.0-6_armhf.deb │ - aecc1e65e246cf5dc46084701a74fc5f 11575736 doc optional libgecode-doc_6.2.0-6_all.deb │ + 6ce02f571e1021b82e5395073c021106 11572332 doc optional libgecode-doc_6.2.0-6_all.deb │ f778a73ca318754678586892383b8db7 57399836 debug optional libgecode49t64-dbgsym_6.2.0-6_armhf.deb │ 16f985de9c14a38e534af532914696c0 2609004 libs optional libgecode49t64_6.2.0-6_armhf.deb │ 747ef6de3da69de1b23e1c2acaaccb34 2607728 debug optional libgecodeflatzinc49t64-dbgsym_6.2.0-6_armhf.deb │ e9f64a406dfbbbc7efd7864f5feaefbd 239408 libs optional libgecodeflatzinc49t64_6.2.0-6_armhf.deb │ 2c334c1a3ca29fdbd12af6dbbd902cca 4092656 debug optional libgecodegist49t64-dbgsym_6.2.0-6_armhf.deb │ 6ccb14061fa894fbdb62d5f66c9bfffd 152644 libs optional libgecodegist49t64_6.2.0-6_armhf.deb ├── libgecode-doc_6.2.0-6_all.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2024-08-27 03:47:35.000000 debian-binary │ │ -rw-r--r-- 0 0 0 156180 2024-08-27 03:47:35.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 11419364 2024-08-27 03:47:35.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 11415960 2024-08-27 03:47:35.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./control │ │ │ │ @@ -1,13 +1,13 @@ │ │ │ │ Package: libgecode-doc │ │ │ │ Source: gecode │ │ │ │ Version: 6.2.0-6 │ │ │ │ Architecture: all │ │ │ │ Maintainer: Kari Pahula │ │ │ │ -Installed-Size: 230386 │ │ │ │ +Installed-Size: 230380 │ │ │ │ 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 │ │ │ │ @@ -5011,15 +5011,15 @@ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 3513 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 63039 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4940 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 16838 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 10944 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 58122 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 16366 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh.html │ │ │ │ --rw-r--r-- 0 root (0) root (0) 95492 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 95995 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4647 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 53730 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4515 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 50244 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 7021 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 28622 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 5869 2024-08-27 03:47:35.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2convex_8cpp.html │ │ │ │ @@ -5431,25 +5431,25 @@ │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ --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 │ │ │ │ +-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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ --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 │ │ │ │ +-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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ --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 │ │ │ │ +-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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ @@ -5605,23 +5605,23 @@ │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ --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 │ │ │ │ +-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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ --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 │ │ │ │ +-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 │ │ │ │ -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 │ │ │ │ --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 │ │ │ │ +-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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ │ -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 │ │ │ ├── ./usr/share/doc/libgecode-doc/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-doc/html/int_2branch_2merit_8hpp_source.html │ │ │ │ @@ -107,100 +107,100 @@ │ │ │ │
39 MeritMin<View>::MeritMin
│ │ │ │
40 (Space& home, const VarBranch<MeritMin<View>::Var>& vb)
│ │ │ │
41 : MeritBase<View,int>(home,vb) {}
│ │ │ │
42 template<class View>
│ │ │ │
43 forceinline
│ │ │ │
│ │ │ │
44 MeritMin<View>::MeritMin(Space& home, MeritMin& m)
│ │ │ │ -
45 : MeritBase<View,int>(home,m) {}
│ │ │ │ +
45 : MeritBase<View,int>(home,m) {}
│ │ │ │
│ │ │ │
46 template<class View>
│ │ │ │
47 forceinline int
│ │ │ │
│ │ │ │ -
48 MeritMin<View>::operator ()(const Space&, View x, int) {
│ │ │ │ +
48 MeritMin<View>::operator ()(const Space&, View x, int) {
│ │ │ │
49 return x.min();
│ │ │ │
50 }
│ │ │ │
│ │ │ │
51
│ │ │ │
52 // Maximum merit
│ │ │ │
53 template<class View>
│ │ │ │
54 forceinline
│ │ │ │
55 MeritMax<View>::MeritMax
│ │ │ │
56 (Space& home, const VarBranch<MeritMax<View>::Var>& vb)
│ │ │ │
57 : MeritBase<View,int>(home,vb) {}
│ │ │ │
58 template<class View>
│ │ │ │
59 forceinline
│ │ │ │
│ │ │ │
60 MeritMax<View>::MeritMax(Space& home, MeritMax& m)
│ │ │ │ -
61 : MeritBase<View,int>(home,m) {}
│ │ │ │ +
61 : MeritBase<View,int>(home,m) {}
│ │ │ │
│ │ │ │
62 template<class View>
│ │ │ │
63 forceinline int
│ │ │ │
│ │ │ │ -
64 MeritMax<View>::operator ()(const Space&, View x, int) {
│ │ │ │ +
64 MeritMax<View>::operator ()(const Space&, View x, int) {
│ │ │ │
65 return x.max();
│ │ │ │
66 }
│ │ │ │
│ │ │ │
67
│ │ │ │
68 // Size merit
│ │ │ │
69 template<class View>
│ │ │ │
70 forceinline
│ │ │ │
71 MeritSize<View>::MeritSize
│ │ │ │
72 (Space& home, const VarBranch<MeritSize<View>::Var>& vb)
│ │ │ │
73 : MeritBase<View,unsigned int>(home,vb) {}
│ │ │ │
74 template<class View>
│ │ │ │
75 forceinline
│ │ │ │
│ │ │ │
76 MeritSize<View>::MeritSize(Space& home, MeritSize& m)
│ │ │ │ -
77 : MeritBase<View,unsigned int>(home,m) {}
│ │ │ │ +
77 : MeritBase<View,unsigned int>(home,m) {}
│ │ │ │
│ │ │ │
78 template<class View>
│ │ │ │
79 forceinline unsigned int
│ │ │ │
│ │ │ │ -
80 MeritSize<View>::operator ()(const Space&, View x, int) {
│ │ │ │ +
80 MeritSize<View>::operator ()(const Space&, View x, int) {
│ │ │ │
81 return x.size();
│ │ │ │
82 }
│ │ │ │
│ │ │ │
83
│ │ │ │
84 // Degree over size merit
│ │ │ │
85 template<class View>
│ │ │ │
86 forceinline
│ │ │ │
87 MeritDegreeSize<View>::MeritDegreeSize
│ │ │ │
88 (Space& home, const VarBranch<MeritDegreeSize<View>::Var>& vb)
│ │ │ │
89 : MeritBase<View,double>(home,vb) {}
│ │ │ │
90 template<class View>
│ │ │ │
91 forceinline
│ │ │ │
│ │ │ │
92 MeritDegreeSize<View>::MeritDegreeSize(Space& home, MeritDegreeSize& m)
│ │ │ │ -
93 : MeritBase<View,double>(home,m) {}
│ │ │ │ +
93 : MeritBase<View,double>(home,m) {}
│ │ │ │
│ │ │ │
94 template<class View>
│ │ │ │
95 forceinline double
│ │ │ │
│ │ │ │ -
96 MeritDegreeSize<View>::operator ()(const Space&, View x, int) {
│ │ │ │ +
96 MeritDegreeSize<View>::operator ()(const Space&, View x, int) {
│ │ │ │
97 return static_cast<double>(x.degree()) / static_cast<double>(x.size());
│ │ │ │
98 }
│ │ │ │
│ │ │ │
99
│ │ │ │
100 // AFC over size merit
│ │ │ │
101 template<class View>
│ │ │ │
102 forceinline
│ │ │ │
103 MeritAFCSize<View>::MeritAFCSize
│ │ │ │
104 (Space& home, const VarBranch<MeritAFCSize<View>::Var>& vb)
│ │ │ │
105 : MeritBase<View,double>(home,vb), afc(vb.afc()) {}
│ │ │ │
106 template<class View>
│ │ │ │
107 forceinline
│ │ │ │
│ │ │ │
108 MeritAFCSize<View>::MeritAFCSize(Space& home, MeritAFCSize& m)
│ │ │ │ -
109 : MeritBase<View,double>(home,m), afc(m.afc) {}
│ │ │ │ +
109 : MeritBase<View,double>(home,m), afc(m.afc) {}
│ │ │ │
│ │ │ │
110 template<class View>
│ │ │ │
111 forceinline double
│ │ │ │
│ │ │ │ -
112 MeritAFCSize<View>::operator ()(const Space&, View x, int) {
│ │ │ │ +
112 MeritAFCSize<View>::operator ()(const Space&, View x, int) {
│ │ │ │
113 return x.afc() / static_cast<double>(x.size());
│ │ │ │
114 }
│ │ │ │
│ │ │ │
115 template<class View>
│ │ │ │
116 forceinline bool
│ │ │ │
│ │ │ │
117 MeritAFCSize<View>::notice(void) const {
│ │ │ │ @@ -222,20 +222,20 @@ │ │ │ │
130 MeritActionSize<View>::MeritActionSize
│ │ │ │
131 (Space& home, const VarBranch<MeritActionSize<View>::Var>& vb)
│ │ │ │
132 : MeritBase<View,double>(home,vb), action(vb.action()) {}
│ │ │ │
133 template<class View>
│ │ │ │
134 forceinline
│ │ │ │
│ │ │ │
135 MeritActionSize<View>::MeritActionSize(Space& home, MeritActionSize& m)
│ │ │ │ -
136 : MeritBase<View,double>(home,m), action(m.action) {}
│ │ │ │ +
136 : MeritBase<View,double>(home,m), action(m.action) {}
│ │ │ │
│ │ │ │
137 template<class View>
│ │ │ │
138 forceinline double
│ │ │ │
│ │ │ │ -
139 MeritActionSize<View>::operator ()(const Space&, View x, int i) {
│ │ │ │ +
139 MeritActionSize<View>::operator ()(const Space&, View x, int i) {
│ │ │ │
140 return action[i] / static_cast<double>(x.size());
│ │ │ │
141 }
│ │ │ │
│ │ │ │
142 template<class View>
│ │ │ │
143 forceinline bool
│ │ │ │
│ │ │ │
144 MeritActionSize<View>::notice(void) const {
│ │ │ │ @@ -256,20 +256,20 @@ │ │ │ │
156 MeritCHBSize<View>::MeritCHBSize
│ │ │ │
157 (Space& home, const VarBranch<MeritCHBSize<View>::Var>& vb)
│ │ │ │
158 : MeritBase<View,double>(home,vb), chb(vb.chb()) {}
│ │ │ │
159 template<class View>
│ │ │ │
160 forceinline
│ │ │ │
│ │ │ │
161 MeritCHBSize<View>::MeritCHBSize(Space& home, MeritCHBSize& m)
│ │ │ │ -
162 : MeritBase<View,double>(home,m), chb(m.chb) {}
│ │ │ │ +
162 : MeritBase<View,double>(home,m), chb(m.chb) {}
│ │ │ │
│ │ │ │
163 template<class View>
│ │ │ │
164 forceinline double
│ │ │ │
│ │ │ │ -
165 MeritCHBSize<View>::operator ()(const Space&, View x, int i) {
│ │ │ │ +
165 MeritCHBSize<View>::operator ()(const Space&, View x, int i) {
│ │ │ │
166 return chb[i] / static_cast<double>(x.size());
│ │ │ │
167 }
│ │ │ │
│ │ │ │
168 template<class View>
│ │ │ │
169 forceinline bool
│ │ │ │
│ │ │ │
170 MeritCHBSize<View>::notice(void) const {
│ │ │ │ @@ -290,40 +290,40 @@ │ │ │ │
182 MeritRegretMin<View>::MeritRegretMin
│ │ │ │
183 (Space& home, const VarBranch<MeritRegretMin<View>::Var>& vb)
│ │ │ │
184 : MeritBase<View,unsigned int>(home,vb) {}
│ │ │ │
185 template<class View>
│ │ │ │
186 forceinline
│ │ │ │
│ │ │ │
187 MeritRegretMin<View>::MeritRegretMin(Space& home, MeritRegretMin& m)
│ │ │ │ -
188 : MeritBase<View,unsigned int>(home,m) {}
│ │ │ │ +
188 : MeritBase<View,unsigned int>(home,m) {}
│ │ │ │
│ │ │ │
189 template<class View>
│ │ │ │
190 forceinline unsigned int
│ │ │ │
│ │ │ │ -
191 MeritRegretMin<View>::operator ()(const Space&, View x, int) {
│ │ │ │ +
191 MeritRegretMin<View>::operator ()(const Space&, View x, int) {
│ │ │ │
192 return x.regret_min();
│ │ │ │
193 }
│ │ │ │
│ │ │ │
194
│ │ │ │
195 // Maximum regret merit
│ │ │ │
196 template<class View>
│ │ │ │
197 forceinline
│ │ │ │
198 MeritRegretMax<View>::MeritRegretMax
│ │ │ │
199 (Space& home, const VarBranch<MeritRegretMax<View>::Var>& vb)
│ │ │ │
200 : MeritBase<View,unsigned int>(home,vb) {}
│ │ │ │
201 template<class View>
│ │ │ │
202 forceinline
│ │ │ │
│ │ │ │
203 MeritRegretMax<View>::MeritRegretMax(Space& home, MeritRegretMax& m)
│ │ │ │ -
204 : MeritBase<View,unsigned int>(home,m) {}
│ │ │ │ +
204 : MeritBase<View,unsigned int>(home,m) {}
│ │ │ │
│ │ │ │
205 template<class View>
│ │ │ │
206 forceinline unsigned int
│ │ │ │
│ │ │ │ -
207 MeritRegretMax<View>::operator ()(const Space&, View x, int) {
│ │ │ │ +
207 MeritRegretMax<View>::operator ()(const Space&, View x, int) {
│ │ │ │
208 return x.regret_max();
│ │ │ │
209 }
│ │ │ │
│ │ │ │
210
│ │ │ │
211}}}
│ │ │ │
212
│ │ │ │
213// STATISTICS: int-branch
│ │ │ │ @@ -357,15 +357,14 @@ │ │ │ │
Gecode::Int::Branch::MeritRegretMin
Merit class for minimum regret.
Definition branch.hh:216
│ │ │ │
Gecode::Int::Branch::MeritRegretMin::MeritRegretMin
MeritRegretMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
│ │ │ │
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
│ │ │ │
Gecode::Int::Branch::MeritSize
Merit class for size.
Definition branch.hh:105
│ │ │ │
Gecode::Int::Branch::MeritSize::MeritSize
MeritSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
│ │ │ │
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
│ │ │ │
Gecode::MeritBase
Base-class for merit class.
Definition merit.hpp:46
│ │ │ │ - │ │ │ │
Gecode::MeritBase< View, int >::Var
View::VarType Var
Corresponding variable type.
Definition merit.hpp:51
│ │ │ │
Gecode::Space
Computation spaces.
Definition core.hpp:1742
│ │ │ │
Gecode::VarBranch
Variable branching information.
Definition var.hpp:55
│ │ │ │
Gecode::VarImpVar::degree
unsigned int degree(void) const
Return degree (number of subscribed propagators and advisors)
Definition var.hpp:101
│ │ │ │
Gecode::VarImpVar::afc
double afc(void) const
Return accumulated failure count.
Definition var.hpp:106
│ │ │ │
Gecode
Gecode toplevel namespace
│ │ │ │
Gecode::x
Post propagator for SetVar x
Definition set.hh:767
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -47,82 +47,82 @@ │ │ │ │ │ 38 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 39 _M_e_r_i_t_M_i_n_<_V_i_e_w_>_:_:_M_e_r_i_t_M_i_n │ │ │ │ │ 40 (Space& home, const VarBranch<_M_e_r_i_t_M_i_n_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 41 : MeritBase(home,vb) {} │ │ │ │ │ 42 template │ │ │ │ │ 43 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _4_4 _M_e_r_i_t_M_i_n_<_V_i_e_w_>_:_:_M_e_r_i_t_M_i_n(_S_p_a_c_e& home, _M_e_r_i_t_M_i_n& m) │ │ │ │ │ -45 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,int>(home,m) {} │ │ │ │ │ +45 : _M_e_r_i_t_B_a_s_e(home,m) {} │ │ │ │ │ 46 template │ │ │ │ │ 47 _f_o_r_c_e_i_n_l_i_n_e int │ │ │ │ │ -_4_8 _M_e_r_i_t_M_i_n_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, _V_i_e_w _x, int) { │ │ │ │ │ +_4_8 _M_e_r_i_t_M_i_n_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 49 return _x.min(); │ │ │ │ │ 50 } │ │ │ │ │ 51 │ │ │ │ │ 52 // Maximum merit │ │ │ │ │ 53 template │ │ │ │ │ 54 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 55 _M_e_r_i_t_M_a_x_<_V_i_e_w_>_:_:_M_e_r_i_t_M_a_x │ │ │ │ │ 56 (_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h<_M_e_r_i_t_M_a_x_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 57 : _M_e_r_i_t_B_a_s_e(home,vb) {} │ │ │ │ │ 58 template │ │ │ │ │ 59 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _6_0 _M_e_r_i_t_M_a_x_<_V_i_e_w_>_:_:_M_e_r_i_t_M_a_x(_S_p_a_c_e& home, _M_e_r_i_t_M_a_x& m) │ │ │ │ │ -61 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,int>(home,m) {} │ │ │ │ │ +61 : _M_e_r_i_t_B_a_s_e(home,m) {} │ │ │ │ │ 62 template │ │ │ │ │ 63 _f_o_r_c_e_i_n_l_i_n_e int │ │ │ │ │ -_6_4 _M_e_r_i_t_M_a_x_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, _V_i_e_w _x, int) { │ │ │ │ │ +_6_4 _M_e_r_i_t_M_a_x_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 65 return _x.max(); │ │ │ │ │ 66 } │ │ │ │ │ 67 │ │ │ │ │ 68 // Size merit │ │ │ │ │ 69 template │ │ │ │ │ 70 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 71 _M_e_r_i_t_S_i_z_e_<_V_i_e_w_>_:_:_M_e_r_i_t_S_i_z_e │ │ │ │ │ 72 (_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h<_M_e_r_i_t_S_i_z_e_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 73 : _M_e_r_i_t_B_a_s_e(home,vb) {} │ │ │ │ │ 74 template │ │ │ │ │ 75 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _7_6 _M_e_r_i_t_S_i_z_e_<_V_i_e_w_>_:_:_M_e_r_i_t_S_i_z_e(_S_p_a_c_e& home, _M_e_r_i_t_S_i_z_e& m) │ │ │ │ │ -77 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,unsigned int>(home,m) {} │ │ │ │ │ +77 : _M_e_r_i_t_B_a_s_e(home,m) {} │ │ │ │ │ 78 template │ │ │ │ │ 79 _f_o_r_c_e_i_n_l_i_n_e unsigned int │ │ │ │ │ -_8_0 _M_e_r_i_t_S_i_z_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) { │ │ │ │ │ +_8_0 _M_e_r_i_t_S_i_z_e_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 81 return _x.size(); │ │ │ │ │ 82 } │ │ │ │ │ 83 │ │ │ │ │ 84 // Degree over size merit │ │ │ │ │ 85 template │ │ │ │ │ 86 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 87 _M_e_r_i_t_D_e_g_r_e_e_S_i_z_e_<_V_i_e_w_>_:_:_M_e_r_i_t_D_e_g_r_e_e_S_i_z_e │ │ │ │ │ 88 (_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_S_i_z_e_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 89 : _M_e_r_i_t_B_a_s_e(home,vb) {} │ │ │ │ │ 90 template │ │ │ │ │ 91 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _9_2 _M_e_r_i_t_D_e_g_r_e_e_S_i_z_e_<_V_i_e_w_>_:_:_M_e_r_i_t_D_e_g_r_e_e_S_i_z_e(_S_p_a_c_e& home, _M_e_r_i_t_D_e_g_r_e_e_S_i_z_e& m) │ │ │ │ │ -93 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(home,m) {} │ │ │ │ │ +93 : _M_e_r_i_t_B_a_s_e(home,m) {} │ │ │ │ │ 94 template │ │ │ │ │ 95 _f_o_r_c_e_i_n_l_i_n_e double │ │ │ │ │ -_9_6 _M_e_r_i_t_D_e_g_r_e_e_S_i_z_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) { │ │ │ │ │ +_9_6 _M_e_r_i_t_D_e_g_r_e_e_S_i_z_e_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 97 return static_cast(_x._d_e_g_r_e_e()) / static_cast(_x.size()); │ │ │ │ │ 98 } │ │ │ │ │ 99 │ │ │ │ │ 100 // AFC over size merit │ │ │ │ │ 101 template │ │ │ │ │ 102 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 103 _M_e_r_i_t_A_F_C_S_i_z_e_<_V_i_e_w_>_:_:_M_e_r_i_t_A_F_C_S_i_z_e │ │ │ │ │ 104 (_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h<_M_e_r_i_t_A_F_C_S_i_z_e_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 105 : _M_e_r_i_t_B_a_s_e(home,vb), afc(vb.afc()) {} │ │ │ │ │ 106 template │ │ │ │ │ 107 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _1_0_8 _M_e_r_i_t_A_F_C_S_i_z_e_<_V_i_e_w_>_:_:_M_e_r_i_t_A_F_C_S_i_z_e(_S_p_a_c_e& home, _M_e_r_i_t_A_F_C_S_i_z_e& m) │ │ │ │ │ -109 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(home,m), afc(m.afc) {} │ │ │ │ │ +109 : _M_e_r_i_t_B_a_s_e(home,m), afc(m.afc) {} │ │ │ │ │ 110 template │ │ │ │ │ 111 _f_o_r_c_e_i_n_l_i_n_e double │ │ │ │ │ -_1_1_2 _M_e_r_i_t_A_F_C_S_i_z_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) { │ │ │ │ │ +_1_1_2 _M_e_r_i_t_A_F_C_S_i_z_e_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 113 return _x._a_f_c() / static_cast(_x.size()); │ │ │ │ │ 114 } │ │ │ │ │ 115 template │ │ │ │ │ 116 _f_o_r_c_e_i_n_l_i_n_e bool │ │ │ │ │ _1_1_7 _M_e_r_i_t_A_F_C_S_i_z_e_<_V_i_e_w_>_:_:_n_o_t_i_c_e(void) const { │ │ │ │ │ 118 return false; │ │ │ │ │ 119 } │ │ │ │ │ @@ -138,18 +138,18 @@ │ │ │ │ │ 129 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 130 _M_e_r_i_t_A_c_t_i_o_n_S_i_z_e_<_V_i_e_w_>_:_:_M_e_r_i_t_A_c_t_i_o_n_S_i_z_e │ │ │ │ │ 131 (_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_S_i_z_e_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 132 : _M_e_r_i_t_B_a_s_e(home,vb), action(vb.action()) {} │ │ │ │ │ 133 template │ │ │ │ │ 134 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _1_3_5 _M_e_r_i_t_A_c_t_i_o_n_S_i_z_e_<_V_i_e_w_>_:_:_M_e_r_i_t_A_c_t_i_o_n_S_i_z_e(_S_p_a_c_e& home, _M_e_r_i_t_A_c_t_i_o_n_S_i_z_e& m) │ │ │ │ │ -136 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(home,m), action(m.action) {} │ │ │ │ │ +136 : _M_e_r_i_t_B_a_s_e(home,m), action(m.action) {} │ │ │ │ │ 137 template │ │ │ │ │ 138 _f_o_r_c_e_i_n_l_i_n_e double │ │ │ │ │ -_1_3_9 _M_e_r_i_t_A_c_t_i_o_n_S_i_z_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 i) { │ │ │ │ │ +_1_3_9 _M_e_r_i_t_A_c_t_i_o_n_S_i_z_e_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View _x, int i) { │ │ │ │ │ 140 return action[i] / static_cast(_x.size()); │ │ │ │ │ 141 } │ │ │ │ │ 142 template │ │ │ │ │ 143 _f_o_r_c_e_i_n_l_i_n_e bool │ │ │ │ │ _1_4_4 _M_e_r_i_t_A_c_t_i_o_n_S_i_z_e_<_V_i_e_w_>_:_:_n_o_t_i_c_e(void) const { │ │ │ │ │ 145 return true; │ │ │ │ │ 146 } │ │ │ │ │ @@ -164,18 +164,18 @@ │ │ │ │ │ 155 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 156 _M_e_r_i_t_C_H_B_S_i_z_e_<_V_i_e_w_>_:_:_M_e_r_i_t_C_H_B_S_i_z_e │ │ │ │ │ 157 (_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h<_M_e_r_i_t_C_H_B_S_i_z_e_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 158 : _M_e_r_i_t_B_a_s_e(home,vb), chb(vb.chb()) {} │ │ │ │ │ 159 template │ │ │ │ │ 160 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _1_6_1 _M_e_r_i_t_C_H_B_S_i_z_e_<_V_i_e_w_>_:_:_M_e_r_i_t_C_H_B_S_i_z_e(_S_p_a_c_e& home, _M_e_r_i_t_C_H_B_S_i_z_e& m) │ │ │ │ │ -162 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(home,m), chb(m.chb) {} │ │ │ │ │ +162 : _M_e_r_i_t_B_a_s_e(home,m), chb(m.chb) {} │ │ │ │ │ 163 template │ │ │ │ │ 164 _f_o_r_c_e_i_n_l_i_n_e double │ │ │ │ │ -_1_6_5 _M_e_r_i_t_C_H_B_S_i_z_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 i) { │ │ │ │ │ +_1_6_5 _M_e_r_i_t_C_H_B_S_i_z_e_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View _x, int i) { │ │ │ │ │ 166 return chb[i] / static_cast(_x.size()); │ │ │ │ │ 167 } │ │ │ │ │ 168 template │ │ │ │ │ 169 _f_o_r_c_e_i_n_l_i_n_e bool │ │ │ │ │ _1_7_0 _M_e_r_i_t_C_H_B_S_i_z_e_<_V_i_e_w_>_:_:_n_o_t_i_c_e(void) const { │ │ │ │ │ 171 return true; │ │ │ │ │ 172 } │ │ │ │ │ @@ -190,34 +190,34 @@ │ │ │ │ │ 181 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 182 _M_e_r_i_t_R_e_g_r_e_t_M_i_n_<_V_i_e_w_>_:_:_M_e_r_i_t_R_e_g_r_e_t_M_i_n │ │ │ │ │ 183 (_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h<_M_e_r_i_t_R_e_g_r_e_t_M_i_n_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 184 : _M_e_r_i_t_B_a_s_e(home,vb) {} │ │ │ │ │ 185 template │ │ │ │ │ 186 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _1_8_7 _M_e_r_i_t_R_e_g_r_e_t_M_i_n_<_V_i_e_w_>_:_:_M_e_r_i_t_R_e_g_r_e_t_M_i_n(_S_p_a_c_e& home, _M_e_r_i_t_R_e_g_r_e_t_M_i_n& m) │ │ │ │ │ -188 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,unsigned int>(home,m) {} │ │ │ │ │ +188 : _M_e_r_i_t_B_a_s_e(home,m) {} │ │ │ │ │ 189 template │ │ │ │ │ 190 _f_o_r_c_e_i_n_l_i_n_e unsigned int │ │ │ │ │ -_1_9_1 _M_e_r_i_t_R_e_g_r_e_t_M_i_n_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, _V_i_e_w _x, int) { │ │ │ │ │ +_1_9_1 _M_e_r_i_t_R_e_g_r_e_t_M_i_n_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 192 return _x.regret_min(); │ │ │ │ │ 193 } │ │ │ │ │ 194 │ │ │ │ │ 195 // Maximum regret merit │ │ │ │ │ 196 template │ │ │ │ │ 197 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 198 _M_e_r_i_t_R_e_g_r_e_t_M_a_x_<_V_i_e_w_>_:_:_M_e_r_i_t_R_e_g_r_e_t_M_a_x │ │ │ │ │ 199 (_S_p_a_c_e& home, const _V_a_r_B_r_a_n_c_h<_M_e_r_i_t_R_e_g_r_e_t_M_a_x_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 200 : _M_e_r_i_t_B_a_s_e(home,vb) {} │ │ │ │ │ 201 template │ │ │ │ │ 202 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _2_0_3 _M_e_r_i_t_R_e_g_r_e_t_M_a_x_<_V_i_e_w_>_:_:_M_e_r_i_t_R_e_g_r_e_t_M_a_x(_S_p_a_c_e& home, _M_e_r_i_t_R_e_g_r_e_t_M_a_x& m) │ │ │ │ │ -204 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,unsigned int>(home,m) {} │ │ │ │ │ +204 : _M_e_r_i_t_B_a_s_e(home,m) {} │ │ │ │ │ 205 template │ │ │ │ │ 206 _f_o_r_c_e_i_n_l_i_n_e unsigned int │ │ │ │ │ -_2_0_7 _M_e_r_i_t_R_e_g_r_e_t_M_a_x_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, _V_i_e_w _x, int) { │ │ │ │ │ +_2_0_7 _M_e_r_i_t_R_e_g_r_e_t_M_a_x_<_V_i_e_w_>_:_:_o_p_e_r_a_t_o_r_ _(_)(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 208 return _x.regret_max(); │ │ │ │ │ 209 } │ │ │ │ │ 210 │ │ │ │ │ 211}}} │ │ │ │ │ 212 │ │ │ │ │ 213// STATISTICS: int-branch │ │ │ │ │ _G_e_c_o_d_e_:_:_I_n_t_:_:_B_r_a_n_c_h_:_:_M_e_r_i_t_A_F_C_S_i_z_e │ │ │ │ │ @@ -333,18 +333,14 @@ │ │ │ │ │ _G_e_c_o_d_e_:_:_I_n_t_:_:_B_r_a_n_c_h_:_:_M_e_r_i_t_S_i_z_e_:_:_o_p_e_r_a_t_o_r_(_) │ │ │ │ │ unsigned int operator()(const Space &home, View x, int i) │ │ │ │ │ Return size as merit for view x at position i. │ │ │ │ │ DDeeffiinniittiioonn _m_e_r_i_t_._h_p_p_:_8_0 │ │ │ │ │ _G_e_c_o_d_e_:_:_M_e_r_i_t_B_a_s_e │ │ │ │ │ Base-class for merit class. │ │ │ │ │ DDeeffiinniittiioonn _m_e_r_i_t_._h_p_p_:_4_6 │ │ │ │ │ -_G_e_c_o_d_e_:_:_M_e_r_i_t_B_a_s_e_<_ _V_i_e_w_,_ _i_n_t_ _>_:_:_V_i_e_w │ │ │ │ │ -View View │ │ │ │ │ -View type. │ │ │ │ │ -DDeeffiinniittiioonn _m_e_r_i_t_._h_p_p_:_4_9 │ │ │ │ │ _G_e_c_o_d_e_:_:_M_e_r_i_t_B_a_s_e_<_ _V_i_e_w_,_ _i_n_t_ _>_:_:_V_a_r │ │ │ │ │ View::VarType Var │ │ │ │ │ Corresponding variable type. │ │ │ │ │ DDeeffiinniittiioonn _m_e_r_i_t_._h_p_p_:_5_1 │ │ │ │ │ _G_e_c_o_d_e_:_:_S_p_a_c_e │ │ │ │ │ Computation spaces. │ │ │ │ │ DDeeffiinniittiioonn _c_o_r_e_._h_p_p_:_1_7_4_2 │ │ │ ├── ./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp_source.html │ │ │ │ @@ -106,37 +106,37 @@ │ │ │ │
38 ValCommitEq<View>::ValCommitEq
│ │ │ │
39 (Space& home, const ValBranch<ValCommitEq<View>::Var>& vb)
│ │ │ │
40 : ValCommit<View,int>(home,vb) {}
│ │ │ │
41 template<class View>
│ │ │ │
42 forceinline
│ │ │ │
│ │ │ │
43 ValCommitEq<View>::ValCommitEq(Space& home, ValCommitEq& vc)
│ │ │ │ -
44 : ValCommit<View,int>(home,vc) {}
│ │ │ │ +
44 : ValCommit<View,int>(home,vc) {}
│ │ │ │
│ │ │ │
45 template<class View>
│ │ │ │
46 forceinline ModEvent
│ │ │ │
│ │ │ │ -
47 ValCommitEq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
│ │ │ │ +
47 ValCommitEq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
│ │ │ │
48 return (a == 0) ? x.eq(home,n) : x.nq(home,n);
│ │ │ │
49 }
│ │ │ │
│ │ │ │
50 template<class View>
│ │ │ │
51 forceinline NGL*
│ │ │ │
│ │ │ │ -
52 ValCommitEq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
│ │ │ │ +
52 ValCommitEq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
│ │ │ │
53 if (a == 0)
│ │ │ │
54 return new (home) EqNGL<View>(home,x,n);
│ │ │ │
55 else
│ │ │ │
56 return NULL;
│ │ │ │
57 }
│ │ │ │
│ │ │ │
58 template<class View>
│ │ │ │
59 forceinline void
│ │ │ │
│ │ │ │ -
60 ValCommitEq<View>::print(const Space&, unsigned int a, View, int i,
│ │ │ │ +
60 ValCommitEq<View>::print(const Space&, unsigned int a, View, int i,
│ │ │ │
61 int n, std::ostream& o) const {
│ │ │ │
62 o << "var[" << i << "] "
│ │ │ │
63 << ((a == 0) ? "=" : "!=") << " " << n;
│ │ │ │
64 }
│ │ │ │
│ │ │ │
65
│ │ │ │
66 template<class View>
│ │ │ │ @@ -144,37 +144,37 @@ │ │ │ │
68 ValCommitLq<View>::ValCommitLq
│ │ │ │
69 (Space& home, const ValBranch<ValCommitLq<View>::Var>& vb)
│ │ │ │
70 : ValCommit<View,int>(home,vb) {}
│ │ │ │
71 template<class View>
│ │ │ │
72 forceinline
│ │ │ │
│ │ │ │
73 ValCommitLq<View>::ValCommitLq(Space& home, ValCommitLq& vc)
│ │ │ │ -
74 : ValCommit<View,int>(home,vc) {}
│ │ │ │ +
74 : ValCommit<View,int>(home,vc) {}
│ │ │ │
│ │ │ │
75 template<class View>
│ │ │ │
76 forceinline ModEvent
│ │ │ │
│ │ │ │ -
77 ValCommitLq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
│ │ │ │ +
77 ValCommitLq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
│ │ │ │
78 return (a == 0) ? x.lq(home,n) : x.gr(home,n);
│ │ │ │
79 }
│ │ │ │
│ │ │ │
80 template<class View>
│ │ │ │
81 forceinline NGL*
│ │ │ │
│ │ │ │ -
82 ValCommitLq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
│ │ │ │ +
82 ValCommitLq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
│ │ │ │
83 if (a == 0)
│ │ │ │
84 return new (home) LqNGL<View>(home,x,n);
│ │ │ │
85 else
│ │ │ │
86 return NULL;
│ │ │ │
87 }
│ │ │ │
│ │ │ │
88 template<class View>
│ │ │ │
89 forceinline void
│ │ │ │
│ │ │ │ -
90 ValCommitLq<View>::print(const Space&, unsigned int a, View, int i,
│ │ │ │ +
90 ValCommitLq<View>::print(const Space&, unsigned int a, View, int i,
│ │ │ │
91 int n, std::ostream& o) const {
│ │ │ │
92 o << "var[" << i << "] "
│ │ │ │
93 << ((a == 0) ? "<=" : ">") << " " << n;
│ │ │ │
94 }
│ │ │ │
│ │ │ │
95
│ │ │ │
96 template<class View>
│ │ │ │ @@ -182,37 +182,37 @@ │ │ │ │
98 ValCommitGq<View>::ValCommitGq
│ │ │ │
99 (Space& home, const ValBranch<ValCommitGq<View>::Var>& vb)
│ │ │ │
100 : ValCommit<View,int>(home,vb) {}
│ │ │ │
101 template<class View>
│ │ │ │
102 forceinline
│ │ │ │
│ │ │ │
103 ValCommitGq<View>::ValCommitGq(Space& home, ValCommitGq& vc)
│ │ │ │ -
104 : ValCommit<View,int>(home,vc) {}
│ │ │ │ +
104 : ValCommit<View,int>(home,vc) {}
│ │ │ │
│ │ │ │
105 template<class View>
│ │ │ │
106 forceinline ModEvent
│ │ │ │
│ │ │ │ -
107 ValCommitGq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
│ │ │ │ +
107 ValCommitGq<View>::commit(Space& home, unsigned int a, View x, int, int n) {
│ │ │ │
108 return (a == 0) ? x.gq(home,n) : x.le(home,n);
│ │ │ │
109 }
│ │ │ │
│ │ │ │
110 template<class View>
│ │ │ │
111 forceinline NGL*
│ │ │ │
│ │ │ │ -
112 ValCommitGq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
│ │ │ │ +
112 ValCommitGq<View>::ngl(Space& home, unsigned int a, View x, int n) const {
│ │ │ │
113 if (a == 0)
│ │ │ │
114 return new (home) GqNGL<View>(home,x,n);
│ │ │ │
115 else
│ │ │ │
116 return NULL;
│ │ │ │
117 }
│ │ │ │
│ │ │ │
118 template<class View>
│ │ │ │
119 forceinline void
│ │ │ │
│ │ │ │ -
120 ValCommitGq<View>::print(const Space&, unsigned int a, View, int i,
│ │ │ │ +
120 ValCommitGq<View>::print(const Space&, unsigned int a, View, int i,
│ │ │ │
121 int n, std::ostream& o) const {
│ │ │ │
122 o << "var[" << i << "] "
│ │ │ │
123 << ((a == 0) ? ">=" : "<") << " " << n;
│ │ │ │
124 }
│ │ │ │
│ │ │ │
125
│ │ │ │
126 template<class View>
│ │ │ │ @@ -220,37 +220,37 @@ │ │ │ │
128 ValCommitGr<View>::ValCommitGr
│ │ │ │
129 (Space& home, const ValBranch<ValCommitGr<View>::Var>& vb)
│ │ │ │
130 : ValCommit<View,int>(home,vb) {}
│ │ │ │
131 template<class View>
│ │ │ │
132 forceinline
│ │ │ │
│ │ │ │
133 ValCommitGr<View>::ValCommitGr(Space& home, ValCommitGr& vc)
│ │ │ │ -
134 : ValCommit<View,int>(home,vc) {}
│ │ │ │ +
134 : ValCommit<View,int>(home,vc) {}
│ │ │ │
│ │ │ │
135 template<class View>
│ │ │ │
136 forceinline ModEvent
│ │ │ │
│ │ │ │ -
137 ValCommitGr<View>::commit(Space& home, unsigned int a, View x, int, int n) {
│ │ │ │ +
137 ValCommitGr<View>::commit(Space& home, unsigned int a, View x, int, int n) {
│ │ │ │
138 return (a == 0) ? x.gr(home,n) : x.lq(home,n);
│ │ │ │
139 }
│ │ │ │
│ │ │ │
140 template<class View>
│ │ │ │
141 forceinline NGL*
│ │ │ │
│ │ │ │ -
142 ValCommitGr<View>::ngl(Space& home, unsigned int a, View x, int n) const {
│ │ │ │ +
142 ValCommitGr<View>::ngl(Space& home, unsigned int a, View x, int n) const {
│ │ │ │
143 if (a == 0)
│ │ │ │
144 return new (home) GqNGL<View>(home,x,n+1);
│ │ │ │
145 else
│ │ │ │
146 return NULL;
│ │ │ │
147 }
│ │ │ │
│ │ │ │
148 template<class View>
│ │ │ │
149 forceinline void
│ │ │ │
│ │ │ │ -
150 ValCommitGr<View>::print(const Space&, unsigned int a, View, int i,
│ │ │ │ +
150 ValCommitGr<View>::print(const Space&, unsigned int a, View, int i,
│ │ │ │
151 int n, std::ostream& o) const {
│ │ │ │
152 o << "var[" << i << "] "
│ │ │ │
153 << ((a == 0) ? ">" : "<=") << " " << n;
│ │ │ │
154 }
│ │ │ │
│ │ │ │
155
│ │ │ │
156}}}
│ │ │ │ @@ -283,15 +283,14 @@ │ │ │ │
Gecode::Int::Branch::ValCommitLq::ValCommitLq
ValCommitLq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
│ │ │ │
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
│ │ │ │
Gecode::NGL
No-good literal recorded during search.
Definition core.hpp:1340
│ │ │ │
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< View, int >::Var
View::VarType Var
Corresponding variable type.
Definition val-commit.hpp:49
│ │ │ │ - │ │ │ │
Gecode
Gecode toplevel namespace
│ │ │ │
Gecode::x
Post propagator for SetVar x
Definition set.hh:767
│ │ │ │
Gecode::ModEvent
int ModEvent
Type for modification events.
Definition core.hpp:62
│ │ │ │
forceinline
#define forceinline
Definition config.hpp:187
│ │ │ │
│ │ │ │
│ │ │ │ │ │ │ │ ├── html2text {} │ │ │ │ │ @@ -46,123 +46,123 @@ │ │ │ │ │ 37 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 38 _V_a_l_C_o_m_m_i_t_E_q_<_V_i_e_w_>_:_:_V_a_l_C_o_m_m_i_t_E_q │ │ │ │ │ 39 (Space& home, const ValBranch<_V_a_l_C_o_m_m_i_t_E_q_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 40 : ValCommit(home,vb) {} │ │ │ │ │ 41 template │ │ │ │ │ 42 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _4_3 _V_a_l_C_o_m_m_i_t_E_q_<_V_i_e_w_>_:_:_V_a_l_C_o_m_m_i_t_E_q(_S_p_a_c_e& home, _V_a_l_C_o_m_m_i_t_E_q& vc) │ │ │ │ │ -44 : _V_a_l_C_o_m_m_i_t<_V_i_e_w,int>(home,vc) {} │ │ │ │ │ +44 : _V_a_l_C_o_m_m_i_t(home,vc) {} │ │ │ │ │ 45 template │ │ │ │ │ 46 _f_o_r_c_e_i_n_l_i_n_e _M_o_d_E_v_e_n_t │ │ │ │ │ -_4_7 _V_a_l_C_o_m_m_i_t_E_q_<_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, int _n) { │ │ │ │ │ +_4_7 _V_a_l_C_o_m_m_i_t_E_q_<_V_i_e_w_>_:_:_c_o_m_m_i_t(_S_p_a_c_e& home, unsigned int _a, View _x, int, int _n) { │ │ │ │ │ 48 return (_a == 0) ? _x.eq(home,_n) : _x.nq(home,_n); │ │ │ │ │ 49 } │ │ │ │ │ 50 template │ │ │ │ │ 51 _f_o_r_c_e_i_n_l_i_n_e _N_G_L* │ │ │ │ │ -_5_2 _V_a_l_C_o_m_m_i_t_E_q_<_V_i_e_w_>_:_:_n_g_l(_S_p_a_c_e& home, unsigned int _a, _V_i_e_w _x, int _n) const { │ │ │ │ │ +_5_2 _V_a_l_C_o_m_m_i_t_E_q_<_V_i_e_w_>_:_:_n_g_l(_S_p_a_c_e& home, unsigned int _a, View _x, int _n) const { │ │ │ │ │ 53 if (_a == 0) │ │ │ │ │ 54 return new (home) _E_q_N_G_L_<_V_i_e_w_>(home,_x,_n); │ │ │ │ │ 55 else │ │ │ │ │ 56 return NULL; │ │ │ │ │ 57 } │ │ │ │ │ 58 template │ │ │ │ │ 59 _f_o_r_c_e_i_n_l_i_n_e void │ │ │ │ │ -_6_0 _V_a_l_C_o_m_m_i_t_E_q_<_V_i_e_w_>_:_:_p_r_i_n_t(const _S_p_a_c_e&, unsigned int _a, _V_i_e_w, int i, │ │ │ │ │ +_6_0 _V_a_l_C_o_m_m_i_t_E_q_<_V_i_e_w_>_:_:_p_r_i_n_t(const _S_p_a_c_e&, unsigned int _a, View, int i, │ │ │ │ │ 61 int _n, std::ostream& o) const { │ │ │ │ │ 62 o << "var[" << i << "] " │ │ │ │ │ 63 << ((_a == 0) ? "=" : "!=") << " " << _n; │ │ │ │ │ 64 } │ │ │ │ │ 65 │ │ │ │ │ 66 template │ │ │ │ │ 67 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 68 _V_a_l_C_o_m_m_i_t_L_q_<_V_i_e_w_>_:_:_V_a_l_C_o_m_m_i_t_L_q │ │ │ │ │ 69 (_S_p_a_c_e& home, const _V_a_l_B_r_a_n_c_h<_V_a_l_C_o_m_m_i_t_L_q_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 70 : _V_a_l_C_o_m_m_i_t(home,vb) {} │ │ │ │ │ 71 template │ │ │ │ │ 72 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _7_3 _V_a_l_C_o_m_m_i_t_L_q_<_V_i_e_w_>_:_:_V_a_l_C_o_m_m_i_t_L_q(_S_p_a_c_e& home, _V_a_l_C_o_m_m_i_t_L_q& vc) │ │ │ │ │ -74 : _V_a_l_C_o_m_m_i_t<_V_i_e_w,int>(home,vc) {} │ │ │ │ │ +74 : _V_a_l_C_o_m_m_i_t(home,vc) {} │ │ │ │ │ 75 template │ │ │ │ │ 76 _f_o_r_c_e_i_n_l_i_n_e _M_o_d_E_v_e_n_t │ │ │ │ │ -_7_7 _V_a_l_C_o_m_m_i_t_L_q_<_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, int _n) { │ │ │ │ │ +_7_7 _V_a_l_C_o_m_m_i_t_L_q_<_V_i_e_w_>_:_:_c_o_m_m_i_t(_S_p_a_c_e& home, unsigned int _a, View _x, int, int _n) { │ │ │ │ │ 78 return (_a == 0) ? _x.lq(home,_n) : _x.gr(home,_n); │ │ │ │ │ 79 } │ │ │ │ │ 80 template │ │ │ │ │ 81 _f_o_r_c_e_i_n_l_i_n_e _N_G_L* │ │ │ │ │ -_8_2 _V_a_l_C_o_m_m_i_t_L_q_<_V_i_e_w_>_:_:_n_g_l(_S_p_a_c_e& home, unsigned int _a, _V_i_e_w _x, int _n) const { │ │ │ │ │ +_8_2 _V_a_l_C_o_m_m_i_t_L_q_<_V_i_e_w_>_:_:_n_g_l(_S_p_a_c_e& home, unsigned int _a, View _x, int _n) const { │ │ │ │ │ 83 if (_a == 0) │ │ │ │ │ 84 return new (home) _L_q_N_G_L_<_V_i_e_w_>(home,_x,_n); │ │ │ │ │ 85 else │ │ │ │ │ 86 return NULL; │ │ │ │ │ 87 } │ │ │ │ │ 88 template │ │ │ │ │ 89 _f_o_r_c_e_i_n_l_i_n_e void │ │ │ │ │ -_9_0 _V_a_l_C_o_m_m_i_t_L_q_<_V_i_e_w_>_:_:_p_r_i_n_t(const _S_p_a_c_e&, unsigned int _a, _V_i_e_w, int i, │ │ │ │ │ +_9_0 _V_a_l_C_o_m_m_i_t_L_q_<_V_i_e_w_>_:_:_p_r_i_n_t(const _S_p_a_c_e&, unsigned int _a, View, int i, │ │ │ │ │ 91 int _n, std::ostream& o) const { │ │ │ │ │ 92 o << "var[" << i << "] " │ │ │ │ │ 93 << ((_a == 0) ? "<=" : ">") << " " << _n; │ │ │ │ │ 94 } │ │ │ │ │ 95 │ │ │ │ │ 96 template │ │ │ │ │ 97 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 98 _V_a_l_C_o_m_m_i_t_G_q_<_V_i_e_w_>_:_:_V_a_l_C_o_m_m_i_t_G_q │ │ │ │ │ 99 (_S_p_a_c_e& home, const _V_a_l_B_r_a_n_c_h<_V_a_l_C_o_m_m_i_t_G_q_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 100 : _V_a_l_C_o_m_m_i_t(home,vb) {} │ │ │ │ │ 101 template │ │ │ │ │ 102 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _1_0_3 _V_a_l_C_o_m_m_i_t_G_q_<_V_i_e_w_>_:_:_V_a_l_C_o_m_m_i_t_G_q(_S_p_a_c_e& home, _V_a_l_C_o_m_m_i_t_G_q& vc) │ │ │ │ │ -104 : _V_a_l_C_o_m_m_i_t<_V_i_e_w,int>(home,vc) {} │ │ │ │ │ +104 : _V_a_l_C_o_m_m_i_t(home,vc) {} │ │ │ │ │ 105 template │ │ │ │ │ 106 _f_o_r_c_e_i_n_l_i_n_e _M_o_d_E_v_e_n_t │ │ │ │ │ -_1_0_7 _V_a_l_C_o_m_m_i_t_G_q_<_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, int _n) │ │ │ │ │ +_1_0_7 _V_a_l_C_o_m_m_i_t_G_q_<_V_i_e_w_>_:_:_c_o_m_m_i_t(_S_p_a_c_e& home, unsigned int _a, View _x, int, int _n) │ │ │ │ │ { │ │ │ │ │ 108 return (_a == 0) ? _x.gq(home,_n) : _x.le(home,_n); │ │ │ │ │ 109 } │ │ │ │ │ 110 template │ │ │ │ │ 111 _f_o_r_c_e_i_n_l_i_n_e _N_G_L* │ │ │ │ │ -_1_1_2 _V_a_l_C_o_m_m_i_t_G_q_<_V_i_e_w_>_:_:_n_g_l(_S_p_a_c_e& home, unsigned int _a, _V_i_e_w _x, int _n) const { │ │ │ │ │ +_1_1_2 _V_a_l_C_o_m_m_i_t_G_q_<_V_i_e_w_>_:_:_n_g_l(_S_p_a_c_e& home, unsigned int _a, View _x, int _n) const { │ │ │ │ │ 113 if (_a == 0) │ │ │ │ │ 114 return new (home) _G_q_N_G_L_<_V_i_e_w_>(home,_x,_n); │ │ │ │ │ 115 else │ │ │ │ │ 116 return NULL; │ │ │ │ │ 117 } │ │ │ │ │ 118 template │ │ │ │ │ 119 _f_o_r_c_e_i_n_l_i_n_e void │ │ │ │ │ -_1_2_0 _V_a_l_C_o_m_m_i_t_G_q_<_V_i_e_w_>_:_:_p_r_i_n_t(const _S_p_a_c_e&, unsigned int _a, _V_i_e_w, int i, │ │ │ │ │ +_1_2_0 _V_a_l_C_o_m_m_i_t_G_q_<_V_i_e_w_>_:_:_p_r_i_n_t(const _S_p_a_c_e&, unsigned int _a, View, int i, │ │ │ │ │ 121 int _n, std::ostream& o) const { │ │ │ │ │ 122 o << "var[" << i << "] " │ │ │ │ │ 123 << ((_a == 0) ? ">=" : "<") << " " << _n; │ │ │ │ │ 124 } │ │ │ │ │ 125 │ │ │ │ │ 126 template │ │ │ │ │ 127 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 128 _V_a_l_C_o_m_m_i_t_G_r_<_V_i_e_w_>_:_:_V_a_l_C_o_m_m_i_t_G_r │ │ │ │ │ 129 (_S_p_a_c_e& home, const _V_a_l_B_r_a_n_c_h<_V_a_l_C_o_m_m_i_t_G_r_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 130 : _V_a_l_C_o_m_m_i_t(home,vb) {} │ │ │ │ │ 131 template │ │ │ │ │ 132 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _1_3_3 _V_a_l_C_o_m_m_i_t_G_r_<_V_i_e_w_>_:_:_V_a_l_C_o_m_m_i_t_G_r(_S_p_a_c_e& home, _V_a_l_C_o_m_m_i_t_G_r& vc) │ │ │ │ │ -134 : _V_a_l_C_o_m_m_i_t<_V_i_e_w,int>(home,vc) {} │ │ │ │ │ +134 : _V_a_l_C_o_m_m_i_t(home,vc) {} │ │ │ │ │ 135 template │ │ │ │ │ 136 _f_o_r_c_e_i_n_l_i_n_e _M_o_d_E_v_e_n_t │ │ │ │ │ -_1_3_7 _V_a_l_C_o_m_m_i_t_G_r_<_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, int _n) │ │ │ │ │ +_1_3_7 _V_a_l_C_o_m_m_i_t_G_r_<_V_i_e_w_>_:_:_c_o_m_m_i_t(_S_p_a_c_e& home, unsigned int _a, View _x, int, int _n) │ │ │ │ │ { │ │ │ │ │ 138 return (_a == 0) ? _x.gr(home,_n) : _x.lq(home,_n); │ │ │ │ │ 139 } │ │ │ │ │ 140 template │ │ │ │ │ 141 _f_o_r_c_e_i_n_l_i_n_e _N_G_L* │ │ │ │ │ -_1_4_2 _V_a_l_C_o_m_m_i_t_G_r_<_V_i_e_w_>_:_:_n_g_l(_S_p_a_c_e& home, unsigned int _a, _V_i_e_w _x, int _n) const { │ │ │ │ │ +_1_4_2 _V_a_l_C_o_m_m_i_t_G_r_<_V_i_e_w_>_:_:_n_g_l(_S_p_a_c_e& home, unsigned int _a, View _x, int _n) const { │ │ │ │ │ 143 if (_a == 0) │ │ │ │ │ 144 return new (home) _G_q_N_G_L_<_V_i_e_w_>(home,_x,_n+1); │ │ │ │ │ 145 else │ │ │ │ │ 146 return NULL; │ │ │ │ │ 147 } │ │ │ │ │ 148 template │ │ │ │ │ 149 _f_o_r_c_e_i_n_l_i_n_e void │ │ │ │ │ -_1_5_0 _V_a_l_C_o_m_m_i_t_G_r_<_V_i_e_w_>_:_:_p_r_i_n_t(const _S_p_a_c_e&, unsigned int _a, _V_i_e_w, int i, │ │ │ │ │ +_1_5_0 _V_a_l_C_o_m_m_i_t_G_r_<_V_i_e_w_>_:_:_p_r_i_n_t(const _S_p_a_c_e&, unsigned int _a, View, int i, │ │ │ │ │ 151 int _n, std::ostream& o) const { │ │ │ │ │ 152 o << "var[" << i << "] " │ │ │ │ │ 153 << ((_a == 0) ? ">" : "<=") << " " << _n; │ │ │ │ │ 154 } │ │ │ │ │ 155 │ │ │ │ │ 156}}} │ │ │ │ │ 157 │ │ │ │ │ @@ -272,18 +272,14 @@ │ │ │ │ │ _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_<_ _V_i_e_w_,_ _i_n_t_ _>_:_:_V_a_r │ │ │ │ │ View::VarType Var │ │ │ │ │ Corresponding variable type. │ │ │ │ │ DDeeffiinniittiioonn _v_a_l_-_c_o_m_m_i_t_._h_p_p_:_4_9 │ │ │ │ │ -_G_e_c_o_d_e_:_:_V_a_l_C_o_m_m_i_t_<_ _V_i_e_w_,_ _i_n_t_ _>_:_:_V_i_e_w │ │ │ │ │ -View View │ │ │ │ │ -View type. │ │ │ │ │ -DDeeffiinniittiioonn _v_a_l_-_c_o_m_m_i_t_._h_p_p_:_4_7 │ │ │ │ │ _G_e_c_o_d_e │ │ │ │ │ Gecode toplevel namespace │ │ │ │ │ _G_e_c_o_d_e_:_:_x │ │ │ │ │ Post propagator for SetVar x │ │ │ │ │ DDeeffiinniittiioonn _s_e_t_._h_h_:_7_6_7 │ │ │ │ │ _G_e_c_o_d_e_:_:_M_o_d_E_v_e_n_t │ │ │ │ │ int ModEvent │ │ │ ├── ./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp_source.html │ │ │ │ @@ -106,97 +106,97 @@ │ │ │ │
38 ValSelMin<View>::ValSelMin
│ │ │ │
39 (Space& home, const ValBranch<ValSelMin<View>::Var>& vb)
│ │ │ │
40 : ValSel<View,int>(home,vb) {}
│ │ │ │
41 template<class View>
│ │ │ │
42 forceinline
│ │ │ │
│ │ │ │
43 ValSelMin<View>::ValSelMin(Space& home, ValSelMin& vs)
│ │ │ │ -
44 : ValSel<View,int>(home,vs) {}
│ │ │ │ +
44 : ValSel<View,int>(home,vs) {}
│ │ │ │
│ │ │ │
45 template<class View>
│ │ │ │
46 forceinline int
│ │ │ │
│ │ │ │ -
47 ValSelMin<View>::val(const Space&, View x, int) {
│ │ │ │ +
47 ValSelMin<View>::val(const Space&, View x, int) {
│ │ │ │
48 return x.min();
│ │ │ │
49 }
│ │ │ │
│ │ │ │
50
│ │ │ │
51 template<class View>
│ │ │ │
52 forceinline
│ │ │ │
53 ValSelMax<View>::ValSelMax
│ │ │ │
54 (Space& home, const ValBranch<ValSelMax<View>::Var>& vb)
│ │ │ │
55 : ValSel<View,int>(home,vb) {}
│ │ │ │
56 template<class View>
│ │ │ │
57 forceinline
│ │ │ │
│ │ │ │
58 ValSelMax<View>::ValSelMax(Space& home, ValSelMax& vs)
│ │ │ │ -
59 : ValSel<View,int>(home,vs) {}
│ │ │ │ +
59 : ValSel<View,int>(home,vs) {}
│ │ │ │
│ │ │ │
60 template<class View>
│ │ │ │
61 forceinline int
│ │ │ │
│ │ │ │ -
62 ValSelMax<View>::val(const Space&, View x, int) {
│ │ │ │ +
62 ValSelMax<View>::val(const Space&, View x, int) {
│ │ │ │
63 return x.max();
│ │ │ │
64 }
│ │ │ │
│ │ │ │
65
│ │ │ │
66 template<class View>
│ │ │ │
67 forceinline
│ │ │ │
68 ValSelMed<View>::ValSelMed
│ │ │ │
69 (Space& home, const ValBranch<ValSelMed<View>::Var>& vb)
│ │ │ │
70 : ValSel<View,int>(home,vb) {}
│ │ │ │
71 template<class View>
│ │ │ │
72 forceinline
│ │ │ │
│ │ │ │
73 ValSelMed<View>::ValSelMed(Space& home, ValSelMed& vs)
│ │ │ │ -
74 : ValSel<View,int>(home,vs) {}
│ │ │ │ +
74 : ValSel<View,int>(home,vs) {}
│ │ │ │
│ │ │ │
75 template<class View>
│ │ │ │
76 forceinline int
│ │ │ │
│ │ │ │ -
77 ValSelMed<View>::val(const Space&, View x, int) {
│ │ │ │ +
77 ValSelMed<View>::val(const Space&, View x, int) {
│ │ │ │
78 return x.med();
│ │ │ │
79 }
│ │ │ │
│ │ │ │
80
│ │ │ │
81 template<class View>
│ │ │ │
82 forceinline
│ │ │ │
83 ValSelAvg<View>::ValSelAvg
│ │ │ │
84 (Space& home, const ValBranch<ValSelAvg<View>::Var>& vb)
│ │ │ │
85 : ValSel<View,int>(home,vb) {}
│ │ │ │
86 template<class View>
│ │ │ │
87 forceinline
│ │ │ │
│ │ │ │
88 ValSelAvg<View>::ValSelAvg(Space& home, ValSelAvg& vs)
│ │ │ │ -
89 : ValSel<View,int>(home,vs) {}
│ │ │ │ +
89 : ValSel<View,int>(home,vs) {}
│ │ │ │
│ │ │ │
90 template<class View>
│ │ │ │
91 forceinline int
│ │ │ │
│ │ │ │ -
92 ValSelAvg<View>::val(const Space&, View x, int) {
│ │ │ │ +
92 ValSelAvg<View>::val(const Space&, View x, int) {
│ │ │ │
93 return (x.width() == 2U) ? x.min() : ((x.min()+x.max()) / 2);
│ │ │ │
94 }
│ │ │ │
│ │ │ │
95
│ │ │ │
96 template<class View>
│ │ │ │
97 forceinline
│ │ │ │
98 ValSelRnd<View>::ValSelRnd
│ │ │ │
99 (Space& home, const ValBranch<ValSelRnd<View>::Var>& vb)
│ │ │ │
100 : ValSel<View,int>(home,vb), r(vb.rnd()) {}
│ │ │ │
101 template<class View>
│ │ │ │
102 forceinline
│ │ │ │
│ │ │ │
103 ValSelRnd<View>::ValSelRnd(Space& home, ValSelRnd& vs)
│ │ │ │ -
104 : ValSel<View,int>(home,vs), r(vs.r) {
│ │ │ │ +
104 : ValSel<View,int>(home,vs), r(vs.r) {
│ │ │ │
105 }
│ │ │ │
│ │ │ │
106 template<class View>
│ │ │ │
107 forceinline int
│ │ │ │
│ │ │ │ -
108 ValSelRnd<View>::val(const Space&, View x, int) {
│ │ │ │ +
108 ValSelRnd<View>::val(const Space&, View x, int) {
│ │ │ │
109 unsigned int p = r(x.size());
│ │ │ │
110 for (ViewRanges<View> i(x); i(); ++i) {
│ │ │ │
111 if (i.width() > p)
│ │ │ │
112 return i.min() + static_cast<int>(p);
│ │ │ │
113 p -= i.width();
│ │ │ │
114 }
│ │ │ │
115 GECODE_NEVER;
│ │ │ │ @@ -296,15 +296,14 @@ │ │ │ │
Gecode::Int::Branch::ValSelRnd::ValSelRnd
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
│ │ │ │
Gecode::Int::Branch::ValSelRnd::dispose
void dispose(Space &home)
Delete value selection.
Definition val-sel.hpp:125
│ │ │ │
Gecode::Int::IntView
Integer view for integer variables.
Definition view.hpp:129
│ │ │ │
Gecode::Int::ViewRanges
Range iterator for integer views.
Definition view.hpp:54
│ │ │ │
Gecode::Space
Computation spaces.
Definition core.hpp:1742
│ │ │ │
Gecode::ValBranch
Value branching information.
Definition val.hpp:41
│ │ │ │
Gecode::ValSel
Base class for value selection.
Definition val-sel.hpp:44
│ │ │ │ - │ │ │ │
Gecode::ValSel< View, int >::Var
View::VarType Var
Corresponding variable type.
Definition val-sel.hpp:49
│ │ │ │
Gecode
Gecode toplevel namespace
│ │ │ │
Gecode::r
Post propagator for SetVar SetOpType SetVar SetRelType r
Definition set.hh:767
│ │ │ │
Gecode::min
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Definition arithmetic.cpp:67
│ │ │ │
Gecode::x
Post propagator for SetVar x
Definition set.hh:767
│ │ │ │
forceinline
#define forceinline
Definition config.hpp:187
│ │ │ │
GECODE_NEVER
#define GECODE_NEVER
Assert that this command is never executed.
Definition macros.hpp:56
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -46,79 +46,79 @@ │ │ │ │ │ 37 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 38 _V_a_l_S_e_l_M_i_n_<_V_i_e_w_>_:_:_V_a_l_S_e_l_M_i_n │ │ │ │ │ 39 (Space& home, const ValBranch<_V_a_l_S_e_l_M_i_n_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 40 : ValSel(home,vb) {} │ │ │ │ │ 41 template │ │ │ │ │ 42 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _4_3 _V_a_l_S_e_l_M_i_n_<_V_i_e_w_>_:_:_V_a_l_S_e_l_M_i_n(_S_p_a_c_e& home, _V_a_l_S_e_l_M_i_n& vs) │ │ │ │ │ -44 : _V_a_l_S_e_l<_V_i_e_w,int>(home,vs) {} │ │ │ │ │ +44 : _V_a_l_S_e_l(home,vs) {} │ │ │ │ │ 45 template │ │ │ │ │ 46 _f_o_r_c_e_i_n_l_i_n_e int │ │ │ │ │ -_4_7 _V_a_l_S_e_l_M_i_n_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e&, _V_i_e_w _x, int) { │ │ │ │ │ +_4_7 _V_a_l_S_e_l_M_i_n_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 48 return _x.min(); │ │ │ │ │ 49 } │ │ │ │ │ 50 │ │ │ │ │ 51 template │ │ │ │ │ 52 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 53 _V_a_l_S_e_l_M_a_x_<_V_i_e_w_>_:_:_V_a_l_S_e_l_M_a_x │ │ │ │ │ 54 (_S_p_a_c_e& home, const _V_a_l_B_r_a_n_c_h<_V_a_l_S_e_l_M_a_x_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 55 : _V_a_l_S_e_l(home,vb) {} │ │ │ │ │ 56 template │ │ │ │ │ 57 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _5_8 _V_a_l_S_e_l_M_a_x_<_V_i_e_w_>_:_:_V_a_l_S_e_l_M_a_x(_S_p_a_c_e& home, _V_a_l_S_e_l_M_a_x& vs) │ │ │ │ │ -59 : _V_a_l_S_e_l<_V_i_e_w,int>(home,vs) {} │ │ │ │ │ +59 : _V_a_l_S_e_l(home,vs) {} │ │ │ │ │ 60 template │ │ │ │ │ 61 _f_o_r_c_e_i_n_l_i_n_e int │ │ │ │ │ -_6_2 _V_a_l_S_e_l_M_a_x_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e&, _V_i_e_w _x, int) { │ │ │ │ │ +_6_2 _V_a_l_S_e_l_M_a_x_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 63 return _x.max(); │ │ │ │ │ 64 } │ │ │ │ │ 65 │ │ │ │ │ 66 template │ │ │ │ │ 67 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 68 _V_a_l_S_e_l_M_e_d_<_V_i_e_w_>_:_:_V_a_l_S_e_l_M_e_d │ │ │ │ │ 69 (_S_p_a_c_e& home, const _V_a_l_B_r_a_n_c_h<_V_a_l_S_e_l_M_e_d_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 70 : _V_a_l_S_e_l(home,vb) {} │ │ │ │ │ 71 template │ │ │ │ │ 72 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _7_3 _V_a_l_S_e_l_M_e_d_<_V_i_e_w_>_:_:_V_a_l_S_e_l_M_e_d(_S_p_a_c_e& home, _V_a_l_S_e_l_M_e_d& vs) │ │ │ │ │ -74 : _V_a_l_S_e_l<_V_i_e_w,int>(home,vs) {} │ │ │ │ │ +74 : _V_a_l_S_e_l(home,vs) {} │ │ │ │ │ 75 template │ │ │ │ │ 76 _f_o_r_c_e_i_n_l_i_n_e int │ │ │ │ │ -_7_7 _V_a_l_S_e_l_M_e_d_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e&, _V_i_e_w _x, int) { │ │ │ │ │ +_7_7 _V_a_l_S_e_l_M_e_d_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 78 return _x.med(); │ │ │ │ │ 79 } │ │ │ │ │ 80 │ │ │ │ │ 81 template │ │ │ │ │ 82 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 83 _V_a_l_S_e_l_A_v_g_<_V_i_e_w_>_:_:_V_a_l_S_e_l_A_v_g │ │ │ │ │ 84 (_S_p_a_c_e& home, const _V_a_l_B_r_a_n_c_h<_V_a_l_S_e_l_A_v_g_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 85 : _V_a_l_S_e_l(home,vb) {} │ │ │ │ │ 86 template │ │ │ │ │ 87 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _8_8 _V_a_l_S_e_l_A_v_g_<_V_i_e_w_>_:_:_V_a_l_S_e_l_A_v_g(_S_p_a_c_e& home, _V_a_l_S_e_l_A_v_g& vs) │ │ │ │ │ -89 : _V_a_l_S_e_l<_V_i_e_w,int>(home,vs) {} │ │ │ │ │ +89 : _V_a_l_S_e_l(home,vs) {} │ │ │ │ │ 90 template │ │ │ │ │ 91 _f_o_r_c_e_i_n_l_i_n_e int │ │ │ │ │ -_9_2 _V_a_l_S_e_l_A_v_g_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e&, _V_i_e_w _x, int) { │ │ │ │ │ +_9_2 _V_a_l_S_e_l_A_v_g_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 93 return (_x.width() == 2U) ? _x.min() : ((_x.min()+_x.max()) / 2); │ │ │ │ │ 94 } │ │ │ │ │ 95 │ │ │ │ │ 96 template │ │ │ │ │ 97 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ 98 _V_a_l_S_e_l_R_n_d_<_V_i_e_w_>_:_:_V_a_l_S_e_l_R_n_d │ │ │ │ │ 99 (_S_p_a_c_e& home, const _V_a_l_B_r_a_n_c_h<_V_a_l_S_e_l_R_n_d_<_V_i_e_w_>_:_:_V_a_r>& vb) │ │ │ │ │ 100 : _V_a_l_S_e_l(home,vb), _r(vb.rnd()) {} │ │ │ │ │ 101 template │ │ │ │ │ 102 _f_o_r_c_e_i_n_l_i_n_e │ │ │ │ │ _1_0_3 _V_a_l_S_e_l_R_n_d_<_V_i_e_w_>_:_:_V_a_l_S_e_l_R_n_d(_S_p_a_c_e& home, _V_a_l_S_e_l_R_n_d& vs) │ │ │ │ │ -104 : _V_a_l_S_e_l<_V_i_e_w,int>(home,vs), _r(vs._r) { │ │ │ │ │ +104 : _V_a_l_S_e_l(home,vs), _r(vs._r) { │ │ │ │ │ 105 } │ │ │ │ │ 106 template │ │ │ │ │ 107 _f_o_r_c_e_i_n_l_i_n_e int │ │ │ │ │ -_1_0_8 _V_a_l_S_e_l_R_n_d_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e&, _V_i_e_w _x, int) { │ │ │ │ │ +_1_0_8 _V_a_l_S_e_l_R_n_d_<_V_i_e_w_>_:_:_v_a_l(const _S_p_a_c_e&, View _x, int) { │ │ │ │ │ 109 unsigned int _p = _r(_x.size()); │ │ │ │ │ 110 for (_V_i_e_w_R_a_n_g_e_s_<_V_i_e_w_> i(_x); i(); ++i) { │ │ │ │ │ 111 if (i.width() > _p) │ │ │ │ │ 112 return i.min() + static_cast(_p); │ │ │ │ │ 113 _p -= i.width(); │ │ │ │ │ 114 } │ │ │ │ │ 115 _G_E_C_O_D_E___N_E_V_E_R; │ │ │ │ │ @@ -271,18 +271,14 @@ │ │ │ │ │ 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_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_l_S_e_l_<_ _V_i_e_w_,_ _i_n_t_ _>_:_:_V_i_e_w │ │ │ │ │ -View View │ │ │ │ │ -View type. │ │ │ │ │ -DDeeffiinniittiioonn _v_a_l_-_s_e_l_._h_p_p_:_4_7 │ │ │ │ │ _G_e_c_o_d_e_:_:_V_a_l_S_e_l_<_ _V_i_e_w_,_ _i_n_t_ _>_:_:_V_a_r │ │ │ │ │ View::VarType Var │ │ │ │ │ Corresponding variable type. │ │ │ │ │ DDeeffiinniittiioonn _v_a_l_-_s_e_l_._h_p_p_:_4_9 │ │ │ │ │ _G_e_c_o_d_e │ │ │ │ │ Gecode toplevel namespace │ │ │ │ │ _G_e_c_o_d_e_:_:_r │ │ │ ├── ./usr/share/doc/libgecode-doc/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<_V_i_e_w,double>(home,mf), f(mf.f) { │ │ │ │ │ +201 : _M_e_r_i_t_B_a_s_e(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, _V_i_e_w _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, View _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<_V_i_e_w,unsigned int>(home,md) {} │ │ │ │ │ +231 : _M_e_r_i_t_B_a_s_e(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&, _V_i_e_w _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&, View _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<_V_i_e_w,double>(home,ma), afc(ma.afc) {} │ │ │ │ │ +247 : _M_e_r_i_t_B_a_s_e(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&, _V_i_e_w _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&, View _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<_V_i_e_w,double>(home,ma), action(ma.action) {} │ │ │ │ │ +276 : _M_e_r_i_t_B_a_s_e(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&, _V_i_e_w, 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&, View, 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<_V_i_e_w,double>(home,ma), chb(ma.chb) {} │ │ │ │ │ +302 : _M_e_r_i_t_B_a_s_e(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&, _V_i_e_w, 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&, View, 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-doc/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<_V_i_e_w,Val>(home,vb), c(vb.commit()) { │ │ │ │ │ +120 : _V_a_l_C_o_m_m_i_t(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<_V_i_e_w,Val>(home,vc), c(vc.c) { │ │ │ │ │ +128 : _V_a_l_C_o_m_m_i_t(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, _V_i_e_w _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, View _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, _V_i_e_w, 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, View, 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 _V_i_e_w, 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 │ │ │ │ │ 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-doc/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<_V_i_e_w,_V_a_l>(home,vs), v(vs.v) { │ │ │ │ │ +124 : _V_a_l_S_e_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, _V_i_e_w _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, View _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 {