svf-tools 1.0.596 → 1.0.598

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

@@ -82,19 +82,17 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b">getSuccInstructions</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"><span class="mlabel">inline</span></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_1SVFInstruction.html#ab9e1aeffeddda2626cb9330d59631d5b">InstVec</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"></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_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d">isRetInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html#afbf703f88da59d2b30c14c7d40e5e22d">isTerminator</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</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#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_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">predInsts</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</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_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">ret</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</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#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#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_1SVFInstruction.html#ab9e1aeffeddda2626cb9330d59631d5b">InstVec</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"></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_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d">isRetInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html#afbf703f88da59d2b30c14c7d40e5e22d">isTerminator</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"><span class="mlabel">inline</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_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">predInsts</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</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_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">ret</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"><span class="mlabel">private</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#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><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 class="even"><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>

package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html

@@ -162,8 +162,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>
@@ -205,8 +203,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>
@@ -219,7 +215,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#l00579">579</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#l00570">570</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="ab9e1aeffeddda2626cb9330d59631d5b"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ab9e1aeffeddda2626cb9330d59631d5b">&#9670;&nbsp;</a></span>InstVec</h2>
@@ -233,7 +229,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#l00582">582</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#l00573">573</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -290,11 +286,11 @@ Additional Inherited Members</h2></td></tr>
 
 <p>predecessor Instructions </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00231">231</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;                                                                                                                               :</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    <a class="code" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a>(i, ty, k), <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>(b), <a class="code" href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">terminator</a>(tm), <a class="code" href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">ret</a>(isRet)</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;{</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;}</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_1SVFInstruction_html_ab092c00376cf697bc4a3b7baa9f3a2f3"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">SVF::SVFInstruction::terminator</a></div><div class="ttdeci">bool terminator</div><div class="ttdoc">The BasicBlock where this Instruction resides. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00586">SVFValue.h:586</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFInstruction_html_a61e04a2e436a4c141980ee06854b74ca"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">SVF::SVFInstruction::ret</a></div><div class="ttdeci">bool ret</div><div class="ttdoc">return true if this is a terminator instruction </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00587">SVFValue.h:587</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFInstruction_html_ade4a9596b2c288f2f74ce813d21fcaa0"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">SVF::SVFInstruction::bb</a></div><div class="ttdeci">const SVFBasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00585">SVFValue.h:585</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00230">230</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;                                                                                                                               :</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    <a class="code" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a>(i, ty, k), <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>(b), <a class="code" href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">terminator</a>(tm), <a class="code" href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">ret</a>(isRet)</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;{</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;}</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_1SVFInstruction_html_ab092c00376cf697bc4a3b7baa9f3a2f3"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">SVF::SVFInstruction::terminator</a></div><div class="ttdeci">bool terminator</div><div class="ttdoc">The BasicBlock where this Instruction resides. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00577">SVFValue.h:577</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFInstruction_html_a61e04a2e436a4c141980ee06854b74ca"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">SVF::SVFInstruction::ret</a></div><div class="ttdeci">bool ret</div><div class="ttdoc">return true if this is a terminator instruction </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00578">SVFValue.h:578</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFInstruction_html_ade4a9596b2c288f2f74ce813d21fcaa0"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">SVF::SVFInstruction::bb</a></div><div class="ttdeci">const SVFBasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00576">SVFValue.h:576</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -375,8 +371,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#l00596">596</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;    {</div><div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVFInst</a> ||</div><div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> ||</div><div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div><div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVF::SVFValue::SVFVCall</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00161">SVFValue.h:161</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00587">587</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;    {</div><div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVFInst</a> ||</div><div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> ||</div><div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;               node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div><div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVF::SVFValue::SVFVCall</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00161">SVFValue.h:161</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVF::SVFValue::SVFCall</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00160">SVFValue.h:160</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVF::SVFValue::SVFInst</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00159">SVFValue.h:159</a></div></div>
 </div><!-- fragment -->
