svf-tools 1.0.283 → 1.0.287

package/SVF-doxygen/html/html/classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html

@@ -114,7 +114,7 @@ class SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</h3>
 
 <p>Conditional Points-to Set Iterator. </p>
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00744">744</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00748">748</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a8a3d10d0aaf4708e7e44bedc6be077e0"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a8a3d10d0aaf4708e7e44bedc6be077e0">&#9670;&nbsp;</a></span>CondPtsSetIterator()</h2>
@@ -152,12 +152,12 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00747">747</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00748"></a><span class="lineno">  748</span>&#160;            : <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>(n.cptsBegin()), <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">_endIter</a>(n.cptsEnd()),</div><div class="line"><a name="l00749"></a><span class="lineno">  749</span>&#160;              <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a>(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>-&gt;second.begin()), <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972">_ptEndIter</a>(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>-&gt;second.end()), <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">atEnd</a>(ae) {}</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ad22614f30570619802e23715d1d5eaf0"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet::CondPtsSetIterator::atEnd</a></div><div class="ttdeci">bool atEnd</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00806">ConditionalPT.h:806</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a9ffed93e0d4ae4b1431689b7fa5d6082"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet::CondPtsSetIterator::_endIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _endIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00803">ConditionalPT.h:803</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ae5fe9ff25c62386cbdd97d30b64b6972"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972">SVF::CondPointsToSet::CondPtsSetIterator::_ptEndIter</a></div><div class="ttdeci">PointsTo::iterator _ptEndIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00805">ConditionalPT.h:805</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a2b34cb72c2ecc8e4fc7071b6ed814df9"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet::CondPtsSetIterator::_ptIter</a></div><div class="ttdeci">PointsTo::iterator _ptIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00804">ConditionalPT.h:804</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a991ef07c78bd5a80cd62a398514f38ae"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">SVF::CondPointsToSet::CondPtsSetIterator::_curIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _curIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00802">ConditionalPT.h:802</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00751">751</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00752"></a><span class="lineno">  752</span>&#160;            : <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>(n.cptsBegin()), <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">_endIter</a>(n.cptsEnd()),</div><div class="line"><a name="l00753"></a><span class="lineno">  753</span>&#160;              <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a>(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>-&gt;second.begin()), <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972">_ptEndIter</a>(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>-&gt;second.end()), <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">atEnd</a>(ae) {}</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ad22614f30570619802e23715d1d5eaf0"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet::CondPtsSetIterator::atEnd</a></div><div class="ttdeci">bool atEnd</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00810">ConditionalPT.h:810</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a9ffed93e0d4ae4b1431689b7fa5d6082"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet::CondPtsSetIterator::_endIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _endIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00807">ConditionalPT.h:807</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ae5fe9ff25c62386cbdd97d30b64b6972"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972">SVF::CondPointsToSet::CondPtsSetIterator::_ptEndIter</a></div><div class="ttdeci">PointsTo::iterator _ptEndIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00809">ConditionalPT.h:809</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a2b34cb72c2ecc8e4fc7071b6ed814df9"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet::CondPtsSetIterator::_ptIter</a></div><div class="ttdeci">PointsTo::iterator _ptIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00808">ConditionalPT.h:808</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a991ef07c78bd5a80cd62a398514f38ae"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">SVF::CondPointsToSet::CondPtsSetIterator::_curIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _curIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00806">ConditionalPT.h:806</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -186,8 +186,8 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00750">750</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00750"></a><span class="lineno">  750</span>&#160;{}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00754">754</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00754"></a><span class="lineno">  754</span>&#160;{}</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -217,8 +217,8 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00796">796</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00797"></a><span class="lineno">  797</span>&#160;        {</div><div class="line"><a name="l00798"></a><span class="lineno">  798</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>-&gt;first;</div><div class="line"><a name="l00799"></a><span class="lineno">  799</span>&#160;        }</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a991ef07c78bd5a80cd62a398514f38ae"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">SVF::CondPointsToSet::CondPtsSetIterator::_curIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _curIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00802">ConditionalPT.h:802</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00800">800</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00801"></a><span class="lineno">  801</span>&#160;        {</div><div class="line"><a name="l00802"></a><span class="lineno">  802</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>-&gt;first;</div><div class="line"><a name="l00803"></a><span class="lineno">  803</span>&#160;        }</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a991ef07c78bd5a80cd62a398514f38ae"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">SVF::CondPointsToSet::CondPtsSetIterator::_curIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _curIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00806">ConditionalPT.h:806</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -248,9 +248,9 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00751">751</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00752"></a><span class="lineno">  752</span>&#160;        {</div><div class="line"><a name="l00753"></a><span class="lineno">  753</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a> != <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">_endIter</a>;</div><div class="line"><a name="l00754"></a><span class="lineno">  754</span>&#160;        }</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a9ffed93e0d4ae4b1431689b7fa5d6082"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet::CondPtsSetIterator::_endIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _endIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00803">ConditionalPT.h:803</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a991ef07c78bd5a80cd62a398514f38ae"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">SVF::CondPointsToSet::CondPtsSetIterator::_curIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _curIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00802">ConditionalPT.h:802</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00755">755</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00756"></a><span class="lineno">  756</span>&#160;        {</div><div class="line"><a name="l00757"></a><span class="lineno">  757</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a> != <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">_endIter</a>;</div><div class="line"><a name="l00758"></a><span class="lineno">  758</span>&#160;        }</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a9ffed93e0d4ae4b1431689b7fa5d6082"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet::CondPtsSetIterator::_endIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _endIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00807">ConditionalPT.h:807</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a991ef07c78bd5a80cd62a398514f38ae"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">SVF::CondPointsToSet::CondPtsSetIterator::_curIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _curIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00806">ConditionalPT.h:806</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -280,8 +280,8 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00765">765</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00766"></a><span class="lineno">  766</span>&#160;        {</div><div class="line"><a name="l00767"></a><span class="lineno">  767</span>&#160;            <span class="keywordflow">return</span> !(*<span class="keyword">this</span> == RHS);</div><div class="line"><a name="l00768"></a><span class="lineno">  768</span>&#160;        }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00769">769</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00770"></a><span class="lineno">  770</span>&#160;        {</div><div class="line"><a name="l00771"></a><span class="lineno">  771</span>&#160;            <span class="keywordflow">return</span> !(*<span class="keyword">this</span> == RHS);</div><div class="line"><a name="l00772"></a><span class="lineno">  772</span>&#160;        }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="aaaed8caef122453b5ff543826e1757e0"></a>
@@ -310,10 +310,10 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00789">789</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00790"></a><span class="lineno">  790</span>&#160;        {</div><div class="line"><a name="l00791"></a><span class="lineno">  791</span>&#160;            <a class="code" href="classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514">SingleCondVar</a> temp_var(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e">cond</a>(), *<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a>);</div><div class="line"><a name="l00792"></a><span class="lineno">  792</span>&#160;            <span class="keywordflow">return</span> temp_var;</div><div class="line"><a name="l00793"></a><span class="lineno">  793</span>&#160;        }</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a3ccbb22634968d2fca0f6aba7b57971e"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e">SVF::CondPointsToSet::CondPtsSetIterator::cond</a></div><div class="ttdeci">Cond cond(void)</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00796">ConditionalPT.h:796</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_html_a0ef73bd2c1b42439ee6f265e07f17514"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514">SVF::CondPointsToSet::SingleCondVar</a></div><div class="ttdeci">CondVar&lt; Cond &gt; SingleCondVar</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00305">ConditionalPT.h:305</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a2b34cb72c2ecc8e4fc7071b6ed814df9"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet::CondPtsSetIterator::_ptIter</a></div><div class="ttdeci">PointsTo::iterator _ptIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00804">ConditionalPT.h:804</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00793">793</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00794"></a><span class="lineno">  794</span>&#160;        {</div><div class="line"><a name="l00795"></a><span class="lineno">  795</span>&#160;            <a class="code" href="classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514">SingleCondVar</a> temp_var(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e">cond</a>(), *<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a>);</div><div class="line"><a name="l00796"></a><span class="lineno">  796</span>&#160;            <span class="keywordflow">return</span> temp_var;</div><div class="line"><a name="l00797"></a><span class="lineno">  797</span>&#160;        }</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a3ccbb22634968d2fca0f6aba7b57971e"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e">SVF::CondPointsToSet::CondPtsSetIterator::cond</a></div><div class="ttdeci">Cond cond(void)</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00800">ConditionalPT.h:800</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_html_a0ef73bd2c1b42439ee6f265e07f17514"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514">SVF::CondPointsToSet::SingleCondVar</a></div><div class="ttdeci">CondVar&lt; Cond &gt; SingleCondVar</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00309">ConditionalPT.h:309</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a2b34cb72c2ecc8e4fc7071b6ed814df9"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet::CondPtsSetIterator::_ptIter</a></div><div class="ttdeci">PointsTo::iterator _ptIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00808">ConditionalPT.h:808</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -343,12 +343,12 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00770">770</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00771"></a><span class="lineno">  771</span>&#160;        {</div><div class="line"><a name="l00772"></a><span class="lineno">  772</span>&#160;            <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">atEnd</a> == <span class="keyword">true</span>)</div><div class="line"><a name="l00773"></a><span class="lineno">  773</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00774"></a><span class="lineno">  774</span>&#160;</div><div class="line"><a name="l00775"></a><span class="lineno">  775</span>&#160;            <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a>==<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972">_ptEndIter</a>)</div><div class="line"><a name="l00776"></a><span class="lineno">  776</span>&#160;            {</div><div class="line"><a name="l00777"></a><span class="lineno">  777</span>&#160;                <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a> == <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">_endIter</a>)</div><div class="line"><a name="l00778"></a><span class="lineno">  778</span>&#160;                {</div><div class="line"><a name="l00779"></a><span class="lineno">  779</span>&#160;                    <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">atEnd</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00780"></a><span class="lineno">  780</span>&#160;                    <span class="keywordflow">return</span>;</div><div class="line"><a name="l00781"></a><span class="lineno">  781</span>&#160;                }</div><div class="line"><a name="l00782"></a><span class="lineno">  782</span>&#160;                <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>++;</div><div class="line"><a name="l00783"></a><span class="lineno">  783</span>&#160;                <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a> = <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>-&gt;second.begin();</div><div class="line"><a name="l00784"></a><span class="lineno">  784</span>&#160;                <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a> = <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>-&gt;second.end();</div><div class="line"><a name="l00785"></a><span class="lineno">  785</span>&#160;            }</div><div class="line"><a name="l00786"></a><span class="lineno">  786</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00787"></a><span class="lineno">  787</span>&#160;                <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a>++;</div><div class="line"><a name="l00788"></a><span class="lineno">  788</span>&#160;        }</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ad22614f30570619802e23715d1d5eaf0"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet::CondPtsSetIterator::atEnd</a></div><div class="ttdeci">bool atEnd</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00806">ConditionalPT.h:806</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a9ffed93e0d4ae4b1431689b7fa5d6082"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet::CondPtsSetIterator::_endIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _endIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00803">ConditionalPT.h:803</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ae5fe9ff25c62386cbdd97d30b64b6972"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972">SVF::CondPointsToSet::CondPtsSetIterator::_ptEndIter</a></div><div class="ttdeci">PointsTo::iterator _ptEndIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00805">ConditionalPT.h:805</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a2b34cb72c2ecc8e4fc7071b6ed814df9"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet::CondPtsSetIterator::_ptIter</a></div><div class="ttdeci">PointsTo::iterator _ptIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00804">ConditionalPT.h:804</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a991ef07c78bd5a80cd62a398514f38ae"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">SVF::CondPointsToSet::CondPtsSetIterator::_curIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _curIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00802">ConditionalPT.h:802</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00774">774</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00775"></a><span class="lineno">  775</span>&#160;        {</div><div class="line"><a name="l00776"></a><span class="lineno">  776</span>&#160;            <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">atEnd</a> == <span class="keyword">true</span>)</div><div class="line"><a name="l00777"></a><span class="lineno">  777</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00778"></a><span class="lineno">  778</span>&#160;</div><div class="line"><a name="l00779"></a><span class="lineno">  779</span>&#160;            <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a>==<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972">_ptEndIter</a>)</div><div class="line"><a name="l00780"></a><span class="lineno">  780</span>&#160;            {</div><div class="line"><a name="l00781"></a><span class="lineno">  781</span>&#160;                <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a> == <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">_endIter</a>)</div><div class="line"><a name="l00782"></a><span class="lineno">  782</span>&#160;                {</div><div class="line"><a name="l00783"></a><span class="lineno">  783</span>&#160;                    <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">atEnd</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00784"></a><span class="lineno">  784</span>&#160;                    <span class="keywordflow">return</span>;</div><div class="line"><a name="l00785"></a><span class="lineno">  785</span>&#160;                }</div><div class="line"><a name="l00786"></a><span class="lineno">  786</span>&#160;                <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>++;</div><div class="line"><a name="l00787"></a><span class="lineno">  787</span>&#160;                <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a> = <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>-&gt;second.begin();</div><div class="line"><a name="l00788"></a><span class="lineno">  788</span>&#160;                <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a> = <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a>-&gt;second.end();</div><div class="line"><a name="l00789"></a><span class="lineno">  789</span>&#160;            }</div><div class="line"><a name="l00790"></a><span class="lineno">  790</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00791"></a><span class="lineno">  791</span>&#160;                <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a>++;</div><div class="line"><a name="l00792"></a><span class="lineno">  792</span>&#160;        }</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ad22614f30570619802e23715d1d5eaf0"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet::CondPtsSetIterator::atEnd</a></div><div class="ttdeci">bool atEnd</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00810">ConditionalPT.h:810</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a9ffed93e0d4ae4b1431689b7fa5d6082"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet::CondPtsSetIterator::_endIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _endIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00807">ConditionalPT.h:807</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ae5fe9ff25c62386cbdd97d30b64b6972"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972">SVF::CondPointsToSet::CondPtsSetIterator::_ptEndIter</a></div><div class="ttdeci">PointsTo::iterator _ptEndIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00809">ConditionalPT.h:809</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a2b34cb72c2ecc8e4fc7071b6ed814df9"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet::CondPtsSetIterator::_ptIter</a></div><div class="ttdeci">PointsTo::iterator _ptIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00808">ConditionalPT.h:808</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a991ef07c78bd5a80cd62a398514f38ae"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">SVF::CondPointsToSet::CondPtsSetIterator::_curIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _curIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00806">ConditionalPT.h:806</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -380,10 +380,10 @@ template&lt;class Cond&gt; </div>
 
 <p>Operator overloading. </p>
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00757">757</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00758"></a><span class="lineno">  758</span>&#160;        {</div><div class="line"><a name="l00759"></a><span class="lineno">  759</span>&#160;            <span class="comment">// If they are both at the end, ignore the rest of the fields.</span></div><div class="line"><a name="l00760"></a><span class="lineno">  760</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">atEnd</a> &amp;&amp; RHS.atEnd)</div><div class="line"><a name="l00761"></a><span class="lineno">  761</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00762"></a><span class="lineno">  762</span>&#160;            <span class="comment">// Otherwise they are the same if they have the same condVar</span></div><div class="line"><a name="l00763"></a><span class="lineno">  763</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">atEnd</a> == RHS.atEnd &amp;&amp; RHS._curIter == <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a> &amp;&amp; RHS._ptIter == <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a>;</div><div class="line"><a name="l00764"></a><span class="lineno">  764</span>&#160;        }</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ad22614f30570619802e23715d1d5eaf0"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet::CondPtsSetIterator::atEnd</a></div><div class="ttdeci">bool atEnd</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00806">ConditionalPT.h:806</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a2b34cb72c2ecc8e4fc7071b6ed814df9"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet::CondPtsSetIterator::_ptIter</a></div><div class="ttdeci">PointsTo::iterator _ptIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00804">ConditionalPT.h:804</a></div></div>
-<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a991ef07c78bd5a80cd62a398514f38ae"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">SVF::CondPointsToSet::CondPtsSetIterator::_curIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _curIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00802">ConditionalPT.h:802</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00761">761</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00762"></a><span class="lineno">  762</span>&#160;        {</div><div class="line"><a name="l00763"></a><span class="lineno">  763</span>&#160;            <span class="comment">// If they are both at the end, ignore the rest of the fields.</span></div><div class="line"><a name="l00764"></a><span class="lineno">  764</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">atEnd</a> &amp;&amp; RHS.atEnd)</div><div class="line"><a name="l00765"></a><span class="lineno">  765</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00766"></a><span class="lineno">  766</span>&#160;            <span class="comment">// Otherwise they are the same if they have the same condVar</span></div><div class="line"><a name="l00767"></a><span class="lineno">  767</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">atEnd</a> == RHS.atEnd &amp;&amp; RHS._curIter == <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">_curIter</a> &amp;&amp; RHS._ptIter == <a class="code" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">_ptIter</a>;</div><div class="line"><a name="l00768"></a><span class="lineno">  768</span>&#160;        }</div><div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ad22614f30570619802e23715d1d5eaf0"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet::CondPtsSetIterator::atEnd</a></div><div class="ttdeci">bool atEnd</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00810">ConditionalPT.h:810</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a2b34cb72c2ecc8e4fc7071b6ed814df9"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet::CondPtsSetIterator::_ptIter</a></div><div class="ttdeci">PointsTo::iterator _ptIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00808">ConditionalPT.h:808</a></div></div>
+<div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a991ef07c78bd5a80cd62a398514f38ae"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae">SVF::CondPointsToSet::CondPtsSetIterator::_curIter</a></div><div class="ttdeci">CondPointsToSet&lt; Cond &gt;::CondPtsIter _curIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00806">ConditionalPT.h:806</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -410,7 +410,7 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00802">802</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00806">806</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
 
 </div>
 </div>
