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

⊟

29.2 KB

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

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

⊟

881 B

Files ¶

⊟

28.1 KB

libgecode-doc_6.2.0-7_all.deb ¶

⊟

452 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

27.5 KB

data.tar.xz ¶

⊟

27.5 KB

data.tar ¶

⊟

4.77 KB

file list ¶

⊟

17.3 KB

⊟

1020 B

⊟

5.39 KB

⊟

1020 B


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

1	·b45103ac6eb7f73c4f98afd87cd27ee1·509444·libdevel·optional·libgecode-dev_6.2.0-7_amd64.deb	1	·b45103ac6eb7f73c4f98afd87cd27ee1·509444·libdevel·optional·libgecode-dev_6.2.0-7_amd64.deb
2	·8cbbf~~5aec5c~~8682~~be619c76~~1b0f93~~554~~·11056972·doc·optional·libgecode-doc_6.2.0-7_all.deb	2	·1fcedfd78f1f8e229c9873ef1f023de9·11056924·doc·optional·libgecode-doc_6.2.0-7_all.deb
3	·7e8d14f05c18a3411380e53384ac7e34·57887360·debug·optional·libgecode49t64-dbgsym_6.2.0-7_amd64.deb	3	·7e8d14f05c18a3411380e53384ac7e34·57887360·debug·optional·libgecode49t64-dbgsym_6.2.0-7_amd64.deb
4	·6514355290e24060eb15a615a1d0267e·3066376·libs·optional·libgecode49t64_6.2.0-7_amd64.deb	4	·6514355290e24060eb15a615a1d0267e·3066376·libs·optional·libgecode49t64_6.2.0-7_amd64.deb
5	·3d4864a5ed3d95a9c48e7f1d789adf4e·2676196·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-7_amd64.deb	5	·3d4864a5ed3d95a9c48e7f1d789adf4e·2676196·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-7_amd64.deb
6	·bb7acb0e1ab5b0fd4587cb7c3016c7ae·272336·libs·optional·libgecodeflatzinc49t64_6.2.0-7_amd64.deb	6	·bb7acb0e1ab5b0fd4587cb7c3016c7ae·272336·libs·optional·libgecodeflatzinc49t64_6.2.0-7_amd64.deb
7	·ea0c9dba6126aad9b91c0c355125fea0·3094992·debug·optional·libgecodegist49t64-dbgsym_6.2.0-7_amd64.deb	7	·ea0c9dba6126aad9b91c0c355125fea0·3094992·debug·optional·libgecodegist49t64-dbgsym_6.2.0-7_amd64.deb
8	·b4e7866de43201ca6f1ee8a2d020346d·168852·libs·optional·libgecodegist49t64_6.2.0-7_amd64.deb	8	·b4e7866de43201ca6f1ee8a2d020346d·168852·libs·optional·libgecodegist49t64_6.2.0-7_amd64.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2025-02-11·17:33:26.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2025-02-11·17:33:26.000000·debian-binary
2	-rw-r--r--···0········0········0···156280·2025-02-11·17:33:26.000000·control.tar.xz	2	-rw-r--r--···0········0········0···156284·2025-02-11·17:33:26.000000·control.tar.xz
3	-rw-r--r--···0········0········0·10900~~500~~·2025-02-11·17:33:26.000000·data.tar.xz	3	-rw-r--r--···0········0········0·10900448·2025-02-11·17:33:26.000000·data.tar.xz


