svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html

@@ -255,7 +255,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00655">655</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00661">661</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a6cdb5b727c559d3c041aba94e6f64596"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a6cdb5b727c559d3c041aba94e6f64596">&#9670;&nbsp;</a></span>SVFCallInst() <span class="overload">[1/2]</span></h2>
@@ -309,11 +309,11 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00680">680</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00680"></a><span class="lineno">  680</span>&#160;                                                                                                     :</div>
-<div class="line"><a name="l00681"></a><span class="lineno">  681</span>&#160;        <a class="code" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVFInstruction</a>(ty, <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>, tm, <span class="keyword">false</span>, k), <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>(va), <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>(<span class="keyword">nullptr</span>)</div>
-<div class="line"><a name="l00682"></a><span class="lineno">  682</span>&#160;    {</div>
-<div class="line"><a name="l00683"></a><span class="lineno">  683</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00686">686</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160;                                                                                                     :</div>
+<div class="line"><a name="l00687"></a><span class="lineno">  687</span>&#160;        <a class="code" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVFInstruction</a>(ty, <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>, tm, <span class="keyword">false</span>, k), <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>(va), <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>(<span class="keyword">nullptr</span>)</div>
+<div class="line"><a name="l00688"></a><span class="lineno">  688</span>&#160;    {</div>
+<div class="line"><a name="l00689"></a><span class="lineno">  689</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -370,10 +370,10 @@ Additional Inherited Members</h2></td></tr>
 
 <p>attributes to be set only through Module builders e.g., LLVMModule </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00669">669</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00670"></a><span class="lineno">  670</span>&#160;    {</div>
