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

⊟

205 KB

/srv/reproducible-results/rbuild-debian/r-b-build.FKiRieiU/b1/gecode_6.2.0-5.1_armhf.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.FKiRieiU/b2/gecode_6.2.0-5.1_armhf.changes ¶

⊟

1.05 KB

Files ¶


Offset 1, 11 lines modified		Offset 1, 11 lines modified

1	·05ca0f50c21aeea86b919c0da2a491cf·118624·debug·optional·flatzinc-dbgsym_6.2.0-5.1_armhf.deb	1	·05ca0f50c21aeea86b919c0da2a491cf·118624·debug·optional·flatzinc-dbgsym_6.2.0-5.1_armhf.deb
2	·da711324f1bebbea70677cfed7fbad9d·70584·devel·optional·flatzinc_6.2.0-5.1_armhf.deb	2	·da711324f1bebbea70677cfed7fbad9d·70584·devel·optional·flatzinc_6.2.0-5.1_armhf.deb
3	·713ee68bfdb49c5396ad65a7165288e5·509332·libdevel·optional·libgecode-dev_6.2.0-5.1_armhf.deb	3	·713ee68bfdb49c5396ad65a7165288e5·509332·libdevel·optional·libgecode-dev_6.2.0-5.1_armhf.deb
4	·~~11dbb60b87716f5~~8~~17140fde2a32771~~b·1157~~332~~0·doc·optional·libgecode-doc_6.2.0-5.1_all.deb	4	·09bc8339ee54b96849df850684e5d43b·11574560·doc·optional·libgecode-doc_6.2.0-5.1_all.deb
5	·6824d50e20d07676e3d64c80685be6ee·56219728·debug·optional·libgecode49t64-dbgsym_6.2.0-5.1_armhf.deb	5	·6824d50e20d07676e3d64c80685be6ee·56219728·debug·optional·libgecode49t64-dbgsym_6.2.0-5.1_armhf.deb
6	·794d556dbc2a715003ff7ee27360d92c·2543104·libs·optional·libgecode49t64_6.2.0-5.1_armhf.deb	6	·794d556dbc2a715003ff7ee27360d92c·2543104·libs·optional·libgecode49t64_6.2.0-5.1_armhf.deb
7	·825570250296e706a317f43fddfdae3c·2488604·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-5.1_armhf.deb	7	·825570250296e706a317f43fddfdae3c·2488604·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-5.1_armhf.deb
8	·b29deac338a9973eeee2a1186f758e19·235648·libs·optional·libgecodeflatzinc49t64_6.2.0-5.1_armhf.deb	8	·b29deac338a9973eeee2a1186f758e19·235648·libs·optional·libgecodeflatzinc49t64_6.2.0-5.1_armhf.deb
9	·0440209580cdb8b10fb3a3b7b7c9afdb·4070096·debug·optional·libgecodegist49t64-dbgsym_6.2.0-5.1_armhf.deb	9	·0440209580cdb8b10fb3a3b7b7c9afdb·4070096·debug·optional·libgecodegist49t64-dbgsym_6.2.0-5.1_armhf.deb
10	·f927d070d21f2a10db44b0139ce6ba35·152356·libs·optional·libgecodegist49t64_6.2.0-5.1_armhf.deb	10	·f927d070d21f2a10db44b0139ce6ba35·152356·libs·optional·libgecodegist49t64_6.2.0-5.1_armhf.deb

⊟

204 KB

libgecode-doc_6.2.0-5.1_all.deb ¶

⊟

452 B

file list ¶


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2024-02-28·15:56:55.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2024-02-28·15:56:55.000000·debian-binary
2	-rw-r--r--···0········0········0···156~~276~~·2024-02-28·15:56:55.000000·control.tar.xz	2	-rw-r--r--···0········0········0···156300·2024-02-28·15:56:55.000000·control.tar.xz
3	-rw-r--r--···0········0········0·1141~~6852~~·2024-02-28·15:56:55.000000·data.tar.xz	3	-rw-r--r--···0········0········0·11418068·2024-02-28·15:56:55.000000·data.tar.xz

⊟

543 B

control.tar.xz ¶

⊟

515 B

control.tar ¶

⊟

445 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-5.1	3	Version:·6.2.0-5.1
4	Architecture:·all	4	Architecture:·all
5	Maintainer:·Kari·Pahula·<kaol@debian.org>	5	Maintainer:·Kari·Pahula·<kaol@debian.org>
6	Installed-Size:·230385	6	Installed-Size:·230380
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:·http://www.gecode.org/	11	Homepage:·http://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

⊟

203 KB

data.tar.xz ¶

⊟

203 KB

data.tar ¶

⊟

9.02 KB

file list ¶

⊟

17.3 KB

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

⊟

1020 B

html2text {} ¶

⊟

65.5 KB

./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp_source.html ¶

⊟

12.1 KB

html2text {} ¶

⊟

61.9 KB

./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp_source.html ¶

⊟

9.22 KB

html2text {} ¶


