svf-tools 1.0.631 → 1.0.632

package/SVF-doxygen/html/html/BitVector_8cpp_source.html

@@ -66,7 +66,7 @@ $(function() {
 <div class="title">BitVector.cpp</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="BitVector_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===- BitVector.cpp -- bit vector data structure implementation ------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;</div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment"> * BitVector.cpp</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment"> * Contiguous bit vector with trailing 0s stripped (implementation).</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment"> *  Created on: Jul 4, 2021</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment"> *      Author: Mohamad Barbar</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;</div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="preprocessor">#include &lt;<a class="code" href="BitVector_8h.html">Util/BitVector.h</a>&gt;</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;{</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;</div><div class="line"><a name="l00017"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">   17</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">BitVector::BitVector</a>(<span class="keywordtype">void</span>)</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;    : <a class="code" href="classSVF_1_1BitVector.html">BitVector</a>(0) { }</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;</div><div class="line"><a name="l00020"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#a79f32ec9f2644133b1df8b8e0e26da15">   20</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">BitVector::BitVector</a>(<span class="keywordtype">size_t</span> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;    : <a class="code" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a>(n)</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;{</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;    <span class="comment">// This ensures that leading zeroes are never stripped.</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;    <span class="keyword">set</span>(0);</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;    <a class="code" href="classSVF_1_1CoreBitVector.html#a42fc777d574db4ef23b02308b944a85b">reset</a>(0);</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;}</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;</div><div class="line"><a name="l00028"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#a5c01a464702283bf07ef6831705405a2">   28</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">BitVector::BitVector</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;bv)</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;    : <a class="code" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a>(bv) { }</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;</div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#a4a5726a380b115e555944059a507eab7">   31</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">BitVector::BitVector</a>(<a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;&amp;bv)</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;    : <a class="code" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a>(bv) { }</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;</div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910">   34</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;<a class="code" href="classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910">BitVector::operator=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;rhs)</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;{</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    <a class="code" href="classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d">CoreBitVector::operator=</a>(rhs);</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;}</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#af5bd38d3b667a8740aaf309f6ef13369">   40</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;<a class="code" href="classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910">BitVector::operator=</a>(<a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;&amp;rhs)</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;{</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;    <a class="code" href="classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d">CoreBitVector::operator=</a>(rhs);</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;    <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;}</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;}  <span class="comment">// namespace SVF</span></div><div class="ttc" id="classSVF_1_1CoreBitVector_html_a42fc777d574db4ef23b02308b944a85b"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a42fc777d574db4ef23b02308b944a85b">SVF::CoreBitVector::reset</a></div><div class="ttdeci">void reset(u32_t bit)</div><div class="ttdoc">Resets bit in the CBV. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8cpp_source.html#l00095">CoreBitVector.cpp:95</a></div></div>
+<a href="BitVector_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===- BitVector.cpp -- bit vector data structure implementation ------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;</div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment"> * BitVector.cpp</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment"> * Contiguous bit vector with trailing 0s stripped (implementation).</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment"> *  Created on: Jul 4, 2021</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment"> *      Author: Mohamad Barbar</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;</div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="preprocessor">#include &lt;<a class="code" href="BitVector_8h.html">Util/BitVector.h</a>&gt;</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;{</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;</div><div class="line"><a name="l00017"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">   17</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">BitVector::BitVector</a>(<span class="keywordtype">void</span>)</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;    : <a class="code" href="classSVF_1_1BitVector.html">BitVector</a>(0) { }</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;</div><div class="line"><a name="l00020"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#a79f32ec9f2644133b1df8b8e0e26da15">   20</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">BitVector::BitVector</a>(<span class="keywordtype">size_t</span> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;    : <a class="code" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a>(n)</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;{</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;    <span class="comment">// This ensures that leading zeroes are never stripped.</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;    <span class="keyword">set</span>(0);</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;    <a class="code" href="classSVF_1_1CoreBitVector.html#a42fc777d574db4ef23b02308b944a85b">reset</a>(0);</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;}</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;</div><div class="line"><a name="l00028"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#a5c01a464702283bf07ef6831705405a2">   28</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">BitVector::BitVector</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;bv)</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;    : <a class="code" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a>(bv) { }</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;</div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#a4a5726a380b115e555944059a507eab7">   31</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">BitVector::BitVector</a>(<a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;&amp;bv)</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;    : <a class="code" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a>(bv) { }</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;</div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910">   34</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;<a class="code" href="classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910">BitVector::operator=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;rhs)</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;{</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    <a class="code" href="classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d">CoreBitVector::operator=</a>(rhs);</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;}</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1BitVector.html#af5bd38d3b667a8740aaf309f6ef13369">   40</a></span>&#160;<a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;<a class="code" href="classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910">BitVector::operator=</a>(<a class="code" href="classSVF_1_1BitVector.html">BitVector</a> &amp;&amp;rhs)</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;{</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;    <a class="code" href="classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d">CoreBitVector::operator=</a>(rhs);</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;    <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;}</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;}  <span class="comment">// namespace SVF</span></div><div class="ttc" id="classSVF_1_1CoreBitVector_html_a42fc777d574db4ef23b02308b944a85b"><div class="ttname"><a href="classSVF_1_1CoreBitVector.html#a42fc777d574db4ef23b02308b944a85b">SVF::CoreBitVector::reset</a></div><div class="ttdeci">void reset(u32_t bit)</div><div class="ttdoc">Resets bit in the CBV. </div><div class="ttdef"><b>Definition:</b> <a href="CoreBitVector_8cpp_source.html#l00097">CoreBitVector.cpp:97</a></div></div>
 <div class="ttc" id="classSVF_1_1BitVector_html_a212871312b985f7d7215dd46ba171990"><div class="ttname"><a href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">SVF::BitVector::BitVector</a></div><div class="ttdeci">BitVector(void)</div><div class="ttdoc">Construct empty BV. </div><div class="ttdef"><b>Definition:</b> <a href="BitVector_8cpp_source.html#l00017">BitVector.cpp:17</a></div></div>
 <div class="ttc" id="BitVector_8h_html"><div class="ttname"><a href="BitVector_8h.html">BitVector.h</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>