/usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.VCrI2xR7/gecode_6.2.0-7.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.VCrI2xR7/gecode_6.2.0-7.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.VCrI2xR7/gecode_6.2.0-7.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.VCrI2xR7/b1/gecode_6.2.0-7_i386.changes /srv/reproducible-results/rbuild-debian/r-b-build.VCrI2xR7/b2/gecode_6.2.0-7

⊟

94.4 KB

/srv/reproducible-results/rbuild-debian/r-b-build.VCrI2xR7/b1/gecode_6.2.0-7_i386.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.VCrI2xR7/b2/gecode_6.2.0-7_i386.changes ¶

⊟

874 B

Files ¶


Offset 1, 9 lines modified		Offset 1, 9 lines modified

1	·ae824a86a64f80e5473144df4984356e·509440·libdevel·optional·libgecode-dev_6.2.0-7_i386.deb	1	·ae824a86a64f80e5473144df4984356e·509440·libdevel·optional·libgecode-dev_6.2.0-7_i386.deb
2	·2~~52e236b~~8fc724~~47f2~~c6af4098~~ec4b~~ab·110~~61048~~·doc·optional·libgecode-doc_6.2.0-7_all.deb	2	·2ae5f1cf898c634a3cdc154c58437fa5·11053264·doc·optional·libgecode-doc_6.2.0-7_all.deb
3	·324d4411848816d1d3bc57be0125de34·56444056·debug·optional·libgecode49t64-dbgsym_6.2.0-7_i386.deb	3	·324d4411848816d1d3bc57be0125de34·56444056·debug·optional·libgecode49t64-dbgsym_6.2.0-7_i386.deb
4	·718dfd5f7fce8c7b7c88649fdf4c3b28·3174464·libs·optional·libgecode49t64_6.2.0-7_i386.deb	4	·718dfd5f7fce8c7b7c88649fdf4c3b28·3174464·libs·optional·libgecode49t64_6.2.0-7_i386.deb
5	·700ce55349280a916d6a045bff33e04e·2552008·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-7_i386.deb	5	·700ce55349280a916d6a045bff33e04e·2552008·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-7_i386.deb
6	·a61641d5cf7dacd518a953e032eddcbc·281560·libs·optional·libgecodeflatzinc49t64_6.2.0-7_i386.deb	6	·a61641d5cf7dacd518a953e032eddcbc·281560·libs·optional·libgecodeflatzinc49t64_6.2.0-7_i386.deb
7	·617c07b6e9e22f8128cae10a74714bcb·3093308·debug·optional·libgecodegist49t64-dbgsym_6.2.0-7_i386.deb	7	·617c07b6e9e22f8128cae10a74714bcb·3093308·debug·optional·libgecodegist49t64-dbgsym_6.2.0-7_i386.deb
8	·3e3e18936140b89a4e2e41fc32741044·175932·libs·optional·libgecodegist49t64_6.2.0-7_i386.deb	8	·3e3e18936140b89a4e2e41fc32741044·175932·libs·optional·libgecodegist49t64_6.2.0-7_i386.deb

⊟

93.3 KB

libgecode-doc_6.2.0-7_all.deb ¶

⊟

452 B

file list ¶


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2025-02-11·17:33:26.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2025-02-11·17:33:26.000000·debian-binary
2	-rw-r--r--···0········0········0···156256·2025-02-11·17:33:26.000000·control.tar.xz	2	-rw-r--r--···0········0········0···156276·2025-02-11·17:33:26.000000·control.tar.xz
3	-rw-r--r--···0········0········0·10~~904600~~·2025-02-11·17:33:26.000000·data.tar.xz	3	-rw-r--r--···0········0········0·10896796·2025-02-11·17:33:26.000000·data.tar.xz

⊟

542 B

control.tar.xz ¶

⊟

514 B

control.tar ¶

⊟

444 B

./control ¶


Offset 1, 13 lines modified		Offset 1, 13 lines modified
1	Package:·libgecode-doc	1	Package:·libgecode-doc
2	Source:·gecode	2	Source:·gecode
3	Version:·6.2.0-7	3	Version:·6.2.0-7
4	Architecture:·all	4	Architecture:·all
5	Maintainer:·Kari·Pahula·<kaol@debian.org>	5	Maintainer:·Kari·Pahula·<kaol@debian.org>
6	Installed-Size:·234762	6	Installed-Size:·234763
7	Depends:·libjs-jquery	7	Depends:·libjs-jquery
8	Suggests:·libgecode-dev	8	Suggests:·libgecode-dev
9	Section:·doc	9	Section:·doc
10	Priority:·optional	10	Priority:·optional
11	Homepage:·https://www.gecode.org/	11	Homepage:·https://www.gecode.org/
12	Description:·generic·constraint·development·environment	12	Description:·generic·constraint·development·environment
13	·Gecode·is·a·toolkit·for·developing·constraint-based·systems·and	13	·Gecode·is·a·toolkit·for·developing·constraint-based·systems·and

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

92.3 KB

data.tar.xz ¶

⊟

92.3 KB

data.tar ¶

⊟

8.77 KB

file list ¶

⊟

17.3 KB

./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh_source.html ¶

⊟

1020 B

html2text {} ¶

⊟

32.0 KB

./usr/share/doc/libgecode-dev/html/kernel_2branch_2merit_8hpp_source.html ¶

⊟

6.33 KB

html2text {} ¶

⊟

15.5 KB

./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-commit_8hpp_source.html ¶

⊟

2.71 KB

html2text {} ¶