Offset 46, 123 lines modified		Offset 46, 123 lines modified
46	37·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	46	37·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
47	38·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q	47	38·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q
48	39·(Space&·home,·const·ValBranch<_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	48	39·(Space&·home,·const·ValBranch<_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
49	40·:·ValCommit<View,int>(home,vb)·{}	49	40·:·ValCommit<View,int>(home,vb)·{}
50	41·template<class·View>	50	41·template<class·View>
51	42·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	51	42·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
52	_\x84_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q&·vc)	52	_\x84_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q&·vc)
53	44·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<_.V_.i_.e_.w,int>(home,vc)·{}	53	44·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,int>(home,vc)·{}
54	45·template<class·View>	54	45·template<class·View>
55	46·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t	55	46·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t
56	_\x84_\x87·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\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,·int·_\x8n)·{	56	_\x84_\x87·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\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,·int·_\x8n)·{
57	48·return·(_\x8a·==·0)·?·_\x8x.eq(home,_\x8n)·:·_\x8x.nq(home,_\x8n);	57	48·return·(_\x8a·==·0)·?·_\x8x.eq(home,_\x8n)·:·_\x8x.nq(home,_\x8n);
58	49·}	58	49·}
59	50·template<class·View>	59	50·template<class·View>
60	51·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*	60	51·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*
61	_\x85_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·_.V_.i_.e_.w·_\x8x,·int·_\x8n)·const·{	61	_\x85_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·View·_\x8x,·int·_\x8n)·const·{
62	53·if·(_\x8a·==·0)	62	53·if·(_\x8a·==·0)
63	54·return·new·(home)·_\x8E_\x8q_\x8N_\x8G_\x8L_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,_\x8x,_\x8n);	63	54·return·new·(home)·_\x8E_\x8q_\x8N_\x8G_\x8L_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,_\x8x,_\x8n);
64	55·else	64	55·else
65	56·return·NULL;	65	56·return·NULL;
66	57·}	66	57·}
67	58·template<class·View>	67	58·template<class·View>
68	59·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void	68	59·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void
69	_\x86_\x80·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int·_\x8a,·_.V_.i_.e_.w,·int·i,	69	_\x86_\x80·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8E_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int·_\x8a,·View,·int·i,
70	61·int·_\x8n,·std::ostream&·o)·const·{	70	61·int·_\x8n,·std::ostream&·o)·const·{
71	62·o·<<·"var["·<<·i·<<·"]·"	71	62·o·<<·"var["·<<·i·<<·"]·"
72	63·<<·((_\x8a·==·0)·?·"="·:·"!=")·<<·"·"·<<·_\x8n;	72	63·<<·((_\x8a·==·0)·?·"="·:·"!=")·<<·"·"·<<·_\x8n;
73	64·}	73	64·}
74	65	74	65
75	66·template<class·View>	75	66·template<class·View>
76	67·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	76	67·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
77	68·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q	77	68·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q
78	69·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	78	69·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
79	70·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,int>(home,vb)·{}	79	70·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,int>(home,vb)·{}
80	71·template<class·View>	80	71·template<class·View>
81	72·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	81	72·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
82	_\x87_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q&·vc)	82	_\x87_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q&·vc)
83	74·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<_.V_.i_.e_.w,int>(home,vc)·{}	83	74·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,int>(home,vc)·{}
84	75·template<class·View>	84	75·template<class·View>
85	76·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t	85	76·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t
86	_\x87_\x87·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\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,·int·_\x8n)·{	86	_\x87_\x87·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\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,·int·_\x8n)·{
87	78·return·(_\x8a·==·0)·?·_\x8x.lq(home,_\x8n)·:·_\x8x.gr(home,_\x8n);	87	78·return·(_\x8a·==·0)·?·_\x8x.lq(home,_\x8n)·:·_\x8x.gr(home,_\x8n);
88	79·}	88	79·}
89	80·template<class·View>	89	80·template<class·View>
90	81·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*	90	81·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*
91	_\x88_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·_.V_.i_.e_.w·_\x8x,·int·_\x8n)·const·{	91	_\x88_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·View·_\x8x,·int·_\x8n)·const·{
92	83·if·(_\x8a·==·0)	92	83·if·(_\x8a·==·0)
93	84·return·new·(home)·_\x8L_\x8q_\x8N_\x8G_\x8L_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,_\x8x,_\x8n);	93	84·return·new·(home)·_\x8L_\x8q_\x8N_\x8G_\x8L_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,_\x8x,_\x8n);
94	85·else	94	85·else
95	86·return·NULL;	95	86·return·NULL;
96	87·}	96	87·}
97	88·template<class·View>	97	88·template<class·View>
98	89·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void	98	89·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void
99	_\x89_\x80·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int·_\x8a,·_.V_.i_.e_.w,·int·i,	99	_\x89_\x80·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8L_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int·_\x8a,·View,·int·i,
100	91·int·_\x8n,·std::ostream&·o)·const·{	100	91·int·_\x8n,·std::ostream&·o)·const·{
101	92·o·<<·"var["·<<·i·<<·"]·"	101	92·o·<<·"var["·<<·i·<<·"]·"
102	93·<<·((_\x8a·==·0)·?·"<="·:·">")·<<·"·"·<<·_\x8n;	102	93·<<·((_\x8a·==·0)·?·"<="·:·">")·<<·"·"·<<·_\x8n;
103	94·}	103	94·}
104	95	104	95
105	96·template<class·View>	105	96·template<class·View>
106	97·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	106	97·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
107	98·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q	107	98·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q
108	99·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	108	99·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
109	100·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,int>(home,vb)·{}	109	100·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,int>(home,vb)·{}
110	101·template<class·View>	110	101·template<class·View>
111	102·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	111	102·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
112	_\x81_\x80_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q&·vc)	112	_\x81_\x80_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q&·vc)
113	104·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<_.V_.i_.e_.w,int>(home,vc)·{}	113	104·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,int>(home,vc)·{}
114	105·template<class·View>	114	105·template<class·View>
115	106·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t	115	106·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t
116	_\x81_\x80_\x87·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\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,·int·_\x8n)	116	_\x81_\x80_\x87·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\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,·int·_\x8n)
117	{	117	{
118	108·return·(_\x8a·==·0)·?·_\x8x.gq(home,_\x8n)·:·_\x8x.le(home,_\x8n);	118	108·return·(_\x8a·==·0)·?·_\x8x.gq(home,_\x8n)·:·_\x8x.le(home,_\x8n);
119	109·}	119	109·}
120	110·template<class·View>	120	110·template<class·View>
121	111·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*	121	111·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*
122	_\x81_\x81_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·_.V_.i_.e_.w·_\x8x,·int·_\x8n)·const·{	122	_\x81_\x81_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·View·_\x8x,·int·_\x8n)·const·{
123	113·if·(_\x8a·==·0)	123	113·if·(_\x8a·==·0)
124	114·return·new·(home)·_\x8G_\x8q_\x8N_\x8G_\x8L_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,_\x8x,_\x8n);	124	114·return·new·(home)·_\x8G_\x8q_\x8N_\x8G_\x8L_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,_\x8x,_\x8n);
125	115·else	125	115·else
126	116·return·NULL;	126	116·return·NULL;
127	117·}	127	117·}
128	118·template<class·View>	128	118·template<class·View>
129	119·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void	129	119·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void
130	_\x81_\x82_\x80·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int·_\x8a,·_.V_.i_.e_.w,·int·i,	130	_\x81_\x82_\x80·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8q_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int·_\x8a,·View,·int·i,
131	121·int·_\x8n,·std::ostream&·o)·const·{	131	121·int·_\x8n,·std::ostream&·o)·const·{
132	122·o·<<·"var["·<<·i·<<·"]·"	132	122·o·<<·"var["·<<·i·<<·"]·"
133	123·<<·((_\x8a·==·0)·?·">="·:·"<")·<<·"·"·<<·_\x8n;	133	123·<<·((_\x8a·==·0)·?·">="·:·"<")·<<·"·"·<<·_\x8n;
134	124·}	134	124·}
135	125	135	125
136	126·template<class·View>	136	126·template<class·View>
137	127·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	137	127·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
138	128·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r	138	128·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r
139	129·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	139	129·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
140	130·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,int>(home,vb)·{}	140	130·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,int>(home,vb)·{}
141	131·template<class·View>	141	131·template<class·View>
142	132·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	142	132·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
143	_\x81_\x83_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r&·vc)	143	_\x81_\x83_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r&·vc)
144	134·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<_.V_.i_.e_.w,int>(home,vc)·{}	144	134·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,int>(home,vc)·{}
145	135·template<class·View>	145	135·template<class·View>
146	136·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t	146	136·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t
147	_\x81_\x83_\x87·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\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,·int·_\x8n)	147	_\x81_\x83_\x87·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\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,·int·_\x8n)
148	{	148	{
149	138·return·(_\x8a·==·0)·?·_\x8x.gr(home,_\x8n)·:·_\x8x.lq(home,_\x8n);	149	138·return·(_\x8a·==·0)·?·_\x8x.gr(home,_\x8n)·:·_\x8x.lq(home,_\x8n);
150	139·}	150	139·}
151	140·template<class·View>	151	140·template<class·View>
152	141·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*	152	141·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*
153	_\x81_\x84_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·_.V_.i_.e_.w·_\x8x,·int·_\x8n)·const·{	153	_\x81_\x84_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·View·_\x8x,·int·_\x8n)·const·{
154	143·if·(_\x8a·==·0)	154	143·if·(_\x8a·==·0)
155	144·return·new·(home)·_\x8G_\x8q_\x8N_\x8G_\x8L_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,_\x8x,_\x8n+1);	155	144·return·new·(home)·_\x8G_\x8q_\x8N_\x8G_\x8L_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,_\x8x,_\x8n+1);
156	145·else	156	145·else
157	146·return·NULL;	157	146·return·NULL;
158	147·}	158	147·}
159	148·template<class·View>	159	148·template<class·View>
160	149·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void	160	149·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void
161	_\x81_\x85_\x80·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int·_\x8a,·_.V_.i_.e_.w,·int·i,	161	_\x81_\x85_\x80·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8G_\x8r_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int·_\x8a,·View,·int·i,
162	151·int·_\x8n,·std::ostream&·o)·const·{	162	151·int·_\x8n,·std::ostream&·o)·const·{
163	152·o·<<·"var["·<<·i·<<·"]·"	163	152·o·<<·"var["·<<·i·<<·"]·"
164	153·<<·((_\x8a·==·0)·?·">"·:·"<=")·<<·"·"·<<·_\x8n;	164	153·<<·((_\x8a·==·0)·?·">"·:·"<=")·<<·"·"·<<·_\x8n;
165	154·}	165	154·}
166	155	166	155
167	156}}}	167	156}}}
168	157	168	157

