npm - svf-tools - Versions diffs - 1.0.595 → 1.0.597 - Mend

svf-tools 1.0.595 → 1.0.597

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (980) hide show

package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement.html CHANGED Viewed

@@ -77,11 +77,11 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
 Public Types</h2></td></tr>
-<tr class="memitem:a88e49a140a08313ab4d664774c4957a2"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom">{ <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> = sizeof(BitWord) * CHAR_BIT,
-<a class="el" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a> = (ElementSize + BITWORD_SIZE - 1) / BITWORD_SIZE,
-<a class="el" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2aeb226b2e0dea78fbdbf5b780c3745f6d">BITS_PER_ELEMENT</a> = ElementSize
+<tr class="memitem:a2dfc62db92b64481fe56fafaa923dce0"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom">{ <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> = sizeof(BitWord) * CHAR_BIT,
+<a class="el" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a> = (ElementSize + BITWORD_SIZE - 1) / BITWORD_SIZE,
+<a class="el" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d">BITS_PER_ELEMENT</a> = ElementSize
  }</td></tr>
-<tr class="separator:a88e49a140a08313ab4d664774c4957a2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="separator:a2dfc62db92b64481fe56fafaa923dce0"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af9014ab5077a2d9c1aed1e9b1460390d"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a> = unsigned long</td></tr>
 <tr class="separator:af9014ab5077a2d9c1aed1e9b1460390d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad9e38352db094adcdfb2964f325d9e53"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1SparseBitVectorElement.html#ad9e38352db094adcdfb2964f325d9e53">size_type</a> = unsigned</td></tr>
@@ -139,7 +139,7 @@ Private Member Functions</h2></td></tr>
 Private Attributes</h2></td></tr>
 <tr class="memitem:ae5c5ac3afef47499a4e852de0dc39c18"><td class="memItemLeft" align="right" valign="top">unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18">ElementIndex</a></td></tr>
 <tr class="separator:ae5c5ac3afef47499a4e852de0dc39c18"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4b6a06a3a19f2241cec68e09d4feb526"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a> [<a class="el" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>]</td></tr>
+<tr class="memitem:a4b6a06a3a19f2241cec68e09d4feb526"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a> [<a class="el" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>]</td></tr>
 <tr class="separator:a4b6a06a3a19f2241cec68e09d4feb526"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
@@ -187,8 +187,8 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div>
 </div>
 <h2 class="groupheader">Member Enumeration Documentation</h2>
-<a id="a88e49a140a08313ab4d664774c4957a2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a88e49a140a08313ab4d664774c4957a2">&#9670;&nbsp;</a></span>anonymous enum</h2>
+<a id="a2dfc62db92b64481fe56fafaa923dce0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2dfc62db92b64481fe56fafaa923dce0">&#9670;&nbsp;</a></span>anonymous enum</h2>
 <div class="memitem">
 <div class="memproto">
@@ -201,16 +201,16 @@ template&lt;unsigned ElementSize = 128&gt; </div>
       </table>
 </div><div class="memdoc">
 <table class="fieldtable">