Offset 96, 42 lines modified		Offset 96, 42 lines modified
96	113	96	113
97	114	97	114
98	115·//·User-defined·value·selection	98	115·//·User-defined·value·selection
99	116·template<class·View>	99	116·template<class·View>
100	117·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	100	117·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
101	_\x81_\x81_\x88·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,	101	_\x81_\x81_\x88·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,
102	119·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb)	102	119·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb)
103	120·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,Val>(home,vb),·c(vb.commit())·{	103	120·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<_.V_.i_.e_.w,Val>(home,vb),·c(vb.commit())·{
104	121·if·(!_\x8c())	104	121·if·(!_\x8c())
105	122·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("ValCommitFunction::ValCommitFunction");	105	122·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("ValCommitFunction::ValCommitFunction");
106	123·}	106	123·}
107	124·template<class·View>	107	124·template<class·View>
108	125·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	108	125·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
109	_\x81_\x82_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,	109	_\x81_\x82_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,
110	127·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vc)	110	127·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vc)
111	128·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,Val>(home,vc),·c(vc.c)·{	111	128·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<_.V_.i_.e_.w,Val>(home,vc),·c(vc.c)·{
112	129·}	112	129·}
113	130·template<class·View>	113	130·template<class·View>
114	131·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t	114	131·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t
115	_\x81_\x83_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8c_\x8o_\x8m_\x8m_\x8i_\x8t(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·View·_\x8x,·int·i,	115	_\x81_\x83_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8c_\x8o_\x8m_\x8m_\x8i_\x8t(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·_.V_.i_.e_.w·_\x8x,·int·i,
116	133·Val·_\x8n)·{	116	133·Val·_\x8n)·{
117	134·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());	117	134·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());
118	135·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(c());	118	135·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(c());
119	136·c()(home,_\x8a,_\x8y,i,_\x8n);	119	136·c()(home,_\x8a,_\x8y,i,_\x8n);
120	137·return·home._\x8f_\x8a_\x8i_\x8l_\x8e_\x8d()·?·_\x8E_\x8S_\x8__\x8F_\x8A_\x8I_\x8L_\x8E_\x8D·:·_\x8E_\x8S_\x8__\x8O_\x8K;	120	137·return·home._\x8f_\x8a_\x8i_\x8l_\x8e_\x8d()·?·_\x8E_\x8S_\x8__\x8F_\x8A_\x8I_\x8L_\x8E_\x8D·:·_\x8E_\x8S_\x8__\x8O_\x8K;
121	138·}	121	138·}
122	139·template<class·View>	122	139·template<class·View>
123	140·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*	123	140·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*
124	_\x81_\x84_\x81·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int,·View,·Val)·const·{	124	_\x81_\x84_\x81·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int,·_.V_.i_.e_.w,·Val)·const·{
125	142·return·NULL;	125	142·return·NULL;
126	143·}	126	143·}
127	144·template<class·View>	127	144·template<class·View>
128	145·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void	128	145·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void
129	_\x81_\x84_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int,	129	_\x81_\x84_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int,
130	147·View,·int·i,·const·Val&,	130	147·_.V_.i_.e_.w,·int·i,·const·Val&,
131	148·std::ostream&·o)·const·{	131	148·std::ostream&·o)·const·{
132	149·o·<<·"var["·<<·i·<<·"]·is·user-defined.";	132	149·o·<<·"var["·<<·i·<<·"]·is·user-defined.";
133	150·}	133	150·}
134	151·template<class·View>	134	151·template<class·View>
135	152·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool	135	152·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
136	_\x81_\x85_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{	136	_\x81_\x85_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
137	154·return·true;	137	154·return·true;

⊟

7.09 KB

./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-sel_8hpp_source.html ¶

⊟

1.38 KB

html2text {} ¶


Offset 102, 19 lines modified		Offset 102, 19 lines modified
102	117·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,Val>(home,vb),·v(vb.val())·{	102	117·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,Val>(home,vb),·v(vb.val())·{
103	118·if·(!v())	103	118·if·(!v())
104	119·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("ValSelFunction::ValSelFunction");	104	119·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("ValSelFunction::ValSelFunction");
105	120·}	105	120·}
106	121·template<class·View>	106	121·template<class·View>
107	122·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	107	122·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
108	_\x81_\x82_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs)	108	_\x81_\x82_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs)
109	124·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,_\x8V_\x8a_\x8l>(home,vs),·v(vs.v)·{	109	124·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<_.V_.i_.e_.w,_\x8V_\x8a_\x8l>(home,vs),·v(vs.v)·{
110	125·}	110	125·}
111	126·template<class·View>	111	126·template<class·View>
112	127·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·typename·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l	112	127·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·typename·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l
113	_\x81_\x82_\x88·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·View·_\x8x,·int·i)·{	113	_\x81_\x82_\x88·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_.V_.i_.e_.w·_\x8x,·int·i)·{
114	129·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());	114	129·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());
115	130·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(v());	115	130·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(v());
116	131·return·v()(home,_\x8y,i);	116	131·return·v()(home,_\x8y,i);
117	132·}	117	132·}
118	133·template<class·View>	118	133·template<class·View>
119	134·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool	119	134·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
120	_\x81_\x83_\x85·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{	120	_\x81_\x83_\x85·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{

⊟

11.6 KB

./usr/share/doc/libgecode-dev/html/view-sel_8hpp_source.html ¶

⊟

2.14 KB

html2text {} ¶


Offset 309, 19 lines modified		Offset 309, 19 lines modified
309	415·}	309	415·}
310	416	310	416
311	417	311	417
312	418	312	418
313	419·template<class·View>	313	419·template<class·View>
314	420·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	314	420·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
315	_\x84_\x82_\x81·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb)	315	_\x84_\x82_\x81·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb)
316	422·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<View>(home,vb)·{}	316	422·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<_.V_.i_.e_.w>(home,vb)·{}
317	423·template<class·View>	317	423·template<class·View>
318	424·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	318	424·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
319	_\x84_\x82_\x85·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs)	319	_\x84_\x82_\x85·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs)
320	426·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<View>(home,vs)·{}	320	426·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<_.V_.i_.e_.w>(home,vs)·{}
321	427·template<class·View>	321	427·template<class·View>
322	428·int	322	428·int
323	_\x84_\x82_\x89·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8s_\x8e_\x8l_\x8e_\x8c_\x8t(_\x8S_\x8p_\x8a_\x8c_\x8e&,·_\x8V_\x8i_\x8e_\x8w_\x8A_\x8r_\x8r_\x8a_\x8y_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&,·int·s)·{	323	_\x84_\x82_\x89·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8s_\x8e_\x8l_\x8e_\x8c_\x8t(_\x8S_\x8p_\x8a_\x8c_\x8e&,·_\x8V_\x8i_\x8e_\x8w_\x8A_\x8r_\x8r_\x8a_\x8y_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&,·int·s)·{
324	430·return·s;	324	430·return·s;
325	431·}	325	431·}
326	432·template<class·View>	326	432·template<class·View>
327	433·int	327	433·int
Offset 368, 19 lines modified		Offset 368, 19 lines modified
368	474·return·new·(home)·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,*this);	368	474·return·new·(home)·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,*this);
369	475·}	369	475·}
370	476	370	476
371	477	371	477
372	478·template<class·View>	372	478·template<class·View>
373	479·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	373	479·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
374	_\x84_\x88_\x80·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb)	374	_\x84_\x88_\x80·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb)
375	481·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<View>(home,vb),·_\x8r(vb.rnd())·{}	375	481·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<_.V_.i_.e_.w>(home,vb),·_\x8r(vb.rnd())·{}
376	482·template<class·View>	376	482·template<class·View>
377	483·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	377	483·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
378	_\x84_\x88_\x84·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs)	378	_\x84_\x88_\x84·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs)
379	485·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<View>(home,vs),·_\x8r(vs._\x8r)·{}	379	485·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<_.V_.i_.e_.w>(home,vs),·_\x8r(vs._\x8r)·{}
380	486·template<class·View>	380	486·template<class·View>
381	487·int	381	487·int
382	_\x84_\x88_\x88·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8s_\x8e_\x8l_\x8e_\x8c_\x8t(_\x8S_\x8p_\x8a_\x8c_\x8e&,·_\x8V_\x8i_\x8e_\x8w_\x8A_\x8r_\x8r_\x8a_\x8y_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·_\x8x,·int·s)·{	382	_\x84_\x88_\x88·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8s_\x8e_\x8l_\x8e_\x8c_\x8t(_\x8S_\x8p_\x8a_\x8c_\x8e&,·_\x8V_\x8i_\x8e_\x8w_\x8A_\x8r_\x8r_\x8a_\x8y_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·_\x8x,·int·s)·{
383	489·unsigned·int·_\x8n=1;	383	489·unsigned·int·_\x8n=1;
384	490·int·j=s;	384	490·int·j=s;
385	491·for·(int·i=s+1;·i<_\x8x.size();·i++)	385	491·for·(int·i=s+1;·i<_\x8x.size();·i++)
386	492·if·(!_\x8x[i].assigned())·{	386	492·if·(!_\x8x[i].assigned())·{


Offset 5008, 15 lines modified		Offset 5008, 15 lines modified
5008	-rw-r--r--···0·root·········(0)·root·········(0)·····3513·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2array_8cpp.html	5008	-rw-r--r--···0·root·········(0)·root·········(0)·····3513·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2array_8cpp.html
5009	-rw-r--r--···0·root·········(0)·root·········(0)····63039·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2array_8cpp_source.html	5009	-rw-r--r--···0·root·········(0)·root·········(0)····63039·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2array_8cpp_source.html
5010	-rw-r--r--···0·root·········(0)·root·········(0)·····4940·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2bool_8cpp.html	5010	-rw-r--r--···0·root·········(0)·root·········(0)·····4940·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2bool_8cpp.html
5011	-rw-r--r--···0·root·········(0)·root·········(0)····16838·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2bool_8cpp_source.html	5011	-rw-r--r--···0·root·········(0)·root·········(0)····16838·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2bool_8cpp_source.html
5012	-rw-r--r--···0·root·········(0)·root·········(0)····10944·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8cpp.html	5012	-rw-r--r--···0·root·········(0)·root·········(0)····10944·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8cpp.html
5013	-rw-r--r--···0·root·········(0)·root·········(0)····58122·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8cpp_source.html	5013	-rw-r--r--···0·root·········(0)·root·········(0)····58122·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8cpp_source.html
5014	-rw-r--r--···0·root·········(0)·root·········(0)····16366·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh.html	5014	-rw-r--r--···0·root·········(0)·root·········(0)····16366·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh.html
5015	-rw-r--r--···0·root·········(0)·root·········(0)····95492·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh_source.html	5015	-rw-r--r--···0·root·········(0)·root·········(0)····95995·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh_source.html
5016	-rw-r--r--···0·root·········(0)·root·········(0)·····4647·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2int_8hpp.html	5016	-rw-r--r--···0·root·········(0)·root·········(0)·····4647·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2int_8hpp.html
5017	-rw-r--r--···0·root·········(0)·root·········(0)····53730·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2int_8hpp_source.html	5017	-rw-r--r--···0·root·········(0)·root·········(0)····53730·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2int_8hpp_source.html
5018	-rw-r--r--···0·root·········(0)·root·········(0)·····4515·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2set_8hpp.html	5018	-rw-r--r--···0·root·········(0)·root·········(0)·····4515·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2set_8hpp.html
5019	-rw-r--r--···0·root·········(0)·root·········(0)····50244·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2set_8hpp_source.html	5019	-rw-r--r--···0·root·········(0)·root·········(0)····50244·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2set_8hpp_source.html
5020	-rw-r--r--···0·root·········(0)·root·········(0)·····7021·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_8cpp.html	5020	-rw-r--r--···0·root·········(0)·root·········(0)·····7021·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_8cpp.html
5021	-rw-r--r--···0·root·········(0)·root·········(0)····28622·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_8cpp_source.html	5021	-rw-r--r--···0·root·········(0)·root·········(0)····28622·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_8cpp_source.html
5022	-rw-r--r--···0·root·········(0)·root·········(0)·····5869·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2convex_8cpp.html	5022	-rw-r--r--···0·root·········(0)·root·········(0)·····5869·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2convex_8cpp.html
Offset 5602, 23 lines modified		Offset 5602, 23 lines modified
5602	-rw-r--r--···0·root·········(0)·root·········(0)·····4339·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2afc_8hpp.html	5602	-rw-r--r--···0·root·········(0)·root·········(0)·····4339·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2afc_8hpp.html
5603	-rw-r--r--···0·root·········(0)·root·········(0)····40615·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2afc_8hpp_source.html	5603	-rw-r--r--···0·root·········(0)·root·········(0)····40615·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2afc_8hpp_source.html
5604	-rw-r--r--···0·root·········(0)·root·········(0)·····3619·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8cpp.html	5604	-rw-r--r--···0·root·········(0)·root·········(0)·····3619·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8cpp.html
5605	-rw-r--r--···0·root·········(0)·root·········(0)····18641·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8cpp_source.html	5605	-rw-r--r--···0·root·········(0)·root·········(0)····18641·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8cpp_source.html
5606	-rw-r--r--···0·root·········(0)·root·········(0)·····6544·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8hpp.html	5606	-rw-r--r--···0·root·········(0)·root·········(0)·····6544·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8hpp.html
5607	-rw-r--r--···0·root·········(0)·root·········(0)···135052·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8hpp_source.html	5607	-rw-r--r--···0·root·········(0)·root·········(0)···135052·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2chb_8hpp_source.html
5608	-rw-r--r--···0·root·········(0)·root·········(0)·····6839·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2merit_8hpp.html	5608	-rw-r--r--···0·root·········(0)·root·········(0)·····6839·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2merit_8hpp.html
5609	-rw-r--r--···0·root·········(0)·root·········(0)····88144·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2merit_8hpp_source.html	5609	-rw-r--r--···0·root·········(0)·root·········(0)····89164·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2merit_8hpp_source.html
5610	-rw-r--r--···0·root·········(0)·root·········(0)·····6368·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2print_8hpp.html	5610	-rw-r--r--···0·root·········(0)·root·········(0)·····6368·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2print_8hpp.html
5611	-rw-r--r--···0·root·········(0)·root·········(0)····48730·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2print_8hpp_source.html	5611	-rw-r--r--···0·root·········(0)·root·········(0)····48730·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2print_8hpp_source.html
5612	-rw-r--r--···0·root·········(0)·root·········(0)·····4200·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2traits_8hpp.html	5612	-rw-r--r--···0·root·········(0)·root·········(0)·····4200·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2traits_8hpp.html
5613	-rw-r--r--···0·root·········(0)·root·········(0)·····9806·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2traits_8hpp_source.html	5613	-rw-r--r--···0·root·········(0)·root·········(0)·····9806·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2traits_8hpp_source.html
5614	-rw-r--r--···0·root·········(0)·root·········(0)·····4737·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-commit_8hpp.html	5614	-rw-r--r--···0·root·········(0)·root·········(0)·····4737·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-commit_8hpp.html
5615	-rw-r--r--···0·root·········(0)·root·········(0)····52268·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-commit_8hpp_source.html	5615	-rw-r--r--···0·root·········(0)·root·········(0)····52778·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-commit_8hpp_source.html
5616	-rw-r--r--···0·root·········(0)·root·········(0)·····4706·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-sel_8hpp.html	5616	-rw-r--r--···0·root·········(0)·root·········(0)·····4706·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-sel_8hpp.html
5617	-rw-r--r--···0·root·········(0)·root·········(0)····42325·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-sel_8hpp_source.html	5617	-rw-r--r--···0·root·········(0)·root·········(0)····42523·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val-sel_8hpp_source.html
5618	-rw-r--r--···0·root·········(0)·root·········(0)·····4189·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val_8hpp.html	5618	-rw-r--r--···0·root·········(0)·root·········(0)·····4189·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val_8hpp.html
5619	-rw-r--r--···0·root·········(0)·root·········(0)····29475·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val_8hpp_source.html	5619	-rw-r--r--···0·root·········(0)·root·········(0)····29475·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2val_8hpp_source.html
5620	-rw-r--r--···0·root·········(0)·root·········(0)·····5278·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2var_8hpp.html	5620	-rw-r--r--···0·root·········(0)·root·········(0)·····5278·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2var_8hpp.html
5621	-rw-r--r--···0·root·········(0)·root·········(0)····65617·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2var_8hpp_source.html	5621	-rw-r--r--···0·root·········(0)·root·········(0)····65617·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2var_8hpp_source.html
5622	-rw-r--r--···0·root·········(0)·root·········(0)·····5137·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2view_8hpp.html	5622	-rw-r--r--···0·root·········(0)·root·········(0)·····5137·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2view_8hpp.html
5623	-rw-r--r--···0·root·········(0)·root·········(0)····66535·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2view_8hpp_source.html	5623	-rw-r--r--···0·root·········(0)·root·········(0)····66535·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2branch_2view_8hpp_source.html
5624	-rw-r--r--···0·root·········(0)·root·········(0)····32308·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2data_2array_8hpp.html	5624	-rw-r--r--···0·root·········(0)·root·········(0)····32308·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/kernel_2data_2array_8hpp.html
Offset 6962, 15 lines modified		Offset 6962, 15 lines modified
6962	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-eq_8hpp.html	6962	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-eq_8hpp.html
6963	-rw-r--r--···0·root·········(0)·root·········(0)····46713·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-eq_8hpp_source.html	6963	-rw-r--r--···0·root·········(0)·root·········(0)····46713·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-eq_8hpp_source.html
6964	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-gq_8hpp.html	6964	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-gq_8hpp.html
6965	-rw-r--r--···0·root·········(0)·root·········(0)····43307·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-gq_8hpp_source.html	6965	-rw-r--r--···0·root·········(0)·root·········(0)····43307·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-gq_8hpp_source.html
6966	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-lq_8hpp.html	6966	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-lq_8hpp.html
6967	-rw-r--r--···0·root·········(0)·root·········(0)····37185·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-lq_8hpp_source.html	6967	-rw-r--r--···0·root·········(0)·root·········(0)····37185·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-lq_8hpp_source.html
6968	-rw-r--r--···0·root·········(0)·root·········(0)·····9269·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-sel_8hpp.html	6968	-rw-r--r--···0·root·········(0)·root·········(0)·····9269·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-sel_8hpp.html
6969	-rw-r--r--···0·root·········(0)·root·········(0)···249095·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-sel_8hpp_source.html	6969	-rw-r--r--···0·root·········(0)·root·········(0)···249495·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-sel_8hpp_source.html
6970	-rw-r--r--···0·root·········(0)·root·········(0)·····4749·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_2graph_8hpp.html	6970	-rw-r--r--···0·root·········(0)·root·········(0)·····4749·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_2graph_8hpp.html
6971	-rw-r--r--···0·root·········(0)·root·········(0)····61712·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_2graph_8hpp_source.html	6971	-rw-r--r--···0·root·········(0)·root·········(0)····61712·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_2graph_8hpp_source.html
6972	-rw-r--r--···0·root·········(0)·root·········(0)····10161·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_8hh.html	6972	-rw-r--r--···0·root·········(0)·root·········(0)····10161·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_8hh.html
6973	-rw-r--r--···0·root·········(0)·root·········(0)····93781·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_8hh_source.html	6973	-rw-r--r--···0·root·········(0)·root·········(0)····93781·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_8hh_source.html
6974	-rw-r--r--···0·root·········(0)·root·········(0)·····6979·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val_8hpp.html	6974	-rw-r--r--···0·root·········(0)·root·········(0)·····6979·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val_8hpp.html
6975	-rw-r--r--···0·root·········(0)·root·········(0)···118085·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val_8hpp_source.html	6975	-rw-r--r--···0·root·········(0)·root·········(0)···118085·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val_8hpp_source.html
6976	-rw-r--r--···0·root·········(0)·root·········(0)·····4637·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-values_8cpp.html	6976	-rw-r--r--···0·root·········(0)·root·········(0)·····4637·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-values_8cpp.html


Offset 458, 14 lines modified		Offset 458, 18 lines modified
458	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8c_\x8o_\x8r_\x8e_\x8._\x8h_\x8p_\x8p_\x8:_\x81_\x87_\x84_\x82	458	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8c_\x8o_\x8r_\x8e_\x8._\x8h_\x8p_\x8p_\x8:_\x81_\x87_\x84_\x82
459	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h	459	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h
460	Value·branching·information.	460	Value·branching·information.
461	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x81	461	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x81
462	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t	462	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t
463	Base·class·for·value·commit.	463	Base·class·for·value·commit.
464	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8-_\x8c_\x8o_\x8m_\x8m_\x8i_\x8t_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x84	464	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8-_\x8c_\x8o_\x8m_\x8m_\x8i_\x8t_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x84
		465	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8<_\x8·_\x8S_\x8e_\x8t_\x8V_\x8i_\x8e_\x8w_\x8,_\x8·_\x8i_\x8n_\x8t_\x8·_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w
		466	SetView·View
		467	View·type.
		468	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8-_\x8c_\x8o_\x8m_\x8m_\x8i_\x8t_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x87
465	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l	469	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l
466	Base·class·for·value·selection.	470	Base·class·for·value·selection.
467	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8-_\x8s_\x8e_\x8l_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x84	471	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8-_\x8s_\x8e_\x8l_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x84
468	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h	472	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h
469	Variable·branching·information.	473	Variable·branching·information.
470	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8r_\x8._\x8h_\x8p_\x8p_\x8:_\x85_\x85	474	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8r_\x8._\x8h_\x8p_\x8p_\x8:_\x85_\x85
471	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8V_\x8a_\x8l_\x8N_\x8G_\x8L	475	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8V_\x8a_\x8l_\x8N_\x8G_\x8L


Offset 142, 19 lines modified		Offset 142, 19 lines modified
142	194·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·f(vb.merit())·{	142	194·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·f(vb.merit())·{
143	195·if·(!f())	143	195·if·(!f())
144	196·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("MeritFunction::MeritFunction");	144	196·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("MeritFunction::MeritFunction");
145	197·}	145	197·}
146	198·template<class·View>	146	198·template<class·View>
147	199·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	147	199·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
148	_\x82_\x80_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n&·mf)	148	_\x82_\x80_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n&·mf)
149	201·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,mf),·f(mf.f)·{	149	201·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,double>(home,mf),·f(mf.f)·{
150	202·}	150	202·}
151	203·template<class·View>	151	203·template<class·View>
152	204·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double	152	204·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double
153	_\x82_\x80_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·View·_\x8x,·int·i)·{	153	_\x82_\x80_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_.V_.i_.e_.w·_\x8x,·int·i)·{
154	206·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());	154	206·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());
155	207·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(f());	155	207·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(f());
156	208·return·f()(home,_\x8y,i);	156	208·return·f()(home,_\x8y,i);
157	209·}	157	209·}
158	210·template<class·View>	158	210·template<class·View>
159	211·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool	159	211·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
160	_\x82_\x81_\x82·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{	160	_\x82_\x81_\x82·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
Offset 172, 34 lines modified		Offset 172, 34 lines modified
172	224·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	172	224·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
173	225·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e	173	225·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e
174	226·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	174	226·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
175	227·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,unsigned·int>(home,vb)·{}	175	227·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,unsigned·int>(home,vb)·{}
176	228·template<class·View>	176	228·template<class·View>
177	229·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	177	229·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
178	_\x82_\x83_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e&·md)	178	_\x82_\x83_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e&·md)
179	231·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,unsigned·int>(home,md)·{}	179	231·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,unsigned·int>(home,md)·{}
180	232·template<class·View>	180	232·template<class·View>
181	233·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·unsigned·int	181	233·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·unsigned·int
182	_\x82_\x83_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View·_\x8x,·int)·{	182	_\x82_\x83_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w·_\x8x,·int)·{
183	235·return·_\x8x._\x8d_\x8e_\x8g_\x8r_\x8e_\x8e();	183	235·return·_\x8x._\x8d_\x8e_\x8g_\x8r_\x8e_\x8e();
184	236·}	184	236·}
185	237	185	237
186	238·//·AFC·merit	186	238·//·AFC·merit
187	239·template<class·View>	187	239·template<class·View>
188	240·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	188	240·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
189	241·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C	189	241·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C
190	242·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	190	242·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
191	243·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·afc(vb.afc())·{}	191	243·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·afc(vb.afc())·{}
192	244·template<class·View>	192	244·template<class·View>
193	245·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	193	245·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
194	_\x82_\x84_\x86·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C&·ma)	194	_\x82_\x84_\x86·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C&·ma)
195	247·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,ma),·afc(ma.afc)·{}	195	247·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,double>(home,ma),·afc(ma.afc)·{}
196	248·template<class·View>	196	248·template<class·View>
197	249·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double	197	249·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double
198	_\x82_\x85_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View·_\x8x,·int)·{	198	_\x82_\x85_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w·_\x8x,·int)·{
199	251·return·_\x8x._\x8a_\x8f_\x8c();	199	251·return·_\x8x._\x8a_\x8f_\x8c();
200	252·}	200	252·}
201	253·template<class·View>	201	253·template<class·View>
202	254·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool	202	254·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
203	_\x82_\x85_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{	203	_\x82_\x85_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
204	256·//·Given·that·AFC·is·just·a·fake,·this·not·really·necessary	204	256·//·Given·that·AFC·is·just·a·fake,·this·not·really·necessary
205	257·return·false;	205	257·return·false;
Offset 217, 18 lines modified		Offset 217, 18 lines modified
217	269·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	217	269·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
218	270·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n	218	270·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n
219	271·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	219	271·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
220	272·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·action(vb.action())·{}	220	272·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·action(vb.action())·{}
221	273·template<class·View>	221	273·template<class·View>
222	274·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	222	274·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
223	_\x82_\x87_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n&·ma)	223	_\x82_\x87_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n&·ma)
224	276·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,ma),·action(ma.action)·{}	224	276·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,double>(home,ma),·action(ma.action)·{}
225	277·template<class·View>	225	277·template<class·View>
226	278·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double	226	278·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double
227	_\x82_\x87_\x89·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View,·int·i)·{	227	_\x82_\x87_\x89·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w,·int·i)·{
228	280·return·action[i];	228	280·return·action[i];
229	281·}	229	281·}
230	282·template<class·View>	230	282·template<class·View>
231	283·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool	231	283·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
232	_\x82_\x88_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{	232	_\x82_\x88_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
233	285·return·true;	233	285·return·true;
234	286·}	234	286·}
Offset 243, 18 lines modified		Offset 243, 18 lines modified
243	295·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	243	295·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
244	296·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B	244	296·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B
245	297·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	245	297·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
246	298·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·chb(vb.chb())·{}	246	298·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·chb(vb.chb())·{}
247	299·template<class·View>	247	299·template<class·View>
248	300·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	248	300·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
249	_\x83_\x80_\x81·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B&·ma)	249	_\x83_\x80_\x81·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B&·ma)
250	302·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,ma),·chb(ma.chb)·{}	250	302·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,double>(home,ma),·chb(ma.chb)·{}
251	303·template<class·View>	251	303·template<class·View>
252	304·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double	252	304·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double
253	_\x83_\x80_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View,·int·i)·{	253	_\x83_\x80_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w,·int·i)·{
254	306·return·chb[i];	254	306·return·chb[i];
255	307·}	255	307·}
256	308·template<class·View>	256	308·template<class·View>
257	309·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool	257	309·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
258	_\x83_\x81_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{	258	_\x83_\x81_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
259	311·return·true;	259	311·return·true;
260	312·}	260	312·}