⊟

37.3 KB

./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp_source.html ¶

⊟

5.86 KB

html2text {} ¶


Offset 46, 79 lines modified		Offset 46, 79 lines modified
46	37·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	46	37·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
47	38·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n	47	38·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n
48	39·(Space&·home,·const·ValBranch<_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	48	39·(Space&·home,·const·ValBranch<_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
49	40·:·ValSel<View,int>(home,vb)·{}	49	40·:·ValSel<View,int>(home,vb)·{}
50	41·template<class·View>	50	41·template<class·View>
51	42·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	51	42·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
52	_\x84_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n&·vs)	52	_\x84_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n&·vs)
53	44·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<_.V_.i_.e_.w,int>(home,vs)·{}	53	44·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vs)·{}
54	45·template<class·View>	54	45·template<class·View>
55	46·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int	55	46·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int
56	_\x84_\x87·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w·_\x8x,·int)·{	56	_\x84_\x87·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View·_\x8x,·int)·{
57	48·return·_\x8x.min();	57	48·return·_\x8x.min();
58	49·}	58	49·}
59	50	59	50
60	51·template<class·View>	60	51·template<class·View>
61	52·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	61	52·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
62	53·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x	62	53·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x
63	54·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	63	54·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
64	55·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vb)·{}	64	55·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vb)·{}
65	56·template<class·View>	65	56·template<class·View>
66	57·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	66	57·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
67	_\x85_\x88·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x&·vs)	67	_\x85_\x88·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x&·vs)
68	59·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<_.V_.i_.e_.w,int>(home,vs)·{}	68	59·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vs)·{}
69	60·template<class·View>	69	60·template<class·View>
70	61·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int	70	61·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int
71	_\x86_\x82·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w·_\x8x,·int)·{	71	_\x86_\x82·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View·_\x8x,·int)·{
72	63·return·_\x8x.max();	72	63·return·_\x8x.max();
73	64·}	73	64·}
74	65	74	65
75	66·template<class·View>	75	66·template<class·View>
76	67·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	76	67·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
77	68·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d	77	68·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d
78	69·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	78	69·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
79	70·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vb)·{}	79	70·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vb)·{}
80	71·template<class·View>	80	71·template<class·View>
81	72·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	81	72·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
82	_\x87_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d&·vs)	82	_\x87_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d&·vs)
83	74·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<_.V_.i_.e_.w,int>(home,vs)·{}	83	74·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vs)·{}
84	75·template<class·View>	84	75·template<class·View>
85	76·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int	85	76·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int
86	_\x87_\x87·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w·_\x8x,·int)·{	86	_\x87_\x87·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8M_\x8e_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View·_\x8x,·int)·{
87	78·return·_\x8x.med();	87	78·return·_\x8x.med();
88	79·}	88	79·}
89	80	89	80
90	81·template<class·View>	90	81·template<class·View>
91	82·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	91	82·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
92	83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g	92	83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g
93	84·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	93	84·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
94	85·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vb)·{}	94	85·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vb)·{}
95	86·template<class·View>	95	86·template<class·View>
96	87·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	96	87·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
97	_\x88_\x88·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g&·vs)	97	_\x88_\x88·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g&·vs)
98	89·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<_.V_.i_.e_.w,int>(home,vs)·{}	98	89·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vs)·{}
99	90·template<class·View>	99	90·template<class·View>
100	91·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int	100	91·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int
101	_\x89_\x82·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w·_\x8x,·int)·{	101	_\x89_\x82·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8A_\x8v_\x8g_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View·_\x8x,·int)·{
102	93·return·(_\x8x.width()·==·2U)·?·_\x8x.min()·:·((_\x8x.min()+_\x8x.max())·/·2);	102	93·return·(_\x8x.width()·==·2U)·?·_\x8x.min()·:·((_\x8x.min()+_\x8x.max())·/·2);
103	94·}	103	94·}
104	95	104	95
105	96·template<class·View>	105	96·template<class·View>
106	97·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	106	97·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
107	98·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d	107	98·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d
108	99·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	108	99·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
109	100·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vb),·_\x8r(vb.rnd())·{}	109	100·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vb),·_\x8r(vb.rnd())·{}
110	101·template<class·View>	110	101·template<class·View>
111	102·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	111	102·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
112	_\x81_\x80_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d&·vs)	112	_\x81_\x80_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d&·vs)
113	104·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<_.V_.i_.e_.w,int>(home,vs),·_\x8r(vs._\x8r)·{	113	104·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,int>(home,vs),·_\x8r(vs._\x8r)·{
114	105·}	114	105·}
115	106·template<class·View>	115	106·template<class·View>
116	107·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int	116	107·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int
117	_\x81_\x80_\x88·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w·_\x8x,·int)·{	117	_\x81_\x80_\x88·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View·_\x8x,·int)·{
118	109·unsigned·int·_\x8p·=·_\x8r(_\x8x.size());	118	109·unsigned·int·_\x8p·=·_\x8r(_\x8x.size());
119	110·for·(_\x8V_\x8i_\x8e_\x8w_\x8R_\x8a_\x8n_\x8g_\x8e_\x8s_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>·i(_\x8x);·i();·++i)·{	119	110·for·(_\x8V_\x8i_\x8e_\x8w_\x8R_\x8a_\x8n_\x8g_\x8e_\x8s_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>·i(_\x8x);·i();·++i)·{
120	111·if·(i.width()·>·_\x8p)	120	111·if·(i.width()·>·_\x8p)
121	112·return·i.min()·+·static_cast<int>(_\x8p);	121	112·return·i.min()·+·static_cast<int>(_\x8p);
122	113·_\x8p·-=·i.width();	122	113·_\x8p·-=·i.width();
123	114·}	123	114·}
124	115·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8N_\x8E_\x8V_\x8E_\x8R;	124	115·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8N_\x8E_\x8V_\x8E_\x8R;

⊟

11.6 KB

./usr/share/doc/libgecode-doc/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 5011, 15 lines modified		Offset 5011, 15 lines modified
5011	-rw-r--r--···0·root·········(0)·root·········(0)·····3513·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp.html	5011	-rw-r--r--···0·root·········(0)·root·········(0)·····3513·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp.html
5012	-rw-r--r--···0·root·········(0)·root·········(0)····63039·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp_source.html	5012	-rw-r--r--···0·root·········(0)·root·········(0)····63039·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp_source.html
5013	-rw-r--r--···0·root·········(0)·root·········(0)·····4940·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp.html	5013	-rw-r--r--···0·root·········(0)·root·········(0)·····4940·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp.html
5014	-rw-r--r--···0·root·········(0)·root·········(0)····16838·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp_source.html	5014	-rw-r--r--···0·root·········(0)·root·········(0)····16838·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp_source.html
5015	-rw-r--r--···0·root·········(0)·root·········(0)····10944·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp.html	5015	-rw-r--r--···0·root·········(0)·root·········(0)····10944·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp.html
5016	-rw-r--r--···0·root·········(0)·root·········(0)····58122·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp_source.html	5016	-rw-r--r--···0·root·········(0)·root·········(0)····58122·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp_source.html
5017	-rw-r--r--···0·root·········(0)·root·········(0)····16366·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh.html	5017	-rw-r--r--···0·root·········(0)·root·········(0)····16366·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh.html
5018	-rw-r--r--···0·root·········(0)·root·········(0)····95492·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html	5018	-rw-r--r--···0·root·········(0)·root·········(0)····95995·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html
5019	-rw-r--r--···0·root·········(0)·root·········(0)·····4647·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp.html	5019	-rw-r--r--···0·root·········(0)·root·········(0)·····4647·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp.html
5020	-rw-r--r--···0·root·········(0)·root·········(0)····53730·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp_source.html	5020	-rw-r--r--···0·root·········(0)·root·········(0)····53730·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp_source.html
5021	-rw-r--r--···0·root·········(0)·root·········(0)·····4515·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp.html	5021	-rw-r--r--···0·root·········(0)·root·········(0)·····4515·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp.html
5022	-rw-r--r--···0·root·········(0)·root·········(0)····50244·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp_source.html	5022	-rw-r--r--···0·root·········(0)·root·········(0)····50244·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp_source.html
5023	-rw-r--r--···0·root·········(0)·root·········(0)·····7021·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp.html	5023	-rw-r--r--···0·root·········(0)·root·········(0)·····7021·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp.html
5024	-rw-r--r--···0·root·········(0)·root·········(0)····28622·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp_source.html	5024	-rw-r--r--···0·root·········(0)·root·········(0)····28622·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp_source.html
5025	-rw-r--r--···0·root·········(0)·root·········(0)·····5869·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2convex_8cpp.html	5025	-rw-r--r--···0·root·········(0)·root·········(0)·····5869·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2convex_8cpp.html


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 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 47, 82 lines modified		Offset 47, 82 lines modified
47	38·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	47	38·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
48	39·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n	48	39·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n
49	40·(Space&·home,·const·VarBranch<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	49	40·(Space&·home,·const·VarBranch<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
50	41·:·MeritBase<View,int>(home,vb)·{}	50	41·:·MeritBase<View,int>(home,vb)·{}
51	42·template<class·View>	51	42·template<class·View>
52	43·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	52	43·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
53	_\x84_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n&·m)	53	_\x84_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\x8n&·m)
54	45·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,int>(home,m)·{}	54	45·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,int>(home,m)·{}
55	46·template<class·View>	55	46·template<class·View>
56	47·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int	56	47·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int
57	_\x84_\x88·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\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·_\x8x,·int)·{	57	_\x84_\x88·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8i_\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·_\x8x,·int)·{
58	49·return·_\x8x.min();	58	49·return·_\x8x.min();
59	50·}	59	50·}
60	51	60	51
61	52·//·Maximum·merit	61	52·//·Maximum·merit
62	53·template<class·View>	62	53·template<class·View>
63	54·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	63	54·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
64	55·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x	64	55·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x
65	56·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	65	56·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
66	57·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,int>(home,vb)·{}	66	57·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,int>(home,vb)·{}
67	58·template<class·View>	67	58·template<class·View>
68	59·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	68	59·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
69	_\x86_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x&·m)	69	_\x86_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x&·m)
70	61·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,int>(home,m)·{}	70	61·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,int>(home,m)·{}
71	62·template<class·View>	71	62·template<class·View>
72	63·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int	72	63·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·int
73	_\x86_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x_\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)·{	73	_\x86_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8M_\x8a_\x8x_\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)·{
74	65·return·_\x8x.max();	74	65·return·_\x8x.max();
75	66·}	75	66·}
76	67	76	67
77	68·//·Size·merit	77	68·//·Size·merit
78	69·template<class·View>	78	69·template<class·View>
79	70·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	79	70·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
80	71·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e	80	71·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e
81	72·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	81	72·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
82	73·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,unsigned·int>(home,vb)·{}	82	73·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,unsigned·int>(home,vb)·{}
83	74·template<class·View>	83	74·template<class·View>
84	75·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	84	75·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
85	_\x87_\x86·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e&·m)	85	_\x87_\x86·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\x8e&·m)
86	77·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,unsigned·int>(home,m)·{}	86	77·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,unsigned·int>(home,m)·{}
87	78·template<class·View>	87	78·template<class·View>
88	79·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·unsigned·int	88	79·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·unsigned·int
89	_\x88_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\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)·{	89	_\x88_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8S_\x8i_\x8z_\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)·{
90	81·return·_\x8x.size();	90	81·return·_\x8x.size();
91	82·}	91	82·}
92	83	92	83
93	84·//·Degree·over·size·merit	93	84·//·Degree·over·size·merit
94	85·template<class·View>	94	85·template<class·View>
95	86·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	95	86·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
96	87·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\x8e	96	87·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\x8e
97	88·(_\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_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	97	88·(_\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_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
98	89·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb)·{}	98	89·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb)·{}
99	90·template<class·View>	99	90·template<class·View>
100	91·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	100	91·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
101	_\x89_\x82·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\x8e&·m)	101	_\x89_\x82·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\x8e&·m)
102	93·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,double>(home,m)·{}	102	93·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,m)·{}
103	94·template<class·View>	103	94·template<class·View>
104	95·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double	104	95·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double
105	_\x89_\x86·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\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)·{	105	_\x89_\x86·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8S_\x8i_\x8z_\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)·{
106	97·return·static_cast<double>(_\x8x._\x8d_\x8e_\x8g_\x8r_\x8e_\x8e())·/·static_cast<double>(_\x8x.size());	106	97·return·static_cast<double>(_\x8x._\x8d_\x8e_\x8g_\x8r_\x8e_\x8e())·/·static_cast<double>(_\x8x.size());
107	98·}	107	98·}
108	99	108	99
109	100·//·AFC·over·size·merit	109	100·//·AFC·over·size·merit
110	101·template<class·View>	110	101·template<class·View>
111	102·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	111	102·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
112	103·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e	112	103·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e
113	104·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)	113	104·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
114	105·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·afc(vb.afc())·{}	114	105·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·afc(vb.afc())·{}
115	106·template<class·View>	115	106·template<class·View>
116	107·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	116	107·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
117	_\x81_\x80_\x88·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e&·m)	117	_\x81_\x80_\x88·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e&·m)
118	109·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,double>(home,m),·afc(m.afc)·{}	118	109·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,m),·afc(m.afc)·{}
119	110·template<class·View>	119	110·template<class·View>
120	111·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double	120	111·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double
121	_\x81_\x81_\x82·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\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)·{	121	_\x81_\x81_\x82·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\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)·{
122	113·return·_\x8x._\x8a_\x8f_\x8c()·/·static_cast<double>(_\x8x.size());	122	113·return·_\x8x._\x8a_\x8f_\x8c()·/·static_cast<double>(_\x8x.size());
123	114·}	123	114·}
124	115·template<class·View>	124	115·template<class·View>
125	116·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool	125	116·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
126	_\x81_\x81_\x87·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{	126	_\x81_\x81_\x87·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8S_\x8i_\x8z_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
127	118·return·false;	127	118·return·false;
128	119·}	128	119·}