@@ -436,7 +436,7 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00803">803</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00807">807</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
 
 </div>
 </div>
@@ -462,7 +462,7 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00805">805</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00809">809</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
 
 </div>
 </div>
@@ -488,7 +488,7 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00804">804</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00808">808</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
 
 </div>
 </div>
@@ -514,7 +514,7 @@ template&lt;class Cond&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00806">806</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00810">810</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1CondStdSet-members.html

@@ -71,32 +71,33 @@ $(function() {
 <table class="directory">
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038">begin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a76fb2382bf424638ed8e03cb48cdc90e">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a4c49e2964276825744ffce26fc43ec36">clear</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">CondStdSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">CondStdSet</a>(const CondStdSet&lt; Element &gt; &amp;cptsSet)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">count</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934">elements</a></td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939">ElementSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76">empty</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320">getElementSet</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#ac422c3fb8bce1378d69c234e6b11fdb1">intersects</a>(const CondStdSet&lt; Element &gt; &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#abb97324d865818f0a51992ee86d1c5ad">operator &amp;=</a>(const CondStdSet&lt; Element &gt; &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a060a01d33fcd5ed4dfcaecb3d24cda07">operator!=</a>(const CondStdSet&lt; Element &gt; &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#ad3c38bb031419dd583a9cb0314e76afd">operator&lt;</a>(const CondStdSet&lt; Element &gt; &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98">operator=</a>(const CondStdSet&lt; Element &gt; &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a6697d9c3d1107db2be430b8e8b670cb5">operator==</a>(const CondStdSet&lt; Element &gt; &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">operator|=</a>(const CondStdSet&lt; Element &gt; &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a857396d9e820a9fab8a498d981855e2a">reset</a>(const Element &amp;var)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599">set</a>(const Element &amp;var)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#afa190562e8b85630845617c23fc5a16b">size</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a6bf6fafc6f8391dbff08a6bd9d07f4d4">test</a>(const Element &amp;var) const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a3e72341580263f3a9b48ce0e8c7bbbec">test_and_set</a>(const Element &amp;var)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#abc67e77de2d1363af92c3bca2ccccbf1">~CondStdSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a347097404761b16a077eac1ae9fbfd94">checkAndRemap</a>(void) const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a4c49e2964276825744ffce26fc43ec36">clear</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">CondStdSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">CondStdSet</a>(const CondStdSet&lt; Element &gt; &amp;cptsSet)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">count</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934">elements</a></td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939">ElementSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76">empty</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320">getElementSet</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#ac422c3fb8bce1378d69c234e6b11fdb1">intersects</a>(const CondStdSet&lt; Element &gt; &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#abb97324d865818f0a51992ee86d1c5ad">operator &amp;=</a>(const CondStdSet&lt; Element &gt; &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a060a01d33fcd5ed4dfcaecb3d24cda07">operator!=</a>(const CondStdSet&lt; Element &gt; &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#ad3c38bb031419dd583a9cb0314e76afd">operator&lt;</a>(const CondStdSet&lt; Element &gt; &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98">operator=</a>(const CondStdSet&lt; Element &gt; &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a6697d9c3d1107db2be430b8e8b670cb5">operator==</a>(const CondStdSet&lt; Element &gt; &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">operator|=</a>(const CondStdSet&lt; Element &gt; &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a857396d9e820a9fab8a498d981855e2a">reset</a>(const Element &amp;var)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599">set</a>(const Element &amp;var)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#afa190562e8b85630845617c23fc5a16b">size</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a6bf6fafc6f8391dbff08a6bd9d07f4d4">test</a>(const Element &amp;var) const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a3e72341580263f3a9b48ce0e8c7bbbec">test_and_set</a>(const Element &amp;var)</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html#abc67e77de2d1363af92c3bca2ccccbf1">~CondStdSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondStdSet.html">SVF::CondStdSet&lt; Element &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>