Offset 1, 9 lines modified | Offset 1, 9 lines modified | ||
1 | ·b5018c44947127e3eb731548199357d0·509396·libdevel·optional·libgecode-dev_6.2.0-6_amd64.deb | 1 | ·b5018c44947127e3eb731548199357d0·509396·libdevel·optional·libgecode-dev_6.2.0-6_amd64.deb |
2 | · | 2 | ·04eae4dd636cbedc2aefc2931dda0c4e·11575936·doc·optional·libgecode-doc_6.2.0-6_all.deb |
3 | ·6894306b08de914d8c636450614ecbb7·61007180·debug·optional·libgecode49t64-dbgsym_6.2.0-6_amd64.deb | 3 | ·6894306b08de914d8c636450614ecbb7·61007180·debug·optional·libgecode49t64-dbgsym_6.2.0-6_amd64.deb |
4 | ·efb2d0fb41f8444f9957853524492013·3064352·libs·optional·libgecode49t64_6.2.0-6_amd64.deb | 4 | ·efb2d0fb41f8444f9957853524492013·3064352·libs·optional·libgecode49t64_6.2.0-6_amd64.deb |
5 | ·bf28e6306d61f21b7ec718b6966bde2b·2726164·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-6_amd64.deb | 5 | ·bf28e6306d61f21b7ec718b6966bde2b·2726164·debug·optional·libgecodeflatzinc49t64-dbgsym_6.2.0-6_amd64.deb |
6 | ·56cd67a15288275b983c7b462bca6723·272380·libs·optional·libgecodeflatzinc49t64_6.2.0-6_amd64.deb | 6 | ·56cd67a15288275b983c7b462bca6723·272380·libs·optional·libgecodeflatzinc49t64_6.2.0-6_amd64.deb |
7 | ·fef546f90bd50bb2a6f51bffa04c2dc0·4222388·debug·optional·libgecodegist49t64-dbgsym_6.2.0-6_amd64.deb | 7 | ·fef546f90bd50bb2a6f51bffa04c2dc0·4222388·debug·optional·libgecodegist49t64-dbgsym_6.2.0-6_amd64.deb |
8 | ·d9b4af21c331f97b71c0f2d6caee91d5·169172·libs·optional·libgecodegist49t64_6.2.0-6_amd64.deb | 8 | ·d9b4af21c331f97b71c0f2d6caee91d5·169172·libs·optional·libgecodegist49t64_6.2.0-6_amd64.deb |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-08-27·03:47:35.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-08-27·03:47:35.000000·debian-binary |
2 | -rw-r--r--···0········0········0···1561 | 2 | -rw-r--r--···0········0········0···156152·2024-08-27·03:47:35.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0·114159 | 3 | -rw-r--r--···0········0········0·11419592·2024-08-27·03:47:35.000000·data.tar.xz |
Offset 1, 13 lines modified | Offset 1, 13 lines modified | ||
1 | Package:·libgecode-doc | 1 | Package:·libgecode-doc |
2 | Source:·gecode | 2 | Source:·gecode |
3 | Version:·6.2.0-6 | 3 | Version:·6.2.0-6 |
4 | Architecture:·all | 4 | Architecture:·all |
5 | Maintainer:·Kari·Pahula·<kaol@debian.org> | 5 | Maintainer:·Kari·Pahula·<kaol@debian.org> |
6 | Installed-Size:·23038 | 6 | Installed-Size:·230381 |
7 | Depends:·libjs-jquery | 7 | Depends:·libjs-jquery |
8 | Suggests:·libgecode-dev | 8 | Suggests:·libgecode-dev |
9 | Section:·doc | 9 | Section:·doc |
10 | Priority:·optional | 10 | Priority:·optional |
11 | Homepage:·https://www.gecode.org/ | 11 | Homepage:·https://www.gecode.org/ |
12 | Description:·generic·constraint·development·environment | 12 | Description:·generic·constraint·development·environment |
13 | ·Gecode·is·a·toolkit·for·developing·constraint-based·systems·and | 13 | ·Gecode·is·a·toolkit·for·developing·constraint-based·systems·and |
Offset 5605, 23 lines modified | Offset 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.html | 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.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.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.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.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.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.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.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.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.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.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.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.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.html |
5612 | -rw-r--r--···0·root·········(0)·root·········(0)····8 | 5612 | -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.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.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.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.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.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.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.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.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.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.html |
5618 | -rw-r--r--···0·root·········(0)·root·········(0)····52 | 5618 | -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.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.html |
5620 | -rw-r--r--···0·root·········(0)·root·········(0)····42 | 5620 | -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.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.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.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.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.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.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.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.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.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.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.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.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.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.html |
Offset 220, 21 lines modified | Offset 220, 21 lines modified | ||
220 | <div·class="line"><a·id="l00195"·name="l00195"></a><span·class="lineno">··195</span>····<span·class="keywordflow">if</span>·(!f())</div> | 220 | <div·class="line"><a·id="l00195"·name="l00195"></a><span·class="lineno">··195</span>····<span·class="keywordflow">if</span>·(!f())</div> |
221 | <div·class="line"><a·id="l00196"·name="l00196"></a><span·class="lineno">··196</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">"MeritFunction::MeritFunction"</span>);</div> | 221 | <div·class="line"><a·id="l00196"·name="l00196"></a><span·class="lineno">··196</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">"MeritFunction::MeritFunction"</span>);</div> |
222 | <div·class="line"><a·id="l00197"·name="l00197"></a><span·class="lineno">··197</span>··}</div> | 222 | <div·class="line"><a·id="l00197"·name="l00197"></a><span·class="lineno">··197</span>··}</div> |
223 | <div·class="line"><a·id="l00198"·name="l00198"></a><span·class="lineno">··198</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> | 223 | <div·class="line"><a·id="l00198"·name="l00198"></a><span·class="lineno">··198</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> |
224 | <div·class="line"><a·id="l00199"·name="l00199"></a><span·class="lineno">··199</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div> | 224 | <div·class="line"><a·id="l00199"·name="l00199"></a><span·class="lineno">··199</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div> |
225 | <div·class="foldopen"·id="foldopen00200"·data-start="{"·data-end="}"> | 225 | <div·class="foldopen"·id="foldopen00200"·data-start="{"·data-end="}"> |
226 | <div·class="line"><a·id="l00200"·name="l00200"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritFunction.html#a731a0f561e003fe1d182c61b78b4adb5">··200</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritFunction.html#abd924d9e83eedca9146c42fc9f59669d">MeritFunction<View>::MeritFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritFunction.html">MeritFunction</a>&·mf)</div> | 226 | <div·class="line"><a·id="l00200"·name="l00200"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritFunction.html#a731a0f561e003fe1d182c61b78b4adb5">··200</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritFunction.html#abd924d9e83eedca9146c42fc9f59669d">MeritFunction<View>::MeritFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritFunction.html">MeritFunction</a>&·mf)</div> |
227 | <div·class="line"><a·id="l00201"·name="l00201"></a><span·class="lineno">··201</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,double>(home,mf),·f(mf.f)·{</div> | 227 | <div·class="line"><a·id="l00201"·name="l00201"></a><span·class="lineno">··201</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,double>(home,mf),·f(mf.f)·{</div> |
228 | <div·class="line"><a·id="l00202"·name="l00202"></a><span·class="lineno">··202</span>··}</div> | 228 | <div·class="line"><a·id="l00202"·name="l00202"></a><span·class="lineno">··202</span>··}</div> |
229 | </div> | 229 | </div> |
230 | <div·class="line"><a·id="l00203"·name="l00203"></a><span·class="lineno">··203</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> | 230 | <div·class="line"><a·id="l00203"·name="l00203"></a><span·class="lineno">··203</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> |
231 | <div·class="line"><a·id="l00204"·name="l00204"></a><span·class="lineno">··204</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div> | 231 | <div·class="line"><a·id="l00204"·name="l00204"></a><span·class="lineno">··204</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">double</span></div> |
232 | <div·class="foldopen"·id="foldopen00205"·data-start="{"·data-end="}"> | 232 | <div·class="foldopen"·id="foldopen00205"·data-start="{"·data-end="}"> |
233 | <div·class="line"><a·id="l00205"·name="l00205"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritFunction.html#a2c8dec9951bf0cda025e1b84e6f59b26">··205</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritFunction.html#a2c8dec9951bf0cda025e1b84e6f59b26">MeritFunction<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·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<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i)·{</div> |
234 | <div·class="line"><a·id="l00206"·name="l00206"></a><span·class="lineno">··206</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div> | 234 | <div·class="line"><a·id="l00206"·name="l00206"></a><span·class="lineno">··206</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div> |
235 | <div·class="line"><a·id="l00207"·name="l00207"></a><span·class="lineno">··207</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(f());</div> | 235 | <div·class="line"><a·id="l00207"·name="l00207"></a><span·class="lineno">··207</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(f());</div> |
236 | <div·class="line"><a·id="l00208"·name="l00208"></a><span·class="lineno">··208</span>····<span·class="keywordflow">return</span>·f()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div> | 236 | <div·class="line"><a·id="l00208"·name="l00208"></a><span·class="lineno">··208</span>····<span·class="keywordflow">return</span>·f()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div> |
237 | <div·class="line"><a·id="l00209"·name="l00209"></a><span·class="lineno">··209</span>··}</div> | 237 | <div·class="line"><a·id="l00209"·name="l00209"></a><span·class="lineno">··209</span>··}</div> |
238 | </div> | 238 | </div> |
239 | <div·class="line"><a·id="l00210"·name="l00210"></a><span·class="lineno">··210</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> | 239 | <div·class="line"><a·id="l00210"·name="l00210"></a><span·class="lineno">··210</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> |
240 | <div·class="line"><a·id="l00211"·name="l00211"></a><span·class="lineno">··211</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div> | 240 | <div·class="line"><a·id="l00211"·name="l00211"></a><span·class="lineno">··211</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div> |
Offset 258, 40 lines modified | Offset 258, 40 lines modified | ||
258 | <div·class="line"><a·id="l00225"·name="l00225"></a><span·class="lineno">··225</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree<View>::MeritDegree</a></div> | 258 | <div·class="line"><a·id="l00225"·name="l00225"></a><span·class="lineno">··225</span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree<View>::MeritDegree</a></div> |
259 | <div·class="line"><a·id="l00226"·name="l00226"></a><span·class="lineno">··226</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritDegree<View>::Var</a>>&·vb)</div> | 259 | <div·class="line"><a·id="l00226"·name="l00226"></a><span·class="lineno">··226</span>····(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritDegree<View>::Var</a>>&·vb)</div> |
260 | <div·class="line"><a·id="l00227"·name="l00227"></a><span·class="lineno">··227</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,unsigned·int>(home,vb)·{}</div> | 260 | <div·class="line"><a·id="l00227"·name="l00227"></a><span·class="lineno">··227</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,unsigned·int>(home,vb)·{}</div> |
261 | <div·class="line"><a·id="l00228"·name="l00228"></a><span·class="lineno">··228</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> | 261 | <div·class="line"><a·id="l00228"·name="l00228"></a><span·class="lineno">··228</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> |
262 | <div·class="line"><a·id="l00229"·name="l00229"></a><span·class="lineno">··229</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div> | 262 | <div·class="line"><a·id="l00229"·name="l00229"></a><span·class="lineno">··229</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div> |
263 | <div·class="foldopen"·id="foldopen00230"·data-start="{"·data-end="}"> | 263 | <div·class="foldopen"·id="foldopen00230"·data-start="{"·data-end="}"> |
264 | <div·class="line"><a·id="l00230"·name="l00230"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritDegree.html#a697db8d8140489f1b2681c593e4a4bbe">··230</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree<View>::MeritDegree</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritDegree.html">MeritDegree</a>&·md)</div> | 264 | <div·class="line"><a·id="l00230"·name="l00230"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritDegree.html#a697db8d8140489f1b2681c593e4a4bbe">··230</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#a8ec18e86348d33cf04bd86df682427ef">MeritDegree<View>::MeritDegree</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritDegree.html">MeritDegree</a>&·md)</div> |
265 | <div·class="line"><a·id="l00231"·name="l00231"></a><span·class="lineno">··231</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><View,unsigned·int>(home,md)·{}</div> | 265 | <div·class="line"><a·id="l00231"·name="l00231"></a><span·class="lineno">··231</span>····:·<a·class="code·hl_class"·href="classGecode_1_1MeritBase.html">MeritBase</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,unsigned·int>(home,md)·{}</div> |
266 | </div> | 266 | </div> |
267 | <div·class="line"><a·id="l00232"·name="l00232"></a><span·class="lineno">··232</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> | 267 | <div·class="line"><a·id="l00232"·name="l00232"></a><span·class="lineno">··232</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> |
268 | <div·class="line"><a·id="l00233"·name="l00233"></a><span·class="lineno">··233</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span></div> | 268 | <div·class="line"><a·id="l00233"·name="l00233"></a><span·class="lineno">··233</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span></div> |
269 | <div·class="foldopen"·id="foldopen00234"·data-start="{"·data-end="}"> | 269 | <div·class="foldopen"·id="foldopen00234"·data-start="{"·data-end="}"> |
270 | <div·class="line"><a·id="l00234"·name="l00234"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1MeritDegree.html#ab57c891b12a257515b2df8baa5a70e5e">··234</a></span>··<a·class="code·hl_function"·href="classGecode_1_1MeritDegree.html#ab57c891b12a257515b2df8baa5a70e5e">MeritDegree<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·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<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div> |
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><<span·class="keyword">class</span>·View></div> | 276 | <div·class="line"><a·id="l00239"·name="l00239"></a><span·class="lineno">··239</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::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<View>::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>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritAFC<View>::Var</a>>&·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>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritAFC<View>::Var</a>>&·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><View,double>(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><View,double>(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><<span·class="keyword">class</span>·View></div> | 281 | <div·class="line"><a·id="l00244"·name="l00244"></a><span·class="lineno">··244</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::MeritAFC</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritAFC.html">MeritAFC</a>&·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<View>::MeritAFC</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritAFC.html">MeritAFC</a>&·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><View,double>(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><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,double>(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><<span·class="keyword">class</span>·View></div> | 287 | <div·class="line"><a·id="l00248"·name="l00248"></a><span·class="lineno">··248</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·View·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div> | 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<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>)·{</div> |
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><<span·class="keyword">class</span>·View></div> | 294 | <div·class="line"><a·id="l00253"·name="l00253"></a><span·class="lineno">··253</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::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<View>::notice</a>(<span·class="keywordtype">void</span>)<span·class="keyword">·const·</span>{</div> |
Offset 315, 20 lines modified | Offset 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<View>::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<View>::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>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritAction<View>::Var</a>>&·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>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritAction<View>::Var</a>>&·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><View,double>(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><View,double>(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><<span·class="keyword">class</span>·View></div> | 318 | <div·class="line"><a·id="l00273"·name="l00273"></a><span·class="lineno">··273</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::MeritAction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritAction.html">MeritAction</a>&·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<View>::MeritAction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritAction.html">MeritAction</a>&·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><View,double>(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><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,double>(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><<span·class="keyword">class</span>·View></div> | 324 | <div·class="line"><a·id="l00277"·name="l00277"></a><span·class="lineno">··277</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·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<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,·<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><<span·class="keyword">class</span>·View></div> | 331 | <div·class="line"><a·id="l00282"·name="l00282"></a><span·class="lineno">··282</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::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<View>::notice</a>(<span·class="keywordtype">void</span>)<span·class="keyword">·const·</span>{</div> |
Offset 349, 20 lines modified | Offset 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<View>::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<View>::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>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritCHB<View>::Var</a>>&·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>&·home,·<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1VarBranch.html">VarBranch</a><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a2583c90a81a4f3c914ac3a968987608b">MeritCHB<View>::Var</a>>&·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><View,double>(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><View,double>(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><<span·class="keyword">class</span>·View></div> | 352 | <div·class="line"><a·id="l00299"·name="l00299"></a><span·class="lineno">··299</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::MeritCHB</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritCHB.html">MeritCHB</a>&·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<View>::MeritCHB</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1MeritCHB.html">MeritCHB</a>&·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><View,double>(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><<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,double>(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><<span·class="keyword">class</span>·View></div> | 358 | <div·class="line"><a·id="l00303"·name="l00303"></a><span·class="lineno">··303</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·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<View>::operator·()</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<a·class="code·hl_typedef"·href="classGecode_1_1MeritBase.html#a07837decee6635d337a2681f2d1a877c">View</a>,·<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><<span·class="keyword">class</span>·View></div> | 365 | <div·class="line"><a·id="l00308"·name="l00308"></a><span·class="lineno">··308</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::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<View>::notice</a>(<span·class="keywordtype">void</span>)<span·class="keyword">·const·</span>{</div> |
Offset 142, 19 lines modified | Offset 142, 19 lines modified | ||
142 | 194·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·f(vb.merit())·{ | 142 | 194·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·f(vb.merit())·{ |
143 | 195·if·(!f()) | 143 | 195·if·(!f()) |
144 | 196·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("MeritFunction::MeritFunction"); | 144 | 196·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("MeritFunction::MeritFunction"); |
145 | 197·} | 145 | 197·} |
146 | 198·template<class·View> | 146 | 198·template<class·View> |
147 | 199·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e | 147 | 199·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
148 | _\x82_\x80_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n&·mf) | 148 | _\x82_\x80_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n&·mf) |
149 | 201·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<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·double | 152 | 204·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double |
153 | _\x82_\x80_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·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·bool | 159 | 211·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool |
160 | _\x82_\x81_\x82·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ | 160 | _\x82_\x81_\x82·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ |
Offset 172, 34 lines modified | Offset 172, 34 lines modified | ||
172 | 224·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e | 172 | 224·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
173 | 225·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e | 173 | 225·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e |
174 | 226·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb) | 174 | 226·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb) |
175 | 227·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,unsigned·int>(home,vb)·{} | 175 | 227·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,unsigned·int>(home,vb)·{} |
176 | 228·template<class·View> | 176 | 228·template<class·View> |
177 | 229·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e | 177 | 229·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
178 | _\x82_\x83_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e&·md) | 178 | _\x82_\x83_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e&·md) |
179 | 231·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<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·int | 181 | 233·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·unsigned·int |
182 | _\x82_\x83_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8D_\x8e_\x8g_\x8r_\x8e_\x8e_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·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 | 237 | 185 | 237 |
186 | 238·//·AFC·merit | 186 | 238·//·AFC·merit |
187 | 239·template<class·View> | 187 | 239·template<class·View> |
188 | 240·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e | 188 | 240·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
189 | 241·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C | 189 | 241·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C |
190 | 242·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb) | 190 | 242·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb) |
191 | 243·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·afc(vb.afc())·{} | 191 | 243·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·afc(vb.afc())·{} |
192 | 244·template<class·View> | 192 | 244·template<class·View> |
193 | 245·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e | 193 | 245·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
194 | _\x82_\x84_\x86·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C&·ma) | 194 | _\x82_\x84_\x86·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C&·ma) |
195 | 247·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<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·double | 197 | 249·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double |
198 | _\x82_\x85_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·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·bool | 202 | 254·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool |
203 | _\x82_\x85_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ | 203 | _\x82_\x85_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8F_\x8C_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ |
204 | 256·//·Given·that·AFC·is·just·a·fake,·this·not·really·necessary | 204 | 256·//·Given·that·AFC·is·just·a·fake,·this·not·really·necessary |
205 | 257·return·false; | 205 | 257·return·false; |
Offset 217, 18 lines modified | Offset 217, 18 lines modified | ||
217 | 269·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e | 217 | 269·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
218 | 270·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n | 218 | 270·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n |
219 | 271·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb) | 219 | 271·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb) |
220 | 272·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·action(vb.action())·{} | 220 | 272·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·action(vb.action())·{} |
221 | 273·template<class·View> | 221 | 273·template<class·View> |
222 | 274·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e | 222 | 274·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
223 | _\x82_\x87_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n&·ma) | 223 | _\x82_\x87_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n&·ma) |
224 | 276·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<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·double | 226 | 278·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double |
227 | _\x82_\x87_\x89·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·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·bool | 231 | 283·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool |
232 | _\x82_\x88_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ | 232 | _\x82_\x88_\x84·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8A_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ |
233 | 285·return·true; | 233 | 285·return·true; |
234 | 286·} | 234 | 286·} |
Offset 243, 18 lines modified | Offset 243, 18 lines modified | ||
243 | 295·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e | 243 | 295·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
244 | 296·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B | 244 | 296·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B |
245 | 297·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb) | 245 | 297·(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·const·_\x8V_\x8a_\x8r_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h<_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8r>&·vb) |
246 | 298·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·chb(vb.chb())·{} | 246 | 298·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<View,double>(home,vb),·chb(vb.chb())·{} |
247 | 299·template<class·View> | 247 | 299·template<class·View> |
248 | 300·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e | 248 | 300·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
249 | _\x83_\x80_\x81·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B&·ma) | 249 | _\x83_\x80_\x81·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B&·ma) |
250 | 302·:·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8B_\x8a_\x8s_\x8e<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·double | 252 | 304·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·double |
253 | _\x83_\x80_\x85·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8o_\x8p_\x8e_\x8r_\x8a_\x8t_\x8o_\x8r_\x8·_\x8(_\x8)(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·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·bool | 257 | 309·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool |
258 | _\x83_\x81_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ | 258 | _\x83_\x81_\x80·_\x8M_\x8e_\x8r_\x8i_\x8t_\x8C_\x8H_\x8B_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ |
259 | 311·return·true; | 259 | 311·return·true; |
260 | 312·} | 260 | 312·} |
Offset 166, 50 lines modified | Offset 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><<span·class="keyword">class</span>·View></div> | 168 | <div·class="line"><a·id="l00116"·name="l00116"></a><span·class="lineno">··116</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·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<View>::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·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<Var></a>&·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<Var></a>&·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><View,Val>(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><<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,Val>(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">"ValCommitFunction::ValCommitFunction"</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">"ValCommitFunction::ValCommitFunction"</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><<span·class="keyword">class</span>·View></div> | 178 | <div·class="line"><a·id="l00124"·name="l00124"></a><span·class="lineno">··124</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·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<View>::ValCommitFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·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<View></a>&·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<View></a>&·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><View,Val>(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><<a·class="code·hl_typedef"·href="classGecode_1_1ValCommit.html#ac14c515eb7d66bdcba521e13eb0db0da">View</a>,Val>(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><<span·class="keyword">class</span>·View></div> | 186 | <div·class="line"><a·id="l00130"·name="l00130"></a><span·class="lineno">··130</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::commit</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·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<View>::commit</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<span·class="keywordtype">unsigned</span>·<span·class="keywordtype">int</span>·<a·class="code·hl_variable"·href="bool-expr_8cpp.html#a7cb4cbbbe796c9670006f61eeaaf3997">a</a>,·<a·class="code·hl_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><<span·class="keyword">class</span>·View></div> | 197 | <div·class="line"><a·id="l00139"·name="l00139"></a><span·class="lineno">··139</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::ngl</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<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<View>::ngl</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<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><<span·class="keyword">class</span>·View></div> | 204 | <div·class="line"><a·id="l00144"·name="l00144"></a><span·class="lineno">··144</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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<View>::print</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<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<View>::print</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&,·<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&,</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&,</div> |
209 | <div·class="line"><a·id="l00148"·name="l00148"></a><span·class="lineno">··148</span>·································std::ostream&·o)<span·class="keyword">·const·</span>{</div> | 209 | <div·class="line"><a·id="l00148"·name="l00148"></a><span·class="lineno">··148</span>·································std::ostream&·o)<span·class="keyword">·const·</span>{</div> |
210 | <div·class="line"><a·id="l00149"·name="l00149"></a><span·class="lineno">··149</span>····o·<<·<span·class="stringliteral">"var["</span>·<<·i·<<·<span·class="stringliteral">"]·is·user-defined."</span>;</div> | 210 | <div·class="line"><a·id="l00149"·name="l00149"></a><span·class="lineno">··149</span>····o·<<·<span·class="stringliteral">"var["</span>·<<·i·<<·<span·class="stringliteral">"]·is·user-defined."</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><<span·class="keyword">class</span>·View></div> | 213 | <div·class="line"><a·id="l00151"·name="l00151"></a><span·class="lineno">··151</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></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="}"> |
Offset 96, 42 lines modified | Offset 96, 42 lines modified | ||
96 | 113 | 96 | 113 |
97 | 114 | 97 | 114 |
98 | 115·//·User-defined·value·selection | 98 | 115·//·User-defined·value·selection |
99 | 116·template<class·View> | 99 | 116·template<class·View> |
100 | 117·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e | 100 | 117·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
101 | _\x81_\x81_\x88·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home, | 101 | _\x81_\x81_\x88·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home, |
102 | 119·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb) | 102 | 119·const·_\x8V_\x8a_\x8l_\x8B_\x8r_\x8a_\x8n_\x8c_\x8h_\x8<_\x8V_\x8a_\x8r_\x8>&·vb) |
103 | 120·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<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_\x8e | 108 | 125·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
109 | _\x81_\x82_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home, | 109 | _\x81_\x82_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home, |
110 | 127·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vc) | 110 | 127·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vc) |
111 | 128·:·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t<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_\x8t | 114 | 131·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·_\x8M_\x8o_\x8d_\x8E_\x8v_\x8e_\x8n_\x8t |
115 | _\x81_\x83_\x82·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8c_\x8o_\x8m_\x8m_\x8i_\x8t(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·unsigned·int·_\x8a,·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·void | 128 | 145·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·void |
129 | _\x81_\x84_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int, | 129 | _\x81_\x84_\x86·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8p_\x8r_\x8i_\x8n_\x8t(const·_\x8S_\x8p_\x8a_\x8c_\x8e&,·unsigned·int, |
130 | 147·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·bool | 135 | 152·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool |
136 | _\x81_\x85_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ | 136 | _\x81_\x85_\x83·_\x8V_\x8a_\x8l_\x8C_\x8o_\x8m_\x8m_\x8i_\x8t_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ |
137 | 154·return·true; | 137 | 154·return·true; |
Offset 172, 21 lines modified | Offset 172, 21 lines modified | ||
172 | <div·class="line"><a·id="l00118"·name="l00118"></a><span·class="lineno">··118</span>····<span·class="keywordflow">if</span>·(!v())</div> | 172 | <div·class="line"><a·id="l00118"·name="l00118"></a><span·class="lineno">··118</span>····<span·class="keywordflow">if</span>·(!v())</div> |
173 | <div·class="line"><a·id="l00119"·name="l00119"></a><span·class="lineno">··119</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">"ValSelFunction::ValSelFunction"</span>);</div> | 173 | <div·class="line"><a·id="l00119"·name="l00119"></a><span·class="lineno">··119</span>······<span·class="keywordflow">throw</span>·<a·class="code·hl_class"·href="classGecode_1_1InvalidFunction.html">InvalidFunction</a>(<span·class="stringliteral">"ValSelFunction::ValSelFunction"</span>);</div> |
174 | <div·class="line"><a·id="l00120"·name="l00120"></a><span·class="lineno">··120</span>··}</div> | 174 | <div·class="line"><a·id="l00120"·name="l00120"></a><span·class="lineno">··120</span>··}</div> |
175 | <div·class="line"><a·id="l00121"·name="l00121"></a><span·class="lineno">··121</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> | 175 | <div·class="line"><a·id="l00121"·name="l00121"></a><span·class="lineno">··121</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> |
176 | <div·class="line"><a·id="l00122"·name="l00122"></a><span·class="lineno">··122</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div> | 176 | <div·class="line"><a·id="l00122"·name="l00122"></a><span·class="lineno">··122</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a></div> |
177 | <div·class="foldopen"·id="foldopen00123"·data-start="{"·data-end="}"> | 177 | <div·class="foldopen"·id="foldopen00123"·data-start="{"·data-end="}"> |
178 | <div·class="line"><a·id="l00123"·name="l00123"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValSelFunction.html#ae673d5877c9f49dfaaa5a153aaea2c66">··123</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValSelFunction.html#a484babb0ab87d5eae617875222c013b6">ValSelFunction<View>::ValSelFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1ValSelFunction.html">ValSelFunction<View></a>&·vs)</div> | 178 | <div·class="line"><a·id="l00123"·name="l00123"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValSelFunction.html#ae673d5877c9f49dfaaa5a153aaea2c66">··123</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValSelFunction.html#a484babb0ab87d5eae617875222c013b6">ValSelFunction<View>::ValSelFunction</a>(<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_class"·href="classGecode_1_1ValSelFunction.html">ValSelFunction<View></a>&·vs)</div> |
179 | <div·class="line"><a·id="l00124"·name="l00124"></a><span·class="lineno">··124</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValSel.html">ValSel</a><View,<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">Val</a>>(home,vs),·v(vs.v)·{</div> | 179 | <div·class="line"><a·id="l00124"·name="l00124"></a><span·class="lineno">··124</span>····:·<a·class="code·hl_class"·href="classGecode_1_1ValSel.html">ValSel</a><<a·class="code·hl_typedef"·href="classGecode_1_1ValSel.html#a505b0292df0aa0f8ec84940c6d99973d">View</a>,<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">Val</a>>(home,vs),·v(vs.v)·{</div> |
180 | <div·class="line"><a·id="l00125"·name="l00125"></a><span·class="lineno">··125</span>··}</div> | 180 | <div·class="line"><a·id="l00125"·name="l00125"></a><span·class="lineno">··125</span>··}</div> |
181 | </div> | 181 | </div> |
182 | <div·class="line"><a·id="l00126"·name="l00126"></a><span·class="lineno">··126</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> | 182 | <div·class="line"><a·id="l00126"·name="l00126"></a><span·class="lineno">··126</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> |
183 | <div·class="line"><a·id="l00127"·name="l00127"></a><span·class="lineno">··127</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keyword">typename</span>·<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">ValSelFunction<View>::Val</a></div> | 183 | <div·class="line"><a·id="l00127"·name="l00127"></a><span·class="lineno">··127</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keyword">typename</span>·<a·class="code·hl_typedef"·href="classGecode_1_1ValSelFunction.html#a1f5ac748cce7e795e09bc6397af8d167">ValSelFunction<View>::Val</a></div> |
184 | <div·class="foldopen"·id="foldopen00128"·data-start="{"·data-end="}"> | 184 | <div·class="foldopen"·id="foldopen00128"·data-start="{"·data-end="}"> |
185 | <div·class="line"><a·id="l00128"·name="l00128"></a><span·class="lineno"><a·class="line"·href="classGecode_1_1ValSelFunction.html#aee5937c631a4bacb5404eaca525bc8e4">··128</a></span>··<a·class="code·hl_function"·href="classGecode_1_1ValSelFunction.html#aee5937c631a4bacb5404eaca525bc8e4">ValSelFunction<View>::val</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·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<View>::val</a>(<span·class="keyword">const</span>·<a·class="code·hl_class"·href="classGecode_1_1Space.html">Space</a>&·home,·<a·class="code·hl_typedef"·href="classGecode_1_1ValSel.html#a505b0292df0aa0f8ec84940c6d99973d">View</a>·<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>,·<span·class="keywordtype">int</span>·i)·{</div> |
186 | <div·class="line"><a·id="l00129"·name="l00129"></a><span·class="lineno">··129</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div> | 186 | <div·class="line"><a·id="l00129"·name="l00129"></a><span·class="lineno">··129</span>····<span·class="keyword">typename</span>·View::VarType·<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>(<a·class="code·hl_variable"·href="namespaceGecode.html#adf2d08f1cc6a855b4d64caaed827c364">x</a>.<a·class="code·hl_function"·href="classGecode_1_1VarImpVar.html#aaefb0407aa89b5e462121470fc09fa94">varimp</a>());</div> |
187 | <div·class="line"><a·id="l00130"·name="l00130"></a><span·class="lineno">··130</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(v());</div> | 187 | <div·class="line"><a·id="l00130"·name="l00130"></a><span·class="lineno">··130</span>····<a·class="code·hl_define"·href="support_2macros_8hpp.html#a3001c302bc5e145046e4f308fdf77e2c">GECODE_VALID_FUNCTION</a>(v());</div> |
188 | <div·class="line"><a·id="l00131"·name="l00131"></a><span·class="lineno">··131</span>····<span·class="keywordflow">return</span>·v()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div> | 188 | <div·class="line"><a·id="l00131"·name="l00131"></a><span·class="lineno">··131</span>····<span·class="keywordflow">return</span>·v()(home,<a·class="code·hl_variable"·href="namespaceGecode.html#a7fb83d5f8c99422d49f70bb1217df46e">y</a>,i);</div> |
189 | <div·class="line"><a·id="l00132"·name="l00132"></a><span·class="lineno">··132</span>··}</div> | 189 | <div·class="line"><a·id="l00132"·name="l00132"></a><span·class="lineno">··132</span>··}</div> |
190 | </div> | 190 | </div> |
191 | <div·class="line"><a·id="l00133"·name="l00133"></a><span·class="lineno">··133</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> | 191 | <div·class="line"><a·id="l00133"·name="l00133"></a><span·class="lineno">··133</span>··<span·class="keyword">template</span><<span·class="keyword">class</span>·View></div> |
192 | <div·class="line"><a·id="l00134"·name="l00134"></a><span·class="lineno">··134</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div> | 192 | <div·class="line"><a·id="l00134"·name="l00134"></a><span·class="lineno">··134</span>··<a·class="code·hl_define"·href="support_2config_8hpp.html#adb97414df8177596c2b149cf5f588ac8">forceinline</a>·<span·class="keywordtype">bool</span></div> |
Offset 102, 19 lines modified | Offset 102, 19 lines modified | ||
102 | 117·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,Val>(home,vb),·v(vb.val())·{ | 102 | 117·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<View,Val>(home,vb),·v(vb.val())·{ |
103 | 118·if·(!v()) | 103 | 118·if·(!v()) |
104 | 119·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("ValSelFunction::ValSelFunction"); | 104 | 119·throw·_\x8I_\x8n_\x8v_\x8a_\x8l_\x8i_\x8d_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n("ValSelFunction::ValSelFunction"); |
105 | 120·} | 105 | 120·} |
106 | 121·template<class·View> | 106 | 121·template<class·View> |
107 | 122·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e | 107 | 122·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e |
108 | _\x81_\x82_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs) | 108 | _\x81_\x82_\x83·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n(_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>&·vs) |
109 | 124·:·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l<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_\x8l | 112 | 127·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·typename·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8V_\x8a_\x8l |
113 | _\x81_\x82_\x88·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8v_\x8a_\x8l(const·_\x8S_\x8p_\x8a_\x8c_\x8e&·home,·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·bool | 119 | 134·_\x8f_\x8o_\x8r_\x8c_\x8e_\x8i_\x8n_\x8l_\x8i_\x8n_\x8e·bool |
120 | _\x81_\x83_\x85·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ | 120 | _\x81_\x83_\x85·_\x8V_\x8a_\x8l_\x8S_\x8e_\x8l_\x8F_\x8u_\x8n_\x8c_\x8t_\x8i_\x8o_\x8n_\x8<_\x8V_\x8i_\x8e_\x8w_\x8>_\x8:_\x8:_\x8n_\x8o_\x8t_\x8i_\x8c_\x8e(void)·const·{ |