⊟
60.9 KB
/srv/reproducible-results/rbuild-debian/r-b-build.EgWX5iKf/b1/gecode_6.2.0-5.1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.EgWX5iKf/b2/gecode_6.2.0-5.1_amd64.changes
⊟
1.05 KB
Files
    
Offset 1, 11 lines modifiedOffset 1, 11 lines modified
  
1 ·40c94b88c65728ac53e9c7e34e0e588a·125204·debug·optional·flatzinc-dbgsym_6.2.0-5.1_amd64.deb1 ·40c94b88c65728ac53e9c7e34e0e588a·125204·debug·optional·flatzinc-dbgsym_6.2.0-5.1_amd64.deb
2 ·24ba4e18310c00fb854f90e23a772f7c·72584·devel·optional·flatzinc_6.2.0-5.1_amd64.deb2 ·24ba4e18310c00fb854f90e23a772f7c·72584·devel·optional·flatzinc_6.2.0-5.1_amd64.deb
3 ·c406f1bc23275b6a7751f0e185969a5f·509336·libdevel·optional·libgecode-dev_6.2.0-5.1_amd64.deb3 ·c406f1bc23275b6a7751f0e185969a5f·509336·libdevel·optional·libgecode-dev_6.2.0-5.1_amd64.deb
4 ·09bc8339ee54b96849df850684e5d43b·11574560·doc·optional·libgecode-doc_6.2.0-5.1_all.deb4 ·3c28f2baa4ccbd4324c62b4eb08a2dce·11569420·doc·optional·libgecode-doc_6.2.0-5.1_all.deb
5 ·6cd09d8e873d18305f2b84762822cc82·59746648·debug·optional·libgecode49t64-dbgsym_6.2.0-5.1_amd64.deb5 ·6cd09d8e873d18305f2b84762822cc82·59746648·debug·optional·libgecode49t64-dbgsym_6.2.0-5.1_amd64.deb
6 ·37d5d2dd31a9b705dd94c18a3b567bce·2957568·libs·optional·libgecode49t64_6.2.0-5.1_amd64.deb6 ·37d5d2dd31a9b705dd94c18a3b567bce·2957568·libs·optional·libgecode49t64_6.2.0-5.1_amd64.deb
7 ·f6d661b1e631d6a8402c20e9fb53278a·2609044·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-5.1_amd64.deb7 ·f6d661b1e631d6a8402c20e9fb53278a·2609044·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-5.1_amd64.deb
8 ·ac6ce88837ca2fe59ef10f059d028959·268372·libs·optional·libgecodeflatzinc49t64_6.2.0-5.1_amd64.deb8 ·ac6ce88837ca2fe59ef10f059d028959·268372·libs·optional·libgecodeflatzinc49t64_6.2.0-5.1_amd64.deb
9 ·c2ff31d370f2f98711bfe984d590addc·4196640·debug·optional·libgecodegist49t64-dbgsym_6.2.0-5.1_amd64.deb9 ·c2ff31d370f2f98711bfe984d590addc·4196640·debug·optional·libgecodegist49t64-dbgsym_6.2.0-5.1_amd64.deb
10 ·9fd21c8cb5fdf22712f6791dfebef79a·167756·libs·optional·libgecodegist49t64_6.2.0-5.1_amd64.deb10 ·9fd21c8cb5fdf22712f6791dfebef79a·167756·libs·optional·libgecodegist49t64_6.2.0-5.1_amd64.deb
⊟
59.7 KB
libgecode-doc_6.2.0-5.1_all.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-02-28·15:56:55.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-02-28·15:56:55.000000·debian-binary
2 -rw-r--r--···0········0········0···156300·2024-02-28·15:56:55.000000·control.tar.xz2 -rw-r--r--···0········0········0···156296·2024-02-28·15:56:55.000000·control.tar.xz
3 -rw-r--r--···0········0········0·11418068·2024-02-28·15:56:55.000000·data.tar.xz3 -rw-r--r--···0········0········0·11412932·2024-02-28·15:56:55.000000·data.tar.xz
⊟
543 B
control.tar.xz
⊟
515 B
control.tar
⊟
445 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libgecode-doc1 Package:·libgecode-doc
2 Source:·gecode2 Source:·gecode
3 Version:·6.2.0-5.13 Version:·6.2.0-5.1
4 Architecture:·all4 Architecture:·all
5 Maintainer:·Kari·Pahula·<kaol@debian.org>5 Maintainer:·Kari·Pahula·<kaol@debian.org>
6 Installed-Size:·2303806 Installed-Size:·230379
7 Depends:·libjs-jquery7 Depends:·libjs-jquery
8 Suggests:·libgecode-dev8 Suggests:·libgecode-dev
9 Section:·doc9 Section:·doc
10 Priority:·optional10 Priority:·optional
11 Homepage:·http://www.gecode.org/11 Homepage:·http://www.gecode.org/
12 Description:·generic·constraint·development·environment12 Description:·generic·constraint·development·environment
13 ·Gecode·is·a·toolkit·for·developing·constraint-based·systems·and13 ·Gecode·is·a·toolkit·for·developing·constraint-based·systems·and
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
58.6 KB
data.tar.xz
⊟
58.6 KB
data.tar
⊟
4.02 KB
file list
    