Offset 172, 21 lines modified		Offset 172, 21 lines modified
172	<div·class="line"><a·id="l00118"·name="l00118"></a><span·class="lineno">··118</span>····<span·class="keywordflow">if</span>·(!v())</div>	172	<div·class="line"><a·id="l00118"·name="l00118"></a><span·class="lineno">··118</span>····<span·class="keywordflow">if</span>·(!v())</div>
173	<div·class="line"><a·id="l00119"·name="l00119"></a><span·class="lineno">··119</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">"ValSelFunction::ValSelFunction"</span>);</div>	173	<div·class="line"><a·id="l00119"·name="l00119"></a><span·class="lineno">··119</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">"ValSelFunction::ValSelFunction"</span>);</div>
174	<div·class="line"><a·id="l00120"·name="l00120"></a><span·class="lineno">··120</span>··}</div>	174	<div·class="line"><a·id="l00120"·name="l00120"></a><span·class="lineno">··120</span>··}</div>
175	<div·class="line"><a·id="l00121"·name="l00121"></a><span·class="lineno">··121</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	175	<div·class="line"><a·id="l00121"·name="l00121"></a><span·class="lineno">··121</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
176	<div·class="line"><a·id="l00122"·name="l00122"></a><span·class="lineno">··122</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	176	<div·class="line"><a·id="l00122"·name="l00122"></a><span·class="lineno">··122</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
177	<div·class="foldopen"·id="foldopen00123"·data-start="{"·data-end="}">	177	<div·class="foldopen"·id="foldopen00123"·data-start="{"·data-end="}">
178	<div·class="line"><a·id="l00123"·name="l00123"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValSelFunction.html#ae673d5877c9f49dfaaa5a153aaea2c66">··123</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValSelFunction.html#a484babb0ab87d5eae617875222c013b6">ValSelFunction<View>::ValSelFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1ValSelFunction.html">ValSelFunction<View></a>&·vs)</div>	178	<div·class="line"><a·id="l00123"·name="l00123"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValSelFunction.html#ae673d5877c9f49dfaaa5a153aaea2c66">··123</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValSelFunction.html#a484babb0ab87d5eae617875222c013b6">ValSelFunction<View>::ValSelFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1ValSelFunction.html">ValSelFunction<View></a>&·vs)</div>
179	<div·class="line"><a·id="l00124"·name="l00124"></a><span·class="lineno">··124</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValSel.html">ValSel</a><View,<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">Val</a>>(home,vs),·v(vs.v)·{</div>	179	<div·class="line"><a·id="l00124"·name="l00124"></a><span·class="lineno">··124</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValSel.html">ValSel</a><<a·class="code·hl_typedef"·href="classGecode_1_1ValSel.html#a505b0292df0aa0f8ec84940c6d99973d">View</a>,<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">Val</a>>(home,vs),·v(vs.v)·{</div>
180	<div·class="line"><a·id="l00125"·name="l00125"></a><span·class="lineno">··125</span>··}</div>	180	<div·class="line"><a·id="l00125"·name="l00125"></a><span·class="lineno">··125</span>··}</div>
181	</div>	181	</div>
182	<div·class="line"><a·id="l00126"·name="l00126"></a><span·class="lineno">··126</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	182	<div·class="line"><a·id="l00126"·name="l00126"></a><span·class="lineno">··126</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
183	<div·class="line"><a·id="l00127"·name="l00127"></a><span·class="lineno">··127</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keyword">typename</span>·<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">ValSelFunction<View>::Val</a></div>	183	<div·class="line"><a·id="l00127"·name="l00127"></a><span·class="lineno">··127</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keyword">typename</span>·<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">ValSelFunction<View>::Val</a></div>
184	<div·class="foldopen"·id="foldopen00128"·data-start="{"·data-end="}">	184	<div·class="foldopen"·id="foldopen00128"·data-start="{"·data-end="}">
185	<div·class="line"><a·id="l00128"·name="l00128"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValSelFunction.html#aee5937c631a4bacb5404eaca525bc8e4">··128</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValSelFunction.html#aee5937c631a4bacb5404eaca525bc8e4">ValSelFunction<View>::val</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i)·{</div>	185	<div·class="line"><a·id="l00128"·name="l00128"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValSelFunction.html#aee5937c631a4bacb5404eaca525bc8e4">··128</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValSelFunction.html#aee5937c631a4bacb5404eaca525bc8e4">ValSelFunction<View>::val</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_typedef"·href="classGecode_1_1ValSel.html#a505b0292df0aa0f8ec84940c6d99973d">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i)·{</div>
186	<div·class="line"><a·id="l00129"·name="l00129"></a><span·class="lineno">··129</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>	186	<div·class="line"><a·id="l00129"·name="l00129"></a><span·class="lineno">··129</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>
187	<div·class="line"><a·id="l00130"·name="l00130"></a><span·class="lineno">··130</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(v());</div>	187	<div·class="line"><a·id="l00130"·name="l00130"></a><span·class="lineno">··130</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(v());</div>
188	<div·class="line"><a·id="l00131"·name="l00131"></a><span·class="lineno">··131</span>····<span·class="keywordflow">return</span>·v()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div>	188	<div·class="line"><a·id="l00131"·name="l00131"></a><span·class="lineno">··131</span>····<span·class="keywordflow">return</span>·v()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div>
189	<div·class="line"><a·id="l00132"·name="l00132"></a><span·class="lineno">··132</span>··}</div>	189	<div·class="line"><a·id="l00132"·name="l00132"></a><span·class="lineno">··132</span>··}</div>
190	</div>	190	</div>
191	<div·class="line"><a·id="l00133"·name="l00133"></a><span·class="lineno">··133</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	191	<div·class="line"><a·id="l00133"·name="l00133"></a><span·class="lineno">··133</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
192	<div·class="line"><a·id="l00134"·name="l00134"></a><span·class="lineno">··134</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>	192	<div·class="line"><a·id="l00134"·name="l00134"></a><span·class="lineno">··134</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>


