60.7 KB
/srv/reproducible-results/rbuild-debian/r-b-build.6N0mgvac/b1/gecode_6.2.0-6_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.6N0mgvac/b2/gecode_6.2.0-6_amd64.changes
881 B
Files
    
Offset 1, 9 lines modifiedOffset 1, 9 lines modified
  
1 ·b5018c44947127e3eb731548199357d0·509396·libdevel·optional·libgecode-dev_6.2.0-6_amd64.deb1 ·b5018c44947127e3eb731548199357d0·509396·libdevel·optional·libgecode-dev_6.2.0-6_amd64.deb
2 ·6ce02f571e1021b82e5395073c021106·11572332·doc·optional·libgecode-doc_6.2.0-6_all.deb2 ·04eae4dd636cbedc2aefc2931dda0c4e·11575936·doc·optional·libgecode-doc_6.2.0-6_all.deb
3 ·6894306b08de914d8c636450614ecbb7·61007180·debug·optional·libgecode49t64-dbgsym_6.2.0-6_amd64.deb3 ·6894306b08de914d8c636450614ecbb7·61007180·debug·optional·libgecode49t64-dbgsym_6.2.0-6_amd64.deb
4 ·efb2d0fb41f8444f9957853524492013·3064352·libs·optional·libgecode49t64_6.2.0-6_amd64.deb4 ·efb2d0fb41f8444f9957853524492013·3064352·libs·optional·libgecode49t64_6.2.0-6_amd64.deb
5 ·bf28e6306d61f21b7ec718b6966bde2b·2726164·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-6_amd64.deb5 ·bf28e6306d61f21b7ec718b6966bde2b·2726164·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-6_amd64.deb
6 ·56cd67a15288275b983c7b462bca6723·272380·libs·optional·libgecodeflatzinc49t64_6.2.0-6_amd64.deb6 ·56cd67a15288275b983c7b462bca6723·272380·libs·optional·libgecodeflatzinc49t64_6.2.0-6_amd64.deb
7 ·fef546f90bd50bb2a6f51bffa04c2dc0·4222388·debug·optional·libgecodegist49t64-dbgsym_6.2.0-6_amd64.deb7 ·fef546f90bd50bb2a6f51bffa04c2dc0·4222388·debug·optional·libgecodegist49t64-dbgsym_6.2.0-6_amd64.deb
8 ·d9b4af21c331f97b71c0f2d6caee91d5·169172·libs·optional·libgecodegist49t64_6.2.0-6_amd64.deb8 ·d9b4af21c331f97b71c0f2d6caee91d5·169172·libs·optional·libgecodegist49t64_6.2.0-6_amd64.deb
59.7 KB
libgecode-doc_6.2.0-6_all.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-08-27·03:47:35.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-08-27·03:47:35.000000·debian-binary
2 -rw-r--r--···0········0········0···156180·2024-08-27·03:47:35.000000·control.tar.xz2 -rw-r--r--···0········0········0···156152·2024-08-27·03:47:35.000000·control.tar.xz
3 -rw-r--r--···0········0········0·11415960·2024-08-27·03:47:35.000000·data.tar.xz3 -rw-r--r--···0········0········0·11419592·2024-08-27·03:47:35.000000·data.tar.xz
542 B
control.tar.xz
514 B
control.tar
444 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libgecode-doc1 Package:·libgecode-doc
2 Source:·gecode2 Source:·gecode
3 Version:·6.2.0-63 Version:·6.2.0-6
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:·230381
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:·https://www.gecode.org/11 Homepage:·https://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-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp.html5605 -rw-r--r--···0·root·········(0)·root·········(0)·····4339·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp.html
5606 -rw-r--r--···0·root·········(0)·root·········(0)····40615·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp_source.html5606 -rw-r--r--···0·root·········(0)·root·········(0)····40615·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2afc_8hpp_source.html
5607 -rw-r--r--···0·root·········(0)·root·········(0)·····3619·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp.html5607 -rw-r--r--···0·root·········(0)·root·········(0)·····3619·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp.html
5608 -rw-r--r--···0·root·········(0)·root·········(0)····18641·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp_source.html5608 -rw-r--r--···0·root·········(0)·root·········(0)····18641·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8cpp_source.html
5609 -rw-r--r--···0·root·········(0)·root·········(0)·····6544·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp.html5609 -rw-r--r--···0·root·········(0)·root·········(0)·····6544·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp.html
5610 -rw-r--r--···0·root·········(0)·root·········(0)···135052·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp_source.html5610 -rw-r--r--···0·root·········(0)·root·········(0)···135052·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2chb_8hpp_source.html
5611 -rw-r--r--···0·root·········(0)·root·········(0)·····6839·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp.html5611 -rw-r--r--···0·root·········(0)·root·········(0)·····6839·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp.html
5612 -rw-r--r--···0·root·········(0)·root·········(0)····88144·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp_source.html5612 -rw-r--r--···0·root·········(0)·root·········(0)····89164·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2merit_8hpp_source.html
5613 -rw-r--r--···0·root·········(0)·root·········(0)·····6368·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp.html5613 -rw-r--r--···0·root·········(0)·root·········(0)·····6368·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp.html
5614 -rw-r--r--···0·root·········(0)·root·········(0)····48730·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp_source.html5614 -rw-r--r--···0·root·········(0)·root·········(0)····48730·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2print_8hpp_source.html
5615 -rw-r--r--···0·root·········(0)·root·········(0)·····4200·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp.html5615 -rw-r--r--···0·root·········(0)·root·········(0)·····4200·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp.html
5616 -rw-r--r--···0·root·········(0)·root·········(0)·····9806·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp_source.html5616 -rw-r--r--···0·root·········(0)·root·········(0)·····9806·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2traits_8hpp_source.html
5617 -rw-r--r--···0·root·········(0)·root·········(0)·····4737·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp.html5617 -rw-r--r--···0·root·········(0)·root·········(0)·····4737·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp.html
5618 -rw-r--r--···0·root·········(0)·root·········(0)····52268·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-commit_8hpp_source.html5618 -rw-r--r--···0·root·········(0)·root·········(0)····52778·2024-08-27·03:47:35.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-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp.html5619 -rw-r--r--···0·root·········(0)·root·········(0)·····4706·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp.html
5620 -rw-r--r--···0·root·········(0)·root·········(0)····42325·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val-sel_8hpp_source.html5620 -rw-r--r--···0·root·········(0)·root·········(0)····42523·2024-08-27·03:47:35.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-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val_8hpp.html5621 -rw-r--r--···0·root·········(0)·root·········(0)·····4189·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val_8hpp.html
5622 -rw-r--r--···0·root·········(0)·root·········(0)····29475·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val_8hpp_source.html5622 -rw-r--r--···0·root·········(0)·root·········(0)····29475·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2val_8hpp_source.html
5623 -rw-r--r--···0·root·········(0)·root·········(0)·····5278·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2var_8hpp.html5623 -rw-r--r--···0·root·········(0)·root·········(0)·····5278·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2var_8hpp.html
5624 -rw-r--r--···0·root·········(0)·root·········(0)····65617·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2var_8hpp_source.html5624 -rw-r--r--···0·root·········(0)·root·········(0)····65617·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2var_8hpp_source.html
5625 -rw-r--r--···0·root·········(0)·root·········(0)·····5137·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2view_8hpp.html5625 -rw-r--r--···0·root·········(0)·root·········(0)·····5137·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2view_8hpp.html
5626 -rw-r--r--···0·root·········(0)·root·········(0)····66535·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2view_8hpp_source.html5626 -rw-r--r--···0·root·········(0)·root·········(0)····66535·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2branch_2view_8hpp_source.html
5627 -rw-r--r--···0·root·········(0)·root·········(0)····32308·2024-08-27·03:47:35.000000·./usr/share/doc/libgecode-doc/html/kernel_2data_2array_8hpp.html5627 -rw-r--r--···0·root·········(0)·root·········(0)····32308·2024-08-27·03:47:35.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;View,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;<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,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,·View·<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,·<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>
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>
Offset 258, 40 lines modifiedOffset 258, 40 lines modified
258 <div·class="line"><a·id="l00225"·name="l00225"></a><span·class="lineno">··225</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree&lt;View&gt;::MeritDegree</a></div>258 <div·class="line"><a·id="l00225"·name="l00225"></a><span·class="lineno">··225</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree&lt;View&gt;::MeritDegree</a></div>
259 <div·class="line"><a·id="l00226"·name="l00226"></a><span·class="lineno">··226</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritDegree&lt;View&gt;::Var</a>&gt;&amp;·vb)</div>259 <div·class="line"><a·id="l00226"·name="l00226"></a><span·class="lineno">··226</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritDegree&lt;View&gt;::Var</a>&gt;&amp;·vb)</div>
260 <div·class="line"><a·id="l00227"·name="l00227"></a><span·class="lineno">··227</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,unsigned·int&gt;(home,vb)·{}</div>260 <div·class="line"><a·id="l00227"·name="l00227"></a><span·class="lineno">··227</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,unsigned·int&gt;(home,vb)·{}</div>
261 <div·class="line"><a·id="l00228"·name="l00228"></a><span·class="lineno">··228</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>261 <div·class="line"><a·id="l00228"·name="l00228"></a><span·class="lineno">··228</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
262 <div·class="line"><a·id="l00229"·name="l00229"></a><span·class="lineno">··229</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>262 <div·class="line"><a·id="l00229"·name="l00229"></a><span·class="lineno">··229</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
263 <div·class="foldopen"·id="foldopen00230"·data-start="{"·data-end="}">263 <div·class="foldopen"·id="foldopen00230"·data-start="{"·data-end="}">
264 <div·class="line"><a·id="l00230"·name="l00230"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritDegree.html#a697db8d8140489f1b2681c593e4a4bbe">··230</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree&lt;View&gt;::MeritDegree</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritDegree.html">MeritDegree</a>&amp;·md)</div>264 <div·class="line"><a·id="l00230"·name="l00230"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritDegree.html#a697db8d8140489f1b2681c593e4a4bbe">··230</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree&lt;View&gt;::MeritDegree</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritDegree.html">MeritDegree</a>&amp;·md)</div>
265 <div·class="line"><a·id="l00231"·name="l00231"></a><span·class="lineno">··231</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,unsigned·int&gt;(home,md)·{}</div>265 <div·class="line"><a·id="l00231"·name="l00231"></a><span·class="lineno">··231</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,unsigned·int&gt;(home,md)·{}</div>
266 </div>266 </div>
267 <div·class="line"><a·id="l00232"·name="l00232"></a><span·class="lineno">··232</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>267 <div·class="line"><a·id="l00232"·name="l00232"></a><span·class="lineno">··232</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
268 <div·class="line"><a·id="l00233"·name="l00233"></a><span·class="lineno">··233</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span></div>268 <div·class="line"><a·id="l00233"·name="l00233"></a><span·class="lineno">··233</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span></div>
269 <div·class="foldopen"·id="foldopen00234"·data-start="{"·data-end="}">269 <div·class="foldopen"·id="foldopen00234"·data-start="{"·data-end="}">
270 <div·class="line"><a·id="l00234"·name="l00234"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritDegree.html#ab57c891b12a257515b2df8baa5a70e5e">··234</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#ab57c891b12a257515b2df8baa5a70e5e">MeritDegree&lt;View&gt;::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>270 <div·class="line"><a·id="l00234"·name="l00234"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritDegree.html#ab57c891b12a257515b2df8baa5a70e5e">··234</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#ab57c891b12a257515b2df8baa5a70e5e">MeritDegree&lt;View&gt;::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>
271 <div·class="line"><a·id="l00235"·name="l00235"></a><span·class="lineno">··235</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#a98fa673c190af2e62304013f05c3ed34">degree</a>();</div>271 <div·class="line"><a·id="l00235"·name="l00235"></a><span·class="lineno">··235</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#a98fa673c190af2e62304013f05c3ed34">degree</a>();</div>
272 <div·class="line"><a·id="l00236"·name="l00236"></a><span·class="lineno">··236</span>··}</div>272 <div·class="line"><a·id="l00236"·name="l00236"></a><span·class="lineno">··236</span>··}</div>
273 </div>273 </div>
274 <div·class="line"><a·id="l00237"·name="l00237"></a><span·class="lineno">··237</span>·</div>274 <div·class="line"><a·id="l00237"·name="l00237"></a><span·class="lineno">··237</span>·</div>
275 <div·class="line"><a·id="l00238"·name="l00238"></a><span·class="lineno">··238</span>··<span·class="comment">//·AFC·merit</span></div>275 <div·class="line"><a·id="l00238"·name="l00238"></a><span·class="lineno">··238</span>··<span·class="comment">//·AFC·merit</span></div>
276 <div·class="line"><a·id="l00239"·name="l00239"></a><span·class="lineno">··239</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>276 <div·class="line"><a·id="l00239"·name="l00239"></a><span·class="lineno">··239</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
277 <div·class="line"><a·id="l00240"·name="l00240"></a><span·class="lineno">··240</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>277 <div·class="line"><a·id="l00240"·name="l00240"></a><span·class="lineno">··240</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
278 <div·class="line"><a·id="l00241"·name="l00241"></a><span·class="lineno">··241</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAFC.html#aa14c944e363f71f2c059f7a11dd7764d">MeritAFC&lt;View&gt;::MeritAFC</a></div>278 <div·class="line"><a·id="l00241"·name="l00241"></a><span·class="lineno">··241</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAFC.html#aa14c944e363f71f2c059f7a11dd7764d">MeritAFC&lt;View&gt;::MeritAFC</a></div>
279 <div·class="line"><a·id="l00242"·name="l00242"></a><span·class="lineno">··242</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritAFC&lt;View&gt;::Var</a>&gt;&amp;·vb)</div>279 <div·class="line"><a·id="l00242"·name="l00242"></a><span·class="lineno">··242</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritAFC&lt;View&gt;::Var</a>&gt;&amp;·vb)</div>
280 <div·class="line"><a·id="l00243"·name="l00243"></a><span·class="lineno">··243</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,double&gt;(home,vb),·afc(vb.afc())·{}</div>280 <div·class="line"><a·id="l00243"·name="l00243"></a><span·class="lineno">··243</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,double&gt;(home,vb),·afc(vb.afc())·{}</div>
281 <div·class="line"><a·id="l00244"·name="l00244"></a><span·class="lineno">··244</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>281 <div·class="line"><a·id="l00244"·name="l00244"></a><span·class="lineno">··244</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
282 <div·class="line"><a·id="l00245"·name="l00245"></a><span·class="lineno">··245</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>282 <div·class="line"><a·id="l00245"·name="l00245"></a><span·class="lineno">··245</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
283 <div·class="foldopen"·id="foldopen00246"·data-start="{"·data-end="}">283 <div·class="foldopen"·id="foldopen00246"·data-start="{"·data-end="}">
284 <div·class="line"><a·id="l00246"·name="l00246"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAFC.html#ade3a2528bdb8dfe3c30eea6ecabf3c04">··246</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAFC.html#aa14c944e363f71f2c059f7a11dd7764d">MeritAFC&lt;View&gt;::MeritAFC</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritAFC.html">MeritAFC</a>&amp;·ma)</div>284 <div·class="line"><a·id="l00246"·name="l00246"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAFC.html#ade3a2528bdb8dfe3c30eea6ecabf3c04">··246</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAFC.html#aa14c944e363f71f2c059f7a11dd7764d">MeritAFC&lt;View&gt;::MeritAFC</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritAFC.html">MeritAFC</a>&amp;·ma)</div>
285 <div·class="line"><a·id="l00247"·name="l00247"></a><span·class="lineno">··247</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,double&gt;(home,ma),·afc(ma.afc)·{}</div>285 <div·class="line"><a·id="l00247"·name="l00247"></a><span·class="lineno">··247</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,ma),·afc(ma.afc)·{}</div>
286 </div>286 </div>
287 <div·class="line"><a·id="l00248"·name="l00248"></a><span·class="lineno">··248</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>287 <div·class="line"><a·id="l00248"·name="l00248"></a><span·class="lineno">··248</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
288 <div·class="line"><a·id="l00249"·name="l00249"></a><span·class="lineno">··249</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div>288 <div·class="line"><a·id="l00249"·name="l00249"></a><span·class="lineno">··249</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div>
289 <div·class="foldopen"·id="foldopen00250"·data-start="{"·data-end="}">289 <div·class="foldopen"·id="foldopen00250"·data-start="{"·data-end="}">
290 <div·class="line"><a·id="l00250"·name="l00250"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAFC.html#ad963beeb6e5abcb181e21e47b72d0087">··250</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAFC.html#ad963beeb6e5abcb181e21e47b72d0087">MeritAFC&lt;View&gt;::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>290 <div·class="line"><a·id="l00250"·name="l00250"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAFC.html#ad963beeb6e5abcb181e21e47b72d0087">··250</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAFC.html#ad963beeb6e5abcb181e21e47b72d0087">MeritAFC&lt;View&gt;::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div>
291 <div·class="line"><a·id="l00251"·name="l00251"></a><span·class="lineno">··251</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#ad0a97daf0cd581c1471c17166fd1d084">afc</a>();</div>291 <div·class="line"><a·id="l00251"·name="l00251"></a><span·class="lineno">··251</span>····<span·class="keywordflow">return</span>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#ad0a97daf0cd581c1471c17166fd1d084">afc</a>();</div>
292 <div·class="line"><a·id="l00252"·name="l00252"></a><span·class="lineno">··252</span>··}</div>292 <div·class="line"><a·id="l00252"·name="l00252"></a><span·class="lineno">··252</span>··}</div>
293 </div>293 </div>
294 <div·class="line"><a·id="l00253"·name="l00253"></a><span·class="lineno">··253</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>294 <div·class="line"><a·id="l00253"·name="l00253"></a><span·class="lineno">··253</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
295 <div·class="line"><a·id="l00254"·name="l00254"></a><span·class="lineno">··254</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>295 <div·class="line"><a·id="l00254"·name="l00254"></a><span·class="lineno">··254</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>
296 <div·class="foldopen"·id="foldopen00255"·data-start="{"·data-end="}">296 <div·class="foldopen"·id="foldopen00255"·data-start="{"·data-end="}">
297 <div·class="line"><a·id="l00255"·name="l00255"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAFC.html#af6c49071dce87b182805bebf06d20f59">··255</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAFC.html#af6c49071dce87b182805bebf06d20f59">MeritAFC&lt;View&gt;::notice</a>(<span·class="keywordtype">void</span>)<span·class="keyword">·const·</span>{</div>297 <div·class="line"><a·id="l00255"·name="l00255"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAFC.html#af6c49071dce87b182805bebf06d20f59">··255</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAFC.html#af6c49071dce87b182805bebf06d20f59">MeritAFC&lt;View&gt;::notice</a>(<span·class="keywordtype">void</span>)<span·class="keyword">·const·</span>{</div>
Offset 315, 20 lines modifiedOffset 315, 20 lines modified
315 <div·class="line"><a·id="l00270"·name="l00270"></a><span·class="lineno">··270</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAction.html#a36ff6d0cb67ece2eb030ef852f505dd4">MeritAction&lt;View&gt;::MeritAction</a></div>315 <div·class="line"><a·id="l00270"·name="l00270"></a><span·class="lineno">··270</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAction.html#a36ff6d0cb67ece2eb030ef852f505dd4">MeritAction&lt;View&gt;::MeritAction</a></div>
316 <div·class="line"><a·id="l00271"·name="l00271"></a><span·class="lineno">··271</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritAction&lt;View&gt;::Var</a>&gt;&amp;·vb)</div>316 <div·class="line"><a·id="l00271"·name="l00271"></a><span·class="lineno">··271</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritAction&lt;View&gt;::Var</a>&gt;&amp;·vb)</div>
317 <div·class="line"><a·id="l00272"·name="l00272"></a><span·class="lineno">··272</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,double&gt;(home,vb),·action(vb.action())·{}</div>317 <div·class="line"><a·id="l00272"·name="l00272"></a><span·class="lineno">··272</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,double&gt;(home,vb),·action(vb.action())·{}</div>
318 <div·class="line"><a·id="l00273"·name="l00273"></a><span·class="lineno">··273</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>318 <div·class="line"><a·id="l00273"·name="l00273"></a><span·class="lineno">··273</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
319 <div·class="line"><a·id="l00274"·name="l00274"></a><span·class="lineno">··274</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>319 <div·class="line"><a·id="l00274"·name="l00274"></a><span·class="lineno">··274</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
320 <div·class="foldopen"·id="foldopen00275"·data-start="{"·data-end="}">320 <div·class="foldopen"·id="foldopen00275"·data-start="{"·data-end="}">
321 <div·class="line"><a·id="l00275"·name="l00275"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAction.html#a3a6f6217f089b48f3d9b149e9d292201">··275</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAction.html#a36ff6d0cb67ece2eb030ef852f505dd4">MeritAction&lt;View&gt;::MeritAction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritAction.html">MeritAction</a>&amp;·ma)</div>321 <div·class="line"><a·id="l00275"·name="l00275"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAction.html#a3a6f6217f089b48f3d9b149e9d292201">··275</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAction.html#a36ff6d0cb67ece2eb030ef852f505dd4">MeritAction&lt;View&gt;::MeritAction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritAction.html">MeritAction</a>&amp;·ma)</div>
322 <div·class="line"><a·id="l00276"·name="l00276"></a><span·class="lineno">··276</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,double&gt;(home,ma),·action(ma.action)·{}</div>322 <div·class="line"><a·id="l00276"·name="l00276"></a><span·class="lineno">··276</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,ma),·action(ma.action)·{}</div>
323 </div>323 </div>
324 <div·class="line"><a·id="l00277"·name="l00277"></a><span·class="lineno">··277</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>324 <div·class="line"><a·id="l00277"·name="l00277"></a><span·class="lineno">··277</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
325 <div·class="line"><a·id="l00278"·name="l00278"></a><span·class="lineno">··278</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div>325 <div·class="line"><a·id="l00278"·name="l00278"></a><span·class="lineno">··278</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div>
326 <div·class="foldopen"·id="foldopen00279"·data-start="{"·data-end="}">326 <div·class="foldopen"·id="foldopen00279"·data-start="{"·data-end="}">
327 <div·class="line"><a·id="l00279"·name="l00279"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAction.html#a9b242d2cfed3bbb5e9dd988b8ab7da2f">··279</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAction.html#a9b242d2cfed3bbb5e9dd988b8ab7da2f">MeritAction&lt;View&gt;::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·View,·<span·class="keywordtype">int</span>·i)·{</div>327 <div·class="line"><a·id="l00279"·name="l00279"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAction.html#a9b242d2cfed3bbb5e9dd988b8ab7da2f">··279</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAction.html#a9b242d2cfed3bbb5e9dd988b8ab7da2f">MeritAction&lt;View&gt;::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,·<span·class="keywordtype">int</span>·i)·{</div>
328 <div·class="line"><a·id="l00280"·name="l00280"></a><span·class="lineno">··280</span>····<span·class="keywordflow">return</span>·action[i];</div>328 <div·class="line"><a·id="l00280"·name="l00280"></a><span·class="lineno">··280</span>····<span·class="keywordflow">return</span>·action[i];</div>
329 <div·class="line"><a·id="l00281"·name="l00281"></a><span·class="lineno">··281</span>··}</div>329 <div·class="line"><a·id="l00281"·name="l00281"></a><span·class="lineno">··281</span>··}</div>
330 </div>330 </div>
331 <div·class="line"><a·id="l00282"·name="l00282"></a><span·class="lineno">··282</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>331 <div·class="line"><a·id="l00282"·name="l00282"></a><span·class="lineno">··282</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
332 <div·class="line"><a·id="l00283"·name="l00283"></a><span·class="lineno">··283</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>332 <div·class="line"><a·id="l00283"·name="l00283"></a><span·class="lineno">··283</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>
333 <div·class="foldopen"·id="foldopen00284"·data-start="{"·data-end="}">333 <div·class="foldopen"·id="foldopen00284"·data-start="{"·data-end="}">
334 <div·class="line"><a·id="l00284"·name="l00284"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAction.html#a9c3394ea233c492ae60af42da86c64c4">··284</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAction.html#a9c3394ea233c492ae60af42da86c64c4">MeritAction&lt;View&gt;::notice</a>(<span·class="keywordtype">void</span>)<span·class="keyword">·const·</span>{</div>334 <div·class="line"><a·id="l00284"·name="l00284"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritAction.html#a9c3394ea233c492ae60af42da86c64c4">··284</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritAction.html#a9c3394ea233c492ae60af42da86c64c4">MeritAction&lt;View&gt;::notice</a>(<span·class="keywordtype">void</span>)<span·class="keyword">·const·</span>{</div>
Offset 349, 20 lines modifiedOffset 349, 20 lines modified
349 <div·class="line"><a·id="l00296"·name="l00296"></a><span·class="lineno">··296</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritCHB.html#a5532bc2a2db41c1adc597ba960ff09db">MeritCHB&lt;View&gt;::MeritCHB</a></div>349 <div·class="line"><a·id="l00296"·name="l00296"></a><span·class="lineno">··296</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritCHB.html#a5532bc2a2db41c1adc597ba960ff09db">MeritCHB&lt;View&gt;::MeritCHB</a></div>
350 <div·class="line"><a·id="l00297"·name="l00297"></a><span·class="lineno">··297</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritCHB&lt;View&gt;::Var</a>&gt;&amp;·vb)</div>350 <div·class="line"><a·id="l00297"·name="l00297"></a><span·class="lineno">··297</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a>&lt;<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritCHB&lt;View&gt;::Var</a>&gt;&amp;·vb)</div>
351 <div·class="line"><a·id="l00298"·name="l00298"></a><span·class="lineno">··298</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,double&gt;(home,vb),·chb(vb.chb())·{}</div>351 <div·class="line"><a·id="l00298"·name="l00298"></a><span·class="lineno">··298</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,double&gt;(home,vb),·chb(vb.chb())·{}</div>
352 <div·class="line"><a·id="l00299"·name="l00299"></a><span·class="lineno">··299</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>352 <div·class="line"><a·id="l00299"·name="l00299"></a><span·class="lineno">··299</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
353 <div·class="line"><a·id="l00300"·name="l00300"></a><span·class="lineno">··300</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>353 <div·class="line"><a·id="l00300"·name="l00300"></a><span·class="lineno">··300</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div>
354 <div·class="foldopen"·id="foldopen00301"·data-start="{"·data-end="}">354 <div·class="foldopen"·id="foldopen00301"·data-start="{"·data-end="}">
355 <div·class="line"><a·id="l00301"·name="l00301"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritCHB.html#a135b427219be04b958dfeacfef6709b2">··301</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritCHB.html#a5532bc2a2db41c1adc597ba960ff09db">MeritCHB&lt;View&gt;::MeritCHB</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritCHB.html">MeritCHB</a>&amp;·ma)</div>355 <div·class="line"><a·id="l00301"·name="l00301"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritCHB.html#a135b427219be04b958dfeacfef6709b2">··301</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritCHB.html#a5532bc2a2db41c1adc597ba960ff09db">MeritCHB&lt;View&gt;::MeritCHB</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritCHB.html">MeritCHB</a>&amp;·ma)</div>
356 <div·class="line"><a·id="l00302"·name="l00302"></a><span·class="lineno">··302</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a>&lt;View,double&gt;(home,ma),·chb(ma.chb)·{}</div>356 <div·class="line"><a·id="l00302"·name="l00302"></a><span·class="lineno">··302</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,ma),·chb(ma.chb)·{}</div>
357 </div>357 </div>
358 <div·class="line"><a·id="l00303"·name="l00303"></a><span·class="lineno">··303</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>358 <div·class="line"><a·id="l00303"·name="l00303"></a><span·class="lineno">··303</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
359 <div·class="line"><a·id="l00304"·name="l00304"></a><span·class="lineno">··304</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div>359 <div·class="line"><a·id="l00304"·name="l00304"></a><span·class="lineno">··304</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div>
360 <div·class="foldopen"·id="foldopen00305"·data-start="{"·data-end="}">360 <div·class="foldopen"·id="foldopen00305"·data-start="{"·data-end="}">
361 <div·class="line"><a·id="l00305"·name="l00305"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritCHB.html#ac3f9ed2f18297e107e9350a766c9ac98">··305</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritCHB.html#ac3f9ed2f18297e107e9350a766c9ac98">MeritCHB&lt;View&gt;::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·View,·<span·class="keywordtype">int</span>·i)·{</div>361 <div·class="line"><a·id="l00305"·name="l00305"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritCHB.html#ac3f9ed2f18297e107e9350a766c9ac98">··305</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritCHB.html#ac3f9ed2f18297e107e9350a766c9ac98">MeritCHB&lt;View&gt;::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&amp;,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,·<span·class="keywordtype">int</span>·i)·{</div>
362 <div·class="line"><a·id="l00306"·name="l00306"></a><span·class="lineno">··306</span>····<span·class="keywordflow">return</span>·chb[i];</div>362 <div·class="line"><a·id="l00306"·name="l00306"></a><span·class="lineno">··306</span>····<span·class="keywordflow">return</span>·chb[i];</div>
363 <div·class="line"><a·id="l00307"·name="l00307"></a><span·class="lineno">··307</span>··}</div>363 <div·class="line"><a·id="l00307"·name="l00307"></a><span·class="lineno">··307</span>··}</div>
364 </div>364 </div>
365 <div·class="line"><a·id="l00308"·name="l00308"></a><span·class="lineno">··308</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>365 <div·class="line"><a·id="l00308"·name="l00308"></a><span·class="lineno">··308</span>··<span·class="keyword">template</span>&lt;<span·class="keyword">class</span>·View&gt;</div>
366 <div·class="line"><a·id="l00309"·name="l00309"></a><span·class="lineno">··309</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>366 <div·class="line"><a·id="l00309"·name="l00309"></a><span·class="lineno">··309</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div>
367 <div·class="foldopen"·id="foldopen00310"·data-start="{"·data-end="}">367 <div·class="foldopen"·id="foldopen00310"·data-start="{"·data-end="}">
368 <div·class="line"><a·id="l00310"·name="l00310"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritCHB.html#ac086da8cc7287193e58865f892ab785e">··310</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritCHB.html#ac086da8cc7287193e58865f892ab785e">MeritCHB&lt;View&gt;::notice</a>(<span·class="keywordtype">void</span>)<span·class="keyword">·const·</span>{</div>368 <div·class="line"><a·id="l00310"·name="l00310"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritCHB.html#ac086da8cc7287193e58865f892ab785e">··310</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritCHB.html#ac086da8cc7287193e58865f892ab785e">MeritCHB&lt;View&gt;::notice</a>(<span·class="keywordtype">void</span>)<span·class="keyword">·const·</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<View,double>(home,mf),·f(mf.f)·{149 201·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,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,·View·_\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,·_.V_.i_.e_.w·_\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·{
Offset 172, 34 lines modifiedOffset 172, 34 lines modified
172 224·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e172 224·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
173 225·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e173 225·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e
174 226·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)174 226·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
175 227·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,unsigned·int>(home,vb)·{}175 227·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,unsigned·int>(home,vb)·{}
176 228·template<class·View>176 228·template<class·View>
177 229·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e177 229·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
178 _\x82_\x83_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e&·md)178 _\x82_\x83_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e&·md)
179 231·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,unsigned·int>(home,md)·{}179 231·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,unsigned·int>(home,md)·{}
180 232·template<class·View>180 232·template<class·View>
181 233·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·unsigned·int181 233·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·unsigned·int
182 _\x82_\x83_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View·_\x8x,·int)·{182 _\x82_\x83_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w·_\x8x,·int)·{
183 235·return·_\x8x._\x8d_\x8e_\x8g_\x8r_\x8e_\x8e();183 235·return·_\x8x._\x8d_\x8e_\x8g_\x8r_\x8e_\x8e();
184 236·}184 236·}
185 237185 237
186 238·//·AFC·merit186 238·//·AFC·merit
187 239·template<class·View>187 239·template<class·View>
188 240·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e188 240·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
189 241·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C189 241·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C
190 242·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)190 242·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
191 243·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·afc(vb.afc())·{}191 243·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·afc(vb.afc())·{}
192 244·template<class·View>192 244·template<class·View>
193 245·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e193 245·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
194 _\x82_\x84_\x86·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C&·ma)194 _\x82_\x84_\x86·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C&·ma)
195 247·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,ma),·afc(ma.afc)·{}195 247·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,double>(home,ma),·afc(ma.afc)·{}
196 248·template<class·View>196 248·template<class·View>
197 249·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double197 249·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double
198 _\x82_\x85_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View·_\x8x,·int)·{198 _\x82_\x85_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w·_\x8x,·int)·{
199 251·return·_\x8x._\x8a_\x8f_\x8c();199 251·return·_\x8x._\x8a_\x8f_\x8c();
200 252·}200 252·}
201 253·template<class·View>201 253·template<class·View>
202 254·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool202 254·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
203 _\x82_\x85_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{203 _\x82_\x85_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
204 256·//·Given·that·AFC·is·just·a·fake,·this·not·really·necessary204 256·//·Given·that·AFC·is·just·a·fake,·this·not·really·necessary
205 257·return·false;205 257·return·false;
Offset 217, 18 lines modifiedOffset 217, 18 lines modified
217 269·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e217 269·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
218 270·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n218 270·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n
219 271·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)219 271·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
220 272·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·action(vb.action())·{}220 272·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·action(vb.action())·{}
221 273·template<class·View>221 273·template<class·View>
222 274·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e222 274·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
223 _\x82_\x87_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n&·ma)223 _\x82_\x87_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n&·ma)
224 276·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,ma),·action(ma.action)·{}224 276·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,double>(home,ma),·action(ma.action)·{}
225 277·template<class·View>225 277·template<class·View>
226 278·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double226 278·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double
227 _\x82_\x87_\x89·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View,·int·i)·{227 _\x82_\x87_\x89·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w,·int·i)·{
228 280·return·action[i];228 280·return·action[i];
229 281·}229 281·}
230 282·template<class·View>230 282·template<class·View>
231 283·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool231 283·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
232 _\x82_\x88_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{232 _\x82_\x88_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
233 285·return·true;233 285·return·true;
234 286·}234 286·}
Offset 243, 18 lines modifiedOffset 243, 18 lines modified
243 295·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e243 295·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
244 296·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B244 296·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B
245 297·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)245 297·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb)
246 298·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·chb(vb.chb())·{}246 298·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·chb(vb.chb())·{}
247 299·template<class·View>247 299·template<class·View>
248 300·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e248 300·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e
249 _\x83_\x80_\x81·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B&·ma)249 _\x83_\x80_\x81·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B&·ma)
250 302·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,ma),·chb(ma.chb)·{}250 302·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<_.V_.i_.e_.w,double>(home,ma),·chb(ma.chb)·{}
251 303·template<class·View>251 303·template<class·View>
252 304·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double252 304·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double
253 _\x83_\x80_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·View,·int·i)·{253 _\x83_\x80_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·_.V_.i_.e_.w,·int·i)·{
254 306·return·chb[i];254 306·return·chb[i];
255 307·}255 307·}
256 308·template<class·View>256 308·template<class·View>
257 309·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool257 309·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool
258 _\x83_\x81_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{258 _\x83_\x81_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{
259 311·return·true;259 311·return·true;
260 312·}260 312·}
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;View,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;<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,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;View,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;<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,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>,·View·<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>,·<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>
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>,·View,·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>,·<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,·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>·································View,·<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>·································<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>
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<View,Val>(home,vb),·c(vb.commit())·{103 120·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<_.V_.i_.e_.w,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<View,Val>(home,vc),·c(vc.c)·{111 128·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<_.V_.i_.e_.w,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,·View·_\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,·_.V_.i_.e_.w·_\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,·View,·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,·_.V_.i_.e_.w,·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·View,·int·i,·const·Val&,130 147·_.V_.i_.e_.w,·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;View,<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;<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>
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,·View·<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,·<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>
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<View,_\x8V_\x8a_\x8l>(home,vs),·v(vs.v)·{109 124·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<_.V_.i_.e_.w,_\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,·View·_\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,·_.V_.i_.e_.w·_\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·{