@@ -405,9 +401,9 @@ 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#l00628">628</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00629"></a><span class="lineno">  629</span>&#160;    {</div><div class="line"><a name="l00630"></a><span class="lineno">  630</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#af48d08d3adf7dd3ed69d97e4df360059">getParent</a>();</div><div class="line"><a name="l00631"></a><span class="lineno">  631</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFBasicBlock_html_af48d08d3adf7dd3ed69d97e4df360059"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#af48d08d3adf7dd3ed69d97e4df360059">SVF::SVFBasicBlock::getParent</a></div><div class="ttdeci">const SVFFunction * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00536">SVFValue.h:536</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFInstruction_html_ade4a9596b2c288f2f74ce813d21fcaa0"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">SVF::SVFInstruction::bb</a></div><div class="ttdeci">const SVFBasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00585">SVFValue.h:585</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00619">619</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00620"></a><span class="lineno">  620</span>&#160;    {</div><div class="line"><a name="l00621"></a><span class="lineno">  621</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#af48d08d3adf7dd3ed69d97e4df360059">getParent</a>();</div><div class="line"><a name="l00622"></a><span class="lineno">  622</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFBasicBlock_html_af48d08d3adf7dd3ed69d97e4df360059"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#af48d08d3adf7dd3ed69d97e4df360059">SVF::SVFBasicBlock::getParent</a></div><div class="ttdeci">const SVFFunction * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00527">SVFValue.h:527</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFInstruction_html_ade4a9596b2c288f2f74ce813d21fcaa0"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">SVF::SVFInstruction::bb</a></div><div class="ttdeci">const SVFBasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00576">SVFValue.h:576</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -434,8 +430,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#l00603">603</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;    {</div><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>;</div><div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ade4a9596b2c288f2f74ce813d21fcaa0"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">SVF::SVFInstruction::bb</a></div><div class="ttdeci">const SVFBasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00585">SVFValue.h:585</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00594">594</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;    {</div><div class="line"><a name="l00596"></a><span class="lineno">  596</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">bb</a>;</div><div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ade4a9596b2c288f2f74ce813d21fcaa0"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0">SVF::SVFInstruction::bb</a></div><div class="ttdeci">const SVFBasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00576">SVFValue.h:576</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -462,8 +458,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#l00613">613</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;    {</div><div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">predInsts</a>;</div><div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ace4dc83c186f5ae888aa210439ae4c34"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">SVF::SVFInstruction::predInsts</a></div><div class="ttdeci">InstVec predInsts</div><div class="ttdoc">successor Instructions </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00589">SVFValue.h:589</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00604">604</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;    {</div><div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">predInsts</a>;</div><div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ace4dc83c186f5ae888aa210439ae4c34"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">SVF::SVFInstruction::predInsts</a></div><div class="ttdeci">InstVec predInsts</div><div class="ttdoc">successor Instructions </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00580">SVFValue.h:580</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -490,8 +486,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#l00623">623</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00624"></a><span class="lineno">  624</span>&#160;    {</div><div class="line"><a name="l00625"></a><span class="lineno">  625</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">predInsts</a>;</div><div class="line"><a name="l00626"></a><span class="lineno">  626</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ace4dc83c186f5ae888aa210439ae4c34"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">SVF::SVFInstruction::predInsts</a></div><div class="ttdeci">InstVec predInsts</div><div class="ttdoc">successor Instructions </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00589">SVFValue.h:589</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00614">614</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;    {</div><div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">predInsts</a>;</div><div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ace4dc83c186f5ae888aa210439ae4c34"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">SVF::SVFInstruction::predInsts</a></div><div class="ttdeci">InstVec predInsts</div><div class="ttdoc">successor Instructions </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00580">SVFValue.h:580</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -518,8 +514,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#l00608">608</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;    {</div><div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">succInsts</a>;</div><div class="line"><a name="l00611"></a><span class="lineno">  611</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ad0e8b1042094fda42346bae211d3e679"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">SVF::SVFInstruction::succInsts</a></div><div class="ttdeci">InstVec succInsts</div><div class="ttdoc">return true if this is an return instruction of a function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00588">SVFValue.h:588</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00599">599</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;    {</div><div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">succInsts</a>;</div><div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ad0e8b1042094fda42346bae211d3e679"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">SVF::SVFInstruction::succInsts</a></div><div class="ttdeci">InstVec succInsts</div><div class="ttdoc">return true if this is an return instruction of a function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00579">SVFValue.h:579</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -546,8 +542,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#l00618">618</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;    {</div><div class="line"><a name="l00620"></a><span class="lineno">  620</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">succInsts</a>;</div><div class="line"><a name="l00621"></a><span class="lineno">  621</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ad0e8b1042094fda42346bae211d3e679"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">SVF::SVFInstruction::succInsts</a></div><div class="ttdeci">InstVec succInsts</div><div class="ttdoc">return true if this is an return instruction of a function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00588">SVFValue.h:588</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00609">609</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160;    {</div><div class="line"><a name="l00611"></a><span class="lineno">  611</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">succInsts</a>;</div><div class="line"><a name="l00612"></a><span class="lineno">  612</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ad0e8b1042094fda42346bae211d3e679"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">SVF::SVFInstruction::succInsts</a></div><div class="ttdeci">InstVec succInsts</div><div class="ttdoc">return true if this is an return instruction of a function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00579">SVFValue.h:579</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -574,8 +570,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#l00638">638</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00639"></a><span class="lineno">  639</span>&#160;    {</div><div class="line"><a name="l00640"></a><span class="lineno">  640</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">ret</a>;</div><div class="line"><a name="l00641"></a><span class="lineno">  641</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_a61e04a2e436a4c141980ee06854b74ca"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">SVF::SVFInstruction::ret</a></div><div class="ttdeci">bool ret</div><div class="ttdoc">return true if this is a terminator instruction </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00587">SVFValue.h:587</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00629">629</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00630"></a><span class="lineno">  630</span>&#160;    {</div><div class="line"><a name="l00631"></a><span class="lineno">  631</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">ret</a>;</div><div class="line"><a name="l00632"></a><span class="lineno">  632</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_a61e04a2e436a4c141980ee06854b74ca"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca">SVF::SVFInstruction::ret</a></div><div class="ttdeci">bool ret</div><div class="ttdoc">return true if this is a terminator instruction </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00578">SVFValue.h:578</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -602,8 +598,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#l00633">633</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00634"></a><span class="lineno">  634</span>&#160;    {</div><div class="line"><a name="l00635"></a><span class="lineno">  635</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">terminator</a>;</div><div class="line"><a name="l00636"></a><span class="lineno">  636</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ab092c00376cf697bc4a3b7baa9f3a2f3"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">SVF::SVFInstruction::terminator</a></div><div class="ttdeci">bool terminator</div><div class="ttdoc">The BasicBlock where this Instruction resides. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00586">SVFValue.h:586</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00624">624</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00625"></a><span class="lineno">  625</span>&#160;    {</div><div class="line"><a name="l00626"></a><span class="lineno">  626</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">terminator</a>;</div><div class="line"><a name="l00627"></a><span class="lineno">  627</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html_ab092c00376cf697bc4a3b7baa9f3a2f3"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3">SVF::SVFInstruction::terminator</a></div><div class="ttdeci">bool terminator</div><div class="ttdoc">The BasicBlock where this Instruction resides. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00577">SVFValue.h:577</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -628,7 +624,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#l00585">585</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#l00576">576</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -654,7 +650,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p>successor Instructions </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00589">589</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#l00580">580</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -680,7 +676,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p>return true if this is a terminator instruction </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00587">587</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#l00578">578</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -706,7 +702,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p>return true if this is an return instruction of a function </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00588">588</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#l00579">579</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -732,7 +728,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p>The BasicBlock where this Instruction resides. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00586">586</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#l00577">577</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html

