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

⊟

205 KB

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

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

⊟

881 B

Files ¶


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

1	·b5018c44947127e3eb731548199357d0·509396·libdevel·optional·libgecode-dev_6.2.0-6_amd64.deb	1	·b5018c44947127e3eb731548199357d0·509396·libdevel·optional·libgecode-dev_6.2.0-6_amd64.deb
2	·e~~6999a~~6a3~~f98fb95066851eb0~~d17c7a8·11575~~580~~·doc·optional·libgecode-doc_6.2.0-6_all.deb	2	·04eae4dd636cbedc2aefc2931dda0c4e·11575936·doc·optional·libgecode-doc_6.2.0-6_all.deb
3	·6894306b08de914d8c636450614ecbb7·61007180·debug·optional·libgecode49t64-dbgsym_6.2.0-6_amd64.deb	3	·6894306b08de914d8c636450614ecbb7·61007180·debug·optional·libgecode49t64-dbgsym_6.2.0-6_amd64.deb
4	·efb2d0fb41f8444f9957853524492013·3064352·libs·optional·libgecode49t64_6.2.0-6_amd64.deb	4	·efb2d0fb41f8444f9957853524492013·3064352·libs·optional·libgecode49t64_6.2.0-6_amd64.deb
5	·bf28e6306d61f21b7ec718b6966bde2b·2726164·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-6_amd64.deb	5	·bf28e6306d61f21b7ec718b6966bde2b·2726164·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-6_amd64.deb
6	·56cd67a15288275b983c7b462bca6723·272380·libs·optional·libgecodeflatzinc49t64_6.2.0-6_amd64.deb	6	·56cd67a15288275b983c7b462bca6723·272380·libs·optional·libgecodeflatzinc49t64_6.2.0-6_amd64.deb
7	·fef546f90bd50bb2a6f51bffa04c2dc0·4222388·debug·optional·libgecodegist49t64-dbgsym_6.2.0-6_amd64.deb	7	·fef546f90bd50bb2a6f51bffa04c2dc0·4222388·debug·optional·libgecodegist49t64-dbgsym_6.2.0-6_amd64.deb
8	·d9b4af21c331f97b71c0f2d6caee91d5·169172·libs·optional·libgecodegist49t64_6.2.0-6_amd64.deb	8	·d9b4af21c331f97b71c0f2d6caee91d5·169172·libs·optional·libgecodegist49t64_6.2.0-6_amd64.deb

⊟

204 KB

libgecode-doc_6.2.0-6_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-08-27·03:47:35.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2024-08-27·03:47:35.000000·debian-binary
2	-rw-r--r--···0········0········0···156180·2024-08-27·03:47:35.000000·control.tar.xz	2	-rw-r--r--···0········0········0···156152·2024-08-27·03:47:35.000000·control.tar.xz
3	-rw-r--r--···0········0········0·11419~~208~~·2024-08-27·03:47:35.000000·data.tar.xz	3	-rw-r--r--···0········0········0·11419592·2024-08-27·03:47:35.000000·data.tar.xz

⊟

542 B

control.tar.xz ¶

⊟

514 B

control.tar ¶

⊟

444 B

./control ¶


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

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

203 KB

data.tar.xz ¶

⊟

203 KB

data.tar ¶

⊟

9.02 KB

file list ¶

⊟

17.3 KB

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

⊟

1020 B

html2text {} ¶

⊟

65.5 KB

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

⊟

12.1 KB

html2text {} ¶

⊟

61.9 KB

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

⊟

9.22 KB

html2text {} ¶


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

⊟

11.6 KB

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

⊟

2.14 KB

html2text {} ¶


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


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


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