Offset 5605, 23 lines modifiedOffset 5605, 23 lines modified
5605 -rw-r--r--···0·root·········(0)·root·········(0)·····4339·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp.html5605 -rw-r--r--···0·root·········(0)·root·········(0)·····4339·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp.html
5606 -rw-r--r--···0·root·········(0)·root·········(0)····40615·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp_source.html5606 -rw-r--r--···0·root·········(0)·root·········(0)····40615·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp_source.html
5607 -rw-r--r--···0·root·········(0)·root·········(0)·····3619·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp.html5607 -rw-r--r--···0·root·········(0)·root·········(0)·····3619·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp.html
5608 -rw-r--r--···0·root·········(0)·root·········(0)····18641·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp_source.html5608 -rw-r--r--···0·root·········(0)·root·········(0)····18641·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp_source.html
5609 -rw-r--r--···0·root·········(0)·root·········(0)·····6544·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp.html5609 -rw-r--r--···0·root·········(0)·root·········(0)·····6544·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp.html
5610 -rw-r--r--···0·root·········(0)·root·········(0)···135052·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp_source.html5610 -rw-r--r--···0·root·········(0)·root·········(0)···135052·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp_source.html
5611 -rw-r--r--···0·root·········(0)·root·········(0)·····6839·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp.html5611 -rw-r--r--···0·root·········(0)·root·········(0)·····6839·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp.html
5612 -rw-r--r--···0·root·········(0)·root·········(0)····89164·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp_source.html5612 -rw-r--r--···0·root·········(0)·root·········(0)····88144·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp_source.html
5613 -rw-r--r--···0·root·········(0)·root·········(0)·····6368·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp.html5613 -rw-r--r--···0·root·········(0)·root·········(0)·····6368·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp.html
5614 -rw-r--r--···0·root·········(0)·root·········(0)····48730·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp_source.html5614 -rw-r--r--···0·root·········(0)·root·········(0)····48730·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp_source.html
5615 -rw-r--r--···0·root·········(0)·root·········(0)·····4200·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp.html5615 -rw-r--r--···0·root·········(0)·root·········(0)·····4200·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp.html
5616 -rw-r--r--···0·root·········(0)·root·········(0)·····9806·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp_source.html5616 -rw-r--r--···0·root·········(0)·root·········(0)·····9806·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp_source.html
5617 -rw-r--r--···0·root·········(0)·root·········(0)·····4737·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp.html5617 -rw-r--r--···0·root·········(0)·root·········(0)·····4737·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp.html
5618 -rw-r--r--···0·root·········(0)·root·········(0)····52778·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp_source.html5618 -rw-r--r--···0·root·········(0)·root·········(0)····52268·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp_source.html
5619 -rw-r--r--···0·root·········(0)·root·········(0)·····4706·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp.html5619 -rw-r--r--···0·root·········(0)·root·········(0)·····4706·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp.html
5620 -rw-r--r--···0·root·········(0)·root·········(0)····42523·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp_source.html5620 -rw-r--r--···0·root·········(0)·root·········(0)····42325·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp_source.html
5621 -rw-r--r--···0·root·········(0)·root·········(0)·····4189·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val_8hpp.html5621 -rw-r--r--···0·root·········(0)·root·········(0)·····4189·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val_8hpp.html
5622 -rw-r--r--···0·root·········(0)·root·········(0)····29475·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val_8hpp_source.html5622 -rw-r--r--···0·root·········(0)·root·········(0)····29475·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val_8hpp_source.html
5623 -rw-r--r--···0·root·········(0)·root·········(0)·····5278·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2var_8hpp.html5623 -rw-r--r--···0·root·········(0)·root·········(0)·····5278·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2var_8hpp.html
5624 -rw-r--r--···0·root·········(0)·root·········(0)····65617·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2var_8hpp_source.html5624 -rw-r--r--···0·root·········(0)·root·········(0)····65617·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2var_8hpp_source.html
5625 -rw-r--r--···0·root·········(0)·root·········(0)·····5137·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2view_8hpp.html5625 -rw-r--r--···0·root·········(0)·root·········(0)·····5137·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2view_8hpp.html
5626 -rw-r--r--···0·root·········(0)·root·········(0)····66535·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2view_8hpp_source.html5626 -rw-r--r--···0·root·········(0)·root·········(0)····66535·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2view_8hpp_source.html
5627 -rw-r--r--···0·root·········(0)·root·········(0)····32308·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2data_2array_8hpp.html5627 -rw-r--r--···0·root·········(0)·root·········(0)····32308·2024-02-28·15:56:55.000000·./usr/share/doc/libgecode-doc/html/kernel_2data_2array_8hpp.html
⊟
32.0 KB
./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp_source.html
    