@@ -466,10 +466,10 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00034">34</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
 <div class="fragment"><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;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">hasLoopInfo</a>(bb))</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    {</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae5e2b154313b4330bb015050aec72a1f">LoopBBs</a> blocks = <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">getLoopInfo</a>(bb);</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;        <span class="keywordflow">if</span> (!blocks.empty())</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;        {</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* block : blocks)</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;            {</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* succ : block-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">getSuccessors</a>())</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;                    <span class="keywordflow">if</span> ((std::find(blocks.begin(), blocks.end(), succ)==blocks.end()))</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;                        exitbbs.push_back(succ);</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;                }</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;            }</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        }</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    }</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_ae5e2b154313b4330bb015050aec72a1f"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ae5e2b154313b4330bb015050aec72a1f">SVF::SVFLoopAndDomInfo::LoopBBs</a></div><div class="ttdeci">BBList LoopBBs</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00055">SVFValue.h:55</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00480">SVFValue.h:480</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00471">SVFValue.h:471</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_abe37f8896e2491a7a60be3fbfde8123c"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">SVF::SVFLoopAndDomInfo::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00080">SVFValue.h:80</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_a0fb893485fc3df088d921762514faf66"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">SVF::SVFLoopAndDomInfo::getLoopInfo</a></div><div class="ttdeci">const LoopBBs &amp; getLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00027">SVFValue.cpp:27</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFBasicBlock_html_a66f51cd41e93ad055c4a0c2874e73fae"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock::getSuccessors</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00560">SVFValue.h:560</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFBasicBlock_html_a66f51cd41e93ad055c4a0c2874e73fae"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock::getSuccessors</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00551">SVFValue.h:551</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

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