Offset 423, 21 lines modified		Offset 423, 21 lines modified
423	<div·class="line"><a·id="l00416"·name="l00416"></a><span·class="lineno">··416</span>·</div>	423	<div·class="line"><a·id="l00416"·name="l00416"></a><span·class="lineno">··416</span>·</div>
424	<div·class="line"><a·id="l00417"·name="l00417"></a><span·class="lineno">··417</span>·</div>	424	<div·class="line"><a·id="l00417"·name="l00417"></a><span·class="lineno">··417</span>·</div>
425	<div·class="line"><a·id="l00418"·name="l00418"></a><span·class="lineno">··418</span>·</div>	425	<div·class="line"><a·id="l00418"·name="l00418"></a><span·class="lineno">··418</span>·</div>
426	<div·class="line"><a·id="l00419"·name="l00419"></a><span·class="lineno">··419</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	426	<div·class="line"><a·id="l00419"·name="l00419"></a><span·class="lineno">··419</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
427	<div·class="line"><a·id="l00420"·name="l00420"></a><span·class="lineno">··420</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	427	<div·class="line"><a·id="l00420"·name="l00420"></a><span·class="lineno">··420</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
428	<div·class="foldopen"·id="foldopen00421"·data-start="{"·data-end="}">	428	<div·class="foldopen"·id="foldopen00421"·data-start="{"·data-end="}">
429	<div·class="line"><a·id="l00421"·name="l00421"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelNone.html#ab3a637b6d73184583ed72cd60b805859">··421</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelNone.html#ab3a637b6d73184583ed72cd60b805859">ViewSelNone<View>::ViewSelNone</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch<Var></a>&·vb)</div>	429	<div·class="line"><a·id="l00421"·name="l00421"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelNone.html#ab3a637b6d73184583ed72cd60b805859">··421</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelNone.html#ab3a637b6d73184583ed72cd60b805859">ViewSelNone<View>::ViewSelNone</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch<Var></a>&·vb)</div>
430	<div·class="line"><a·id="l00422"·name="l00422"></a><span·class="lineno">··422</span>······:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><View>(home,vb)·{}</div>	430	<div·class="line"><a·id="l00422"·name="l00422"></a><span·class="lineno">··422</span>······:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><<a·class="code·hl_typedef"·href="classGecode_1_1ViewSel.html#a0eb9229cfcbb6ee09a155263d9de256d">View</a>>(home,vb)·{}</div>
431	</div>	431	</div>
432	<div·class="line"><a·id="l00423"·name="l00423"></a><span·class="lineno">··423</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	432	<div·class="line"><a·id="l00423"·name="l00423"></a><span·class="lineno">··423</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
433	<div·class="line"><a·id="l00424"·name="l00424"></a><span·class="lineno">··424</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	433	<div·class="line"><a·id="l00424"·name="l00424"></a><span·class="lineno">··424</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
434	<div·class="foldopen"·id="foldopen00425"·data-start="{"·data-end="}">	434	<div·class="foldopen"·id="foldopen00425"·data-start="{"·data-end="}">
435	<div·class="line"><a·id="l00425"·name="l00425"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelNone.html#a0850225aa09f159482d59a99900469d1">··425</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelNone.html#ab3a637b6d73184583ed72cd60b805859">ViewSelNone<View>::ViewSelNone</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1ViewSelNone.html">ViewSelNone<View></a>&·vs)</div>	435	<div·class="line"><a·id="l00425"·name="l00425"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelNone.html#a0850225aa09f159482d59a99900469d1">··425</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelNone.html#ab3a637b6d73184583ed72cd60b805859">ViewSelNone<View>::ViewSelNone</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1ViewSelNone.html">ViewSelNone<View></a>&·vs)</div>
436	<div·class="line"><a·id="l00426"·name="l00426"></a><span·class="lineno">··426</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><View>(home,vs)·{}</div>	436	<div·class="line"><a·id="l00426"·name="l00426"></a><span·class="lineno">··426</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><<a·class="code·hl_typedef"·href="classGecode_1_1ViewSel.html#a0eb9229cfcbb6ee09a155263d9de256d">View</a>>(home,vs)·{}</div>
437	</div>	437	</div>
438	<div·class="line"><a·id="l00427"·name="l00427"></a><span·class="lineno">··427</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	438	<div·class="line"><a·id="l00427"·name="l00427"></a><span·class="lineno">··427</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
439	<div·class="line"><a·id="l00428"·name="l00428"></a><span·class="lineno">··428</span>··<span·class="keywordtype">int</span></div>	439	<div·class="line"><a·id="l00428"·name="l00428"></a><span·class="lineno">··428</span>··<span·class="keywordtype">int</span></div>
440	<div·class="foldopen"·id="foldopen00429"·data-start="{"·data-end="}">	440	<div·class="foldopen"·id="foldopen00429"·data-start="{"·data-end="}">
441	<div·class="line"><a·id="l00429"·name="l00429"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelNone.html#aa849d0ff38605e56771626d0bd262e16">··429</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelNone.html#aa849d0ff38605e56771626d0bd262e16">ViewSelNone<View>::select</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<a·class="code·hl_class"·href="classGecode_1_1ViewArray.html">ViewArray<View></a>&,·<span·class="keywordtype">int</span>·s)·{</div>	441	<div·class="line"><a·id="l00429"·name="l00429"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelNone.html#aa849d0ff38605e56771626d0bd262e16">··429</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelNone.html#aa849d0ff38605e56771626d0bd262e16">ViewSelNone<View>::select</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<a·class="code·hl_class"·href="classGecode_1_1ViewArray.html">ViewArray<View></a>&,·<span·class="keywordtype">int</span>·s)·{</div>
442	<div·class="line"><a·id="l00430"·name="l00430"></a><span·class="lineno">··430</span>····<span·class="keywordflow">return</span>·s;</div>	442	<div·class="line"><a·id="l00430"·name="l00430"></a><span·class="lineno">··430</span>····<span·class="keywordflow">return</span>·s;</div>
443	<div·class="line"><a·id="l00431"·name="l00431"></a><span·class="lineno">··431</span>··}</div>	443	<div·class="line"><a·id="l00431"·name="l00431"></a><span·class="lineno">··431</span>··}</div>
Offset 500, 21 lines modified		Offset 500, 21 lines modified
500	</div>	500	</div>
501	<div·class="line"><a·id="l00476"·name="l00476"></a><span·class="lineno">··476</span>·</div>	501	<div·class="line"><a·id="l00476"·name="l00476"></a><span·class="lineno">··476</span>·</div>
502	<div·class="line"><a·id="l00477"·name="l00477"></a><span·class="lineno">··477</span>·</div>	502	<div·class="line"><a·id="l00477"·name="l00477"></a><span·class="lineno">··477</span>·</div>
503	<div·class="line"><a·id="l00478"·name="l00478"></a><span·class="lineno">··478</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	503	<div·class="line"><a·id="l00478"·name="l00478"></a><span·class="lineno">··478</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
504	<div·class="line"><a·id="l00479"·name="l00479"></a><span·class="lineno">··479</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	504	<div·class="line"><a·id="l00479"·name="l00479"></a><span·class="lineno">··479</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
505	<div·class="foldopen"·id="foldopen00480"·data-start="{"·data-end="}">	505	<div·class="foldopen"·id="foldopen00480"·data-start="{"·data-end="}">
506	<div·class="line"><a·id="l00480"·name="l00480"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">··480</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">ViewSelRnd<View>::ViewSelRnd</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch<Var></a>&·vb)</div>	506	<div·class="line"><a·id="l00480"·name="l00480"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">··480</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">ViewSelRnd<View>::ViewSelRnd</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch<Var></a>&·vb)</div>
507	<div·class="line"><a·id="l00481"·name="l00481"></a><span·class="lineno">··481</span>······:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><View>(home,vb),·<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>(vb.rnd())·{}</div>	507	<div·class="line"><a·id="l00481"·name="l00481"></a><span·class="lineno">··481</span>······:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><<a·class="code·hl_typedef"·href="classGecode_1_1ViewSel.html#a0eb9229cfcbb6ee09a155263d9de256d">View</a>>(home,vb),·<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>(vb.rnd())·{}</div>
508	</div>	508	</div>
509	<div·class="line"><a·id="l00482"·name="l00482"></a><span·class="lineno">··482</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	509	<div·class="line"><a·id="l00482"·name="l00482"></a><span·class="lineno">··482</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
510	<div·class="line"><a·id="l00483"·name="l00483"></a><span·class="lineno">··483</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	510	<div·class="line"><a·id="l00483"·name="l00483"></a><span·class="lineno">··483</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
511	<div·class="foldopen"·id="foldopen00484"·data-start="{"·data-end="}">	511	<div·class="foldopen"·id="foldopen00484"·data-start="{"·data-end="}">
512	<div·class="line"><a·id="l00484"·name="l00484"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#ad7c273f9e371eae85f1c8aa3c777badd">··484</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">ViewSelRnd<View>::ViewSelRnd</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1ViewSelRnd.html">ViewSelRnd<View></a>&·vs)</div>	512	<div·class="line"><a·id="l00484"·name="l00484"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#ad7c273f9e371eae85f1c8aa3c777badd">··484</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">ViewSelRnd<View>::ViewSelRnd</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1ViewSelRnd.html">ViewSelRnd<View></a>&·vs)</div>
513	<div·class="line"><a·id="l00485"·name="l00485"></a><span·class="lineno">··485</span>······:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><View>(home,vs),·<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>(vs.<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>)·{}</div>	513	<div·class="line"><a·id="l00485"·name="l00485"></a><span·class="lineno">··485</span>······:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><<a·class="code·hl_typedef"·href="classGecode_1_1ViewSel.html#a0eb9229cfcbb6ee09a155263d9de256d">View</a>>(home,vs),·<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>(vs.<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>)·{}</div>
514	</div>	514	</div>
515	<div·class="line"><a·id="l00486"·name="l00486"></a><span·class="lineno">··486</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	515	<div·class="line"><a·id="l00486"·name="l00486"></a><span·class="lineno">··486</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
516	<div·class="line"><a·id="l00487"·name="l00487"></a><span·class="lineno">··487</span>··<span·class="keywordtype">int</span></div>	516	<div·class="line"><a·id="l00487"·name="l00487"></a><span·class="lineno">··487</span>··<span·class="keywordtype">int</span></div>
517	<div·class="foldopen"·id="foldopen00488"·data-start="{"·data-end="}">	517	<div·class="foldopen"·id="foldopen00488"·data-start="{"·data-end="}">
518	<div·class="line"><a·id="l00488"·name="l00488"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#afaea52c72de4fbd3886be8c1e5fc550f">··488</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#afaea52c72de4fbd3886be8c1e5fc550f">ViewSelRnd<View>::select</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<a·class="code·hl_class"·href="classGecode_1_1ViewArray.html">ViewArray<View></a>&·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·s)·{</div>	518	<div·class="line"><a·id="l00488"·name="l00488"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#afaea52c72de4fbd3886be8c1e5fc550f">··488</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#afaea52c72de4fbd3886be8c1e5fc550f">ViewSelRnd<View>::select</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<a·class="code·hl_class"·href="classGecode_1_1ViewArray.html">ViewArray<View></a>&·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·s)·{</div>
519	<div·class="line"><a·id="l00489"·name="l00489"></a><span·class="lineno">··489</span>····<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>=1;</div>	519	<div·class="line"><a·id="l00489"·name="l00489"></a><span·class="lineno">··489</span>····<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>=1;</div>
520	<div·class="line"><a·id="l00490"·name="l00490"></a><span·class="lineno">··490</span>····<span·class="keywordtype">int</span>·j=s;</div>	520	<div·class="line"><a·id="l00490"·name="l00490"></a><span·class="lineno">··490</span>····<span·class="keywordtype">int</span>·j=s;</div>


