svf-tools 1.0.596 → 1.0.597

package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html

@@ -115,8 +115,6 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:acb5d0311477899abb4c222cd44376c73 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac29e2f5e75cc6916be6a663ca6d51177 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a> () const</td></tr>
 <tr class="separator:ac29e2f5e75cc6916be6a663ca6d51177 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4c46c11c4b1c0f43c80818cf7408703a inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a4c46c11c4b1c0f43c80818cf7408703a">hasName</a> () const</td></tr>
-<tr class="separator:a4c46c11c4b1c0f43c80818cf7408703a inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a588acec1904d440797ca4500f63f7d28 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">setSourceLoc</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;sourceCodeInfo)</td></tr>
 <tr class="separator:a588acec1904d440797ca4500f63f7d28 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7effb0f37f486745e0cdc3ae5e9c732b inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a> () const</td></tr>
@@ -176,8 +174,6 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:afe1de41ca3215b325d0ca61814c6bd6b inherit pro_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac2e5c42d0ac92375c88ef5b3f1b65dc4 inherit pro_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">setPtrInUncalledFunction</a> ()</td></tr>
 <tr class="separator:ac2e5c42d0ac92375c88ef5b3f1b65dc4 inherit pro_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afe3fb992ad104c32520172ebd92c2588 inherit pro_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#afe3fb992ad104c32520172ebd92c2588">setHasName</a> ()</td></tr>
-<tr class="separator:afe3fb992ad104c32520172ebd92c2588 inherit pro_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_attribs_classSVF_1_1SVFValue"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1SVFValue')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td></tr>
 <tr class="memitem:afcbdd027f9e6e35a7269f04f5fc77a78 inherit pro_attribs_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">type</a></td></tr>
 <tr class="memdesc:afcbdd027f9e6e35a7269f04f5fc77a78 inherit pro_attribs_classSVF_1_1SVFValue"><td class="mdescLeft">&#160;</td><td class="mdescRight">Type of this <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a>.  <a href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">More...</a><br /></td></tr>