-<div class="line"><a name="l00671"></a><span class="lineno">  671</span>&#160;        <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.push_back(<a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>);</div>
-<div class="line"><a name="l00672"></a><span class="lineno">  672</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00675">675</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00676"></a><span class="lineno">  676</span>&#160;    {</div>
+<div class="line"><a name="l00677"></a><span class="lineno">  677</span>&#160;        <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.push_back(<a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>);</div>
+<div class="line"><a name="l00678"></a><span class="lineno">  678</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -400,10 +400,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00698">698</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;    {</div>
-<div class="line"><a name="l00700"></a><span class="lineno">  700</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.empty();</div>
-<div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00704">704</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00705"></a><span class="lineno">  705</span>&#160;    {</div>
+<div class="line"><a name="l00706"></a><span class="lineno">  706</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.empty();</div>
+<div class="line"><a name="l00707"></a><span class="lineno">  707</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -430,10 +430,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00694">694</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;    {</div>
-<div class="line"><a name="l00696"></a><span class="lineno">  696</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.size();</div>
-<div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00700">700</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    {</div>
+<div class="line"><a name="l00702"></a><span class="lineno">  702</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.size();</div>
+<div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -461,10 +461,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00690">690</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;    {</div>
-<div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
-<div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00696">696</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;    {</div>
+<div class="line"><a name="l00698"></a><span class="lineno">  698</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
+<div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -492,10 +492,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00686">686</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00687"></a><span class="lineno">  687</span>&#160;    {</div>
-<div class="line"><a name="l00688"></a><span class="lineno">  688</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
-<div class="line"><a name="l00689"></a><span class="lineno">  689</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00692">692</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;    {</div>
+<div class="line"><a name="l00694"></a><span class="lineno">  694</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
+<div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -523,11 +523,11 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00702">702</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;    {</div>
-<div class="line"><a name="l00704"></a><span class="lineno">  704</span>&#160;        assert(i &lt; <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() &amp;&amp; <span class="stringliteral">&quot;out of bound access of the argument&quot;</span>);</div>
-<div class="line"><a name="l00705"></a><span class="lineno">  705</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>[i];</div>
-<div class="line"><a name="l00706"></a><span class="lineno">  706</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00708">708</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;    {</div>
+<div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;        assert(i &lt; <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() &amp;&amp; <span class="stringliteral">&quot;out of bound access of the argument&quot;</span>);</div>
+<div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>[i];</div>
+<div class="line"><a name="l00712"></a><span class="lineno">  712</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -554,10 +554,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00719">719</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00720"></a><span class="lineno">  720</span>&#160;    {</div>
-<div class="line"><a name="l00721"></a><span class="lineno">  721</span>&#160;        <span class="keywordflow">return</span> SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>);</div>
-<div class="line"><a name="l00722"></a><span class="lineno">  722</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00725">725</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00726"></a><span class="lineno">  726</span>&#160;    {</div>
+<div class="line"><a name="l00727"></a><span class="lineno">  727</span>&#160;        <span class="keywordflow">return</span> SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>);</div>
+<div class="line"><a name="l00728"></a><span class="lineno">  728</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -584,10 +584,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00711">711</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00712"></a><span class="lineno">  712</span>&#160;    {</div>
-<div class="line"><a name="l00713"></a><span class="lineno">  713</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>;</div>
-<div class="line"><a name="l00714"></a><span class="lineno">  714</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00717">717</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00718"></a><span class="lineno">  718</span>&#160;    {</div>
+<div class="line"><a name="l00719"></a><span class="lineno">  719</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>;</div>
+<div class="line"><a name="l00720"></a><span class="lineno">  720</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -614,10 +614,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00723">723</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00724"></a><span class="lineno">  724</span>&#160;    {</div>
-<div class="line"><a name="l00725"></a><span class="lineno">  725</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>();</div>
-<div class="line"><a name="l00726"></a><span class="lineno">  726</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00729">729</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00730"></a><span class="lineno">  730</span>&#160;    {</div>
+<div class="line"><a name="l00731"></a><span class="lineno">  731</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>();</div>
+<div class="line"><a name="l00732"></a><span class="lineno">  732</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -644,10 +644,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00707">707</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;    {</div>
-<div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
-<div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00713">713</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00714"></a><span class="lineno">  714</span>&#160;    {</div>
+<div class="line"><a name="l00715"></a><span class="lineno">  715</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
+<div class="line"><a name="l00716"></a><span class="lineno">  716</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -674,10 +674,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00715">715</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00716"></a><span class="lineno">  716</span>&#160;    {</div>
-<div class="line"><a name="l00717"></a><span class="lineno">  717</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>;</div>
-<div class="line"><a name="l00718"></a><span class="lineno">  718</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00721">721</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00722"></a><span class="lineno">  722</span>&#160;    {</div>
+<div class="line"><a name="l00723"></a><span class="lineno">  723</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>;</div>
+<div class="line"><a name="l00724"></a><span class="lineno">  724</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -705,10 +705,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00673">673</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00674"></a><span class="lineno">  674</span>&#160;    {</div>
-<div class="line"><a name="l00675"></a><span class="lineno">  675</span>&#160;        <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a> = v;</div>
-<div class="line"><a name="l00676"></a><span class="lineno">  676</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00679">679</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00680"></a><span class="lineno">  680</span>&#160;    {</div>
+<div class="line"><a name="l00681"></a><span class="lineno">  681</span>&#160;        <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a> = v;</div>
+<div class="line"><a name="l00682"></a><span class="lineno">  682</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -733,7 +733,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00659">659</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00665">665</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -757,7 +757,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00660">660</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00666">666</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -781,7 +781,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00658">658</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00664">664</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -805,7 +805,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00657">657</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00663">663</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -830,7 +830,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00663">663</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00669">669</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -854,7 +854,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00665">665</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00671">671</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -878,7 +878,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00664">664</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00670">670</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -886,15 +886,15 @@ Additional Inherited Members</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/include/SVFIR/<a class="el" href="SVFValue_8h_source.html">SVFValue.h</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00639">SVFValue.h:639</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00645">SVFValue.h:645</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVF::SVFValue::SVFVCall</a></div><div class="ttdeci">@ SVFVCall</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00166">SVFValue.h:166</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVF::SVFValue::SVFCall</a></div><div class="ttdeci">@ SVFCall</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00165">SVFValue.h:165</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_affe1e1d74a71c17a7fb8a9a145bd9524"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">SVF::SVFCallInst::args</a></div><div class="ttdeci">std::vector&lt; const SVFValue * &gt; args</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00663">SVFValue.h:663</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a23ee9dbaa0052ef41ce2d75f1dc36491"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">SVF::SVFCallInst::calledVal</a></div><div class="ttdeci">const SVFValue * calledVal</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00665">SVFValue.h:665</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a4280d986cfa4ebd0a1c4b6c63bb13eb6"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">SVF::SVFCallInst::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00664">SVFValue.h:664</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_affe1e1d74a71c17a7fb8a9a145bd9524"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">SVF::SVFCallInst::args</a></div><div class="ttdeci">std::vector&lt; const SVFValue * &gt; args</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00669">SVFValue.h:669</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a23ee9dbaa0052ef41ce2d75f1dc36491"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">SVF::SVFCallInst::calledVal</a></div><div class="ttdeci">const SVFValue * calledVal</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00671">SVFValue.h:671</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a4280d986cfa4ebd0a1c4b6c63bb13eb6"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">SVF::SVFCallInst::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00670">SVFValue.h:670</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a8a1a0a26c50cc4becfc754bb68d1dc6b"><div class="ttname"><a href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a></div><div class="ttdeci">cJSON * a</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02560">cJSON.cpp:2560</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_a7d81c86ea5e1f8e313457862e19c2a3c"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction::SVFInstruction</a></div><div class="ttdeci">SVFInstruction(void)=delete</div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00694">SVFValue.h:694</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00700">SVFValue.h:700</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a1a175e87536301df98c805ac0636ad7c"><div class="ttname"><a href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a></div><div class="ttdeci">const cJSON *const b</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00255">cJSON.h:255</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html

