d()) != closed_list.end())</div>
<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">continue</span>;</div>
<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160; </div>
<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;      node_new.set_pid(current.id());</div>
<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;      open_list.push(node_new);</div>
<div class="line"><a