Offset 282, 27 lines modified		Offset 282, 27 lines modified
282	<div·class="line"><a·id="l00341"·name="l00341"></a><span·class="lineno">··341</span>·</div>	282	<div·class="line"><a·id="l00341"·name="l00341"></a><span·class="lineno">··341</span>·</div>
283	<div·class="foldopen"·id="foldopen00360"·data-start="{"·data-end="};">	283	<div·class="foldopen"·id="foldopen00360"·data-start="{"·data-end="};">
284	<div·class="line"><a·id="l00360"·name="l00360"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html">··360</a></span>··<span·class="keyword">class·</span><a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html">ValCommitInc</a>·:·<span·class="keyword">public</span>·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a><SetView,int>·{</div>	284	<div·class="line"><a·id="l00360"·name="l00360"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html">··360</a></span>··<span·class="keyword">class·</span><a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html">ValCommitInc</a>·:·<span·class="keyword">public</span>·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a><SetView,int>·{</div>
285	<div·class="line"><a·id="l00361"·name="l00361"></a><span·class="lineno">··361</span>··<span·class="keyword">public</span>:</div>	285	<div·class="line"><a·id="l00361"·name="l00361"></a><span·class="lineno">··361</span>··<span·class="keyword">public</span>:</div>
286	<div·class="line"><a·id="l00363"·name="l00363"></a><span·class="lineno">··363</span>····<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html">ValCommitInc</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1ValBranch.html">ValBranch<Var></a>&·vb);</div>	286	<div·class="line"><a·id="l00363"·name="l00363"></a><span·class="lineno">··363</span>····<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html">ValCommitInc</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1ValBranch.html">ValBranch<Var></a>&·vb);</div>
287	<div·class="line"><a·id="l00365"·name="l00365"></a><span·class="lineno">··365</span>····<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html">ValCommitInc</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html">ValCommitInc</a>&·vc);</div>	287	<div·class="line"><a·id="l00365"·name="l00365"></a><span·class="lineno">··365</span>····<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html">ValCommitInc</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html">ValCommitInc</a>&·vc);</div>
288	<div·class="line"><a·id="l00367"·name="l00367"></a><span·class="lineno">··367</span>····<a·class="code·hl_typedef"·href="namespaceGecode.html#afa985ae465bd12df08e29252cdb7519b">ModEvent</a>·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html#a0963416818dc53fd0781908a2dc683ac">commit</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1SetView.html">SetView</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>	288	<div·class="line"><a·id="l00367"·name="l00367"></a><span·class="lineno">··367</span>····<a·class="code·hl_typedef"·href="namespaceGecode.html#afa985ae465bd12df08e29252cdb7519b">ModEvent</a>·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html#a0963416818dc53fd0781908a2dc683ac">commit</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1SetView.html">SetView</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>
289	<div·class="line"><a·id="l00369"·name="l00369"></a><span·class="lineno">··369</span>····<a·class="code·hl_class"·href="classGecode_1_1NGL.html">NGL</a>*·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html#ab7ad64120a1edcd62429e38a0d52ea48">ngl</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_~~class~~"·href="classGecode_1_1Set_1_1Se~~tVi~~e~~w.html~~">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·<span·class="keyword">const</span>;</div>	289	<div·class="line"><a·id="l00369"·name="l00369"></a><span·class="lineno">··369</span>····<a·class="code·hl_class"·href="classGecode_1_1NGL.html">NGL</a>*·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html#ab7ad64120a1edcd62429e38a0d52ea48">ngl</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·<span·class="keyword">const</span>;</div>
290	<div·class="line"><a·id="l00371"·name="l00371"></a><span·class="lineno">··371</span>····<span·class="keywordtype">void</span>·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html#a6a20548c7c674a6ea9a3a763fd816cd7">print</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1SetView.html">SetView</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>,</div>	290	<div·class="line"><a·id="l00371"·name="l00371"></a><span·class="lineno">··371</span>····<span·class="keywordtype">void</span>·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitInc.html#a6a20548c7c674a6ea9a3a763fd816cd7">print</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1SetView.html">SetView</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>,</div>
291	<div·class="line"><a·id="l00372"·name="l00372"></a><span·class="lineno">··372</span>···············std::ostream&·o)·<span·class="keyword">const</span>;</div>	291	<div·class="line"><a·id="l00372"·name="l00372"></a><span·class="lineno">··372</span>···············std::ostream&·o)·<span·class="keyword">const</span>;</div>
292	<div·class="line"><a·id="l00373"·name="l00373"></a><span·class="lineno">··373</span>··};</div>	292	<div·class="line"><a·id="l00373"·name="l00373"></a><span·class="lineno">··373</span>··};</div>
293	</div>	293	</div>
294	<div·class="line"><a·id="l00374"·name="l00374"></a><span·class="lineno">··374</span>·</div>	294	<div·class="line"><a·id="l00374"·name="l00374"></a><span·class="lineno">··374</span>·</div>
295	<div·class="foldopen"·id="foldopen00381"·data-start="{"·data-end="};">	295	<div·class="foldopen"·id="foldopen00381"·data-start="{"·data-end="};">
296	<div·class="line"><a·id="l00381"·name="l00381"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html">··381</a></span>··<span·class="keyword">class·</span><a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html">ValCommitExc</a>·:·<span·class="keyword">public</span>·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a><SetView,int>·{</div>	296	<div·class="line"><a·id="l00381"·name="l00381"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html">··381</a></span>··<span·class="keyword">class·</span><a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html">ValCommitExc</a>·:·<span·class="keyword">public</span>·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a><SetView,int>·{</div>
297	<div·class="line"><a·id="l00382"·name="l00382"></a><span·class="lineno">··382</span>··<span·class="keyword">public</span>:</div>	297	<div·class="line"><a·id="l00382"·name="l00382"></a><span·class="lineno">··382</span>··<span·class="keyword">public</span>:</div>
298	<div·class="line"><a·id="l00384"·name="l00384"></a><span·class="lineno">··384</span>····<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html">ValCommitExc</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1ValBranch.html">ValBranch<Var></a>&·vb);</div>	298	<div·class="line"><a·id="l00384"·name="l00384"></a><span·class="lineno">··384</span>····<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html">ValCommitExc</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1ValBranch.html">ValBranch<Var></a>&·vb);</div>
299	<div·class="line"><a·id="l00386"·name="l00386"></a><span·class="lineno">··386</span>····<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html">ValCommitExc</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html">ValCommitExc</a>&·vc);</div>	299	<div·class="line"><a·id="l00386"·name="l00386"></a><span·class="lineno">··386</span>····<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html">ValCommitExc</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html">ValCommitExc</a>&·vc);</div>
300	<div·class="line"><a·id="l00388"·name="l00388"></a><span·class="lineno">··388</span>····<a·class="code·hl_typedef"·href="namespaceGecode.html#afa985ae465bd12df08e29252cdb7519b">ModEvent</a>·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html#ae5a05fabfbb1473f6bff6089333ef4a3">commit</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1SetView.html">SetView</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>	300	<div·class="line"><a·id="l00388"·name="l00388"></a><span·class="lineno">··388</span>····<a·class="code·hl_typedef"·href="namespaceGecode.html#afa985ae465bd12df08e29252cdb7519b">ModEvent</a>·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html#ae5a05fabfbb1473f6bff6089333ef4a3">commit</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1SetView.html">SetView</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>
301	<div·class="line"><a·id="l00390"·name="l00390"></a><span·class="lineno">··390</span>····<a·class="code·hl_class"·href="classGecode_1_1NGL.html">NGL</a>*·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html#a20587e797257e8ecf52afd5e46e4a38b">ngl</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_~~class~~"·href="classGecode_1_1Set_1_1Se~~tVi~~e~~w.html~~">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·<span·class="keyword">const</span>;</div>	301	<div·class="line"><a·id="l00390"·name="l00390"></a><span·class="lineno">··390</span>····<a·class="code·hl_class"·href="classGecode_1_1NGL.html">NGL</a>*·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html#a20587e797257e8ecf52afd5e46e4a38b">ngl</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·<span·class="keyword">const</span>;</div>
302	<div·class="line"><a·id="l00392"·name="l00392"></a><span·class="lineno">··392</span>····<span·class="keywordtype">void</span>·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html#a25987f84bbaf06cd4442b042ed10bfc1">print</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1SetView.html">SetView</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>,</div>	302	<div·class="line"><a·id="l00392"·name="l00392"></a><span·class="lineno">··392</span>····<span·class="keywordtype">void</span>·<a·class="code·hl_function"·href="classGecode_1_1Set_1_1Branch_1_1ValCommitExc.html#a25987f84bbaf06cd4442b042ed10bfc1">print</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_class"·href="classGecode_1_1Set_1_1SetView.html">SetView</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>,</div>
303	<div·class="line"><a·id="l00393"·name="l00393"></a><span·class="lineno">··393</span>···············std::ostream&·o)·<span·class="keyword">const</span>;</div>	303	<div·class="line"><a·id="l00393"·name="l00393"></a><span·class="lineno">··393</span>···············std::ostream&·o)·<span·class="keyword">const</span>;</div>
304	<div·class="line"><a·id="l00394"·name="l00394"></a><span·class="lineno">··394</span>··};</div>	304	<div·class="line"><a·id="l00394"·name="l00394"></a><span·class="lineno">··394</span>··};</div>
305	</div>	305	</div>
306	<div·class="line"><a·id="l00395"·name="l00395"></a><span·class="lineno">··395</span>·</div>	306	<div·class="line"><a·id="l00395"·name="l00395"></a><span·class="lineno">··395</span>·</div>
307	<div·class="line"><a·id="l00396"·name="l00396"></a><span·class="lineno">··396</span>}}}</div>	307	<div·class="line"><a·id="l00396"·name="l00396"></a><span·class="lineno">··396</span>}}}</div>
308	<div·class="line"><a·id="l00397"·name="l00397"></a><span·class="lineno">··397</span>·</div>	308	<div·class="line"><a·id="l00397"·name="l00397"></a><span·class="lineno">··397</span>·</div>
Offset 383, 14 lines modified		Offset 383, 15 lines modified
383	<div·class="ttc"·id="aclassGecode_1_1Set_1_1Branch_1_1ValSelRnd_html_aa06e0922a48791af3b0ea6a7cb6e7817"><div·class="ttname"><a·href="classGecode_1_1Set_1_1Branch_1_1ValSelRnd.html#aa06e0922a48791af3b0ea6a7cb6e7817">Gecode::Set::Branch::ValSelRnd::r</a></div><div·class="ttdeci">Rnd·r</div><div·class="ttdoc">The·used·random·number·generator.</div><div·class="ttdef"><b>Definition</b>·<a·href="gecode_2set_2branch_8hh_source.html#l00280">branch.hh:280</a></div></div>	383	<div·class="ttc"·id="aclassGecode_1_1Set_1_1Branch_1_1ValSelRnd_html_aa06e0922a48791af3b0ea6a7cb6e7817"><div·class="ttname"><a·href="classGecode_1_1Set_1_1Branch_1_1ValSelRnd.html#aa06e0922a48791af3b0ea6a7cb6e7817">Gecode::Set::Branch::ValSelRnd::r</a></div><div·class="ttdeci">Rnd·r</div><div·class="ttdoc">The·used·random·number·generator.</div><div·class="ttdef"><b>Definition</b>·<a·href="gecode_2set_2branch_8hh_source.html#l00280">branch.hh:280</a></div></div>
384	<div·class="ttc"·id="aclassGecode_1_1Set_1_1Branch_1_1ValSelRnd_html_aa980ba5ee16b83610aad0db5c2437a58"><div·class="ttname"><a·href="classGecode_1_1Set_1_1Branch_1_1ValSelRnd.html#aa980ba5ee16b83610aad0db5c2437a58">Gecode::Set::Branch::ValSelRnd::val</a></div><div·class="ttdeci">int·val(const·Space·&home,·SetView·x,·int·i)</div><div·class="ttdoc">Return·value·of·view·x·at·position·i.</div><div·class="ttdef"><b>Definition</b>·<a·href="set_2branch_2val-sel_8hpp_source.html#l00100">val-sel.hpp:100</a></div></div>	384	<div·class="ttc"·id="aclassGecode_1_1Set_1_1Branch_1_1ValSelRnd_html_aa980ba5ee16b83610aad0db5c2437a58"><div·class="ttname"><a·href="classGecode_1_1Set_1_1Branch_1_1ValSelRnd.html#aa980ba5ee16b83610aad0db5c2437a58">Gecode::Set::Branch::ValSelRnd::val</a></div><div·class="ttdeci">int·val(const·Space·&home,·SetView·x,·int·i)</div><div·class="ttdoc">Return·value·of·view·x·at·position·i.</div><div·class="ttdef"><b>Definition</b>·<a·href="set_2branch_2val-sel_8hpp_source.html#l00100">val-sel.hpp:100</a></div></div>
385	<div·class="ttc"·id="aclassGecode_1_1Set_1_1Branch_1_1ValSelRnd_html_ac1fb8aa179e1bbacdb00b133376c6930"><div·class="ttname"><a·href="classGecode_1_1Set_1_1Branch_1_1ValSelRnd.html#ac1fb8aa179e1bbacdb00b133376c6930">Gecode::Set::Branch::ValSelRnd::dispose</a></div><div·class="ttdeci">void·dispose(Space·&home)</div><div·class="ttdoc">Delete·value·selection.</div><div·class="ttdef"><b>Definition</b>·<a·href="set_2branch_2val-sel_8hpp_source.html#l00116">val-sel.hpp:116</a></div></div>	385	<div·class="ttc"·id="aclassGecode_1_1Set_1_1Branch_1_1ValSelRnd_html_ac1fb8aa179e1bbacdb00b133376c6930"><div·class="ttname"><a·href="classGecode_1_1Set_1_1Branch_1_1ValSelRnd.html#ac1fb8aa179e1bbacdb00b133376c6930">Gecode::Set::Branch::ValSelRnd::dispose</a></div><div·class="ttdeci">void·dispose(Space·&home)</div><div·class="ttdoc">Delete·value·selection.</div><div·class="ttdef"><b>Definition</b>·<a·href="set_2branch_2val-sel_8hpp_source.html#l00116">val-sel.hpp:116</a></div></div>
386	<div·class="ttc"·id="aclassGecode_1_1Set_1_1SetView_html"><div·class="ttname"><a·href="classGecode_1_1Set_1_1SetView.html">Gecode::Set::SetView</a></div><div·class="ttdoc">Set·view·for·set·variables</div><div·class="ttdef"><b>Definition</b>·<a·href="set_2view_8hpp_source.html#l00056">view.hpp:56</a></div></div>	386	<div·class="ttc"·id="aclassGecode_1_1Set_1_1SetView_html"><div·class="ttname"><a·href="classGecode_1_1Set_1_1SetView.html">Gecode::Set::SetView</a></div><div·class="ttdoc">Set·view·for·set·variables</div><div·class="ttdef"><b>Definition</b>·<a·href="set_2view_8hpp_source.html#l00056">view.hpp:56</a></div></div>
387	<div·class="ttc"·id="aclassGecode_1_1Space_html"><div·class="ttname"><a·href="classGecode_1_1Space.html">Gecode::Space</a></div><div·class="ttdoc">Computation·spaces.</div><div·class="ttdef"><b>Definition</b>·<a·href="core_8hpp_source.html#l01742">core.hpp:1742</a></div></div>	387	<div·class="ttc"·id="aclassGecode_1_1Space_html"><div·class="ttname"><a·href="classGecode_1_1Space.html">Gecode::Space</a></div><div·class="ttdoc">Computation·spaces.</div><div·class="ttdef"><b>Definition</b>·<a·href="core_8hpp_source.html#l01742">core.hpp:1742</a></div></div>
388	<div·class="ttc"·id="aclassGecode_1_1ValBranch_html"><div·class="ttname"><a·href="classGecode_1_1ValBranch.html">Gecode::ValBranch</a></div><div·class="ttdoc">Value·branching·information.</div><div·class="ttdef"><b>Definition</b>·<a·href="kernel_2branch_2val_8hpp_source.html#l00041">val.hpp:41</a></div></div>	388	<div·class="ttc"·id="aclassGecode_1_1ValBranch_html"><div·class="ttname"><a·href="classGecode_1_1ValBranch.html">Gecode::ValBranch</a></div><div·class="ttdoc">Value·branching·information.</div><div·class="ttdef"><b>Definition</b>·<a·href="kernel_2branch_2val_8hpp_source.html#l00041">val.hpp:41</a></div></div>
389	<div·class="ttc"·id="aclassGecode_1_1ValCommit_html"><div·class="ttname"><a·href="classGecode_1_1ValCommit.html">Gecode::ValCommit</a></div><div·class="ttdoc">Base·class·for·value·commit.</div><div·class="ttdef"><b>Definition</b>·<a·href="kernel_2branch_2val-commit_8hpp_source.html#l00044">val-commit.hpp:44</a></div></div>	389	<div·class="ttc"·id="aclassGecode_1_1ValCommit_html"><div·class="ttname"><a·href="classGecode_1_1ValCommit.html">Gecode::ValCommit</a></div><div·class="ttdoc">Base·class·for·value·commit.</div><div·class="ttdef"><b>Definition</b>·<a·href="kernel_2branch_2val-commit_8hpp_source.html#l00044">val-commit.hpp:44</a></div></div>
		390	<div·class="ttc"·id="aclassGecode_1_1ValCommit_html_ac14c515eb7d66bdcba521e13eb0db0da"><div·class="ttname"><a·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">Gecode::ValCommit<·SetView,·int·>::View</a></div><div·class="ttdeci">SetView·View</div><div·class="ttdoc">View·type.</div><div·class="ttdef"><b>Definition</b>·<a·href="kernel_2branch_2val-commit_8hpp_source.html#l00047">val-commit.hpp:47</a></div></div>