-<tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><a id="a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4"></a>BITWORD_SIZE&#160;</td><td class="fielddoc"></td></tr>
-<tr><td class="fieldname"><a id="a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"></a>BITWORDS_PER_ELEMENT&#160;</td><td class="fielddoc"></td></tr>
-<tr><td class="fieldname"><a id="a88e49a140a08313ab4d664774c4957a2aeb226b2e0dea78fbdbf5b780c3745f6d"></a>BITS_PER_ELEMENT&#160;</td><td class="fielddoc"></td></tr>
+<tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><a id="a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4"></a>BITWORD_SIZE&#160;</td><td class="fielddoc"></td></tr>
+<tr><td class="fieldname"><a id="a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"></a>BITWORDS_PER_ELEMENT&#160;</td><td class="fielddoc"></td></tr>
+<tr><td class="fieldname"><a id="a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d"></a>BITS_PER_ELEMENT&#160;</td><td class="fielddoc"></td></tr>
 </table>
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00222">222</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    {</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> = <span class="keyword">sizeof</span>(<a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a>) * CHAR_BIT,</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a> = (ElementSize + <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> - 1) / <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>,</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2aeb226b2e0dea78fbdbf5b780c3745f6d">BITS_PER_ELEMENT</a> = ElementSize</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    };</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
+<div class="fragment"><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    {</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> = <span class="keyword">sizeof</span>(<a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a>) * CHAR_BIT,</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a> = (ElementSize + <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> - 1) / <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>,</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d">BITS_PER_ELEMENT</a> = ElementSize</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    };</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d">SVF::SparseBitVectorElement::BITS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00226">SparseBitVector.h:226</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2aeb226b2e0dea78fbdbf5b780c3745f6d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2aeb226b2e0dea78fbdbf5b780c3745f6d">SVF::SparseBitVectorElement::BITS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00226">SparseBitVector.h:226</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -241,9 +241,9 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00234">234</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    {</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18">ElementIndex</a> = ~0U;</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        memset(&amp;<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[0], 0, <span class="keyword">sizeof</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a>) * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>);</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
+<div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    {</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18">ElementIndex</a> = ~0U;</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        memset(&amp;<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[0], 0, <span class="keyword">sizeof</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a>) * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>);</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_ae5c5ac3afef47499a4e852de0dc39c18"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18">SVF::SparseBitVectorElement::ElementIndex</a></div><div class="ttdeci">unsigned ElementIndex</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00231">SparseBitVector.h:231</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -275,9 +275,9 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00241">241</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    {</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18">ElementIndex</a> = Idx;</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;        memset(&amp;<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[0], 0, <span class="keyword">sizeof</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a>) * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>);</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
+<div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    {</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18">ElementIndex</a> = Idx;</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;        memset(&amp;<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[0], 0, <span class="keyword">sizeof</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a>) * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>);</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_ae5c5ac3afef47499a4e852de0dc39c18"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18">SVF::SparseBitVectorElement::ElementIndex</a></div><div class="ttdeci">unsigned ElementIndex</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00231">SparseBitVector.h:231</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -310,9 +310,9 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00309">309</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    {</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <span class="keywordtype">unsigned</span> NumBits = 0;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;            NumBits += <a class="code" href="namespaceSVF.html#ae86e9ecca38512426d0bade3a95d0a51">countPopulation</a>(<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i]);</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;        <span class="keywordflow">return</span> NumBits;</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_ae86e9ecca38512426d0bade3a95d0a51"><div class="ttname"><a href="namespaceSVF.html#ae86e9ecca38512426d0bade3a95d0a51">SVF::countPopulation</a></div><div class="ttdeci">unsigned countPopulation(T Value)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00197">SparseBitVector.h:197</a></div></div>
+<div class="fragment"><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    {</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <span class="keywordtype">unsigned</span> NumBits = 0;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;            NumBits += <a class="code" href="namespaceSVF.html#ae86e9ecca38512426d0bade3a95d0a51">countPopulation</a>(<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i]);</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;        <span class="keywordflow">return</span> NumBits;</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_ae86e9ecca38512426d0bade3a95d0a51"><div class="ttname"><a href="namespaceSVF.html#ae86e9ecca38512426d0bade3a95d0a51">SVF::countPopulation</a></div><div class="ttdeci">unsigned countPopulation(T Value)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00197">SparseBitVector.h:197</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -343,8 +343,8 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00275">275</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    {</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i])</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="fragment"><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    {</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i])</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -377,10 +377,10 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 <p>find_first - Returns the index of the first set bit. </p>
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00318">318</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;    {</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != 0)</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;                <span class="keywordflow">return</span> i * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> + <a class="code" href="namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461">countTrailingZeros</a>(<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i]);</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;        assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;SBV: find_first: SBV cannot be empty&quot;</span>);</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;        abort();</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
+<div class="fragment"><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;    {</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != 0)</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;                <span class="keywordflow">return</span> i * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> + <a class="code" href="namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461">countTrailingZeros</a>(<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i]);</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;        assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;SBV: find_first: SBV cannot be empty&quot;</span>);</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;        abort();</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a5cb5811bab8e04773dfa21ad919df461"><div class="ttname"><a href="namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461">SVF::countTrailingZeros</a></div><div class="ttdeci">unsigned countTrailingZeros(T Val, ZeroBehavior ZB=ZB_Width)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00077">SparseBitVector.h:77</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -412,9 +412,9 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 <p>find_last - Returns the index of the last set bit. </p>
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00328">328</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;    {</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> I = 0; I &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++I)</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;        {</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            <span class="keywordtype">unsigned</span> Idx = BITWORDS_PER_ELEMENT - I - 1;</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx] != 0)</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;                <span class="keywordflow">return</span> Idx * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> + <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> -</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;                       <a class="code" href="namespaceSVF.html#af897f6692f1f6aa13d897f89b3370d0d">countLeadingZeros</a>(<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx]) - 1;</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;        }</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;        assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;SBV: find_last: SBV cannot be empty&quot;</span>);</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;        abort();</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
+<div class="fragment"><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;    {</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> I = 0; I &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++I)</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;        {</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            <span class="keywordtype">unsigned</span> Idx = BITWORDS_PER_ELEMENT - I - 1;</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx] != 0)</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;                <span class="keywordflow">return</span> Idx * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> + <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> -</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;                       <a class="code" href="namespaceSVF.html#af897f6692f1f6aa13d897f89b3370d0d">countLeadingZeros</a>(<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx]) - 1;</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;        }</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;        assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;SBV: find_last: SBV cannot be empty&quot;</span>);</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;        abort();</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af897f6692f1f6aa13d897f89b3370d0d"><div class="ttname"><a href="namespaceSVF.html#af897f6692f1f6aa13d897f89b3370d0d">SVF::countLeadingZeros</a></div><div class="ttdeci">unsigned countLeadingZeros(T Val, ZeroBehavior ZB=ZB_Width)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00169">SparseBitVector.h:169</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -447,12 +447,12 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 <p>find_next - Returns the index of the next set bit starting from the "Curr" bit. Returns -1 if the next set bit is not found. </p>
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00343">343</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;    {</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;        <span class="keywordflow">if</span> (Curr &gt;= <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2aeb226b2e0dea78fbdbf5b780c3745f6d">BITS_PER_ELEMENT</a>)</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;            <span class="keywordflow">return</span> -1;</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;        <span class="keywordtype">unsigned</span> WordPos = Curr / <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>;</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;        <span class="keywordtype">unsigned</span> BitPos = Curr % <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>;</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a> Copy = <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[WordPos];</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;        assert(WordPos &lt;= <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a></div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;               &amp;&amp; <span class="stringliteral">&quot;Word Position outside of element&quot;</span>);</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;        <span class="comment">// Mask off previous bits.</span></div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;        Copy &amp;= ~0UL &lt;&lt; BitPos;</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        <span class="keywordflow">if</span> (Copy != 0)</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;            <span class="keywordflow">return</span> WordPos * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> + <a class="code" href="namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461">countTrailingZeros</a>(Copy);</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;        <span class="comment">// Check subsequent words.</span></div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = WordPos+1; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != 0)</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;                <span class="keywordflow">return</span> i * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> + <a class="code" href="namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461">countTrailingZeros</a>(<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i]);</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;        <span class="keywordflow">return</span> -1;</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
+<div class="fragment"><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;    {</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;        <span class="keywordflow">if</span> (Curr &gt;= <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d">BITS_PER_ELEMENT</a>)</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;            <span class="keywordflow">return</span> -1;</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;        <span class="keywordtype">unsigned</span> WordPos = Curr / <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>;</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;        <span class="keywordtype">unsigned</span> BitPos = Curr % <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>;</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a> Copy = <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[WordPos];</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;        assert(WordPos &lt;= <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a></div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;               &amp;&amp; <span class="stringliteral">&quot;Word Position outside of element&quot;</span>);</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;        <span class="comment">// Mask off previous bits.</span></div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;        Copy &amp;= ~0UL &lt;&lt; BitPos;</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        <span class="keywordflow">if</span> (Copy != 0)</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;            <span class="keywordflow">return</span> WordPos * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> + <a class="code" href="namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461">countTrailingZeros</a>(Copy);</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;        <span class="comment">// Check subsequent words.</span></div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = WordPos+1; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != 0)</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;                <span class="keywordflow">return</span> i * <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a> + <a class="code" href="namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461">countTrailingZeros</a>(<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i]);</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;        <span class="keywordflow">return</span> -1;</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d">SVF::SparseBitVectorElement::BITS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00226">SparseBitVector.h:226</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a5cb5811bab8e04773dfa21ad919df461"><div class="ttname"><a href="namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461">SVF::countTrailingZeros</a></div><div class="ttdeci">unsigned countTrailingZeros(T Val, ZeroBehavior ZB=ZB_Width)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00077">SparseBitVector.h:77</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2aeb226b2e0dea78fbdbf5b780c3745f6d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2aeb226b2e0dea78fbdbf5b780c3745f6d">SVF::SparseBitVectorElement::BITS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00226">SparseBitVector.h:226</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -513,8 +513,8 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00383">383</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;    {</div><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;        {</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;            <span class="keywordflow">if</span> (RHS.Bits[i] &amp; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i])</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;        }</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="fragment"><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;    {</div><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;        {</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;            <span class="keywordflow">if</span> (RHS.Bits[i] &amp; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i])</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;        }</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -555,9 +555,9 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00395">395</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    {</div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;        <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;        <span class="keywordtype">bool</span> allzero = <span class="keyword">true</span>;</div><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;</div><div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;        BecameZero = <span class="keyword">false</span>;</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;        {</div><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a> old = changed ? 0 : <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i];</div><div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;</div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] &amp;= RHS.Bits[i];</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != 0)</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;                allzero = <span class="keyword">false</span>;</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;            <span class="keywordflow">if</span> (!changed &amp;&amp; old != <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i])</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;                changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        }</div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;        BecameZero = allzero;</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;        <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
+<div class="fragment"><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    {</div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;        <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;        <span class="keywordtype">bool</span> allzero = <span class="keyword">true</span>;</div><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;</div><div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;        BecameZero = <span class="keyword">false</span>;</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;        {</div><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a> old = changed ? 0 : <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i];</div><div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;</div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] &amp;= RHS.Bits[i];</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != 0)</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;                allzero = <span class="keyword">false</span>;</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;            <span class="keywordflow">if</span> (!changed &amp;&amp; old != <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i])</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;                changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        }</div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;        BecameZero = allzero;</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;        <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -598,9 +598,9 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00420">420</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;    {</div><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;        <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;        <span class="keywordtype">bool</span> allzero = <span class="keyword">true</span>;</div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;        BecameZero = <span class="keyword">false</span>;</div><div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;        {</div><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a> old = changed ? 0 : <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i];</div><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;</div><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] &amp;= ~RHS.Bits[i];</div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != 0)</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;                allzero = <span class="keyword">false</span>;</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;            <span class="keywordflow">if</span> (!changed &amp;&amp; old != <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i])</div><div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;                changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;        }</div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;        BecameZero = allzero;</div><div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;        <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
+<div class="fragment"><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;    {</div><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;        <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;        <span class="keywordtype">bool</span> allzero = <span class="keyword">true</span>;</div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;        BecameZero = <span class="keyword">false</span>;</div><div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;        {</div><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a> old = changed ? 0 : <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i];</div><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;</div><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] &amp;= ~RHS.Bits[i];</div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != 0)</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;                allzero = <span class="keyword">false</span>;</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;            <span class="keywordflow">if</span> (!changed &amp;&amp; old != <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i])</div><div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;                changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;        }</div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;        BecameZero = allzero;</div><div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;        <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -647,8 +647,8 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00444">444</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;    {</div><div class="line"><a name="l00448"></a><span class="lineno">  448</span>&#160;        <span class="keywordtype">bool</span> allzero = <span class="keyword">true</span>;</div><div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;</div><div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;        BecameZero = <span class="keyword">false</span>;</div><div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;        {</div><div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] = RHS1.Bits[i] &amp; ~RHS2.Bits[i];</div><div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != 0)</div><div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;                allzero = <span class="keyword">false</span>;</div><div class="line"><a name="l00456"></a><span class="lineno">  456</span>&#160;        }</div><div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;        BecameZero = allzero;</div><div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="fragment"><div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;    {</div><div class="line"><a name="l00448"></a><span class="lineno">  448</span>&#160;        <span class="keywordtype">bool</span> allzero = <span class="keyword">true</span>;</div><div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;</div><div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;        BecameZero = <span class="keyword">false</span>;</div><div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;        {</div><div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] = RHS1.Bits[i] &amp; ~RHS2.Bits[i];</div><div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != 0)</div><div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;                allzero = <span class="keyword">false</span>;</div><div class="line"><a name="l00456"></a><span class="lineno">  456</span>&#160;        }</div><div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;        BecameZero = allzero;</div><div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -709,8 +709,8 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00248">248</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;    {</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18">ElementIndex</a> != RHS.ElementIndex)</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != RHS.Bits[i])</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="fragment"><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;    {</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18">ElementIndex</a> != RHS.ElementIndex)</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] != RHS.Bits[i])</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_ae5c5ac3afef47499a4e852de0dc39c18"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18">SVF::SparseBitVectorElement::ElementIndex</a></div><div class="ttdeci">unsigned ElementIndex</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00231">SparseBitVector.h:231</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -742,7 +742,7 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00299">299</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;    {</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx / <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>] &amp;= ~(1L &lt;&lt; (Idx % <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>));</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
+<div class="fragment"><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;    {</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx / <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>] &amp;= ~(1L &lt;&lt; (Idx % <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>));</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -774,7 +774,7 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00283">283</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;    {</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx / <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>] |= 1L &lt;&lt; (Idx % <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>);</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
+<div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;    {</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx / <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>] |= 1L &lt;&lt; (Idx % <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>);</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -806,7 +806,7 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00304">304</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;    {</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx / <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>] &amp; (1L &lt;&lt; (Idx % <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>));</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
+<div class="fragment"><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;    {</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx / <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>] &amp; (1L &lt;&lt; (Idx % <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">BITWORD_SIZE</a>));</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement::BITWORD_SIZE</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00224">SparseBitVector.h:224</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -869,9 +869,9 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00368">368</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;    {</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;        {</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a> old = changed ? 0 : <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i];</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] |= RHS.Bits[i];</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;            <span class="keywordflow">if</span> (!changed &amp;&amp; old != <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i])</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;                changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;        }</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;        <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
+<div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;    {</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>; ++i)</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;        {</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a> old = changed ? 0 : <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i];</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;            <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i] |= RHS.Bits[i];</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;            <span class="keywordflow">if</span> (!changed &amp;&amp; old != <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[i])</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;                changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;        }</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;        <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_af9014ab5077a2d9c1aed1e9b1460390d"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">SVF::SparseBitVectorElement::BitWord</a></div><div class="ttdeci">unsigned long BitWord</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00220">SparseBitVector.h:220</a></div></div>
 <div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -902,8 +902,8 @@ template&lt;unsigned ElementSize = 128&gt; </div>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00264">264</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    {</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        assert(Idx &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>);</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx];</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
-<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    {</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        assert(Idx &lt; <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>);</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">Bits</a>[Idx];</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement::BITWORDS_PER_ELEMENT</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00225">SparseBitVector.h:225</a></div></div>
+<div class="ttc" id="structSVF_1_1SparseBitVectorElement_html_a4b6a06a3a19f2241cec68e09d4feb526"><div class="ttname"><a href="structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526">SVF::SparseBitVectorElement::Bits</a></div><div class="ttdeci">BitWord Bits[BITWORDS_PER_ELEMENT]</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00232">SparseBitVector.h:232</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -920,7 +920,7 @@ template&lt;unsigned ElementSize = 128&gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a> <a class="el" href="structSVF_1_1SparseBitVectorElement.html">SVF::SparseBitVectorElement</a>&lt; ElementSize &gt;::Bits[<a class="el" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>]</td>
+          <td class="memname"><a class="el" href="structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d">BitWord</a> <a class="el" href="structSVF_1_1SparseBitVectorElement.html">SVF::SparseBitVectorElement</a>&lt; ElementSize &gt;::Bits[<a class="el" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">BITWORDS_PER_ELEMENT</a>]</td>
         </tr>
       </table>
   </td>