@@ -76,14 +76,12 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</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><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_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_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_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_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>

package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html

@@ -114,8 +114,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>
@@ -171,8 +169,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>
@@ -185,7 +181,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#l01004">1004</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#l00995">995</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="a971ae595fc62da1e4fc49b675c54dee4"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a971ae595fc62da1e4fc49b675c54dee4">&#9670;&nbsp;</a></span>SVFMetadataAsValue() <span class="overload">[1/2]</span></h2>
@@ -221,8 +217,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#l01007">1007</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01007"></a><span class="lineno"> 1007</span>&#160;                                                                 : <a class="code" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVFOtherValue</a>(other, ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFValue::SVFMetaAsValue</a>)</div><div class="line"><a name="l01008"></a><span class="lineno"> 1008</span>&#160;    {</div><div class="line"><a name="l01009"></a><span class="lineno"> 1009</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue::SVFMetaAsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00170">SVFValue.h:170</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00998">998</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00998"></a><span class="lineno">  998</span>&#160;                                                                 : <a class="code" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVFOtherValue</a>(other, ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFValue::SVFMetaAsValue</a>)</div><div class="line"><a name="l00999"></a><span class="lineno">  999</span>&#160;    {</div><div class="line"><a name="l01000"></a><span class="lineno"> 1000</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue::SVFMetaAsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00170">SVFValue.h:170</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFOtherValue_html_a3966c98b9807e4d5f30869c3abccaaa9"><div class="ttname"><a href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVF::SVFOtherValue::SVFOtherValue</a></div><div class="ttdeci">SVFOtherValue()=delete</div></div>
 </div><!-- fragment -->
 </div>
@@ -277,8 +273,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#l01012">1012</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01013"></a><span class="lineno"> 1013</span>&#160;    {</div><div class="line"><a name="l01014"></a><span class="lineno"> 1014</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a>;</div><div class="line"><a name="l01015"></a><span class="lineno"> 1015</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue::SVFMetaAsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00170">SVFValue.h:170</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01003">1003</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01004"></a><span class="lineno"> 1004</span>&#160;    {</div><div class="line"><a name="l01005"></a><span class="lineno"> 1005</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a>;</div><div class="line"><a name="l01006"></a><span class="lineno"> 1006</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue::SVFMetaAsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00170">SVFValue.h:170</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -306,8 +302,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#l01016">1016</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01017"></a><span class="lineno"> 1017</span>&#160;    {</div><div class="line"><a name="l01018"></a><span class="lineno"> 1018</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a>;</div><div class="line"><a name="l01019"></a><span class="lineno"> 1019</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue::SVFMetaAsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00170">SVFValue.h:170</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01007">1007</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01008"></a><span class="lineno"> 1008</span>&#160;    {</div><div class="line"><a name="l01009"></a><span class="lineno"> 1009</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a>;</div><div class="line"><a name="l01010"></a><span class="lineno"> 1010</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue::SVFMetaAsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00170">SVFValue.h:170</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html