390	<div·class="ttc"·id="aclassGecode_1_1ValSel_html"><div·class="ttname"><a·href="classGecode_1_1ValSel.html">Gecode::ValSel</a></div><div·class="ttdoc">Base·class·for·value·selection.</div><div·class="ttdef"><b>Definition</b>·<a·href="kernel_2branch_2val-sel_8hpp_source.html#l00044">val-sel.hpp:44</a></div></div>	391	<div·class="ttc"·id="aclassGecode_1_1ValSel_html"><div·class="ttname"><a·href="classGecode_1_1ValSel.html">Gecode::ValSel</a></div><div·class="ttdoc">Base·class·for·value·selection.</div><div·class="ttdef"><b>Definition</b>·<a·href="kernel_2branch_2val-sel_8hpp_source.html#l00044">val-sel.hpp:44</a></div></div>
391	<div·class="ttc"·id="aclassGecode_1_1VarBranch_html"><div·class="ttname"><a·href="classGecode_1_1VarBranch.html">Gecode::VarBranch</a></div><div·class="ttdoc">Variable·branching·information.</div><div·class="ttdef"><b>Definition</b>·<a·href="kernel_2branch_2var_8hpp_source.html#l00055">var.hpp:55</a></div></div>	392	<div·class="ttc"·id="aclassGecode_1_1VarBranch_html"><div·class="ttname"><a·href="classGecode_1_1VarBranch.html">Gecode::VarBranch</a></div><div·class="ttdoc">Variable·branching·information.</div><div·class="ttdef"><b>Definition</b>·<a·href="kernel_2branch_2var_8hpp_source.html#l00055">var.hpp:55</a></div></div>


