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

⊟

242 KB

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

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

⊟

1.05 KB

Files ¶


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

1	·8d200999ad620dde7fbad521052f68be·125216·debug·optional·flatzinc-dbgsym_6.2.0-5.1_amd64.deb	1	·8d200999ad620dde7fbad521052f68be·125216·debug·optional·flatzinc-dbgsym_6.2.0-5.1_amd64.deb
2	·409968641483a11d738edada364d73b3·72564·devel·optional·flatzinc_6.2.0-5.1_amd64.deb	2	·409968641483a11d738edada364d73b3·72564·devel·optional·flatzinc_6.2.0-5.1_amd64.deb
3	·c406f1bc23275b6a7751f0e185969a5f·509336·libdevel·optional·libgecode-dev_6.2.0-5.1_amd64.deb	3	·c406f1bc23275b6a7751f0e185969a5f·509336·libdevel·optional·libgecode-dev_6.2.0-5.1_amd64.deb
4	·1~~1dbb~~6~~0b8~~7716f~~5817~~140f~~de2a3~~2~~771b~~·1157~~3320~~·doc·optional·libgecode-doc_6.2.0-5.1_all.deb	4	·1ae98646f7c172cc1407f037e6528176·11572072·doc·optional·libgecode-doc_6.2.0-5.1_all.deb
5	·d45ff13c1f500884595c4d49999eb715·59784100·debug·optional·libgecode49t64-dbgsym_6.2.0-5.1_amd64.deb	5	·d45ff13c1f500884595c4d49999eb715·59784100·debug·optional·libgecode49t64-dbgsym_6.2.0-5.1_amd64.deb
6	·24ccf82704262c21cbce8f09079a2576·2959364·libs·optional·libgecode49t64_6.2.0-5.1_amd64.deb	6	·24ccf82704262c21cbce8f09079a2576·2959364·libs·optional·libgecode49t64_6.2.0-5.1_amd64.deb
7	·e0ec0313a9ee1e2eeaafb3cb363e3502·2609508·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-5.1_amd64.deb	7	·e0ec0313a9ee1e2eeaafb3cb363e3502·2609508·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-5.1_amd64.deb
8	·cce5293c88f4c040b7a0cfb9807c5a42·268424·libs·optional·libgecodeflatzinc49t64_6.2.0-5.1_amd64.deb	8	·cce5293c88f4c040b7a0cfb9807c5a42·268424·libs·optional·libgecodeflatzinc49t64_6.2.0-5.1_amd64.deb
9	·16bc55fe6e27e13d789748db929dd9db·4197872·debug·optional·libgecodegist49t64-dbgsym_6.2.0-5.1_amd64.deb	9	·16bc55fe6e27e13d789748db929dd9db·4197872·debug·optional·libgecodegist49t64-dbgsym_6.2.0-5.1_amd64.deb
10	·1f036a14201824e1b41590e55c769919·167848·libs·optional·libgecodegist49t64_6.2.0-5.1_amd64.deb	10	·1f036a14201824e1b41590e55c769919·167848·libs·optional·libgecodegist49t64_6.2.0-5.1_amd64.deb

⊟

240 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···156276·2024-02-28·15:56:55.000000·control.tar.xz	2	-rw-r--r--···0········0········0···156280·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·11415600·2024-02-28·15:56:55.000000·data.tar.xz

⊟

1.46 KB

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:·230379
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

⊟

957 B

xz --list ¶


Offset 1, 13 lines modified		Offset 1, 13 lines modified
1	··Streams:···········1	1	··Streams:···········1
2	··Blocks:············1	2	··Blocks:············1
3	··Compressed·size:···152.6·KiB·(156276·B)	3	··Compressed·size:···152.6·KiB·(156280·B)
4	··Uncompressed·size:·730.0·KiB·(747520·B)	4	··Uncompressed·size:·730.0·KiB·(747520·B)
5	··Ratio:·············0.209	5	··Ratio:·············0.209
6	··Check:·············CRC64	6	··Check:·············CRC64
7	··Stream·Padding:····0·B	7	··Stream·Padding:····0·B
8	··Streams:	8	··Streams:
9	····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding	9	····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding
10	·········1·········1···············0···············0··········156276··········747520··0.209··CRC64············0	10	·········1·········1···············0···············0··········156280··········747520··0.209··CRC64············0
11	··Blocks:	11	··Blocks:
12	····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check	12	····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check
13	·········1·········1··············12···············0··········156240··········747520··0.209··CRC64	13	·········1·········1··············12···············0··········156244··········747520··0.209··CRC64