@@ -190,7 +190,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00789">789</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00795">795</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a3aacbc8f43aec414af229be6a9622a08"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a3aacbc8f43aec414af229be6a9622a08">&#9670;&nbsp;</a></span>SVFConstant() <span class="overload">[1/2]</span></h2>
@@ -226,10 +226,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00794">794</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00794"></a><span class="lineno">  794</span>&#160;                                                           : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, k)</div>
-<div class="line"><a name="l00795"></a><span class="lineno">  795</span>&#160;    {</div>
-<div class="line"><a name="l00796"></a><span class="lineno">  796</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00800">800</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00800"></a><span class="lineno">  800</span>&#160;                                                           : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, k)</div>
+<div class="line"><a name="l00801"></a><span class="lineno">  801</span>&#160;    {</div>
+<div class="line"><a name="l00802"></a><span class="lineno">  802</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -283,16 +283,16 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00799">799</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00800"></a><span class="lineno">  800</span>&#160;    {</div>
-<div class="line"><a name="l00801"></a><span class="lineno">  801</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66">SVFConst</a> ||</div>
-<div class="line"><a name="l00802"></a><span class="lineno">  802</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVFGlob</a> ||</div>
-<div class="line"><a name="l00803"></a><span class="lineno">  803</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
-<div class="line"><a name="l00804"></a><span class="lineno">  804</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
-<div class="line"><a name="l00805"></a><span class="lineno">  805</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
-<div class="line"><a name="l00806"></a><span class="lineno">  806</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
-<div class="line"><a name="l00807"></a><span class="lineno">  807</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
-<div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00805">805</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00806"></a><span class="lineno">  806</span>&#160;    {</div>
+<div class="line"><a name="l00807"></a><span class="lineno">  807</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66">SVFConst</a> ||</div>
+<div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVFGlob</a> ||</div>
+<div class="line"><a name="l00809"></a><span class="lineno">  809</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
+<div class="line"><a name="l00810"></a><span class="lineno">  810</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
+<div class="line"><a name="l00811"></a><span class="lineno">  811</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
+<div class="line"><a name="l00812"></a><span class="lineno">  812</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
+<div class="line"><a name="l00813"></a><span class="lineno">  813</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
+<div class="line"><a name="l00814"></a><span class="lineno">  814</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -317,7 +317,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00792">792</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00798">798</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -341,7 +341,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00791">791</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00797">797</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html