Offset 220, 21 lines modifiedOffset 220, 21 lines modified
220 <div·class="line"><a·id="l00195"·name="l00195"></a><span·class="lineno">··195</span>····<span·class="keywordflow">if</span>·(!f())</div>220 <div·class="line"><a·id="l00195"·name="l00195"></a><span·class="lineno">··195</span>····<span·class="keywordflow">if</span>·(!f())</div>
221 <div·class="line"><a·id="l00196"·name="l00196"></a><span·class="lineno">··196</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">&quot;MeritFunction::MeritFunction&quot;</span>);</div>221 <div·class="line"><a·id="l00196"·name="l00196"></a><span·class="lineno">··196</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">&quot;MeritFunction::MeritFunction&quot;</span>);</div>
222 <div·class="line"><a·id="l00197"·name="l00197"></a><span·class="lineno">··197</span>··}</div>222 <div·class="line"><a·id="l00197"·name="l00197"></a><span·class="lineno">··197</span>··}</div>
223 <div·class="line"><a·id="l00198"·name="l00198"></a><span·class="lineno">··198</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>223 <div·class="line"><a·id="l00198"·name="l00198"></a><span·class="lineno">··198</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
224 <div·class="line"><a·id="l00199"·name="l00199"></a><span·class="lineno">··199</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>224 <div·class="line"><a·id="l00199"·name="l00199"></a><span·class="lineno">··199</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
225 <div·class="foldopen"·id="foldopen00200"·data-start="{"·data-end="}">225 <div·class="foldopen"·id="foldopen00200"·data-start="{"·data-end="}">
226 <div·class="line"><a·id="l00200"·name="l00200"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritFunction.html#a731a0f561e003fe1d182c61b78b4adb5">··200</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritFunction.html#abd924d9e83eedca9146c42fc9f59669d">MeritFunction&lt;View&gt;::MeritFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritFunction.html">MeritFunction</a>&amp;·mf)</div>226 <div·class="line"><a·id="l00200"·name="l00200"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritFunction.html#a731a0f561e003fe1d182c61b78b4adb5">··200</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritFunction.html#abd924d9e83eedca9146c42fc9f59669d">MeritFunction&lt;View&gt;::MeritFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritFunction.html">MeritFunction</a>&amp;·mf)</div>
227 <div·class="line"><a·id="l00201"·name="l00201"></a><span·class="lineno">··201</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,double&gt;(home,mf),·f(mf.f)·{</div>227 <div·class="line"><a·id="l00201"·name="l00201"></a><span·class="lineno">··201</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,double&gt;(home,mf),·f(mf.f)·{</div>
228 <div·class="line"><a·id="l00202"·name="l00202"></a><span·class="lineno">··202</span>··}</div>228 <div·class="line"><a·id="l00202"·name="l00202"></a><span·class="lineno">··202</span>··}</div>
229 </div>229 </div>
230 <div·class="line"><a·id="l00203"·name="l00203"></a><span·class="lineno">··203</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>230 <div·class="line"><a·id="l00203"·name="l00203"></a><span·class="lineno">··203</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
231 <div·class="line"><a·id="l00204"·name="l00204"></a><span·class="lineno">··204</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div>231 <div·class="line"><a·id="l00204"·name="l00204"></a><span·class="lineno">··204</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div>
232 <div·class="foldopen"·id="foldopen00205"·data-start="{"·data-end="}">232 <div·class="foldopen"·id="foldopen00205"·data-start="{"·data-end="}">
233 <div·class="line"><a·id="l00205"·name="l00205"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritFunction.html#a2c8dec9951bf0cda025e1b84e6f59b26">··205</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritFunction.html#a2c8dec9951bf0cda025e1b84e6f59b26">MeritFunction&lt;View&gt;::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i)·{</div>233 <div·class="line"><a·id="l00205"·name="l00205"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritFunction.html#a2c8dec9951bf0cda025e1b84e6f59b26">··205</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritFunction.html#a2c8dec9951bf0cda025e1b84e6f59b26">MeritFunction&lt;View&gt;::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i)·{</div>
234 <div·class="line"><a·id="l00206"·name="l00206"></a><span·class="lineno">··206</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>234 <div·class="line"><a·id="l00206"·name="l00206"></a><span·class="lineno">··206</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>
235 <div·class="line"><a·id="l00207"·name="l00207"></a><span·class="lineno">··207</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(f());</div>235 <div·class="line"><a·id="l00207"·name="l00207"></a><span·class="lineno">··207</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(f());</div>
236 <div·class="line"><a·id="l00208"·name="l00208"></a><span·class="lineno">··208</span>····<span·class="keywordflow">return</span>·f()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div>236 <div·class="line"><a·id="l00208"·name="l00208"></a><span·class="lineno">··208</span>····<span·class="keywordflow">return</span>·f()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div>
237 <div·class="line"><a·id="l00209"·name="l00209"></a><span·class="lineno">··209</span>··}</div>237 <div·class="line"><a·id="l00209"·name="l00209"></a><span·class="lineno">··209</span>··}</div>
238 </div>238 </div>
239 <div·class="line"><a·id="l00210"·name="l00210"></a><span·class="lineno">··210</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>239 <div·class="line"><a·id="l00210"·name="l00210"></a><span·class="lineno">··210</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
240 <div·class="line"><a·id="l00211"·name="l00211"></a><span·class="lineno">··211</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>240 <div·class="line"><a·id="l00211"·name="l00211"></a><span·class="lineno">··211</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>
⊟
6.33 KB
html2text {}
    