@@ -190,7 +186,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#l00828">828</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#l00819">819</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="ad3ba761e7f2d872e52d60e621546a5b0"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ad3ba761e7f2d872e52d60e621546a5b0">&#9670;&nbsp;</a></span>SVFArgument() <span class="overload">[1/2]</span></h2>
@@ -244,12 +240,12 @@ 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#l00835">835</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00835"></a><span class="lineno">  835</span>&#160;                                                                                                                : <a class="code" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a>(_arg, ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVFValue::SVFArg</a>), <a class="code" href="classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4">fun</a>(_fun), <a class="code" href="classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d">argNo</a>(_argNo), <a class="code" href="classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd">uncalled</a>(_uncalled)</div><div class="line"><a name="l00836"></a><span class="lineno">  836</span>&#160;    {</div><div class="line"><a name="l00837"></a><span class="lineno">  837</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFArgument_html_a758fa3cd9354ec069f0fe569251da7cd"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd">SVF::SVFArgument::uncalled</a></div><div class="ttdeci">bool uncalled</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00833">SVFValue.h:833</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00826">826</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00826"></a><span class="lineno">  826</span>&#160;                                                                                                                : <a class="code" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a>(_arg, ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVFValue::SVFArg</a>), <a class="code" href="classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4">fun</a>(_fun), <a class="code" href="classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d">argNo</a>(_argNo), <a class="code" href="classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd">uncalled</a>(_uncalled)</div><div class="line"><a name="l00827"></a><span class="lineno">  827</span>&#160;    {</div><div class="line"><a name="l00828"></a><span class="lineno">  828</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFArgument_html_a758fa3cd9354ec069f0fe569251da7cd"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd">SVF::SVFArgument::uncalled</a></div><div class="ttdeci">bool uncalled</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00824">SVFValue.h:824</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_a2be7a19ba121affa81c29a91cd9ecad9"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue(void)=delete</div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVF::SVFValue::SVFArg</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00163">SVFValue.h:163</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFArgument_html_ac4fa9a6b097a6745e016339851428c0d"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d">SVF::SVFArgument::argNo</a></div><div class="ttdeci">u32_t argNo</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00832">SVFValue.h:832</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFArgument_html_a3ff4ec73d0e5eea7d8369d3d948e89f4"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4">SVF::SVFArgument::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00831">SVFValue.h:831</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFArgument_html_ac4fa9a6b097a6745e016339851428c0d"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d">SVF::SVFArgument::argNo</a></div><div class="ttdeci">u32_t argNo</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00823">SVFValue.h:823</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFArgument_html_a3ff4ec73d0e5eea7d8369d3d948e89f4"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4">SVF::SVFArgument::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00822">SVFValue.h:822</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -303,8 +299,8 @@ 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#l00857">857</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00858"></a><span class="lineno">  858</span>&#160;    {</div><div class="line"><a name="l00859"></a><span class="lineno">  859</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVFArg</a>;</div><div class="line"><a name="l00860"></a><span class="lineno">  860</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVF::SVFValue::SVFArg</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00163">SVFValue.h:163</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00848">848</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00849"></a><span class="lineno">  849</span>&#160;    {</div><div class="line"><a name="l00850"></a><span class="lineno">  850</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVFArg</a>;</div><div class="line"><a name="l00851"></a><span class="lineno">  851</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVF::SVFValue::SVFArg</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00163">SVFValue.h:163</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -332,8 +328,8 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 <p>Return the index of this formal argument in its containing function. For example in "void foo(int a, float b)" a is 0 and b is 1. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00847">847</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00848"></a><span class="lineno">  848</span>&#160;    {</div><div class="line"><a name="l00849"></a><span class="lineno">  849</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d">argNo</a>;</div><div class="line"><a name="l00850"></a><span class="lineno">  850</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFArgument_html_ac4fa9a6b097a6745e016339851428c0d"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d">SVF::SVFArgument::argNo</a></div><div class="ttdeci">u32_t argNo</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00832">SVFValue.h:832</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00838">838</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00839"></a><span class="lineno">  839</span>&#160;    {</div><div class="line"><a name="l00840"></a><span class="lineno">  840</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d">argNo</a>;</div><div class="line"><a name="l00841"></a><span class="lineno">  841</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFArgument_html_ac4fa9a6b097a6745e016339851428c0d"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d">SVF::SVFArgument::argNo</a></div><div class="ttdeci">u32_t argNo</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00823">SVFValue.h:823</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -360,8 +356,8 @@ 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#l00840">840</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00841"></a><span class="lineno">  841</span>&#160;    {</div><div class="line"><a name="l00842"></a><span class="lineno">  842</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4">fun</a>;</div><div class="line"><a name="l00843"></a><span class="lineno">  843</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFArgument_html_a3ff4ec73d0e5eea7d8369d3d948e89f4"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4">SVF::SVFArgument::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00831">SVFValue.h:831</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00831">831</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00832"></a><span class="lineno">  832</span>&#160;    {</div><div class="line"><a name="l00833"></a><span class="lineno">  833</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4">fun</a>;</div><div class="line"><a name="l00834"></a><span class="lineno">  834</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFArgument_html_a3ff4ec73d0e5eea7d8369d3d948e89f4"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#a3ff4ec73d0e5eea7d8369d3d948e89f4">SVF::SVFArgument::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00822">SVFValue.h:822</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -388,8 +384,8 @@ 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#l00852">852</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00853"></a><span class="lineno">  853</span>&#160;    {</div><div class="line"><a name="l00854"></a><span class="lineno">  854</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd">uncalled</a>;</div><div class="line"><a name="l00855"></a><span class="lineno">  855</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFArgument_html_a758fa3cd9354ec069f0fe569251da7cd"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd">SVF::SVFArgument::uncalled</a></div><div class="ttdeci">bool uncalled</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00833">SVFValue.h:833</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00843">843</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00844"></a><span class="lineno">  844</span>&#160;    {</div><div class="line"><a name="l00845"></a><span class="lineno">  845</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd">uncalled</a>;</div><div class="line"><a name="l00846"></a><span class="lineno">  846</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFArgument_html_a758fa3cd9354ec069f0fe569251da7cd"><div class="ttname"><a href="classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd">SVF::SVFArgument::uncalled</a></div><div class="ttdeci">bool uncalled</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00824">SVFValue.h:824</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -414,7 +410,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#l00832">832</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#l00823">823</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -438,7 +434,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#l00831">831</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#l00822">822</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -462,7 +458,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#l00833">833</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#l00824">824</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>

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

@@ -96,16 +96,14 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBasicBlock.html#a10707086ce21999f415c479706abbd38">getTerminator</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a4c46c11c4b1c0f43c80818cf7408703a">hasName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#adcd0f90825818ab1de34e58c1a3084a3">isConstDataOrAggData</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFBasicBlock.html#a67579a8b316129e389ed0f5e3f0ee509">LLVMModuleSet</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">name</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">predBBs</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a3a4b04027aa67278e7b1bb1ef88cf2e6">ptrInUncalledFunction</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b">setConstDataOrAggData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afe3fb992ad104c32520172ebd92c2588">setHasName</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#adcd0f90825818ab1de34e58c1a3084a3">isConstDataOrAggData</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBasicBlock.html#a67579a8b316129e389ed0f5e3f0ee509">LLVMModuleSet</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">name</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">predBBs</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a3a4b04027aa67278e7b1bb1ef88cf2e6">ptrInUncalledFunction</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b">setConstDataOrAggData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">setPtrInUncalledFunction</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">setSourceLoc</a>(const std::string &amp;sourceCodeInfo)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">sourceLoc</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>