Offset 106, 37 lines modified		Offset 106, 37 lines modified
106	<div·class="line"><a·id="l00038"·name="l00038"></a><span·class="lineno">···38</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#aefe9b7283a2e20fe3be89aeb84240bd8">ValCommitEq<View>::ValCommitEq</a></div>	106	<div·class="line"><a·id="l00038"·name="l00038"></a><span·class="lineno">···38</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#aefe9b7283a2e20fe3be89aeb84240bd8">ValCommitEq<View>::ValCommitEq</a></div>
107	<div·class="line"><a·id="l00039"·name="l00039"></a><span·class="lineno">···39</span>··(Space&·home,·<span·class="keyword">const</span>·ValBranch<<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#a895febe5c57f0e720526ab6847cb7d35">ValCommitEq<View>::Var</a>>&·vb)</div>	107	<div·class="line"><a·id="l00039"·name="l00039"></a><span·class="lineno">···39</span>··(Space&·home,·<span·class="keyword">const</span>·ValBranch<<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#a895febe5c57f0e720526ab6847cb7d35">ValCommitEq<View>::Var</a>>&·vb)</div>
108	<div·class="line"><a·id="l00040"·name="l00040"></a><span·class="lineno">···40</span>····:·ValCommit<View,int>(home,vb)·{}</div>	108	<div·class="line"><a·id="l00040"·name="l00040"></a><span·class="lineno">···40</span>····:·ValCommit<View,int>(home,vb)·{}</div>
109	<div·class="line"><a·id="l00041"·name="l00041"></a><span·class="lineno">···41</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	109	<div·class="line"><a·id="l00041"·name="l00041"></a><span·class="lineno">···41</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
110	<div·class="line"><a·id="l00042"·name="l00042"></a><span·class="lineno">···42</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	110	<div·class="line"><a·id="l00042"·name="l00042"></a><span·class="lineno">···42</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
111	<div·class="foldopen"·id="foldopen00043"·data-start="{"·data-end="}">	111	<div·class="foldopen"·id="foldopen00043"·data-start="{"·data-end="}">
112	<div·class="line"><a·id="l00043"·name="l00043"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#ae5e28a12c20ecd2ae157ad908f59590b">···43</a></span>··<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html">ValCommitEq<View>::ValCommitEq</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html">ValCommitEq</a>&·vc)</div>	112	<div·class="line"><a·id="l00043"·name="l00043"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#ae5e28a12c20ecd2ae157ad908f59590b">···43</a></span>··<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html">ValCommitEq<View>::ValCommitEq</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html">ValCommitEq</a>&·vc)</div>
113	<div·class="line"><a·id="l00044"·name="l00044"></a><span·class="lineno">···44</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>~~,int>(home,vc)·{}</div>	113	<div·class="line"><a·id="l00044"·name="l00044"></a><span·class="lineno">···44</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a><View,int>(home,vc)·{}</div>
114	</div>	114	</div>
115	<div·class="line"><a·id="l00045"·name="l00045"></a><span·class="lineno">···45</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	115	<div·class="line"><a·id="l00045"·name="l00045"></a><span·class="lineno">···45</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
116	<div·class="line"><a·id="l00046"·name="l00046"></a><span·class="lineno">···46</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>	116	<div·class="line"><a·id="l00046"·name="l00046"></a><span·class="lineno">···46</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>
117	<div·class="foldopen"·id="foldopen00047"·data-start="{"·data-end="}">	117	<div·class="foldopen"·id="foldopen00047"·data-start="{"·data-end="}">
118	<div·class="line"><a·id="l00047"·name="l00047"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#a88d09dc21420587c73bd5e97e8001fd0">···47</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#a88d09dc21420587c73bd5e97e8001fd0">ValCommitEq<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>,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·{</div>	118	<div·class="line"><a·id="l00047"·name="l00047"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#a88d09dc21420587c73bd5e97e8001fd0">···47</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#a88d09dc21420587c73bd5e97e8001fd0">ValCommitEq<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>,·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·{</div>
119	<div·class="line"><a·id="l00048"·name="l00048"></a><span·class="lineno">···48</span>····<span·class="keywordflow">return</span>·(<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>·==·0)·?·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.eq(home,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·:·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.nq(home,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>	119	<div·class="line"><a·id="l00048"·name="l00048"></a><span·class="lineno">···48</span>····<span·class="keywordflow">return</span>·(<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>·==·0)·?·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.eq(home,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·:·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.nq(home,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>
120	<div·class="line"><a·id="l00049"·name="l00049"></a><span·class="lineno">···49</span>··}</div>	120	<div·class="line"><a·id="l00049"·name="l00049"></a><span·class="lineno">···49</span>··}</div>
121	</div>	121	</div>
122	<div·class="line"><a·id="l00050"·name="l00050"></a><span·class="lineno">···50</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	122	<div·class="line"><a·id="l00050"·name="l00050"></a><span·class="lineno">···50</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
123	<div·class="line"><a·id="l00051"·name="l00051"></a><span·class="lineno">···51</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>	123	<div·class="line"><a·id="l00051"·name="l00051"></a><span·class="lineno">···51</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>
124	<div·class="foldopen"·id="foldopen00052"·data-start="{"·data-end="}">	124	<div·class="foldopen"·id="foldopen00052"·data-start="{"·data-end="}">
125	<div·class="line"><a·id="l00052"·name="l00052"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#a7f8bc2f408e2c103a10f534782141cec">···52</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#a7f8bc2f408e2c103a10f534782141cec">ValCommitEq<View>::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>	125	<div·class="line"><a·id="l00052"·name="l00052"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#a7f8bc2f408e2c103a10f534782141cec">···52</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#a7f8bc2f408e2c103a10f534782141cec">ValCommitEq<View>::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>,·View·<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>
126	<div·class="line"><a·id="l00053"·name="l00053"></a><span·class="lineno">···53</span>····<span·class="keywordflow">if</span>·(<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>·==·0)</div>	126	<div·class="line"><a·id="l00053"·name="l00053"></a><span·class="lineno">···53</span>····<span·class="keywordflow">if</span>·(<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>·==·0)</div>
127	<div·class="line"><a·id="l00054"·name="l00054"></a><span·class="lineno">···54</span>······<span·class="keywordflow">return</span>·<span·class="keyword">new</span>·(home)·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1EqNGL.html">EqNGL<View></a>(home,<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>	127	<div·class="line"><a·id="l00054"·name="l00054"></a><span·class="lineno">···54</span>······<span·class="keywordflow">return</span>·<span·class="keyword">new</span>·(home)·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1EqNGL.html">EqNGL<View></a>(home,<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>
128	<div·class="line"><a·id="l00055"·name="l00055"></a><span·class="lineno">···55</span>····<span·class="keywordflow">else</span></div>	128	<div·class="line"><a·id="l00055"·name="l00055"></a><span·class="lineno">···55</span>····<span·class="keywordflow">else</span></div>
129	<div·class="line"><a·id="l00056"·name="l00056"></a><span·class="lineno">···56</span>······<span·class="keywordflow">return</span>·NULL;</div>	129	<div·class="line"><a·id="l00056"·name="l00056"></a><span·class="lineno">···56</span>······<span·class="keywordflow">return</span>·NULL;</div>
130	<div·class="line"><a·id="l00057"·name="l00057"></a><span·class="lineno">···57</span>··}</div>	130	<div·class="line"><a·id="l00057"·name="l00057"></a><span·class="lineno">···57</span>··}</div>
131	</div>	131	</div>
132	<div·class="line"><a·id="l00058"·name="l00058"></a><span·class="lineno">···58</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	132	<div·class="line"><a·id="l00058"·name="l00058"></a><span·class="lineno">···58</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
133	<div·class="line"><a·id="l00059"·name="l00059"></a><span·class="lineno">···59</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">void</span></div>	133	<div·class="line"><a·id="l00059"·name="l00059"></a><span·class="lineno">···59</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">void</span></div>
134	<div·class="foldopen"·id="foldopen00060"·data-start="{"·data-end="}">	134	<div·class="foldopen"·id="foldopen00060"·data-start="{"·data-end="}">
135	<div·class="line"><a·id="l00060"·name="l00060"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#ace524df1d824bcaf7dc2da8cd0139548">···60</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#ace524df1d824bcaf7dc2da8cd0139548">ValCommitEq<View>::print</a>(<span·class="keyword">const</span>·<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_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·~~<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">~~View~~</a>~~,·<span·class="keywordtype">int</span>·i,</div>	135	<div·class="line"><a·id="l00060"·name="l00060"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#ace524df1d824bcaf7dc2da8cd0139548">···60</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValCommitEq.html#ace524df1d824bcaf7dc2da8cd0139548">ValCommitEq<View>::print</a>(<span·class="keyword">const</span>·<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_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·View,·<span·class="keywordtype">int</span>·i,</div>
136	<div·class="line"><a·id="l00061"·name="l00061"></a><span·class="lineno">···61</span>···························<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>,·std::ostream&·o)<span·class="keyword">·const·</span>{</div>	136	<div·class="line"><a·id="l00061"·name="l00061"></a><span·class="lineno">···61</span>···························<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>,·std::ostream&·o)<span·class="keyword">·const·</span>{</div>
137	<div·class="line"><a·id="l00062"·name="l00062"></a><span·class="lineno">···62</span>····o·<<·<span·class="stringliteral">"var["</span>·<<·i·<<·<span·class="stringliteral">"]·"</span></div>	137	<div·class="line"><a·id="l00062"·name="l00062"></a><span·class="lineno">···62</span>····o·<<·<span·class="stringliteral">"var["</span>·<<·i·<<·<span·class="stringliteral">"]·"</span></div>
138	<div·class="line"><a·id="l00063"·name="l00063"></a><span·class="lineno">···63</span>······<<·((<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>·==·0)·?·<span·class="stringliteral">"="</span>·:·<span·class="stringliteral">"!="</span>)·<<·<span·class="stringliteral">"·"</span>·<<·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>;</div>	138	<div·class="line"><a·id="l00063"·name="l00063"></a><span·class="lineno">···63</span>······<<·((<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>·==·0)·?·<span·class="stringliteral">"="</span>·:·<span·class="stringliteral">"!="</span>)·<<·<span·class="stringliteral">"·"</span>·<<·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>;</div>
139	<div·class="line"><a·id="l00064"·name="l00064"></a><span·class="lineno">···64</span>··}</div>	139	<div·class="line"><a·id="l00064"·name="l00064"></a><span·class="lineno">···64</span>··}</div>
140	</div>	140	</div>
141	<div·class="line"><a·id="l00065"·name="l00065"></a><span·class="lineno">···65</span>·</div>	141	<div·class="line"><a·id="l00065"·name="l00065"></a><span·class="lineno">···65</span>·</div>
142	<div·class="line"><a·id="l00066"·name="l00066"></a><span·class="lineno">···66</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	142	<div·class="line"><a·id="l00066"·name="l00066"></a><span·class="lineno">···66</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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 107, 100 lines modified		Offset 107, 100 lines modified
107	<div·class="line"><a·id="l00039"·name="l00039"></a><span·class="lineno">···39</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a3cfafd2a0ea5cf14fe8fe22fb4de9fbf">MeritMin<View>::MeritMin</a></div>	107	<div·class="line"><a·id="l00039"·name="l00039"></a><span·class="lineno">···39</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a3cfafd2a0ea5cf14fe8fe22fb4de9fbf">MeritMin<View>::MeritMin</a></div>
108	<div·class="line"><a·id="l00040"·name="l00040"></a><span·class="lineno">···40</span>····(Space&·home,·<span·class="keyword">const</span>·VarBranch<<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritMin<View>::Var</a>>&·vb)</div>	108	<div·class="line"><a·id="l00040"·name="l00040"></a><span·class="lineno">···40</span>····(Space&·home,·<span·class="keyword">const</span>·VarBranch<<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritMin<View>::Var</a>>&·vb)</div>
109	<div·class="line"><a·id="l00041"·name="l00041"></a><span·class="lineno">···41</span>····:·MeritBase<View,int>(home,vb)·{}</div>	109	<div·class="line"><a·id="l00041"·name="l00041"></a><span·class="lineno">···41</span>····:·MeritBase<View,int>(home,vb)·{}</div>
110	<div·class="line"><a·id="l00042"·name="l00042"></a><span·class="lineno">···42</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	110	<div·class="line"><a·id="l00042"·name="l00042"></a><span·class="lineno">···42</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
111	<div·class="line"><a·id="l00043"·name="l00043"></a><span·class="lineno">···43</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	111	<div·class="line"><a·id="l00043"·name="l00043"></a><span·class="lineno">···43</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
112	<div·class="foldopen"·id="foldopen00044"·data-start="{"·data-end="}">	112	<div·class="foldopen"·id="foldopen00044"·data-start="{"·data-end="}">
113	<div·class="line"><a·id="l00044"·name="l00044"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#afafada447dd90edeeabac7537c3b01ec">···44</a></span>··<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html">MeritMin<View>::MeritMin</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html">MeritMin</a>&·m)</div>	113	<div·class="line"><a·id="l00044"·name="l00044"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#afafada447dd90edeeabac7537c3b01ec">···44</a></span>··<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html">MeritMin<View>::MeritMin</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html">MeritMin</a>&·m)</div>
114	<div·class="line"><a·id="l00045"·name="l00045"></a><span·class="lineno">···45</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>~~,int>(home,m)·{}</div>	114	<div·class="line"><a·id="l00045"·name="l00045"></a><span·class="lineno">···45</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,int>(home,m)·{}</div>
115	</div>	115	</div>
116	<div·class="line"><a·id="l00046"·name="l00046"></a><span·class="lineno">···46</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	116	<div·class="line"><a·id="l00046"·name="l00046"></a><span·class="lineno">···46</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
117	<div·class="line"><a·id="l00047"·name="l00047"></a><span·class="lineno">···47</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>	117	<div·class="line"><a·id="l00047"·name="l00047"></a><span·class="lineno">···47</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>
118	<div·class="foldopen"·id="foldopen00048"·data-start="{"·data-end="}">	118	<div·class="foldopen"·id="foldopen00048"·data-start="{"·data-end="}">
119	<div·class="line"><a·id="l00048"·name="l00048"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a81114e5057ac37983cead581c334a39d">···48</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a81114e5057ac37983cead581c334a39d">MeritMin<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>	119	<div·class="line"><a·id="l00048"·name="l00048"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a81114e5057ac37983cead581c334a39d">···48</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a81114e5057ac37983cead581c334a39d">MeritMin<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>
120	<div·class="line"><a·id="l00049"·name="l00049"></a><span·class="lineno">···49</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.min();</div>	120	<div·class="line"><a·id="l00049"·name="l00049"></a><span·class="lineno">···49</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.min();</div>
121	<div·class="line"><a·id="l00050"·name="l00050"></a><span·class="lineno">···50</span>··}</div>	121	<div·class="line"><a·id="l00050"·name="l00050"></a><span·class="lineno">···50</span>··}</div>
122	</div>	122	</div>
123	<div·class="line"><a·id="l00051"·name="l00051"></a><span·class="lineno">···51</span>·</div>	123	<div·class="line"><a·id="l00051"·name="l00051"></a><span·class="lineno">···51</span>·</div>
124	<div·class="line"><a·id="l00052"·name="l00052"></a><span·class="lineno">···52</span>··<span·class="comment">//·Maximum·merit</span></div>	124	<div·class="line"><a·id="l00052"·name="l00052"></a><span·class="lineno">···52</span>··<span·class="comment">//·Maximum·merit</span></div>
125	<div·class="line"><a·id="l00053"·name="l00053"></a><span·class="lineno">···53</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	125	<div·class="line"><a·id="l00053"·name="l00053"></a><span·class="lineno">···53</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
126	<div·class="line"><a·id="l00054"·name="l00054"></a><span·class="lineno">···54</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	126	<div·class="line"><a·id="l00054"·name="l00054"></a><span·class="lineno">···54</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
127	<div·class="line"><a·id="l00055"·name="l00055"></a><span·class="lineno">···55</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a456f3af584cb2454d489dcd62a971c9a">MeritMax<View>::MeritMax</a></div>	127	<div·class="line"><a·id="l00055"·name="l00055"></a><span·class="lineno">···55</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a456f3af584cb2454d489dcd62a971c9a">MeritMax<View>::MeritMax</a></div>
128	<div·class="line"><a·id="l00056"·name="l00056"></a><span·class="lineno">···56</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">MeritMax<View>::Var</a>>&·vb)</div>	128	<div·class="line"><a·id="l00056"·name="l00056"></a><span·class="lineno">···56</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">MeritMax<View>::Var</a>>&·vb)</div>
129	<div·class="line"><a·id="l00057"·name="l00057"></a><span·class="lineno">···57</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,int>(home,vb)·{}</div>	129	<div·class="line"><a·id="l00057"·name="l00057"></a><span·class="lineno">···57</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,int>(home,vb)·{}</div>
130	<div·class="line"><a·id="l00058"·name="l00058"></a><span·class="lineno">···58</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	130	<div·class="line"><a·id="l00058"·name="l00058"></a><span·class="lineno">···58</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
131	<div·class="line"><a·id="l00059"·name="l00059"></a><span·class="lineno">···59</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	131	<div·class="line"><a·id="l00059"·name="l00059"></a><span·class="lineno">···59</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
132	<div·class="foldopen"·id="foldopen00060"·data-start="{"·data-end="}">	132	<div·class="foldopen"·id="foldopen00060"·data-start="{"·data-end="}">
133	<div·class="line"><a·id="l00060"·name="l00060"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a42292312edd1eccaae6a21e948711b39">···60</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a456f3af584cb2454d489dcd62a971c9a">MeritMax<View>::MeritMax</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html">MeritMax</a>&·m)</div>	133	<div·class="line"><a·id="l00060"·name="l00060"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a42292312edd1eccaae6a21e948711b39">···60</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a456f3af584cb2454d489dcd62a971c9a">MeritMax<View>::MeritMax</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html">MeritMax</a>&·m)</div>
134	<div·class="line"><a·id="l00061"·name="l00061"></a><span·class="lineno">···61</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>~~,int>(home,m)·{}</div>	134	<div·class="line"><a·id="l00061"·name="l00061"></a><span·class="lineno">···61</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,int>(home,m)·{}</div>
135	</div>	135	</div>
136	<div·class="line"><a·id="l00062"·name="l00062"></a><span·class="lineno">···62</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	136	<div·class="line"><a·id="l00062"·name="l00062"></a><span·class="lineno">···62</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
137	<div·class="line"><a·id="l00063"·name="l00063"></a><span·class="lineno">···63</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>	137	<div·class="line"><a·id="l00063"·name="l00063"></a><span·class="lineno">···63</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>
138	<div·class="foldopen"·id="foldopen00064"·data-start="{"·data-end="}">	138	<div·class="foldopen"·id="foldopen00064"·data-start="{"·data-end="}">
139	<div·class="line"><a·id="l00064"·name="l00064"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a8f18157dfc7f1cb1835617529c75ba21">···64</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a8f18157dfc7f1cb1835617529c75ba21">MeritMax<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>	139	<div·class="line"><a·id="l00064"·name="l00064"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a8f18157dfc7f1cb1835617529c75ba21">···64</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a8f18157dfc7f1cb1835617529c75ba21">MeritMax<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>
140	<div·class="line"><a·id="l00065"·name="l00065"></a><span·class="lineno">···65</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.max();</div>	140	<div·class="line"><a·id="l00065"·name="l00065"></a><span·class="lineno">···65</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.max();</div>
141	<div·class="line"><a·id="l00066"·name="l00066"></a><span·class="lineno">···66</span>··}</div>	141	<div·class="line"><a·id="l00066"·name="l00066"></a><span·class="lineno">···66</span>··}</div>
142	</div>	142	</div>
143	<div·class="line"><a·id="l00067"·name="l00067"></a><span·class="lineno">···67</span>·</div>	143	<div·class="line"><a·id="l00067"·name="l00067"></a><span·class="lineno">···67</span>·</div>
144	<div·class="line"><a·id="l00068"·name="l00068"></a><span·class="lineno">···68</span>··<span·class="comment">//·Size·merit</span></div>	144	<div·class="line"><a·id="l00068"·name="l00068"></a><span·class="lineno">···68</span>··<span·class="comment">//·Size·merit</span></div>


