--- /srv/reproducible-results/rbuild-debian/r-b-build.1EsKWwmX/b1/gecode_6.2.0-5.1_i386.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.1EsKWwmX/b2/gecode_6.2.0-5.1_i386.changes ├── Files │ @@ -1,11 +1,11 @@ │ │ 7037398d49c3e309fd5b2844550ed010 123496 debug optional flatzinc-dbgsym_6.2.0-5.1_i386.deb │ 6dd5661f52799a13ac4b31cd112c4200 72788 devel optional flatzinc_6.2.0-5.1_i386.deb │ 68170cb1aa9efcdd25da59188d857654 509332 libdevel optional libgecode-dev_6.2.0-5.1_i386.deb │ - 591a89f06dd629880fcf60594aaaf15b 11567916 doc optional libgecode-doc_6.2.0-5.1_all.deb │ + 29063cb0fb511e2981f14c626e8902c1 11568792 doc optional libgecode-doc_6.2.0-5.1_all.deb │ 5bb3db6ef1538a8b7e7f33bc921adce7 57595476 debug optional libgecode49t64-dbgsym_6.2.0-5.1_i386.deb │ 60e91c9f95f04dda702179eb1f6f1123 3069456 libs optional libgecode49t64_6.2.0-5.1_i386.deb │ 3fefe7a75aa93501d68c824b151c59e9 2497072 debug optional libgecodeflatzinc49t64-dbgsym_6.2.0-5.1_i386.deb │ 3779ec41a1c0cbf335aa593354eea2b3 277520 libs optional libgecodeflatzinc49t64_6.2.0-5.1_i386.deb │ a9bb6c546ece8af13dc2fda180d42b95 4147148 debug optional libgecodegist49t64-dbgsym_6.2.0-5.1_i386.deb │ b0ab769b9ea2503bbae67d5c757b2a1f 175152 libs optional libgecodegist49t64_6.2.0-5.1_i386.deb ├── libgecode-doc_6.2.0-5.1_all.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2024-02-28 15:56:55.000000 debian-binary │ │ --rw-r--r-- 0 0 0 156300 2024-02-28 15:56:55.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 11411424 2024-02-28 15:56:55.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 156308 2024-02-28 15:56:55.000000 control.tar.xz │ │ +-rw-r--r-- 0 0 0 11412292 2024-02-28 15:56:55.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./control │ │ │ │ @@ -1,13 +1,13 @@ │ │ │ │ Package: libgecode-doc │ │ │ │ Source: gecode │ │ │ │ Version: 6.2.0-5.1 │ │ │ │ Architecture: all │ │ │ │ Maintainer: Kari Pahula │ │ │ │ -Installed-Size: 230378 │ │ │ │ +Installed-Size: 230383 │ │ │ │ Depends: libjs-jquery │ │ │ │ Suggests: libgecode-dev │ │ │ │ Section: doc │ │ │ │ Priority: optional │ │ │ │ Homepage: http://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-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 63039 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4940 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 16838 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 10944 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 58122 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 16366 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh.html │ │ │ │ --rw-r--r-- 0 root (0) root (0) 95995 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 95492 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4647 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 53730 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4515 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 50244 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 7021 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 28622 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 5869 2024-02-28 15:56:55.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-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 42922 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 3612 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 21629 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 3480 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 18324 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4485 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp.html │ │ │ │ --rw-r--r-- 0 root (0) root (0) 72844 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp_source.html │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 75105 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4479 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 60260 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4773 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 25516 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4500 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp.html │ │ │ │ --rw-r--r-- 0 root (0) root (0) 61490 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp_source.html │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 63557 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 8697 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel-commit_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 64299 2024-02-28 15:56:55.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-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp.html │ │ │ │ --rw-r--r-- 0 root (0) root (0) 59856 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp_source.html │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 61266 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 15100 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 56003 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 54802 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 177273 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 6673 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2view-sel_8cpp.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 103740 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_2view-sel_8cpp_source.html │ │ │ │ -rw-r--r-- 0 root (0) root (0) 8170 2024-02-28 15:56:55.000000 ./usr/share/doc/libgecode-doc/html/int_2branch_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,15 +383,14 @@ │ │ │ │
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,18 +458,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_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,14 +357,15 @@ │ │ │ │
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(home,m) {} │ │ │ │ │ +45 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,int>(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&, View _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&, _V_i_e_w _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(home,m) {} │ │ │ │ │ +61 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,int>(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&, View _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&, _V_i_e_w _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(home,m) {} │ │ │ │ │ +77 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,unsigned int>(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&, View _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&, _V_i_e_w _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(home,m) {} │ │ │ │ │ +93 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(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&, View _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&, _V_i_e_w _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(home,m), afc(m.afc) {} │ │ │ │ │ +109 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(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&, View _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&, _V_i_e_w _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(home,m), action(m.action) {} │ │ │ │ │ +136 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(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&, View _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&, _V_i_e_w _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(home,m), chb(m.chb) {} │ │ │ │ │ +162 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,double>(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&, View _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&, _V_i_e_w _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(home,m) {} │ │ │ │ │ +188 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,unsigned int>(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&, View _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&, _V_i_e_w _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(home,m) {} │ │ │ │ │ +204 : _M_e_r_i_t_B_a_s_e<_V_i_e_w,unsigned int>(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&, View _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&, _V_i_e_w _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,14 +333,18 @@ │ │ │ │ │ _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,14 +283,15 @@ │ │ │ │
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(home,vc) {} │ │ │ │ │ +44 : _V_a_l_C_o_m_m_i_t<_V_i_e_w,int>(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, View _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, _V_i_e_w _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, View _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, _V_i_e_w _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, View, 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, _V_i_e_w, 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(home,vc) {} │ │ │ │ │ +74 : _V_a_l_C_o_m_m_i_t<_V_i_e_w,int>(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, View _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, _V_i_e_w _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, View _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, _V_i_e_w _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, View, 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, _V_i_e_w, 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(home,vc) {} │ │ │ │ │ +104 : _V_a_l_C_o_m_m_i_t<_V_i_e_w,int>(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, View _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, _V_i_e_w _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, View _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, _V_i_e_w _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, View, 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, _V_i_e_w, 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(home,vc) {} │ │ │ │ │ +134 : _V_a_l_C_o_m_m_i_t<_V_i_e_w,int>(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, View _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, _V_i_e_w _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, View _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, _V_i_e_w _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, View, 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, _V_i_e_w, int i, │ │ │ │ │ 151 int _n, std::ostream& o) const { │ │ │ │ │ 152 o << "var[" << i << "] " │ │ │ │ │ 153 << ((_a == 0) ? ">" : "<=") << " " << _n; │ │ │ │ │ 154 } │ │ │ │ │ 155 │ │ │ │ │ 156}}} │ │ │ │ │ 157 │ │ │ │ │ @@ -272,14 +272,18 @@ │ │ │ │ │ _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,14 +296,15 @@ │ │ │ │
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(home,vs) {} │ │ │ │ │ +44 : _V_a_l_S_e_l<_V_i_e_w,int>(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&, View _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&, _V_i_e_w _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(home,vs) {} │ │ │ │ │ +59 : _V_a_l_S_e_l<_V_i_e_w,int>(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&, View _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&, _V_i_e_w _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(home,vs) {} │ │ │ │ │ +74 : _V_a_l_S_e_l<_V_i_e_w,int>(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&, View _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&, _V_i_e_w _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(home,vs) {} │ │ │ │ │ +89 : _V_a_l_S_e_l<_V_i_e_w,int>(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&, View _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&, _V_i_e_w _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(home,vs), _r(vs._r) { │ │ │ │ │ +104 : _V_a_l_S_e_l<_V_i_e_w,int>(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&, View _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&, _V_i_e_w _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,14 +271,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_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