e="l00079"></a><span class="lineno">   79</span>&#160; </div>
<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;            <span class="keywordflow">if</span> ((<a class="code" href="namespace_dem.html#a5f2dfa58c8c80cb8b494cbdf8d82f105">indexing_vector</a>(x, idx.head(np))+<a class="code" href="namespace_dem.html#a5f2dfa58c8c80cb8b494cbdf8d82f105">indexing_vector</a>(p, idx.head(np))).minCoeff()&gt;=0) {</div>
<div class="line"><a name="l00081"></a><span class="lineno">   81</sp