⊟

238 KB

data.tar.xz ¶

⊟

236 KB

data.tar ¶

⊟

10.6 KB

file list ¶

⊟

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
Offset 272, 18 lines modified		Offset 272, 14 lines modified
272	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t	272	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t
273	Base·class·for·value·commit.	273	Base·class·for·value·commit.
274	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	274	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
Max diff block lines reached; 583/9415 bytes (6.19%) of diff not shown.

⊟

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;
Offset 271, 18 lines modified		Offset 271, 14 lines modified
271	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8c_\x8o_\x8r_\x8e_\x8._\x8h_\x8p_\x8p_\x8:_\x81_\x87_\x84_\x82	271	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8c_\x8o_\x8r_\x8e_\x8._\x8h_\x8p_\x8p_\x8:_\x81_\x87_\x84_\x82
272	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h	272	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h
273	Value·branching·information.	273	Value·branching·information.
274	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x81	274	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x81
275	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l	275	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l
276	Base·class·for·value·selection.	276	Base·class·for·value·selection.
277	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	277	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
278	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8<_\x8·_\x8V_\x8i_\x8e_\x8w_\x8,_\x8·_\x8i_\x8n_\x8t_\x8·_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w
279	View·View
280	View·type.
281	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8-_\x8s_\x8e_\x8l_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x87
282	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8<_\x8·_\x8V_\x8i_\x8e_\x8w_\x8,_\x8·_\x8i_\x8n_\x8t_\x8·_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r	278	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8<_\x8·_\x8V_\x8i_\x8e_\x8w_\x8,_\x8·_\x8i_\x8n_\x8t_\x8·_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r
283	View::VarType·Var	279	View::VarType·Var
284	Corresponding·variable·type.	280	Corresponding·variable·type.
285	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8-_\x8s_\x8e_\x8l_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x89	281	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8l_\x8-_\x8s_\x8e_\x8l_\x8._\x8h_\x8p_\x8p_\x8:_\x84_\x89
286	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e	282	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e
287	Gecode·toplevel·namespace	283	Gecode·toplevel·namespace
288	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8r	284	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8r

⊟

32.0 KB

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

⊟

6.33 KB

html2text {} ¶

⊟

15.5 KB

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

⊟

2.71 KB

html2text {} ¶


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

⊟

7.09 KB

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

⊟

1.38 KB

html2text {} ¶


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

⊟

6.33 KB

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

⊟

1.17 KB

html2text {} ¶


