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