@@ -504,8 +504,8 @@ Static Private Attributes</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SVFModule_8cpp_source.html#l00031">31</a> of file <a class="el" href="SVFModule_8cpp_source.html">SVFModule.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;{</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* f : <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>)</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;        <span class="keyword">delete</span> f;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstant.html">SVFConstant</a>* c : <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>)</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;        <span class="keyword">delete</span> c;</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* o : <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>)</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;        <span class="keyword">delete</span> o;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;    <a class="code" href="classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8">NodeIDAllocator::unset</a>();</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <a class="code" href="classSVF_1_1ThreadAPI.html#af4d921a3a0e5374188f7b6a6427c049d">ThreadAPI::destroy</a>();</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;    <a class="code" href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">ExtAPI::destory</a>();</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00266">SVFValue.h:266</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00772">SVFValue.h:772</a></div></div>
+<div class="fragment"><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;{</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* f : <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>)</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;        <span class="keyword">delete</span> f;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstant.html">SVFConstant</a>* c : <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>)</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;        <span class="keyword">delete</span> c;</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* o : <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>)</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;        <span class="keyword">delete</span> o;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;    <a class="code" href="classSVF_1_1NodeIDAllocator.html#af7952ef5667039c9be86a589419b35a8">NodeIDAllocator::unset</a>();</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <a class="code" href="classSVF_1_1ThreadAPI.html#af4d921a3a0e5374188f7b6a6427c049d">ThreadAPI::destroy</a>();</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;    <a class="code" href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">ExtAPI::destory</a>();</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00257">SVFValue.h:257</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00763">SVFValue.h:763</a></div></div>
 <div class="ttc" id="classSVF_1_1ThreadAPI_html_af4d921a3a0e5374188f7b6a6427c049d"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#af4d921a3a0e5374188f7b6a6427c049d">SVF::ThreadAPI::destroy</a></div><div class="ttdeci">static void destroy()</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00111">ThreadAPI.h:111</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00147">SVFValue.h:147</a></div></div>
 <div class="ttc" id="classSVF_1_1ExtAPI_html_abe3e0e2500532acfc01cee7e2ce1cd90"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI::destory</a></div><div class="ttdeci">static void destory()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00171">ExtAPI.cpp:171</a></div></div>
@@ -1191,7 +1191,7 @@ Static Private Attributes</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SVFModule_8cpp_source.html#l00044">44</a> of file <a class="el" href="SVFModule_8cpp_source.html">SVFModule.cpp</a>.</p>
-<div class="fragment"><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="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun : <a class="code" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">getFunctionSet</a>())</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    {</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;        <span class="keywordflow">if</span> (fun-&gt;getName() == <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>)</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        {</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;            <span class="keywordflow">return</span> fun;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;        }</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    }</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00266">SVFValue.h:266</a></div></div>
+<div class="fragment"><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="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun : <a class="code" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">getFunctionSet</a>())</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    {</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;        <span class="keywordflow">if</span> (fun-&gt;getName() == <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>)</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        {</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;            <span class="keywordflow">return</span> fun;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;        }</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    }</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00257">SVFValue.h:257</a></div></div>
 <div class="ttc" id="cJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html_abbaf48d9702ec1f38dc6ae137ca630a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">SVF::SVFModule::getFunctionSet</a></div><div class="ttdeci">const FunctionSetType &amp; getFunctionSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00209">SVFModule.h:209</a></div></div>
 </div><!-- fragment -->