Offset 142, 19 lines modifiedOffset 142, 19 lines modified
142 194·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·f(vb.merit())·{142 194·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·f(vb.merit())·{
143 195·if·(!f())143 195·if·(!f())
144 196·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("MeritFunction::MeritFunction");144 196·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("MeritFunction::MeritFunction");
145 197·}145 197·}
146 198·template<class·View>146 198·template<class·View>
147 199·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e147 199·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
148 _\x82_\x80_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n&·mf)148 _\x82_\x80_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n&·mf)
149 201·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,double>(home,mf),·f(mf.f)·{149 201·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,mf),·f(mf.f)·{
150 202·}150 202·}
151 203·template<class·View>151 203·template<class·View>
152 204·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double152 204·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double
153 _\x82_\x80_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_.V_.i_.e_.w·_\x8x,·int·i)·{153 _\x82_\x80_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·View·_\x8x,·int·i)·{
154 206·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());154 206·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());
155 207·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(f());155 207·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(f());
156 208·return·f()(home,_\x8y,i);156 208·return·f()(home,_\x8y,i);
157 209·}157 209·}
158 210·template<class·View>158 210·template<class·View>
159 211·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool159 211·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
160 _\x82_\x81_\x82·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{160 _\x82_\x81_\x82·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
⊟
15.5 KB
./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp_source.html
    
Offset 166, 50 lines modifiedOffset 166, 50 lines modified
166 <div·class="line"><a·id="l00114"·name="l00114"></a><span·class="lineno">··114</span>·</div>166 <div·class="line"><a·id="l00114"·name="l00114"></a><span·class="lineno">··114</span>·</div>
167 <div·class="line"><a·id="l00115"·name="l00115"></a><span·class="lineno">··115</span>··<span·class="comment">//·User-defined·value·selection</span></div>167 <div·class="line"><a·id="l00115"·name="l00115"></a><span·class="lineno">··115</span>··<span·class="comment">//·User-defined·value·selection</span></div>
168 <div·class="line"><a·id="l00116"·name="l00116"></a><span·class="lineno">··116</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>168 <div·class="line"><a·id="l00116"·name="l00116"></a><span·class="lineno">··116</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
169 <div·class="line"><a·id="l00117"·name="l00117"></a><span·class="lineno">··117</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>169 <div·class="line"><a·id="l00117"·name="l00117"></a><span·class="lineno">··117</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
170 <div·class="foldopen"·id="foldopen00118"·data-start="{"·data-end="}">170 <div·class="foldopen"·id="foldopen00118"·data-start="{"·data-end="}">
171 <div·class="line"><a·id="l00118"·name="l00118"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">··118</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">ValCommitFunction&lt;View&gt;::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,</div>171 <div·class="line"><a·id="l00118"·name="l00118"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">··118</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">ValCommitFunction&lt;View&gt;::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,</div>
172 <div·class="line"><a·id="l00119"·name="l00119"></a><span·class="lineno">··119</span>·············································<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1ValBranch.html">ValBranch&lt;Var&gt;</a>&amp;·vb)</div>172 <div·class="line"><a·id="l00119"·name="l00119"></a><span·class="lineno">··119</span>·············································<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1ValBranch.html">ValBranch&lt;Var&gt;</a>&amp;·vb)</div>
173 <div·class="line"><a·id="l00120"·name="l00120"></a><span·class="lineno">··120</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,Val&gt;(home,vb),·c(vb.commit())·{</div>173 <div·class="line"><a·id="l00120"·name="l00120"></a><span·class="lineno">··120</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a>&lt;View,Val&gt;(home,vb),·c(vb.commit())·{</div>
174 <div·class="line"><a·id="l00121"·name="l00121"></a><span·class="lineno">··121</span>····<span·class="keywordflow">if</span>·(!<a·class="code·hl_variable"·href="classGecode_1_1ValCommitFunction.html#a072474d95106017b6597d0a513237a81">c</a>())</div>174 <div·class="line"><a·id="l00121"·name="l00121"></a><span·class="lineno">··121</span>····<span·class="keywordflow">if</span>·(!<a·class="code·hl_variable"·href="classGecode_1_1ValCommitFunction.html#a072474d95106017b6597d0a513237a81">c</a>())</div>
175 <div·class="line"><a·id="l00122"·name="l00122"></a><span·class="lineno">··122</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">&quot;ValCommitFunction::ValCommitFunction&quot;</span>);</div>175 <div·class="line"><a·id="l00122"·name="l00122"></a><span·class="lineno">··122</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">&quot;ValCommitFunction::ValCommitFunction&quot;</span>);</div>
176 <div·class="line"><a·id="l00123"·name="l00123"></a><span·class="lineno">··123</span>··}</div>176 <div·class="line"><a·id="l00123"·name="l00123"></a><span·class="lineno">··123</span>··}</div>
177 </div>177 </div>
178 <div·class="line"><a·id="l00124"·name="l00124"></a><span·class="lineno">··124</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>178 <div·class="line"><a·id="l00124"·name="l00124"></a><span·class="lineno">··124</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
179 <div·class="line"><a·id="l00125"·name="l00125"></a><span·class="lineno">··125</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>179 <div·class="line"><a·id="l00125"·name="l00125"></a><span·class="lineno">··125</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
180 <div·class="foldopen"·id="foldopen00126"·data-start="{"·data-end="}">180 <div·class="foldopen"·id="foldopen00126"·data-start="{"·data-end="}">
181 <div·class="line"><a·id="l00126"·name="l00126"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#ab6590c4c413d335ae94170433f01cf75">··126</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">ValCommitFunction&lt;View&gt;::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,</div>181 <div·class="line"><a·id="l00126"·name="l00126"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#ab6590c4c413d335ae94170433f01cf75">··126</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a3dfdba29af09e8ecc34ac11a6fcd9506">ValCommitFunction&lt;View&gt;::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,</div>
182 <div·class="line"><a·id="l00127"·name="l00127"></a><span·class="lineno">··127</span>·············································<a·class="code·hl_class"·href="classGecode_1_1ValCommitFunction.html">ValCommitFunction&lt;View&gt;</a>&amp;·vc)</div>182 <div·class="line"><a·id="l00127"·name="l00127"></a><span·class="lineno">··127</span>·············································<a·class="code·hl_class"·href="classGecode_1_1ValCommitFunction.html">ValCommitFunction&lt;View&gt;</a>&amp;·vc)</div>
183 <div·class="line"><a·id="l00128"·name="l00128"></a><span·class="lineno">··128</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,Val&gt;(home,vc),·c(vc.c)·{</div>183 <div·class="line"><a·id="l00128"·name="l00128"></a><span·class="lineno">··128</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValCommit.html">ValCommit</a>&lt;View,Val&gt;(home,vc),·c(vc.c)·{</div>
184 <div·class="line"><a·id="l00129"·name="l00129"></a><span·class="lineno">··129</span>··}</div>184 <div·class="line"><a·id="l00129"·name="l00129"></a><span·class="lineno">··129</span>··}</div>
185 </div>185 </div>
186 <div·class="line"><a·id="l00130"·name="l00130"></a><span·class="lineno">··130</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>186 <div·class="line"><a·id="l00130"·name="l00130"></a><span·class="lineno">··130</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
187 <div·class="line"><a·id="l00131"·name="l00131"></a><span·class="lineno">··131</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<a·class="code·hl_typedef"·href="namespaceGecode.html#afa985ae465bd12df08e29252cdb7519b">ModEvent</a></div>187 <div·class="line"><a·id="l00131"·name="l00131"></a><span·class="lineno">··131</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<a·class="code·hl_typedef"·href="namespaceGecode.html#afa985ae465bd12df08e29252cdb7519b">ModEvent</a></div>
188 <div·class="foldopen"·id="foldopen00132"·data-start="{"·data-end="}">188 <div·class="foldopen"·id="foldopen00132"·data-start="{"·data-end="}">
189 <div·class="line"><a·id="l00132"·name="l00132"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#ae0ac165d37528035025c4face1aa631a">··132</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#ae0ac165d37528035025c4face1aa631a">ValCommitFunction&lt;View&gt;::commit</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,</div>189 <div·class="line"><a·id="l00132"·name="l00132"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#ae0ac165d37528035025c4face1aa631a">··132</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#ae0ac165d37528035025c4face1aa631a">ValCommitFunction&lt;View&gt;::commit</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i,</div>
190 <div·class="line"><a·id="l00133"·name="l00133"></a><span·class="lineno">··133</span>··································Val·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·{</div>190 <div·class="line"><a·id="l00133"·name="l00133"></a><span·class="lineno">··133</span>··································Val·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>)·{</div>
191 <div·class="line"><a·id="l00134"·name="l00134"></a><span·class="lineno">··134</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>191 <div·class="line"><a·id="l00134"·name="l00134"></a><span·class="lineno">··134</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>
192 <div·class="line"><a·id="l00135"·name="l00135"></a><span·class="lineno">··135</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(c());</div>192 <div·class="line"><a·id="l00135"·name="l00135"></a><span·class="lineno">··135</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(c());</div>
193 <div·class="line"><a·id="l00136"·name="l00136"></a><span·class="lineno">··136</span>····c()(home,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>193 <div·class="line"><a·id="l00136"·name="l00136"></a><span·class="lineno">··136</span>····c()(home,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i,<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a76f11d9a0a47b94f72c2d0e77fb32240">n</a>);</div>
194 <div·class="line"><a·id="l00137"·name="l00137"></a><span·class="lineno">··137</span>····<span·class="keywordflow">return</span>·home.<a·class="code·hl_function"·href="group__TaskActor.html#ga1d7b7b424049437959de9fbc55477a9c">failed</a>()·?·<a·class="code·hl_enumvalue"·href="namespaceGecode.html#ab278aee34126d2f13c5429ee3c4ed3b5a839b40c2e7ccebb2e61e92e274833089">ES_FAILED</a>·:·<a·class="code·hl_enumvalue"·href="namespaceGecode.html#ab278aee34126d2f13c5429ee3c4ed3b5a01d6fb1ec70479e8e413d5ecfd63e303">ES_OK</a>;</div>194 <div·class="line"><a·id="l00137"·name="l00137"></a><span·class="lineno">··137</span>····<span·class="keywordflow">return</span>·home.<a·class="code·hl_function"·href="group__TaskActor.html#ga1d7b7b424049437959de9fbc55477a9c">failed</a>()·?·<a·class="code·hl_enumvalue"·href="namespaceGecode.html#ab278aee34126d2f13c5429ee3c4ed3b5a839b40c2e7ccebb2e61e92e274833089">ES_FAILED</a>·:·<a·class="code·hl_enumvalue"·href="namespaceGecode.html#ab278aee34126d2f13c5429ee3c4ed3b5a01d6fb1ec70479e8e413d5ecfd63e303">ES_OK</a>;</div>
195 <div·class="line"><a·id="l00138"·name="l00138"></a><span·class="lineno">··138</span>··}</div>195 <div·class="line"><a·id="l00138"·name="l00138"></a><span·class="lineno">··138</span>··}</div>
196 </div>196 </div>
197 <div·class="line"><a·id="l00139"·name="l00139"></a><span·class="lineno">··139</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>197 <div·class="line"><a·id="l00139"·name="l00139"></a><span·class="lineno">··139</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
198 <div·class="line"><a·id="l00140"·name="l00140"></a><span·class="lineno">··140</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<a·class="code·hl_class"·href="classGecode_1_1NGL.html">NGL</a>*</div>198 <div·class="line"><a·id="l00140"·name="l00140"></a><span·class="lineno">··140</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<a·class="code·hl_class"·href="classGecode_1_1NGL.html">NGL</a>*</div>
199 <div·class="foldopen"·id="foldopen00141"·data-start="{"·data-end="}">199 <div·class="foldopen"·id="foldopen00141"·data-start="{"·data-end="}">
200 <div·class="line"><a·id="l00141"·name="l00141"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#a382742235cb2639bb092421b8b9f7cd1">··141</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a382742235cb2639bb092421b8b9f7cd1">ValCommitFunction&lt;View&gt;::ngl</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>,·<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,·Val)<span·class="keyword">·const·</span>{</div>200 <div·class="line"><a·id="l00141"·name="l00141"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#a382742235cb2639bb092421b8b9f7cd1">··141</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#a382742235cb2639bb092421b8b9f7cd1">ValCommitFunction&lt;View&gt;::ngl</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>,·View,·Val)<span·class="keyword">·const·</span>{</div>
201 <div·class="line"><a·id="l00142"·name="l00142"></a><span·class="lineno">··142</span>····<span·class="keywordflow">return</span>·NULL;</div>201 <div·class="line"><a·id="l00142"·name="l00142"></a><span·class="lineno">··142</span>····<span·class="keywordflow">return</span>·NULL;</div>
202 <div·class="line"><a·id="l00143"·name="l00143"></a><span·class="lineno">··143</span>··}</div>202 <div·class="line"><a·id="l00143"·name="l00143"></a><span·class="lineno">··143</span>··}</div>
203 </div>203 </div>
204 <div·class="line"><a·id="l00144"·name="l00144"></a><span·class="lineno">··144</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>204 <div·class="line"><a·id="l00144"·name="l00144"></a><span·class="lineno">··144</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
205 <div·class="line"><a·id="l00145"·name="l00145"></a><span·class="lineno">··145</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">void</span></div>205 <div·class="line"><a·id="l00145"·name="l00145"></a><span·class="lineno">··145</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">void</span></div>
206 <div·class="foldopen"·id="foldopen00146"·data-start="{"·data-end="}">206 <div·class="foldopen"·id="foldopen00146"·data-start="{"·data-end="}">
207 <div·class="line"><a·id="l00146"·name="l00146"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#af9d3451aebba0bc05a61f41bb640a8d4">··146</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#af9d3451aebba0bc05a61f41bb640a8d4">ValCommitFunction&lt;View&gt;::print</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>,</div>207 <div·class="line"><a·id="l00146"·name="l00146"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValCommitFunction.html#af9d3451aebba0bc05a61f41bb640a8d4">··146</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValCommitFunction.html#af9d3451aebba0bc05a61f41bb640a8d4">ValCommitFunction&lt;View&gt;::print</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>,</div>
208 <div·class="line"><a·id="l00147"·name="l00147"></a><span·class="lineno">··147</span>·································<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,·<span·class="keywordtype">int</span>·i,·<span·class="keyword">const</span>·Val&amp;,</div>208 <div·class="line"><a·id="l00147"·name="l00147"></a><span·class="lineno">··147</span>·································View,·<span·class="keywordtype">int</span>·i,·<span·class="keyword">const</span>·Val&amp;,</div>
209 <div·class="line"><a·id="l00148"·name="l00148"></a><span·class="lineno">··148</span>·································std::ostream&amp;·o)<span·class="keyword">·const·</span>{</div>209 <div·class="line"><a·id="l00148"·name="l00148"></a><span·class="lineno">··148</span>·································std::ostream&amp;·o)<span·class="keyword">·const·</span>{</div>
210 <div·class="line"><a·id="l00149"·name="l00149"></a><span·class="lineno">··149</span>····o·&lt;&lt;·<span·class="stringliteral">&quot;var[&quot;</span>·&lt;&lt;·i·&lt;&lt;·<span·class="stringliteral">&quot;]·is·user-defined.&quot;</span>;</div>210 <div·class="line"><a·id="l00149"·name="l00149"></a><span·class="lineno">··149</span>····o·&lt;&lt;·<span·class="stringliteral">&quot;var[&quot;</span>·&lt;&lt;·i·&lt;&lt;·<span·class="stringliteral">&quot;]·is·user-defined.&quot;</span>;</div>
211 <div·class="line"><a·id="l00150"·name="l00150"></a><span·class="lineno">··150</span>··}</div>211 <div·class="line"><a·id="l00150"·name="l00150"></a><span·class="lineno">··150</span>··}</div>
212 </div>212 </div>
213 <div·class="line"><a·id="l00151"·name="l00151"></a><span·class="lineno">··151</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>213 <div·class="line"><a·id="l00151"·name="l00151"></a><span·class="lineno">··151</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
214 <div·class="line"><a·id="l00152"·name="l00152"></a><span·class="lineno">··152</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>214 <div·class="line"><a·id="l00152"·name="l00152"></a><span·class="lineno">··152</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>
215 <div·class="foldopen"·id="foldopen00153"·data-start="{"·data-end="}">215 <div·class="foldopen"·id="foldopen00153"·data-start="{"·data-end="}">
⊟
2.71 KB
html2text {}
    