Offset 106, 97 lines modified		Offset 106, 97 lines modified
106	<div·class="line"><a·id="l00038"·name="l00038"></a><span·class="lineno">···38</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html#a4b4c1dcd8ab9e739aa27be70b9e6779c">ValSelMin<View>::ValSelMin</a></div>	106	<div·class="line"><a·id="l00038"·name="l00038"></a><span·class="lineno">···38</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html#a4b4c1dcd8ab9e739aa27be70b9e6779c">ValSelMin<View>::ValSelMin</a></div>
107	<div·class="line"><a·id="l00039"·name="l00039"></a><span·class="lineno">···39</span>··(Space&·home,·<span·class="keyword">const</span>·ValBranch<<a·class="code·hl_typedef"·href="classGecode_1_1ValSel.html#ac08861714503f6c7d4f10460c4e70b89">ValSelMin<View>::Var</a>>&·vb)</div>	107	<div·class="line"><a·id="l00039"·name="l00039"></a><span·class="lineno">···39</span>··(Space&·home,·<span·class="keyword">const</span>·ValBranch<<a·class="code·hl_typedef"·href="classGecode_1_1ValSel.html#ac08861714503f6c7d4f10460c4e70b89">ValSelMin<View>::Var</a>>&·vb)</div>
108	<div·class="line"><a·id="l00040"·name="l00040"></a><span·class="lineno">···40</span>····:·ValSel<View,int>(home,vb)·{}</div>	108	<div·class="line"><a·id="l00040"·name="l00040"></a><span·class="lineno">···40</span>····:·ValSel<View,int>(home,vb)·{}</div>
109	<div·class="line"><a·id="l00041"·name="l00041"></a><span·class="lineno">···41</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	109	<div·class="line"><a·id="l00041"·name="l00041"></a><span·class="lineno">···41</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
110	<div·class="line"><a·id="l00042"·name="l00042"></a><span·class="lineno">···42</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	110	<div·class="line"><a·id="l00042"·name="l00042"></a><span·class="lineno">···42</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
111	<div·class="foldopen"·id="foldopen00043"·data-start="{"·data-end="}">	111	<div·class="foldopen"·id="foldopen00043"·data-start="{"·data-end="}">
112	<div·class="line"><a·id="l00043"·name="l00043"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html#a862c7c4087b7700f8146b782cc91d0aa">···43</a></span>··<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html">ValSelMin<View>::ValSelMin</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html">ValSelMin</a>&·vs)</div>	112	<div·class="line"><a·id="l00043"·name="l00043"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html#a862c7c4087b7700f8146b782cc91d0aa">···43</a></span>··<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html">ValSelMin<View>::ValSelMin</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html">ValSelMin</a>&·vs)</div>
113	<div·class="line"><a·id="l00044"·name="l00044"></a><span·class="lineno">···44</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>~~,int>(home,vs)·{}</div>	113	<div·class="line"><a·id="l00044"·name="l00044"></a><span·class="lineno">···44</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValSel.html">ValSel</a><View,int>(home,vs)·{}</div>
114	</div>	114	</div>
115	<div·class="line"><a·id="l00045"·name="l00045"></a><span·class="lineno">···45</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	115	<div·class="line"><a·id="l00045"·name="l00045"></a><span·class="lineno">···45</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
116	<div·class="line"><a·id="l00046"·name="l00046"></a><span·class="lineno">···46</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>	116	<div·class="line"><a·id="l00046"·name="l00046"></a><span·class="lineno">···46</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>
117	<div·class="foldopen"·id="foldopen00047"·data-start="{"·data-end="}">	117	<div·class="foldopen"·id="foldopen00047"·data-start="{"·data-end="}">
118	<div·class="line"><a·id="l00047"·name="l00047"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html#a8485dad5d2a5bc09f63f890706499341">···47</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html#a8485dad5d2a5bc09f63f890706499341">ValSelMin<View>::val</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_1ValSel.html#a505b0292df0aa0f8ec84940c6d99973d">~~View~~</a>~~·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>	118	<div·class="line"><a·id="l00047"·name="l00047"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html#a8485dad5d2a5bc09f63f890706499341">···47</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMin.html#a8485dad5d2a5bc09f63f890706499341">ValSelMin<View>::val</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>
119	<div·class="line"><a·id="l00048"·name="l00048"></a><span·class="lineno">···48</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.min();</div>	119	<div·class="line"><a·id="l00048"·name="l00048"></a><span·class="lineno">···48</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.min();</div>
120	<div·class="line"><a·id="l00049"·name="l00049"></a><span·class="lineno">···49</span>··}</div>	120	<div·class="line"><a·id="l00049"·name="l00049"></a><span·class="lineno">···49</span>··}</div>
121	</div>	121	</div>
122	<div·class="line"><a·id="l00050"·name="l00050"></a><span·class="lineno">···50</span>·</div>	122	<div·class="line"><a·id="l00050"·name="l00050"></a><span·class="lineno">···50</span>·</div>
123	<div·class="line"><a·id="l00051"·name="l00051"></a><span·class="lineno">···51</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	123	<div·class="line"><a·id="l00051"·name="l00051"></a><span·class="lineno">···51</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
124	<div·class="line"><a·id="l00052"·name="l00052"></a><span·class="lineno">···52</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	124	<div·class="line"><a·id="l00052"·name="l00052"></a><span·class="lineno">···52</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
125	<div·class="line"><a·id="l00053"·name="l00053"></a><span·class="lineno">···53</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html#a51da341a71100158f1aa82af4d9b1ed2">ValSelMax<View>::ValSelMax</a></div>	125	<div·class="line"><a·id="l00053"·name="l00053"></a><span·class="lineno">···53</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html#a51da341a71100158f1aa82af4d9b1ed2">ValSelMax<View>::ValSelMax</a></div>
126	<div·class="line"><a·id="l00054"·name="l00054"></a><span·class="lineno">···54</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_1ValBranch.html">ValBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1ValSel.html#ac08861714503f6c7d4f10460c4e70b89">ValSelMax<View>::Var</a>>&·vb)</div>	126	<div·class="line"><a·id="l00054"·name="l00054"></a><span·class="lineno">···54</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_1ValBranch.html">ValBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1ValSel.html#ac08861714503f6c7d4f10460c4e70b89">ValSelMax<View>::Var</a>>&·vb)</div>
127	<div·class="line"><a·id="l00055"·name="l00055"></a><span·class="lineno">···55</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValSel.html">ValSel</a><View,int>(home,vb)·{}</div>	127	<div·class="line"><a·id="l00055"·name="l00055"></a><span·class="lineno">···55</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValSel.html">ValSel</a><View,int>(home,vb)·{}</div>
128	<div·class="line"><a·id="l00056"·name="l00056"></a><span·class="lineno">···56</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	128	<div·class="line"><a·id="l00056"·name="l00056"></a><span·class="lineno">···56</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
129	<div·class="line"><a·id="l00057"·name="l00057"></a><span·class="lineno">···57</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	129	<div·class="line"><a·id="l00057"·name="l00057"></a><span·class="lineno">···57</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
130	<div·class="foldopen"·id="foldopen00058"·data-start="{"·data-end="}">	130	<div·class="foldopen"·id="foldopen00058"·data-start="{"·data-end="}">
131	<div·class="line"><a·id="l00058"·name="l00058"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html#a9fb72ae1178e229182f83b1fb8d99182">···58</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html#a51da341a71100158f1aa82af4d9b1ed2">ValSelMax<View>::ValSelMax</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html">ValSelMax</a>&·vs)</div>	131	<div·class="line"><a·id="l00058"·name="l00058"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html#a9fb72ae1178e229182f83b1fb8d99182">···58</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html#a51da341a71100158f1aa82af4d9b1ed2">ValSelMax<View>::ValSelMax</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html">ValSelMax</a>&·vs)</div>
132	<div·class="line"><a·id="l00059"·name="l00059"></a><span·class="lineno">···59</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>~~,int>(home,vs)·{}</div>	132	<div·class="line"><a·id="l00059"·name="l00059"></a><span·class="lineno">···59</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValSel.html">ValSel</a><View,int>(home,vs)·{}</div>
133	</div>	133	</div>
134	<div·class="line"><a·id="l00060"·name="l00060"></a><span·class="lineno">···60</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	134	<div·class="line"><a·id="l00060"·name="l00060"></a><span·class="lineno">···60</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
135	<div·class="line"><a·id="l00061"·name="l00061"></a><span·class="lineno">···61</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>	135	<div·class="line"><a·id="l00061"·name="l00061"></a><span·class="lineno">···61</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>
136	<div·class="foldopen"·id="foldopen00062"·data-start="{"·data-end="}">	136	<div·class="foldopen"·id="foldopen00062"·data-start="{"·data-end="}">
137	<div·class="line"><a·id="l00062"·name="l00062"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html#a1aa0a398ec809dc2df342b0685869a0e">···62</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html#a1aa0a398ec809dc2df342b0685869a0e">ValSelMax<View>::val</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_1ValSel.html#a505b0292df0aa0f8ec84940c6d99973d">~~View~~</a>~~·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>	137	<div·class="line"><a·id="l00062"·name="l00062"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html#a1aa0a398ec809dc2df342b0685869a0e">···62</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1ValSelMax.html#a1aa0a398ec809dc2df342b0685869a0e">ValSelMax<View>::val</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>
138	<div·class="line"><a·id="l00063"·name="l00063"></a><span·class="lineno">···63</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.max();</div>	138	<div·class="line"><a·id="l00063"·name="l00063"></a><span·class="lineno">···63</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.max();</div>
139	<div·class="line"><a·id="l00064"·name="l00064"></a><span·class="lineno">···64</span>··}</div>	139	<div·class="line"><a·id="l00064"·name="l00064"></a><span·class="lineno">···64</span>··}</div>
140	</div>	140	</div>
141	<div·class="line"><a·id="l00065"·name="l00065"></a><span·class="lineno">···65</span>·</div>	141	<div·class="line"><a·id="l00065"·name="l00065"></a><span·class="lineno">···65</span>·</div>
142	<div·class="line"><a·id="l00066"·name="l00066"></a><span·class="lineno">···66</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	142	<div·class="line"><a·id="l00066"·name="l00066"></a><span·class="lineno">···66</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
143	<div·class="line"><a·id="l00067"·name="l00067"></a><span·class="lineno">···67</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	143	<div·class="line"><a·id="l00067"·name="l00067"></a><span·class="lineno">···67</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>