Offset 368, 19 lines modified		Offset 368, 19 lines modified
368	474·return·new·(home)·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,*this);	368	474·return·new·(home)·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8N_\x8o_\x8n_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>(home,*this);
369	475·}	369	475·}
370	476	370	476
371	477	371	477
372	478·template<class·View>	372	478·template<class·View>
373	479·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	373	479·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
374	_\x84_\x88_\x80·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb)	374	_\x84_\x88_\x80·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb)
375	481·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<View>(home,vb),·_\x8r(vb.rnd())·{}	375	481·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<_.V_.i_.e_.w>(home,vb),·_\x8r(vb.rnd())·{}
376	482·template<class·View>	376	482·template<class·View>
377	483·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e	377	483·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
378	_\x84_\x88_\x84·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs)	378	_\x84_\x88_\x84·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs)
379	485·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<View>(home,vs),·_\x8r(vs._\x8r)·{}	379	485·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<_.V_.i_.e_.w>(home,vs),·_\x8r(vs._\x8r)·{}
380	486·template<class·View>	380	486·template<class·View>
381	487·int	381	487·int
382	_\x84_\x88_\x88·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8s_\x8e_\x8l_\x8e_\x8c_\x8t(_\x8S_\x8p_\x8a_\x8c_\x8e&,·_\x8V_\x8i_\x8e_\x8w_\x8A_\x8r_\x8r_\x8a_\x8y_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·_\x8x,·int·s)·{	382	_\x84_\x88_\x88·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l_\x8R_\x8n_\x8d_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8s_\x8e_\x8l_\x8e_\x8c_\x8t(_\x8S_\x8p_\x8a_\x8c_\x8e&,·_\x8V_\x8i_\x8e_\x8w_\x8A_\x8r_\x8r_\x8a_\x8y_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·_\x8x,·int·s)·{
383	489·unsigned·int·_\x8n=1;	383	489·unsigned·int·_\x8n=1;
384	490·int·j=s;	384	490·int·j=s;
385	491·for·(int·i=s+1;·i<_\x8x.size();·i++)	385	491·for·(int·i=s+1;·i<_\x8x.size();·i++)
386	492·if·(!_\x8x[i].assigned())·{	386	492·if·(!_\x8x[i].assigned())·{

⊟

2.21 KB

xz --list ¶


Offset 1, 22 lines modified		Offset 1, 22 lines modified
1	··Streams:···········1	1	··Streams:···········1
2	··Blocks:············10	2	··Blocks:············10
3	··Compressed·size:···10.9·MiB·(1141~~6852~~·B)	3	··Compressed·size:···10.9·MiB·(11415600·B)
4	··Uncompressed·size:·226.9·MiB·(237905920·B)	4	··Uncompressed·size:·226.9·MiB·(237905920·B)
5	··Ratio:·············0.048	5	··Ratio:·············0.048
6	··Check:·············CRC64	6	··Check:·············CRC64
7	··Stream·Padding:····0·B	7	··Stream·Padding:····0·B
8	··Streams:	8	··Streams:
9	····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding	9	····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding
10	·········1········10···············0···············0········1141~~6852~~·······237905920··0.048··CRC64············0	10	·········1········10···············0···············0········11415600·······237905920··0.048··CRC64············0
11	··Blocks:	11	··Blocks:
12	····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check	12	····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check
13	·········1·········1··············12···············0·········2488128········25165824··0.099··CRC64	13	·········1·········1··············12···············0·········2488128········25165824··0.099··CRC64
14	·········1·········2·········2488140········25165824··········710336········25165824··0.028··CRC64	14	·········1·········2·········2488140········25165824··········710336········25165824··0.028··CRC64
15	·········1·········3·········3198476········50331648··········690028········25165824··0.027··CRC64	15	·········1·········3·········3198476········50331648··········690028········25165824··0.027··CRC64
16	·········1·········4·········3888504········75497472··········364948········25165824··0.015··CRC64	16	·········1·········4·········3888504········75497472··········364948········25165824··0.015··CRC64
17	·········1·········5·········4253452·······100663296·········1925988········25165824··0.077··CRC64	17	·········1·········5·········4253452·······100663296·········1925988········25165824··0.077··CRC64
18	·········1·········6·········6179440·······125829120·········1176604········25165824··0.047··CRC64	18	·········1·········6·········6179440·······125829120·········1176960········25165824··0.047··CRC64
19	·········1·········7·········7356~~044~~·······150994944·········147~~492~~4········25165824··0.059··CRC64	19	·········1·········7·········7356400·······150994944·········1475504········25165824··0.059··CRC64
20	·········1·········8·········8830968·······176160768··········9~~80056~~········25165824··0.039··CRC64	20	·········1·········8·········8831904·······176160768··········977904········25165824··0.039··CRC64
21	·········1·········9·········98~~11024~~·······201326592·········1100960········25165824··0.044··CRC64	21	·········1·········9·········9809808·······201326592·········1101068········25165824··0.044··CRC64
22	·········1········10········1091~~1984~~·······226492416··········504~~776~~········11413504··0.044··CRC64	22	·········1········10········10910876·······226492416··········504632········11413504··0.044··CRC64


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


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


Offset 500, 21 lines modified		Offset 500, 21 lines modified
500	</div>	500	</div>
501	<div·class="line"><a·id="l00476"·name="l00476"></a><span·class="lineno">··476</span>·</div>	501	<div·class="line"><a·id="l00476"·name="l00476"></a><span·class="lineno">··476</span>·</div>
502	<div·class="line"><a·id="l00477"·name="l00477"></a><span·class="lineno">··477</span>·</div>	502	<div·class="line"><a·id="l00477"·name="l00477"></a><span·class="lineno">··477</span>·</div>
503	<div·class="line"><a·id="l00478"·name="l00478"></a><span·class="lineno">··478</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	503	<div·class="line"><a·id="l00478"·name="l00478"></a><span·class="lineno">··478</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
504	<div·class="line"><a·id="l00479"·name="l00479"></a><span·class="lineno">··479</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	504	<div·class="line"><a·id="l00479"·name="l00479"></a><span·class="lineno">··479</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
505	<div·class="foldopen"·id="foldopen00480"·data-start="{"·data-end="}">	505	<div·class="foldopen"·id="foldopen00480"·data-start="{"·data-end="}">
506	<div·class="line"><a·id="l00480"·name="l00480"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">··480</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">ViewSelRnd<View>::ViewSelRnd</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch<Var></a>&·vb)</div>	506	<div·class="line"><a·id="l00480"·name="l00480"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">··480</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">ViewSelRnd<View>::ViewSelRnd</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch<Var></a>&·vb)</div>
507	<div·class="line"><a·id="l00481"·name="l00481"></a><span·class="lineno">··481</span>······:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><View>(home,vb),·<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>(vb.rnd())·{}</div>	507	<div·class="line"><a·id="l00481"·name="l00481"></a><span·class="lineno">··481</span>······:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><<a·class="code·hl_typedef"·href="classGecode_1_1ViewSel.html#a0eb9229cfcbb6ee09a155263d9de256d">View</a>>(home,vb),·<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>(vb.rnd())·{}</div>
508	</div>	508	</div>
509	<div·class="line"><a·id="l00482"·name="l00482"></a><span·class="lineno">··482</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	509	<div·class="line"><a·id="l00482"·name="l00482"></a><span·class="lineno">··482</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
510	<div·class="line"><a·id="l00483"·name="l00483"></a><span·class="lineno">··483</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	510	<div·class="line"><a·id="l00483"·name="l00483"></a><span·class="lineno">··483</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
511	<div·class="foldopen"·id="foldopen00484"·data-start="{"·data-end="}">	511	<div·class="foldopen"·id="foldopen00484"·data-start="{"·data-end="}">
512	<div·class="line"><a·id="l00484"·name="l00484"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#ad7c273f9e371eae85f1c8aa3c777badd">··484</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">ViewSelRnd<View>::ViewSelRnd</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1ViewSelRnd.html">ViewSelRnd<View></a>&·vs)</div>	512	<div·class="line"><a·id="l00484"·name="l00484"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#ad7c273f9e371eae85f1c8aa3c777badd">··484</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#ad4e73524a28e136060df201fa6842b2a">ViewSelRnd<View>::ViewSelRnd</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1ViewSelRnd.html">ViewSelRnd<View></a>&·vs)</div>
513	<div·class="line"><a·id="l00485"·name="l00485"></a><span·class="lineno">··485</span>······:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><View>(home,vs),·<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>(vs.<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>)·{}</div>	513	<div·class="line"><a·id="l00485"·name="l00485"></a><span·class="lineno">··485</span>······:·<a·class="code·hl_class"·href="classGecode_1_1ViewSel.html">ViewSel</a><<a·class="code·hl_typedef"·href="classGecode_1_1ViewSel.html#a0eb9229cfcbb6ee09a155263d9de256d">View</a>>(home,vs),·<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>(vs.<a·class="code·hl_variable"·href="namespaceGecode.html#a289d47f7249bc9c9193524af89d44e44">r</a>)·{}</div>
514	</div>	514	</div>
515	<div·class="line"><a·id="l00486"·name="l00486"></a><span·class="lineno">··486</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	515	<div·class="line"><a·id="l00486"·name="l00486"></a><span·class="lineno">··486</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
516	<div·class="line"><a·id="l00487"·name="l00487"></a><span·class="lineno">··487</span>··<span·class="keywordtype">int</span></div>	516	<div·class="line"><a·id="l00487"·name="l00487"></a><span·class="lineno">··487</span>··<span·class="keywordtype">int</span></div>
517	<div·class="foldopen"·id="foldopen00488"·data-start="{"·data-end="}">	517	<div·class="foldopen"·id="foldopen00488"·data-start="{"·data-end="}">
518	<div·class="line"><a·id="l00488"·name="l00488"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#afaea52c72de4fbd3886be8c1e5fc550f">··488</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#afaea52c72de4fbd3886be8c1e5fc550f">ViewSelRnd<View>::select</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<a·class="code·hl_class"·href="classGecode_1_1ViewArray.html">ViewArray<View></a>&·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·s)·{</div>	518	<div·class="line"><a·id="l00488"·name="l00488"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ViewSelRnd.html#afaea52c72de4fbd3886be8c1e5fc550f">··488</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ViewSelRnd.html#afaea52c72de4fbd3886be8c1e5fc550f">ViewSelRnd<View>::select</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<a·class="code·hl_class"·href="classGecode_1_1ViewArray.html">ViewArray<View></a>&·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·s)·{</div>
519	<div·class="line"><a·id="l00489"·name="l00489"></a><span·class="lineno">··489</span>····<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>=1;</div>	519	<div·class="line"><a·id="l00489"·name="l00489"></a><span·class="lineno">··489</span>····<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>=1;</div>
520	<div·class="line"><a·id="l00490"·name="l00490"></a><span·class="lineno">··490</span>····<span·class="keywordtype">int</span>·j=s;</div>	520	<div·class="line"><a·id="l00490"·name="l00490"></a><span·class="lineno">··490</span>····<span·class="keywordtype">int</span>·j=s;</div>


Offset 5431, 25 lines modified		Offset 5431, 25 lines modified
5431	-rw-r--r--···0·root·········(0)·root·········(0)····10346·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp.html	5431	-rw-r--r--···0·root·········(0)·root·········(0)····10346·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp.html
5432	-rw-r--r--···0·root·········(0)·root·········(0)····42922·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp_source.html	5432	-rw-r--r--···0·root·········(0)·root·········(0)····42922·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp_source.html
5433	-rw-r--r--···0·root·········(0)·root·········(0)·····3612·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp.html	5433	-rw-r--r--···0·root·········(0)·root·········(0)·····3612·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp.html
5434	-rw-r--r--···0·root·········(0)·root·········(0)····21629·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp_source.html	5434	-rw-r--r--···0·root·········(0)·root·········(0)····21629·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp_source.html
5435	-rw-r--r--···0·root·········(0)·root·········(0)·····3480·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp.html	5435	-rw-r--r--···0·root·········(0)·root·········(0)·····3480·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp.html
5436	-rw-r--r--···0·root·········(0)·root·········(0)····18324·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp_source.html	5436	-rw-r--r--···0·root·········(0)·root·········(0)····18324·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp_source.html
5437	-rw-r--r--···0·root·········(0)·root·········(0)·····4485·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp.html	5437	-rw-r--r--···0·root·········(0)·root·········(0)·····4485·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp.html
5438	-rw-r--r--···0·root·········(0)·root·········(0)····7~~5105~~·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp_source.html	5438	-rw-r--r--···0·root·········(0)·root·········(0)····72844·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp_source.html
5439	-rw-r--r--···0·root·········(0)·root·········(0)·····4479·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp.html	5439	-rw-r--r--···0·root·········(0)·root·········(0)·····4479·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp.html
5440	-rw-r--r--···0·root·········(0)·root·········(0)····60260·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp_source.html	5440	-rw-r--r--···0·root·········(0)·root·········(0)····60260·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp_source.html
5441	-rw-r--r--···0·root·········(0)·root·········(0)·····4773·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp.html	5441	-rw-r--r--···0·root·········(0)·root·········(0)·····4773·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp.html
5442	-rw-r--r--···0·root·········(0)·root·········(0)····25516·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp_source.html	5442	-rw-r--r--···0·root·········(0)·root·········(0)····25516·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp_source.html
5443	-rw-r--r--···0·root·········(0)·root·········(0)·····4500·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp.html	5443	-rw-r--r--···0·root·········(0)·root·········(0)·····4500·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp.html
5444	-rw-r--r--···0·root·········(0)·root·········(0)····6~~3557~~·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp_source.html	5444	-rw-r--r--···0·root·········(0)·root·········(0)····61490·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp_source.html
5445	-rw-r--r--···0·root·········(0)·root·········(0)·····8697·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel-commit_8cpp.html	5445	-rw-r--r--···0·root·········(0)·root·········(0)·····8697·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel-commit_8cpp.html
5446	-rw-r--r--···0·root·········(0)·root·········(0)····64299·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel-commit_8cpp_source.html	5446	-rw-r--r--···0·root·········(0)·root·········(0)····64299·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel-commit_8cpp_source.html
5447	-rw-r--r--···0·root·········(0)·root·········(0)·····4491·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp.html	5447	-rw-r--r--···0·root·········(0)·root·········(0)·····4491·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp.html
5448	-rw-r--r--···0·root·········(0)·root·········(0)····~~6126~~6·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp_source.html	5448	-rw-r--r--···0·root·········(0)·root·········(0)····59856·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp_source.html
5449	-rw-r--r--···0·root·········(0)·root·········(0)····15100·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp.html	5449	-rw-r--r--···0·root·········(0)·root·········(0)····15100·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp.html
5450	-rw-r--r--···0·root·········(0)·root·········(0)····56003·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp_source.html	5450	-rw-r--r--···0·root·········(0)·root·········(0)····56003·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp_source.html
5451	-rw-r--r--···0·root·········(0)·root·········(0)····54802·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp.html	5451	-rw-r--r--···0·root·········(0)·root·········(0)····54802·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp.html
5452	-rw-r--r--···0·root·········(0)·root·········(0)···177273·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp_source.html	5452	-rw-r--r--···0·root·········(0)·root·········(0)···177273·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp_source.html
5453	-rw-r--r--···0·root·········(0)·root·········(0)·····6673·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2view-sel_8cpp.html	5453	-rw-r--r--···0·root·········(0)·root·········(0)·····6673·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2view-sel_8cpp.html
5454	-rw-r--r--···0·root·········(0)·root·········(0)···103740·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2view-sel_8cpp_source.html	5454	-rw-r--r--···0·root·········(0)·root·········(0)···103740·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2view-sel_8cpp_source.html
5455	-rw-r--r--···0·root·········(0)·root·········(0)·····8170·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_8hpp.html	5455	-rw-r--r--···0·root·········(0)·root·········(0)·····8170·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/int_2branch_8hpp.html
Offset 5605, 23 lines modified		Offset 5605, 23 lines modified
5605	-rw-r--r--···0·root·········(0)·root·········(0)·····4339·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp.html	5605	-rw-r--r--···0·root·········(0)·root·········(0)·····4339·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp.html
5606	-rw-r--r--···0·root·········(0)·root·········(0)····40615·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp_source.html	5606	-rw-r--r--···0·root·········(0)·root·········(0)····40615·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp_source.html
5607	-rw-r--r--···0·root·········(0)·root·········(0)·····3619·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp.html	5607	-rw-r--r--···0·root·········(0)·root·········(0)·····3619·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp.html
5608	-rw-r--r--···0·root·········(0)·root·········(0)····18641·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp_source.html	5608	-rw-r--r--···0·root·········(0)·root·········(0)····18641·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp_source.html
5609	-rw-r--r--···0·root·········(0)·root·········(0)·····6544·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp.html	5609	-rw-r--r--···0·root·········(0)·root·········(0)·····6544·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp.html
5610	-rw-r--r--···0·root·········(0)·root·········(0)···135052·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp_source.html	5610	-rw-r--r--···0·root·········(0)·root·········(0)···135052·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp_source.html
5611	-rw-r--r--···0·root·········(0)·root·········(0)·····6839·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp.html	5611	-rw-r--r--···0·root·········(0)·root·········(0)·····6839·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp.html
5612	-rw-r--r--···0·root·········(0)·root·········(0)····89164·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp_source.html	5612	-rw-r--r--···0·root·········(0)·root·········(0)····88144·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp_source.html
5613	-rw-r--r--···0·root·········(0)·root·········(0)·····6368·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp.html	5613	-rw-r--r--···0·root·········(0)·root·········(0)·····6368·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp.html
5614	-rw-r--r--···0·root·········(0)·root·········(0)····48730·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp_source.html	5614	-rw-r--r--···0·root·········(0)·root·········(0)····48730·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp_source.html
5615	-rw-r--r--···0·root·········(0)·root·········(0)·····4200·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp.html	5615	-rw-r--r--···0·root·········(0)·root·········(0)·····4200·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp.html
5616	-rw-r--r--···0·root·········(0)·root·········(0)·····9806·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp_source.html	5616	-rw-r--r--···0·root·········(0)·root·········(0)·····9806·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp_source.html


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


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>


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