Offset 96, 42 lines modifiedOffset 96, 42 lines modified
96 11396 113
97 11497 114
98 115·//·User-defined·value·selection98 115·//·User-defined·value·selection
99 116·template<class·View>99 116·template<class·View>
100 117·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e100 117·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
101 _\x81_\x81_\x88·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,101 _\x81_\x81_\x88·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,
102 119·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb)102 119·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb)
103 120·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<_.V_.i_.e_.w,Val>(home,vb),·c(vb.commit())·{103 120·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,Val>(home,vb),·c(vb.commit())·{
104 121·if·(!_\x8c())104 121·if·(!_\x8c())
105 122·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("ValCommitFunction::ValCommitFunction");105 122·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("ValCommitFunction::ValCommitFunction");
106 123·}106 123·}
107 124·template<class·View>107 124·template<class·View>
108 125·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e108 125·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
109 _\x81_\x82_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,109 _\x81_\x82_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,
110 127·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vc)110 127·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vc)
111 128·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<_.V_.i_.e_.w,Val>(home,vc),·c(vc.c)·{111 128·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<View,Val>(home,vc),·c(vc.c)·{
112 129·}112 129·}
113 130·template<class·View>113 130·template<class·View>
114 131·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t114 131·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t
115 _\x81_\x83_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8c_\x8o_\x8m_\x8m_\x8i_\x8t(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·_.V_.i_.e_.w·_\x8x,·int·i,115 _\x81_\x83_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8c_\x8o_\x8m_\x8m_\x8i_\x8t(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·View·_\x8x,·int·i,
116 133·Val·_\x8n)·{116 133·Val·_\x8n)·{
117 134·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());117 134·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());
118 135·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(c());118 135·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(c());
119 136·c()(home,_\x8a,_\x8y,i,_\x8n);119 136·c()(home,_\x8a,_\x8y,i,_\x8n);
120 137·return·home._\x8f_\x8a_\x8i_\x8l_\x8e_\x8d()·?·_\x8E_\x8S_\x8__\x8F_\x8A_\x8I_\x8L_\x8E_\x8D·:·_\x8E_\x8S_\x8__\x8O_\x8K;120 137·return·home._\x8f_\x8a_\x8i_\x8l_\x8e_\x8d()·?·_\x8E_\x8S_\x8__\x8F_\x8A_\x8I_\x8L_\x8E_\x8D·:·_\x8E_\x8S_\x8__\x8O_\x8K;
121 138·}121 138·}
122 139·template<class·View>122 139·template<class·View>
123 140·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*123 140·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8N_\x8G_\x8L*
124 _\x81_\x84_\x81·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int,·_.V_.i_.e_.w,·Val)·const·{124 _\x81_\x84_\x81·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8g_\x8l(_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int,·View,·Val)·const·{
125 142·return·NULL;125 142·return·NULL;
126 143·}126 143·}
127 144·template<class·View>127 144·template<class·View>
128 145·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void128 145·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void
129 _\x81_\x84_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int,129 _\x81_\x84_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int,
130 147·_.V_.i_.e_.w,·int·i,·const·Val&,130 147·View,·int·i,·const·Val&,
131 148·std::ostream&·o)·const·{131 148·std::ostream&·o)·const·{
132 149·o·<<·"var["·<<·i·<<·"]·is·user-defined.";132 149·o·<<·"var["·<<·i·<<·"]·is·user-defined.";
133 150·}133 150·}
134 151·template<class·View>134 151·template<class·View>
135 152·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool135 152·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
136 _\x81_\x85_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{136 _\x81_\x85_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
137 154·return·true;137 154·return·true;
⊟
7.09 KB
./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp_source.html
    
Offset 172, 21 lines modifiedOffset 172, 21 lines modified
172 <div·class="line"><a·id="l00118"·name="l00118"></a><span·class="lineno">··118</span>····<span·class="keywordflow">if</span>·(!v())</div>172 <div·class="line"><a·id="l00118"·name="l00118"></a><span·class="lineno">··118</span>····<span·class="keywordflow">if</span>·(!v())</div>
173 <div·class="line"><a·id="l00119"·name="l00119"></a><span·class="lineno">··119</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">&quot;ValSelFunction::ValSelFunction&quot;</span>);</div>173 <div·class="line"><a·id="l00119"·name="l00119"></a><span·class="lineno">··119</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">&quot;ValSelFunction::ValSelFunction&quot;</span>);</div>
174 <div·class="line"><a·id="l00120"·name="l00120"></a><span·class="lineno">··120</span>··}</div>174 <div·class="line"><a·id="l00120"·name="l00120"></a><span·class="lineno">··120</span>··}</div>
175 <div·class="line"><a·id="l00121"·name="l00121"></a><span·class="lineno">··121</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>175 <div·class="line"><a·id="l00121"·name="l00121"></a><span·class="lineno">··121</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
176 <div·class="line"><a·id="l00122"·name="l00122"></a><span·class="lineno">··122</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>176 <div·class="line"><a·id="l00122"·name="l00122"></a><span·class="lineno">··122</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
177 <div·class="foldopen"·id="foldopen00123"·data-start="{"·data-end="}">177 <div·class="foldopen"·id="foldopen00123"·data-start="{"·data-end="}">
178 <div·class="line"><a·id="l00123"·name="l00123"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValSelFunction.html#ae673d5877c9f49dfaaa5a153aaea2c66">··123</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValSelFunction.html#a484babb0ab87d5eae617875222c013b6">ValSelFunction&lt;View&gt;::ValSelFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1ValSelFunction.html">ValSelFunction&lt;View&gt;</a>&amp;·vs)</div>178 <div·class="line"><a·id="l00123"·name="l00123"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValSelFunction.html#ae673d5877c9f49dfaaa5a153aaea2c66">··123</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValSelFunction.html#a484babb0ab87d5eae617875222c013b6">ValSelFunction&lt;View&gt;::ValSelFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1ValSelFunction.html">ValSelFunction&lt;View&gt;</a>&amp;·vs)</div>
179 <div·class="line"><a·id="l00124"·name="l00124"></a><span·class="lineno">··124</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValSel.html">ValSel</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1ValSel.html#a505b0292df0aa0f8ec84940c6d99973d">View</a>,<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">Val</a>&gt;(home,vs),·v(vs.v)·{</div>179 <div·class="line"><a·id="l00124"·name="l00124"></a><span·class="lineno">··124</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValSel.html">ValSel</a>&lt;View,<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">Val</a>&gt;(home,vs),·v(vs.v)·{</div>
180 <div·class="line"><a·id="l00125"·name="l00125"></a><span·class="lineno">··125</span>··}</div>180 <div·class="line"><a·id="l00125"·name="l00125"></a><span·class="lineno">··125</span>··}</div>
181 </div>181 </div>
182 <div·class="line"><a·id="l00126"·name="l00126"></a><span·class="lineno">··126</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>182 <div·class="line"><a·id="l00126"·name="l00126"></a><span·class="lineno">··126</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
183 <div·class="line"><a·id="l00127"·name="l00127"></a><span·class="lineno">··127</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keyword">typename</span>·<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">ValSelFunction&lt;View&gt;::Val</a></div>183 <div·class="line"><a·id="l00127"·name="l00127"></a><span·class="lineno">··127</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keyword">typename</span>·<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">ValSelFunction&lt;View&gt;::Val</a></div>
184 <div·class="foldopen"·id="foldopen00128"·data-start="{"·data-end="}">184 <div·class="foldopen"·id="foldopen00128"·data-start="{"·data-end="}">
185 <div·class="line"><a·id="l00128"·name="l00128"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValSelFunction.html#aee5937c631a4bacb5404eaca525bc8e4">··128</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValSelFunction.html#aee5937c631a4bacb5404eaca525bc8e4">ValSelFunction&lt;View&gt;::val</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_typedef"·href="classGecode_1_1ValSel.html#a505b0292df0aa0f8ec84940c6d99973d">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i)·{</div>185 <div·class="line"><a·id="l00128"·name="l00128"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValSelFunction.html#aee5937c631a4bacb5404eaca525bc8e4">··128</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValSelFunction.html#aee5937c631a4bacb5404eaca525bc8e4">ValSelFunction&lt;View&gt;::val</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i)·{</div>
186 <div·class="line"><a·id="l00129"·name="l00129"></a><span·class="lineno">··129</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>186 <div·class="line"><a·id="l00129"·name="l00129"></a><span·class="lineno">··129</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div>
187 <div·class="line"><a·id="l00130"·name="l00130"></a><span·class="lineno">··130</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(v());</div>187 <div·class="line"><a·id="l00130"·name="l00130"></a><span·class="lineno">··130</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(v());</div>
188 <div·class="line"><a·id="l00131"·name="l00131"></a><span·class="lineno">··131</span>····<span·class="keywordflow">return</span>·v()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div>188 <div·class="line"><a·id="l00131"·name="l00131"></a><span·class="lineno">··131</span>····<span·class="keywordflow">return</span>·v()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div>
189 <div·class="line"><a·id="l00132"·name="l00132"></a><span·class="lineno">··132</span>··}</div>189 <div·class="line"><a·id="l00132"·name="l00132"></a><span·class="lineno">··132</span>··}</div>
190 </div>190 </div>
191 <div·class="line"><a·id="l00133"·name="l00133"></a><span·class="lineno">··133</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>191 <div·class="line"><a·id="l00133"·name="l00133"></a><span·class="lineno">··133</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
192 <div·class="line"><a·id="l00134"·name="l00134"></a><span·class="lineno">··134</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>192 <div·class="line"><a·id="l00134"·name="l00134"></a><span·class="lineno">··134</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>
⊟
1.38 KB
html2text {}
    