Offset 5008, 15 lines modified		Offset 5008, 15 lines modified
5008	-rw-r--r--···0·root·········(0)·root·········(0)·····3513·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2array_8cpp.html	5008	-rw-r--r--···0·root·········(0)·root·········(0)·····3513·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2array_8cpp.html
5009	-rw-r--r--···0·root·········(0)·root·········(0)····63039·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2array_8cpp_source.html	5009	-rw-r--r--···0·root·········(0)·root·········(0)····63039·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2array_8cpp_source.html
5010	-rw-r--r--···0·root·········(0)·root·········(0)·····4940·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2bool_8cpp.html	5010	-rw-r--r--···0·root·········(0)·root·········(0)·····4940·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2bool_8cpp.html
5011	-rw-r--r--···0·root·········(0)·root·········(0)····16838·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2bool_8cpp_source.html	5011	-rw-r--r--···0·root·········(0)·root·········(0)····16838·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2bool_8cpp_source.html
5012	-rw-r--r--···0·root·········(0)·root·········(0)····10944·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8cpp.html	5012	-rw-r--r--···0·root·········(0)·root·········(0)····10944·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8cpp.html
5013	-rw-r--r--···0·root·········(0)·root·········(0)····58122·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8cpp_source.html	5013	-rw-r--r--···0·root·········(0)·root·········(0)····58122·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8cpp_source.html
5014	-rw-r--r--···0·root·········(0)·root·········(0)····16366·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh.html	5014	-rw-r--r--···0·root·········(0)·root·········(0)····16366·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh.html
5015	-rw-r--r--···0·root·········(0)·root·········(0)····95995·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh_source.html	5015	-rw-r--r--···0·root·········(0)·root·········(0)····95492·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2branch_8hh_source.html
5016	-rw-r--r--···0·root·········(0)·root·········(0)·····4647·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2int_8hpp.html	5016	-rw-r--r--···0·root·········(0)·root·········(0)·····4647·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2int_8hpp.html
5017	-rw-r--r--···0·root·········(0)·root·········(0)····53730·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2int_8hpp_source.html	5017	-rw-r--r--···0·root·········(0)·root·········(0)····53730·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2int_8hpp_source.html
5018	-rw-r--r--···0·root·········(0)·root·········(0)·····4515·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2set_8hpp.html	5018	-rw-r--r--···0·root·········(0)·root·········(0)·····4515·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2set_8hpp.html
5019	-rw-r--r--···0·root·········(0)·root·········(0)····50244·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2set_8hpp_source.html	5019	-rw-r--r--···0·root·········(0)·root·········(0)····50244·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_2set_8hpp_source.html
5020	-rw-r--r--···0·root·········(0)·root·········(0)·····7021·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_8cpp.html	5020	-rw-r--r--···0·root·········(0)·root·········(0)·····7021·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_8cpp.html
5021	-rw-r--r--···0·root·········(0)·root·········(0)····28622·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_8cpp_source.html	5021	-rw-r--r--···0·root·········(0)·root·········(0)····28622·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2channel_8cpp_source.html
5022	-rw-r--r--···0·root·········(0)·root·········(0)·····5869·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2convex_8cpp.html	5022	-rw-r--r--···0·root·········(0)·root·········(0)·····5869·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/gecode_2set_2convex_8cpp.html
Offset 6962, 15 lines modified		Offset 6962, 15 lines modified
6962	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-eq_8hpp.html	6962	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-eq_8hpp.html
6963	-rw-r--r--···0·root·········(0)·root·········(0)····46713·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-eq_8hpp_source.html	6963	-rw-r--r--···0·root·········(0)·root·········(0)····46713·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-eq_8hpp_source.html
6964	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-gq_8hpp.html	6964	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-gq_8hpp.html
6965	-rw-r--r--···0·root·········(0)·root·········(0)····43307·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-gq_8hpp_source.html	6965	-rw-r--r--···0·root·········(0)·root·········(0)····43307·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-gq_8hpp_source.html
6966	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-lq_8hpp.html	6966	-rw-r--r--···0·root·········(0)·root·········(0)·····4474·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-lq_8hpp.html
6967	-rw-r--r--···0·root·········(0)·root·········(0)····37185·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-lq_8hpp_source.html	6967	-rw-r--r--···0·root·········(0)·root·········(0)····37185·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-lq_8hpp_source.html
6968	-rw-r--r--···0·root·········(0)·root·········(0)·····9269·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-sel_8hpp.html	6968	-rw-r--r--···0·root·········(0)·root·········(0)·····9269·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-sel_8hpp.html
6969	-rw-r--r--···0·root·········(0)·root·········(0)···249495·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-sel_8hpp_source.html	6969	-rw-r--r--···0·root·········(0)·root·········(0)···249295·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-sel_8hpp_source.html
6970	-rw-r--r--···0·root·········(0)·root·········(0)·····4749·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_2graph_8hpp.html	6970	-rw-r--r--···0·root·········(0)·root·········(0)·····4749·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_2graph_8hpp.html
6971	-rw-r--r--···0·root·········(0)·root·········(0)····61712·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_2graph_8hpp_source.html	6971	-rw-r--r--···0·root·········(0)·root·········(0)····61712·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_2graph_8hpp_source.html
6972	-rw-r--r--···0·root·········(0)·root·········(0)····10161·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_8hh.html	6972	-rw-r--r--···0·root·········(0)·root·········(0)····10161·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_8hh.html
6973	-rw-r--r--···0·root·········(0)·root·········(0)····93781·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_8hh_source.html	6973	-rw-r--r--···0·root·········(0)·root·········(0)····93781·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val-graph_8hh_source.html
6974	-rw-r--r--···0·root·········(0)·root·········(0)·····6979·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val_8hpp.html	6974	-rw-r--r--···0·root·········(0)·root·········(0)·····6979·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val_8hpp.html
6975	-rw-r--r--···0·root·········(0)·root·········(0)···118085·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val_8hpp_source.html	6975	-rw-r--r--···0·root·········(0)·root·········(0)···118085·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-val_8hpp_source.html
6976	-rw-r--r--···0·root·········(0)·root·········(0)·····4637·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-values_8cpp.html	6976	-rw-r--r--···0·root·········(0)·root·········(0)·····4637·2025-02-11·17:33:26.000000·./usr/share/doc/libgecode-dev/html/view-values_8cpp.html