Offset 5011, 15 lines modified		Offset 5011, 15 lines modified
5011	-rw-r--r--···0·root·········(0)·root·········(0)·····3513·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp.html	5011	-rw-r--r--···0·root·········(0)·root·········(0)·····3513·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp.html
5012	-rw-r--r--···0·root·········(0)·root·········(0)····63039·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp_source.html	5012	-rw-r--r--···0·root·········(0)·root·········(0)····63039·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2array_8cpp_source.html
5013	-rw-r--r--···0·root·········(0)·root·········(0)·····4940·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp.html	5013	-rw-r--r--···0·root·········(0)·root·········(0)·····4940·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp.html
5014	-rw-r--r--···0·root·········(0)·root·········(0)····16838·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp_source.html	5014	-rw-r--r--···0·root·········(0)·root·········(0)····16838·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2bool_8cpp_source.html
5015	-rw-r--r--···0·root·········(0)·root·········(0)····10944·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp.html	5015	-rw-r--r--···0·root·········(0)·root·········(0)····10944·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp.html
5016	-rw-r--r--···0·root·········(0)·root·········(0)····58122·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp_source.html	5016	-rw-r--r--···0·root·········(0)·root·········(0)····58122·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8cpp_source.html
5017	-rw-r--r--···0·root·········(0)·root·········(0)····16366·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh.html	5017	-rw-r--r--···0·root·········(0)·root·········(0)····16366·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh.html
5018	-rw-r--r--···0·root·········(0)·root·········(0)····95492·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html	5018	-rw-r--r--···0·root·········(0)·root·········(0)····95995·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2branch_8hh_source.html
5019	-rw-r--r--···0·root·········(0)·root·········(0)·····4647·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp.html	5019	-rw-r--r--···0·root·········(0)·root·········(0)·····4647·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp.html
5020	-rw-r--r--···0·root·········(0)·root·········(0)····53730·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp_source.html	5020	-rw-r--r--···0·root·········(0)·root·········(0)····53730·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2int_8hpp_source.html
5021	-rw-r--r--···0·root·········(0)·root·········(0)·····4515·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp.html	5021	-rw-r--r--···0·root·········(0)·root·········(0)·····4515·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp.html
5022	-rw-r--r--···0·root·········(0)·root·········(0)····50244·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp_source.html	5022	-rw-r--r--···0·root·········(0)·root·········(0)····50244·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_2set_8hpp_source.html
5023	-rw-r--r--···0·root·········(0)·root·········(0)·····7021·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp.html	5023	-rw-r--r--···0·root·········(0)·root·········(0)·····7021·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp.html
5024	-rw-r--r--···0·root·········(0)·root·········(0)····28622·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp_source.html	5024	-rw-r--r--···0·root·········(0)·root·········(0)····28622·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2channel_8cpp_source.html
5025	-rw-r--r--···0·root·········(0)·root·········(0)·····5869·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2convex_8cpp.html	5025	-rw-r--r--···0·root·········(0)·root·········(0)·····5869·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/gecode_2set_2convex_8cpp.html
Offset 5431, 25 lines modified		Offset 5431, 25 lines modified
5431	-rw-r--r--···0·root·········(0)·root·········(0)····10346·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp.html	5431	-rw-r--r--···0·root·········(0)·root·········(0)····10346·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp.html
5432	-rw-r--r--···0·root·········(0)·root·········(0)····42922·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp_source.html	5432	-rw-r--r--···0·root·········(0)·root·········(0)····42922·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2assign_8hpp_source.html
5433	-rw-r--r--···0·root·········(0)·root·········(0)·····3612·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp.html	5433	-rw-r--r--···0·root·········(0)·root·········(0)·····3612·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp.html
5434	-rw-r--r--···0·root·········(0)·root·········(0)····21629·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp_source.html	5434	-rw-r--r--···0·root·········(0)·root·········(0)····21629·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8cpp_source.html
5435	-rw-r--r--···0·root·········(0)·root·········(0)·····3480·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp.html	5435	-rw-r--r--···0·root·········(0)·root·········(0)·····3480·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp.html
5436	-rw-r--r--···0·root·········(0)·root·········(0)····18324·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp_source.html	5436	-rw-r--r--···0·root·········(0)·root·········(0)····18324·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2chb_8hpp_source.html
5437	-rw-r--r--···0·root·········(0)·root·········(0)·····4485·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp.html	5437	-rw-r--r--···0·root·········(0)·root·········(0)·····4485·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp.html
5438	-rw-r--r--···0·root·········(0)·root·········(0)····7~~5105~~·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp_source.html	5438	-rw-r--r--···0·root·········(0)·root·········(0)····72844·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2merit_8hpp_source.html
5439	-rw-r--r--···0·root·········(0)·root·········(0)·····4479·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp.html	5439	-rw-r--r--···0·root·········(0)·root·········(0)·····4479·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp.html
5440	-rw-r--r--···0·root·········(0)·root·········(0)····60260·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp_source.html	5440	-rw-r--r--···0·root·········(0)·root·········(0)····60260·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2ngl_8hpp_source.html
5441	-rw-r--r--···0·root·········(0)·root·········(0)·····4773·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp.html	5441	-rw-r--r--···0·root·········(0)·root·········(0)·····4773·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp.html
5442	-rw-r--r--···0·root·········(0)·root·········(0)····25516·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp_source.html	5442	-rw-r--r--···0·root·········(0)·root·········(0)····25516·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2traits_8hpp_source.html
5443	-rw-r--r--···0·root·········(0)·root·········(0)·····4500·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp.html	5443	-rw-r--r--···0·root·········(0)·root·········(0)·····4500·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-commit_8hpp.html
5444	-rw-r--r--···0·root·········(0)·root·········(0)····6~~3557~~·2024-08-27·03:47:35.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-08-27·03:47:35.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-08-27·03:47:35.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-08-27·03:47:35.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-08-27·03:47:35.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-08-27·03:47:35.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-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp.html	5447	-rw-r--r--···0·root·········(0)·root·········(0)·····4491·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val-sel_8hpp.html
5448	-rw-r--r--···0·root·········(0)·root·········(0)····~~6126~~6·2024-08-27·03:47:35.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-08-27·03:47:35.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-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp.html	5449	-rw-r--r--···0·root·········(0)·root·········(0)····15100·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp.html
5450	-rw-r--r--···0·root·········(0)·root·········(0)····56003·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp_source.html	5450	-rw-r--r--···0·root·········(0)·root·········(0)····56003·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2val_8hpp_source.html
5451	-rw-r--r--···0·root·········(0)·root·········(0)····54802·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp.html	5451	-rw-r--r--···0·root·········(0)·root·········(0)····54802·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp.html
5452	-rw-r--r--···0·root·········(0)·root·········(0)···177273·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp_source.html	5452	-rw-r--r--···0·root·········(0)·root·········(0)···177273·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/int_2branch_2var_8hpp_source.html


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