Offset 102, 19 lines modifiedOffset 102, 19 lines modified
102 117·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,Val>(home,vb),·v(vb.val())·{102 117·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,Val>(home,vb),·v(vb.val())·{
103 118·if·(!v())103 118·if·(!v())
104 119·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("ValSelFunction::ValSelFunction");104 119·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("ValSelFunction::ValSelFunction");
105 120·}105 120·}
106 121·template<class·View>106 121·template<class·View>
107 122·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e107 122·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
108 _\x81_\x82_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs)108 _\x81_\x82_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs)
109 124·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<_.V_.i_.e_.w,_\x8V_\x8a_\x8l>(home,vs),·v(vs.v)·{109 124·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,_\x8V_\x8a_\x8l>(home,vs),·v(vs.v)·{
110 125·}110 125·}
111 126·template<class·View>111 126·template<class·View>
112 127·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·typename·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l112 127·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·typename·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l
113 _\x81_\x82_\x88·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_.V_.i_.e_.w·_\x8x,·int·i)·{113 _\x81_\x82_\x88·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·View·_\x8x,·int·i)·{
114 129·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());114 129·typename·View::VarType·_\x8y(_\x8x._\x8v_\x8a_\x8r_\x8i_\x8m_\x8p());
115 130·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(v());115 130·_\x8G_\x8E_\x8C_\x8O_\x8D_\x8E_\x8__\x8V_\x8A_\x8L_\x8I_\x8D_\x8__\x8F_\x8U_\x8N_\x8C_\x8T_\x8I_\x8O_\x8N(v());
116 131·return·v()(home,_\x8y,i);116 131·return·v()(home,_\x8y,i);
117 132·}117 132·}
118 133·template<class·View>118 133·template<class·View>
119 134·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool119 134·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
120 _\x81_\x83_\x85·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{120 _\x81_\x83_\x85·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
Generated by diffoscope 265