Offset 220, 21 lines modified		Offset 220, 21 lines modified
220	<div·class="line"><a·id="l00195"·name="l00195"></a><span·class="lineno">··195</span>····<span·class="keywordflow">if</span>·(!f())</div>	220	<div·class="line"><a·id="l00195"·name="l00195"></a><span·class="lineno">··195</span>····<span·class="keywordflow">if</span>·(!f())</div>
221	<div·class="line"><a·id="l00196"·name="l00196"></a><span·class="lineno">··196</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">"MeritFunction::MeritFunction"</span>);</div>	221	<div·class="line"><a·id="l00196"·name="l00196"></a><span·class="lineno">··196</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">"MeritFunction::MeritFunction"</span>);</div>
222	<div·class="line"><a·id="l00197"·name="l00197"></a><span·class="lineno">··197</span>··}</div>	222	<div·class="line"><a·id="l00197"·name="l00197"></a><span·class="lineno">··197</span>··}</div>
223	<div·class="line"><a·id="l00198"·name="l00198"></a><span·class="lineno">··198</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	223	<div·class="line"><a·id="l00198"·name="l00198"></a><span·class="lineno">··198</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
224	<div·class="line"><a·id="l00199"·name="l00199"></a><span·class="lineno">··199</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	224	<div·class="line"><a·id="l00199"·name="l00199"></a><span·class="lineno">··199</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
225	<div·class="foldopen"·id="foldopen00200"·data-start="{"·data-end="}">	225	<div·class="foldopen"·id="foldopen00200"·data-start="{"·data-end="}">
226	<div·class="line"><a·id="l00200"·name="l00200"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritFunction.html#a731a0f561e003fe1d182c61b78b4adb5">··200</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritFunction.html#abd924d9e83eedca9146c42fc9f59669d">MeritFunction<View>::MeritFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritFunction.html">MeritFunction</a>&·mf)</div>	226	<div·class="line"><a·id="l00200"·name="l00200"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritFunction.html#a731a0f561e003fe1d182c61b78b4adb5">··200</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritFunction.html#abd924d9e83eedca9146c42fc9f59669d">MeritFunction<View>::MeritFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritFunction.html">MeritFunction</a>&·mf)</div>
227	<div·class="line"><a·id="l00201"·name="l00201"></a><span·class="lineno">··201</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,double>(home,mf),·f(mf.f)·{</div>	227	<div·class="line"><a·id="l00201"·name="l00201"></a><span·class="lineno">··201</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,double>(home,mf),·f(mf.f)·{</div>
228	<div·class="line"><a·id="l00202"·name="l00202"></a><span·class="lineno">··202</span>··}</div>	228	<div·class="line"><a·id="l00202"·name="l00202"></a><span·class="lineno">··202</span>··}</div>
229	</div>	229	</div>
230	<div·class="line"><a·id="l00203"·name="l00203"></a><span·class="lineno">··203</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	230	<div·class="line"><a·id="l00203"·name="l00203"></a><span·class="lineno">··203</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
231	<div·class="line"><a·id="l00204"·name="l00204"></a><span·class="lineno">··204</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div>	231	<div·class="line"><a·id="l00204"·name="l00204"></a><span·class="lineno">··204</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div>
232	<div·class="foldopen"·id="foldopen00205"·data-start="{"·data-end="}">	232	<div·class="foldopen"·id="foldopen00205"·data-start="{"·data-end="}">
233	<div·class="line"><a·id="l00205"·name="l00205"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritFunction.html#a2c8dec9951bf0cda025e1b84e6f59b26">··205</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritFunction.html#a2c8dec9951bf0cda025e1b84e6f59b26">MeritFunction<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i)·{</div>	233	<div·class="line"><a·id="l00205"·name="l00205"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritFunction.html#a2c8dec9951bf0cda025e1b84e6f59b26">··205</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritFunction.html#a2c8dec9951bf0cda025e1b84e6f59b26">MeritFunction<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i)·{</div>
234	<div·class="line"><a·id="l00206"·name="l00206"></a><span·class="lineno">··206</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>	234	<div·class="line"><a·id="l00206"·name="l00206"></a><span·class="lineno">··206</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>
235	<div·class="line"><a·id="l00207"·name="l00207"></a><span·class="lineno">··207</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(f());</div>	235	<div·class="line"><a·id="l00207"·name="l00207"></a><span·class="lineno">··207</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(f());</div>
236	<div·class="line"><a·id="l00208"·name="l00208"></a><span·class="lineno">··208</span>····<span·class="keywordflow">return</span>·f()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div>	236	<div·class="line"><a·id="l00208"·name="l00208"></a><span·class="lineno">··208</span>····<span·class="keywordflow">return</span>·f()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div>
237	<div·class="line"><a·id="l00209"·name="l00209"></a><span·class="lineno">··209</span>··}</div>	237	<div·class="line"><a·id="l00209"·name="l00209"></a><span·class="lineno">··209</span>··}</div>
238	</div>	238	</div>
239	<div·class="line"><a·id="l00210"·name="l00210"></a><span·class="lineno">··210</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	239	<div·class="line"><a·id="l00210"·name="l00210"></a><span·class="lineno">··210</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
240	<div·class="line"><a·id="l00211"·name="l00211"></a><span·class="lineno">··211</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>	240	<div·class="line"><a·id="l00211"·name="l00211"></a><span·class="lineno">··211</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>
Offset 258, 40 lines modified		Offset 258, 40 lines modified
258	<div·class="line"><a·id="l00225"·name="l00225"></a><span·class="lineno">··225</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree<View>::MeritDegree</a></div>	258	<div·class="line"><a·id="l00225"·name="l00225"></a><span·class="lineno">··225</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree<View>::MeritDegree</a></div>
259	<div·class="line"><a·id="l00226"·name="l00226"></a><span·class="lineno">··226</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritDegree<View>::Var</a>>&·vb)</div>	259	<div·class="line"><a·id="l00226"·name="l00226"></a><span·class="lineno">··226</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritDegree<View>::Var</a>>&·vb)</div>
260	<div·class="line"><a·id="l00227"·name="l00227"></a><span·class="lineno">··227</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,unsigned·int>(home,vb)·{}</div>	260	<div·class="line"><a·id="l00227"·name="l00227"></a><span·class="lineno">··227</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,unsigned·int>(home,vb)·{}</div>
261	<div·class="line"><a·id="l00228"·name="l00228"></a><span·class="lineno">··228</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	261	<div·class="line"><a·id="l00228"·name="l00228"></a><span·class="lineno">··228</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
262	<div·class="line"><a·id="l00229"·name="l00229"></a><span·class="lineno">··229</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	262	<div·class="line"><a·id="l00229"·name="l00229"></a><span·class="lineno">··229</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
263	<div·class="foldopen"·id="foldopen00230"·data-start="{"·data-end="}">	263	<div·class="foldopen"·id="foldopen00230"·data-start="{"·data-end="}">
264	<div·class="line"><a·id="l00230"·name="l00230"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritDegree.html#a697db8d8140489f1b2681c593e4a4bbe">··230</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree<View>::MeritDegree</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritDegree.html">MeritDegree</a>&·md)</div>	264	<div·class="line"><a·id="l00230"·name="l00230"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritDegree.html#a697db8d8140489f1b2681c593e4a4bbe">··230</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree<View>::MeritDegree</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritDegree.html">MeritDegree</a>&·md)</div>
265	<div·class="line"><a·id="l00231"·name="l00231"></a><span·class="lineno">··231</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,unsigned·int>(home,md)·{}</div>	265	<div·class="line"><a·id="l00231"·name="l00231"></a><span·class="lineno">··231</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,unsigned·int>(home,md)·{}</div>
266	</div>	266	</div>
267	<div·class="line"><a·id="l00232"·name="l00232"></a><span·class="lineno">··232</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	267	<div·class="line"><a·id="l00232"·name="l00232"></a><span·class="lineno">··232</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
268	<div·class="line"><a·id="l00233"·name="l00233"></a><span·class="lineno">··233</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span></div>	268	<div·class="line"><a·id="l00233"·name="l00233"></a><span·class="lineno">··233</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span></div>
269	<div·class="foldopen"·id="foldopen00234"·data-start="{"·data-end="}">	269	<div·class="foldopen"·id="foldopen00234"·data-start="{"·data-end="}">
270	<div·class="line"><a·id="l00234"·name="l00234"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritDegree.html#ab57c891b12a257515b2df8baa5a70e5e">··234</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#ab57c891b12a257515b2df8baa5a70e5e">MeritDegree<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>	270	<div·class="line"><a·id="l00234"·name="l00234"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritDegree.html#ab57c891b12a257515b2df8baa5a70e5e">··234</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#ab57c891b12a257515b2df8baa5a70e5e">MeritDegree<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>
271	<div·class="line"><a·id="l00235"·name="l00235"></a><span·class="lineno">··235</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#a98fa673c190af2e62304013f05c3ed34">degree</a>();</div>	271	<div·class="line"><a·id="l00235"·name="l00235"></a><span·class="lineno">··235</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#a98fa673c190af2e62304013f05c3ed34">degree</a>();</div>
272	<div·class="line"><a·id="l00236"·name="l00236"></a><span·class="lineno">··236</span>··}</div>	272	<div·class="line"><a·id="l00236"·name="l00236"></a><span·class="lineno">··236</span>··}</div>
273	</div>	273	</div>