@@ -199,7 +199,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00893">893</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00899">899</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a1ea9ae8d6d2b29c8357132b40de45bf0"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a1ea9ae8d6d2b29c8357132b40de45bf0">&#9670;&nbsp;</a></span>SVFConstantData() <span class="overload">[1/2]</span></h2>
@@ -235,10 +235,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00898">898</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00899"></a><span class="lineno">  899</span>&#160;        : <a class="code" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVFConstant</a>(ty, k)</div>
-<div class="line"><a name="l00900"></a><span class="lineno">  900</span>&#160;    {</div>
-<div class="line"><a name="l00901"></a><span class="lineno">  901</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00904">904</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00905"></a><span class="lineno">  905</span>&#160;        : <a class="code" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVFConstant</a>(ty, k)</div>
+<div class="line"><a name="l00906"></a><span class="lineno">  906</span>&#160;    {</div>
+<div class="line"><a name="l00907"></a><span class="lineno">  907</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -292,14 +292,14 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00912">912</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00913"></a><span class="lineno">  913</span>&#160;    {</div>
-<div class="line"><a name="l00914"></a><span class="lineno">  914</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
-<div class="line"><a name="l00915"></a><span class="lineno">  915</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
-<div class="line"><a name="l00916"></a><span class="lineno">  916</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
-<div class="line"><a name="l00917"></a><span class="lineno">  917</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
-<div class="line"><a name="l00918"></a><span class="lineno">  918</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
-<div class="line"><a name="l00919"></a><span class="lineno">  919</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00918">918</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00919"></a><span class="lineno">  919</span>&#160;    {</div>
+<div class="line"><a name="l00920"></a><span class="lineno">  920</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
+<div class="line"><a name="l00921"></a><span class="lineno">  921</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
+<div class="line"><a name="l00922"></a><span class="lineno">  922</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
+<div class="line"><a name="l00923"></a><span class="lineno">  923</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
+<div class="line"><a name="l00924"></a><span class="lineno">  924</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
+<div class="line"><a name="l00925"></a><span class="lineno">  925</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -327,14 +327,14 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00904">904</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00905"></a><span class="lineno">  905</span>&#160;    {</div>
-<div class="line"><a name="l00906"></a><span class="lineno">  906</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
-<div class="line"><a name="l00907"></a><span class="lineno">  907</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
-<div class="line"><a name="l00908"></a><span class="lineno">  908</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
-<div class="line"><a name="l00909"></a><span class="lineno">  909</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
-<div class="line"><a name="l00910"></a><span class="lineno">  910</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
-<div class="line"><a name="l00911"></a><span class="lineno">  911</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00910">910</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00911"></a><span class="lineno">  911</span>&#160;    {</div>
+<div class="line"><a name="l00912"></a><span class="lineno">  912</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> ||</div>
+<div class="line"><a name="l00913"></a><span class="lineno">  913</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> ||</div>
+<div class="line"><a name="l00914"></a><span class="lineno">  914</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> ||</div>
+<div class="line"><a name="l00915"></a><span class="lineno">  915</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> ||</div>
+<div class="line"><a name="l00916"></a><span class="lineno">  916</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div>
+<div class="line"><a name="l00917"></a><span class="lineno">  917</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -359,7 +359,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00896">896</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00902">902</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -383,7 +383,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00895">895</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00901">901</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>