Offset 458, 18 lines modified		Offset 458, 14 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
469	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l	465	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l
470	Base·class·for·value·selection.	466	Base·class·for·value·selection.
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	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
472	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h	468	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h
473	Variable·branching·information.	469	Variable·branching·information.
474	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8r_\x8._\x8h_\x8p_\x8p_\x8:_\x85_\x85	470	D\x8De\x8ef\x8fi\x8in\x8ni\x8it\x8ti\x8io\x8on\x8n·_\x8v_\x8a_\x8r_\x8._\x8h_\x8p_\x8p_\x8:_\x85_\x85
475	_\x8G_\x8e_\x8c_\x8o_\x8d_\x8e_\x8:_\x8:_\x8V_\x8i_\x8e_\x8w_\x8V_\x8a_\x8l_\x8N_\x8G_\x8L	471	_\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><~~<a·class="code·hl_typedef"·href="classGecode_1_1ViewSel.html#a0eb9229cfcbb6ee09a155263d9de256d">~~View~~</a>~~>(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><View>(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><~~<a·class="code·hl_typedef"·href="classGecode_1_1ViewSel.html#a0eb9229cfcbb6ee09a155263d9de256d">~~View~~</a>~~>(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><View>(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 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<_.V_.i_.e_.w>(home,vb)·{}	316	422·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<View>(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<_.V_.i_.e_.w>(home,vs)·{}	320	426·:·_\x8V_\x8i_\x8e_\x8w_\x8S_\x8e_\x8l<View>(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 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_ty~~pedef~~"·href="classGecode_1_1~~ValCommit~~.ht~~ml#a~~c14c515e~~b7d66bdcba521e13~~eb~~0db0da~~">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_class"·href="classGecode_1_1Set_1_1SetView.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>
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_ty~~pedef~~"·href="classGecode_1_1~~ValCommit~~.ht~~ml#a~~c14c515e~~b7d66bdcba521e13~~eb~~0db0da~~">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_class"·href="classGecode_1_1Set_1_1SetView.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>
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, 15 lines modified		Offset 383, 14 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>
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>	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>
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>	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>