Offset 166, 50 lines modified		Offset 166, 50 lines modified
166	<div·class="line"><a·id="l00114"·name="l00114"></a><span·class="lineno">··114</span>·</div>	166	<div·class="line"><a·id="l00114"·name="l00114"></a><span·class="lineno">··114</span>·</div>
167	<div·class="line"><a·id="l00115"·name="l00115"></a><span·class="lineno">··115</span>··<span·class="comment">//·User-defined·value·selection</span></div>	167	<div·class="line"><a·id="l00115"·name="l00115"></a><span·class="lineno">··115</span>··<span·class="comment">//·User-defined·value·selection</span></div>
168	<div·class="line"><a·id="l00116"·name="l00116"></a><span·class="lineno">··116</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	168	<div·class="line"><a·id="l00116"·name="l00116"></a><span·class="lineno">··116</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
169	<div·class="line"><a·id="l00117"·name="l00117"></a><span·class="lineno">··117</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	169	<div·class="line"><a·id="l00117"·name="l00117"></a><span·class="lineno">··117</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
170	<div·class="foldopen"·id="foldopen00118"·data-start="{"·data-end="}">	170	<div·class="foldopen"·id="foldopen00118"·data-start="{"·data-end="}">
171	<div·class="line"><a·id="l00118"·name="l00118"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">··118</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">ValCommitFunction<View>::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,</div>	171	<div·class="line"><a·id="l00118"·name="l00118"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">··118</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">ValCommitFunction<View>::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,</div>
172	<div·class="line"><a·id="l00119"·name="l00119"></a><span·class="lineno">··119</span>·············································<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1ValBranch.html">ValBranch<Var></a>&·vb)</div>	172	<div·class="line"><a·id="l00119"·name="l00119"></a><span·class="lineno">··119</span>·············································<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1ValBranch.html">ValBranch<Var></a>&·vb)</div>
173	<div·class="line"><a·id="l00120"·name="l00120"></a><span·class="lineno">··120</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a><View,Val>(home,vb),·c(vb.commit())·{</div>	173	<div·class="line"><a·id="l00120"·name="l00120"></a><span·class="lineno">··120</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a><<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,Val>(home,vb),·c(vb.commit())·{</div>
174	<div·class="line"><a·id="l00121"·name="l00121"></a><span·class="lineno">··121</span>····<span·class="keywordflow">if</span>·(!<a·class="code·hl_variable"·href="classGecode_1_1ValCommitFunction.html#a072474d95106017b6597d0a513237a81">c</a>())</div>	174	<div·class="line"><a·id="l00121"·name="l00121"></a><span·class="lineno">··121</span>····<span·class="keywordflow">if</span>·(!<a·class="code·hl_variable"·href="classGecode_1_1ValCommitFunction.html#a072474d95106017b6597d0a513237a81">c</a>())</div>
175	<div·class="line"><a·id="l00122"·name="l00122"></a><span·class="lineno">··122</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">"ValCommitFunction::ValCommitFunction"</span>);</div>	175	<div·class="line"><a·id="l00122"·name="l00122"></a><span·class="lineno">··122</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">"ValCommitFunction::ValCommitFunction"</span>);</div>
176	<div·class="line"><a·id="l00123"·name="l00123"></a><span·class="lineno">··123</span>··}</div>	176	<div·class="line"><a·id="l00123"·name="l00123"></a><span·class="lineno">··123</span>··}</div>
177	</div>	177	</div>
178	<div·class="line"><a·id="l00124"·name="l00124"></a><span·class="lineno">··124</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	178	<div·class="line"><a·id="l00124"·name="l00124"></a><span·class="lineno">··124</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
179	<div·class="line"><a·id="l00125"·name="l00125"></a><span·class="lineno">··125</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	179	<div·class="line"><a·id="l00125"·name="l00125"></a><span·class="lineno">··125</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
180	<div·class="foldopen"·id="foldopen00126"·data-start="{"·data-end="}">	180	<div·class="foldopen"·id="foldopen00126"·data-start="{"·data-end="}">
181	<div·class="line"><a·id="l00126"·name="l00126"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#ab6590c4c413d335ae94170433f01cf75">··126</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">ValCommitFunction<View>::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,</div>	181	<div·class="line"><a·id="l00126"·name="l00126"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#ab6590c4c413d335ae94170433f01cf75">··126</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">ValCommitFunction<View>::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,</div>
182	<div·class="line"><a·id="l00127"·name="l00127"></a><span·class="lineno">··127</span>·············································<a·class="code·hl_class"·href="classGecode_1_1ValCommitFunction.html">ValCommitFunction<View></a>&·vc)</div>	182	<div·class="line"><a·id="l00127"·name="l00127"></a><span·class="lineno">··127</span>·············································<a·class="code·hl_class"·href="classGecode_1_1ValCommitFunction.html">ValCommitFunction<View></a>&·vc)</div>
183	<div·class="line"><a·id="l00128"·name="l00128"></a><span·class="lineno">··128</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a><View,Val>(home,vc),·c(vc.c)·{</div>	183	<div·class="line"><a·id="l00128"·name="l00128"></a><span·class="lineno">··128</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a><<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,Val>(home,vc),·c(vc.c)·{</div>
184	<div·class="line"><a·id="l00129"·name="l00129"></a><span·class="lineno">··129</span>··}</div>	184	<div·class="line"><a·id="l00129"·name="l00129"></a><span·class="lineno">··129</span>··}</div>
185	</div>	185	</div>
186	<div·class="line"><a·id="l00130"·name="l00130"></a><span·class="lineno">··130</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	186	<div·class="line"><a·id="l00130"·name="l00130"></a><span·class="lineno">··130</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
187	<div·class="line"><a·id="l00131"·name="l00131"></a><span·class="lineno">··131</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<a·class="code·hl_typedef"·href="namespaceGecode.html#afa985ae465bd12df08e29252cdb7519b">ModEvent</a></div>	187	<div·class="line"><a·id="l00131"·name="l00131"></a><span·class="lineno">··131</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<a·class="code·hl_typedef"·href="namespaceGecode.html#afa985ae465bd12df08e29252cdb7519b">ModEvent</a></div>
188	<div·class="foldopen"·id="foldopen00132"·data-start="{"·data-end="}">	188	<div·class="foldopen"·id="foldopen00132"·data-start="{"·data-end="}">
189	<div·class="line"><a·id="l00132"·name="l00132"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#ae0ac165d37528035025c4face1aa631a">··132</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#ae0ac165d37528035025c4face1aa631a">ValCommitFunction<View>::commit</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,</div>	189	<div·class="line"><a·id="l00132"·name="l00132"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#ae0ac165d37528035025c4face1aa631a">··132</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#ae0ac165d37528035025c4face1aa631a">ValCommitFunction<View>::commit</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,</div>
190	<div·class="line"><a·id="l00133"·name="l00133"></a><span·class="lineno">··133</span>··································Val·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·{</div>	190	<div·class="line"><a·id="l00133"·name="l00133"></a><span·class="lineno">··133</span>··································Val·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·{</div>
191	<div·class="line"><a·id="l00134"·name="l00134"></a><span·class="lineno">··134</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>	191	<div·class="line"><a·id="l00134"·name="l00134"></a><span·class="lineno">··134</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>
192	<div·class="line"><a·id="l00135"·name="l00135"></a><span·class="lineno">··135</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(c());</div>	192	<div·class="line"><a·id="l00135"·name="l00135"></a><span·class="lineno">··135</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(c());</div>
193	<div·class="line"><a·id="l00136"·name="l00136"></a><span·class="lineno">··136</span>····c()(home,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>	193	<div·class="line"><a·id="l00136"·name="l00136"></a><span·class="lineno">··136</span>····c()(home,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>
194	<div·class="line"><a·id="l00137"·name="l00137"></a><span·class="lineno">··137</span>····<span·class="keywordflow">return</span>·home.<a·class="code·hl_function"·href="group__TaskActor.html#ga1d7b7b424049437959de9fbc55477a9c">failed</a>()·?·<a·class="code·hl_enumvalue"·href="namespaceGecode.html#ab278aee34126d2f13c5429ee3c4ed3b5a839b40c2e7ccebb2e61e92e274833089">ES_FAILED</a>·:·<a·class="code·hl_enumvalue"·href="namespaceGecode.html#ab278aee34126d2f13c5429ee3c4ed3b5a01d6fb1ec70479e8e413d5ecfd63e303">ES_OK</a>;</div>	194	<div·class="line"><a·id="l00137"·name="l00137"></a><span·class="lineno">··137</span>····<span·class="keywordflow">return</span>·home.<a·class="code·hl_function"·href="group__TaskActor.html#ga1d7b7b424049437959de9fbc55477a9c">failed</a>()·?·<a·class="code·hl_enumvalue"·href="namespaceGecode.html#ab278aee34126d2f13c5429ee3c4ed3b5a839b40c2e7ccebb2e61e92e274833089">ES_FAILED</a>·:·<a·class="code·hl_enumvalue"·href="namespaceGecode.html#ab278aee34126d2f13c5429ee3c4ed3b5a01d6fb1ec70479e8e413d5ecfd63e303">ES_OK</a>;</div>
195	<div·class="line"><a·id="l00138"·name="l00138"></a><span·class="lineno">··138</span>··}</div>	195	<div·class="line"><a·id="l00138"·name="l00138"></a><span·class="lineno">··138</span>··}</div>
196	</div>	196	</div>
197	<div·class="line"><a·id="l00139"·name="l00139"></a><span·class="lineno">··139</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	197	<div·class="line"><a·id="l00139"·name="l00139"></a><span·class="lineno">··139</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
198	<div·class="line"><a·id="l00140"·name="l00140"></a><span·class="lineno">··140</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<a·class="code·hl_class"·href="classGecode_1_1NGL.html">NGL</a>*</div>	198	<div·class="line"><a·id="l00140"·name="l00140"></a><span·class="lineno">··140</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<a·class="code·hl_class"·href="classGecode_1_1NGL.html">NGL</a>*</div>
199	<div·class="foldopen"·id="foldopen00141"·data-start="{"·data-end="}">	199	<div·class="foldopen"·id="foldopen00141"·data-start="{"·data-end="}">
200	<div·class="line"><a·id="l00141"·name="l00141"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#a382742235cb2639bb092421b8b9f7cd1">··141</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a382742235cb2639bb092421b8b9f7cd1">ValCommitFunction<View>::ngl</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>,·View,·Val)<span·class="keyword">·const·</span>{</div>	200	<div·class="line"><a·id="l00141"·name="l00141"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#a382742235cb2639bb092421b8b9f7cd1">··141</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a382742235cb2639bb092421b8b9f7cd1">ValCommitFunction<View>::ngl</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>,·<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,·Val)<span·class="keyword">·const·</span>{</div>
201	<div·class="line"><a·id="l00142"·name="l00142"></a><span·class="lineno">··142</span>····<span·class="keywordflow">return</span>·NULL;</div>	201	<div·class="line"><a·id="l00142"·name="l00142"></a><span·class="lineno">··142</span>····<span·class="keywordflow">return</span>·NULL;</div>
202	<div·class="line"><a·id="l00143"·name="l00143"></a><span·class="lineno">··143</span>··}</div>	202	<div·class="line"><a·id="l00143"·name="l00143"></a><span·class="lineno">··143</span>··}</div>
203	</div>	203	</div>