Offset 107, 100 lines modified		Offset 107, 100 lines modified
107	<div·class="line"><a·id="l00039"·name="l00039"></a><span·class="lineno">···39</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a3cfafd2a0ea5cf14fe8fe22fb4de9fbf">MeritMin<View>::MeritMin</a></div>	107	<div·class="line"><a·id="l00039"·name="l00039"></a><span·class="lineno">···39</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a3cfafd2a0ea5cf14fe8fe22fb4de9fbf">MeritMin<View>::MeritMin</a></div>
108	<div·class="line"><a·id="l00040"·name="l00040"></a><span·class="lineno">···40</span>····(Space&·home,·<span·class="keyword">const</span>·VarBranch<<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritMin<View>::Var</a>>&·vb)</div>	108	<div·class="line"><a·id="l00040"·name="l00040"></a><span·class="lineno">···40</span>····(Space&·home,·<span·class="keyword">const</span>·VarBranch<<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritMin<View>::Var</a>>&·vb)</div>
109	<div·class="line"><a·id="l00041"·name="l00041"></a><span·class="lineno">···41</span>····:·MeritBase<View,int>(home,vb)·{}</div>	109	<div·class="line"><a·id="l00041"·name="l00041"></a><span·class="lineno">···41</span>····:·MeritBase<View,int>(home,vb)·{}</div>
110	<div·class="line"><a·id="l00042"·name="l00042"></a><span·class="lineno">···42</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	110	<div·class="line"><a·id="l00042"·name="l00042"></a><span·class="lineno">···42</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
111	<div·class="line"><a·id="l00043"·name="l00043"></a><span·class="lineno">···43</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	111	<div·class="line"><a·id="l00043"·name="l00043"></a><span·class="lineno">···43</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
112	<div·class="foldopen"·id="foldopen00044"·data-start="{"·data-end="}">	112	<div·class="foldopen"·id="foldopen00044"·data-start="{"·data-end="}">
113	<div·class="line"><a·id="l00044"·name="l00044"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#afafada447dd90edeeabac7537c3b01ec">···44</a></span>··<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html">MeritMin<View>::MeritMin</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html">MeritMin</a>&·m)</div>	113	<div·class="line"><a·id="l00044"·name="l00044"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#afafada447dd90edeeabac7537c3b01ec">···44</a></span>··<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html">MeritMin<View>::MeritMin</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html">MeritMin</a>&·m)</div>
114	<div·class="line"><a·id="l00045"·name="l00045"></a><span·class="lineno">···45</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><~~<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">~~View~~</a>~~,int>(home,m)·{}</div>	114	<div·class="line"><a·id="l00045"·name="l00045"></a><span·class="lineno">···45</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,int>(home,m)·{}</div>
115	</div>	115	</div>
116	<div·class="line"><a·id="l00046"·name="l00046"></a><span·class="lineno">···46</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	116	<div·class="line"><a·id="l00046"·name="l00046"></a><span·class="lineno">···46</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
117	<div·class="line"><a·id="l00047"·name="l00047"></a><span·class="lineno">···47</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>	117	<div·class="line"><a·id="l00047"·name="l00047"></a><span·class="lineno">···47</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>
118	<div·class="foldopen"·id="foldopen00048"·data-start="{"·data-end="}">	118	<div·class="foldopen"·id="foldopen00048"·data-start="{"·data-end="}">
119	<div·class="line"><a·id="l00048"·name="l00048"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a81114e5057ac37983cead581c334a39d">···48</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a81114e5057ac37983cead581c334a39d">MeritMin<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·~~<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">~~View~~</a>~~·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>	119	<div·class="line"><a·id="l00048"·name="l00048"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a81114e5057ac37983cead581c334a39d">···48</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMin.html#a81114e5057ac37983cead581c334a39d">MeritMin<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>
120	<div·class="line"><a·id="l00049"·name="l00049"></a><span·class="lineno">···49</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.min();</div>	120	<div·class="line"><a·id="l00049"·name="l00049"></a><span·class="lineno">···49</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.min();</div>
121	<div·class="line"><a·id="l00050"·name="l00050"></a><span·class="lineno">···50</span>··}</div>	121	<div·class="line"><a·id="l00050"·name="l00050"></a><span·class="lineno">···50</span>··}</div>
122	</div>	122	</div>
123	<div·class="line"><a·id="l00051"·name="l00051"></a><span·class="lineno">···51</span>·</div>	123	<div·class="line"><a·id="l00051"·name="l00051"></a><span·class="lineno">···51</span>·</div>
124	<div·class="line"><a·id="l00052"·name="l00052"></a><span·class="lineno">···52</span>··<span·class="comment">//·Maximum·merit</span></div>	124	<div·class="line"><a·id="l00052"·name="l00052"></a><span·class="lineno">···52</span>··<span·class="comment">//·Maximum·merit</span></div>
125	<div·class="line"><a·id="l00053"·name="l00053"></a><span·class="lineno">···53</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	125	<div·class="line"><a·id="l00053"·name="l00053"></a><span·class="lineno">···53</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
126	<div·class="line"><a·id="l00054"·name="l00054"></a><span·class="lineno">···54</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	126	<div·class="line"><a·id="l00054"·name="l00054"></a><span·class="lineno">···54</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
127	<div·class="line"><a·id="l00055"·name="l00055"></a><span·class="lineno">···55</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a456f3af584cb2454d489dcd62a971c9a">MeritMax<View>::MeritMax</a></div>	127	<div·class="line"><a·id="l00055"·name="l00055"></a><span·class="lineno">···55</span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a456f3af584cb2454d489dcd62a971c9a">MeritMax<View>::MeritMax</a></div>
128	<div·class="line"><a·id="l00056"·name="l00056"></a><span·class="lineno">···56</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritMax<View>::Var</a>>&·vb)</div>	128	<div·class="line"><a·id="l00056"·name="l00056"></a><span·class="lineno">···56</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritMax<View>::Var</a>>&·vb)</div>
129	<div·class="line"><a·id="l00057"·name="l00057"></a><span·class="lineno">···57</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,int>(home,vb)·{}</div>	129	<div·class="line"><a·id="l00057"·name="l00057"></a><span·class="lineno">···57</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,int>(home,vb)·{}</div>
130	<div·class="line"><a·id="l00058"·name="l00058"></a><span·class="lineno">···58</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	130	<div·class="line"><a·id="l00058"·name="l00058"></a><span·class="lineno">···58</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
131	<div·class="line"><a·id="l00059"·name="l00059"></a><span·class="lineno">···59</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>	131	<div·class="line"><a·id="l00059"·name="l00059"></a><span·class="lineno">···59</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
132	<div·class="foldopen"·id="foldopen00060"·data-start="{"·data-end="}">	132	<div·class="foldopen"·id="foldopen00060"·data-start="{"·data-end="}">
133	<div·class="line"><a·id="l00060"·name="l00060"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a42292312edd1eccaae6a21e948711b39">···60</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a456f3af584cb2454d489dcd62a971c9a">MeritMax<View>::MeritMax</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html">MeritMax</a>&·m)</div>	133	<div·class="line"><a·id="l00060"·name="l00060"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a42292312edd1eccaae6a21e948711b39">···60</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a456f3af584cb2454d489dcd62a971c9a">MeritMax<View>::MeritMax</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html">MeritMax</a>&·m)</div>
134	<div·class="line"><a·id="l00061"·name="l00061"></a><span·class="lineno">···61</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><~~<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">~~View~~</a>~~,int>(home,m)·{}</div>	134	<div·class="line"><a·id="l00061"·name="l00061"></a><span·class="lineno">···61</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,int>(home,m)·{}</div>
135	</div>	135	</div>
136	<div·class="line"><a·id="l00062"·name="l00062"></a><span·class="lineno">···62</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>	136	<div·class="line"><a·id="l00062"·name="l00062"></a><span·class="lineno">···62</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div>
137	<div·class="line"><a·id="l00063"·name="l00063"></a><span·class="lineno">···63</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>	137	<div·class="line"><a·id="l00063"·name="l00063"></a><span·class="lineno">···63</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">int</span></div>
138	<div·class="foldopen"·id="foldopen00064"·data-start="{"·data-end="}">	138	<div·class="foldopen"·id="foldopen00064"·data-start="{"·data-end="}">
139	<div·class="line"><a·id="l00064"·name="l00064"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a8f18157dfc7f1cb1835617529c75ba21">···64</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a8f18157dfc7f1cb1835617529c75ba21">MeritMax<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·~~<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">~~View~~</a>~~·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>	139	<div·class="line"><a·id="l00064"·name="l00064"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a8f18157dfc7f1cb1835617529c75ba21">···64</a></span>··<a·class="code·hl_function"·href="classGecode_1_1Int_1_1Branch_1_1MeritMax.html#a8f18157dfc7f1cb1835617529c75ba21">MeritMax<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>
140	<div·class="line"><a·id="l00065"·name="l00065"></a><span·class="lineno">···65</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.max();</div>	140	<div·class="line"><a·id="l00065"·name="l00065"></a><span·class="lineno">···65</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.max();</div>
141	<div·class="line"><a·id="l00066"·name="l00066"></a><span·class="lineno">···66</span>··}</div>	141	<div·class="line"><a·id="l00066"·name="l00066"></a><span·class="lineno">···66</span>··}</div>
142	</div>	142	</div>
143	<div·class="line"><a·id="l00067"·name="l00067"></a><span·class="lineno">···67</span>·</div>	143	<div·class="line"><a·id="l00067"·name="l00067"></a><span·class="lineno">···67</span>·</div>
144	<div·class="line"><a·id="l00068"·name="l00068"></a><span·class="lineno">···68</span>··<span·class="comment">//·Size·merit</span></div>	144	<div·class="line"><a·id="l00068"·name="l00068"></a><span·class="lineno">···68</span>··<span·class="comment">//·Size·merit</span></div>


Offset 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