svf-tools 1.0.573 → 1.0.574

package/SVF-doxygen/html/html/classSVF_1_1CallSite.html

@@ -63,7 +63,6 @@ $(function() {
 </div><!-- top -->
 <div class="header">
   <div class="summary">
-<a href="#pub-types">Public Types</a> &#124;
 <a href="#pub-methods">Public Member Functions</a> &#124;
 <a href="#pri-attribs">Private Attributes</a> &#124;
 <a href="classSVF_1_1CallSite-members.html">List of all members</a>  </div>
@@ -74,11 +73,6 @@ $(function() {
 
 <p><code>#include &lt;<a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>&gt;</code></p>
 <table class="memberdecls">
-<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
-Public Types</h2></td></tr>
-<tr class="memitem:ac1cdfe5e54026960a23142e26b3150ff"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallSite.html#ac1cdfe5e54026960a23142e26b3150ff">arg_iterator</a> = User::const_op_iterator</td></tr>
-<tr class="separator:ac1cdfe5e54026960a23142e26b3150ff"><td class="memSeparator" colspan="2">&#160;</td></tr>
-</table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
 <tr class="memitem:ac56325e360c7f6720a4c78a7b50f57df"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallSite.html#ac56325e360c7f6720a4c78a7b50f57df">CallSite</a> (<a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *I)</td></tr>
@@ -91,10 +85,6 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a26a594d36bbb5b77e7085502812d9ca2"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9b7d53a345875e4e6c72eb23ac6475de"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de">getType</a> () const</td></tr>
 <tr class="separator:a9b7d53a345875e4e6c72eb23ac6475de"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aabc0054b7f4e06b7ca0b6072746984e6"><td class="memItemLeft" align="right" valign="top">User::const_op_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallSite.html#aabc0054b7f4e06b7ca0b6072746984e6">arg_begin</a> () const</td></tr>
-<tr class="separator:aabc0054b7f4e06b7ca0b6072746984e6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a46e8ffe430bb2711abaafc9d7864909e"><td class="memItemLeft" align="right" valign="top">User::const_op_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallSite.html#a46e8ffe430bb2711abaafc9d7864909e">arg_end</a> () const</td></tr>
-<tr class="separator:a46e8ffe430bb2711abaafc9d7864909e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a145676880fce313b4634d14118476c27"><td class="memItemLeft" align="right" valign="top">unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallSite.html#a145676880fce313b4634d14118476c27">arg_size</a> () const</td></tr>
 <tr class="separator:a145676880fce313b4634d14118476c27"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad084f7734007db7b14444b20bb980dd3"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3">arg_empty</a> () const</td></tr>
@@ -127,25 +117,8 @@ Private Attributes</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="Util_2BasicTypes_8h_source.html#l00343">343</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-</div><h2 class="groupheader">Member Typedef Documentation</h2>
-<a id="ac1cdfe5e54026960a23142e26b3150ff"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac1cdfe5e54026960a23142e26b3150ff">&#9670;&nbsp;</a></span>arg_iterator</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">using <a class="el" href="classSVF_1_1CallSite.html#ac1cdfe5e54026960a23142e26b3150ff">SVF::CallSite::arg_iterator</a> =  User::const_op_iterator</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00355">355</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00387">387</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+</div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="ac56325e360c7f6720a4c78a7b50f57df"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ac56325e360c7f6720a4c78a7b50f57df">&#9670;&nbsp;</a></span>CallSite() <span class="overload">[1/2]</span></h2>
 
@@ -170,8 +143,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00348">348</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;: <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>(SVFUtil::dyn_cast&lt;CallBase&gt;(I)) {}</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00392">392</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;: <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>(SVFUtil::dyn_cast&lt;CallBase&gt;(I)) {}</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -199,40 +172,12 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00349">349</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;: <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>(SVFUtil::dyn_cast&lt;CallBase&gt;(I)) {}</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00393">393</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;: <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>(SVFUtil::dyn_cast&lt;CallBase&gt;(I)) {}</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="aabc0054b7f4e06b7ca0b6072746984e6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aabc0054b7f4e06b7ca0b6072746984e6">&#9670;&nbsp;</a></span>arg_begin()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">User::const_op_iterator SVF::CallSite::arg_begin </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00364">364</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;    {</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;arg_begin();</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
 <a id="ad084f7734007db7b14444b20bb980dd3"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ad084f7734007db7b14444b20bb980dd3">&#9670;&nbsp;</a></span>arg_empty()</h2>
 
@@ -256,36 +201,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00376">376</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;    {</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;arg_empty();</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a46e8ffe430bb2711abaafc9d7864909e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a46e8ffe430bb2711abaafc9d7864909e">&#9670;&nbsp;</a></span>arg_end()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">User::const_op_iterator SVF::CallSite::arg_end </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00368">368</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;    {</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;arg_end();</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00411">411</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;    {</div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;arg_empty();</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -312,8 +229,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00372">372</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;    {</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;arg_size();</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00407">407</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;    {</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;arg_size();</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -341,8 +258,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00380">380</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;    {</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getArgOperand(i);</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00415">415</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;    {</div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getArgOperand(i);</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -370,8 +287,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00356">356</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    {</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getArgOperand(ArgNo);</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00399">399</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;    {</div><div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getArgOperand(ArgNo);</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -398,8 +315,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00388">388</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    {</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getCalledFunction();</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00423">423</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;    {</div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getCalledFunction();</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -426,8 +343,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00392">392</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;    {</div><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getCalledOperand();</div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00427">427</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;    {</div><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getCalledOperand();</div><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -454,8 +371,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00396">396</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    {</div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getCaller();</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00431">431</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;    {</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getCaller();</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -482,8 +399,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00400">400</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;    {</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getFunctionType();</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00435">435</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;    {</div><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getFunctionType();</div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -510,8 +427,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00351">351</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    {</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>;</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00395">395</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;    {</div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>;</div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -538,8 +455,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00384">384</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;    {</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;arg_size();</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00419">419</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;    {</div><div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;arg_size();</div><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -567,8 +484,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00360">360</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;    {</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getType();</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00403">403</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;    {</div><div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;getType();</div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -596,8 +513,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00413">413</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;    {</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a> != CS.CB;</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00448">448</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;    {</div><div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a> != CS.CB;</div><div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -625,8 +542,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00417">417</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;    {</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">getInstruction</a>() &lt; CS.getInstruction();</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_ab36a6a35eea673d4bdca615efc4336b1"><div class="ttname"><a href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">SVF::CallSite::getInstruction</a></div><div class="ttdeci">CallBase * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00351">BasicTypes.h:351</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00452">452</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;    {</div><div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">getInstruction</a>() &lt; CS.getInstruction();</div><div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_ab36a6a35eea673d4bdca615efc4336b1"><div class="ttname"><a href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">SVF::CallSite::getInstruction</a></div><div class="ttdeci">CallBase * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00395">BasicTypes.h:395</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -654,8 +571,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00409">409</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;    {</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a> == CS.CB;</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00444">444</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;    {</div><div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a> == CS.CB;</div><div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -693,8 +610,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00404">404</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;    {</div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;paramHasAttr(ArgNo, Kind);</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00346">BasicTypes.h:346</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00439">439</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;    {</div><div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">CB</a>-&gt;paramHasAttr(ArgNo, Kind);</div><div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_a4d21306a365c1f748def6736e9fe825c"><div class="ttname"><a href="classSVF_1_1CallSite.html#a4d21306a365c1f748def6736e9fe825c">SVF::CallSite::CB</a></div><div class="ttdeci">CallBase * CB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00390">BasicTypes.h:390</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -719,7 +636,7 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00346">346</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00390">390</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html

@@ -593,7 +593,7 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00130">130</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;{</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;CmpStmt: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- (Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(0) &lt;&lt; <span class="stringliteral">&quot; predicate&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">getPredicate</a>() &lt;&lt; <span class="stringliteral">&quot; Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(1) &lt;&lt; <span class="stringliteral">&quot;)]\t&quot;</span>;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>)</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    {</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00115">SVFStatements.h:115</a></div></div>
 <div class="ttc" id="classSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00824">SVFStatements.h:824</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
 <div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00287">SVFStatements.cpp:287</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html

@@ -809,7 +809,7 @@ Private Member Functions</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;{</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;CmpVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;PAGEdge: [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c">res</a>-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; = cmp(&quot;</span>;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    <span class="keywordflow">for</span>(CmpVFGNode::OPVers::const_iterator it = <a class="code" href="classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904">opVerBegin</a>(), eit = <a class="code" href="classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c">opVerEnd</a>();</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            it != eit; it++)</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        rawstr &lt;&lt; it-&gt;second-&gt;getId() &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;)]\n&quot;</span>;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c">res</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">hasValue</a>())</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    {</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c">res</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>());</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    }</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;}</div><div class="ttc" id="classSVF_1_1CmpVFGNode_html_ae5ba94ffae500168f0e5c1b1ce78af9c"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c">SVF::CmpVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00379">VFGNode.h:379</a></div></div>
 <div class="ttc" id="classSVF_1_1CmpVFGNode_html_a78fb624f0ca9ff16e6a8e5fd1c384904"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904">SVF::CmpVFGNode::opVerBegin</a></div><div class="ttdeci">OPVers::const_iterator opVerBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00375">VFGNode.h:375</a></div></div>
 <div class="ttc" id="classSVF_1_1CmpVFGNode_html_a9a358028cf15ba49b410e0c2a1fafe7c"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c">SVF::CmpVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00329">VFGNode.h:329</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00107">SVFVariables.h:107</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_afaa33caa8d2a306f6741d9d066243e40"><div class="ttname"><a href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">SVF::SVFVar::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00091">SVFVariables.h:91</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1CondStdSet.html

@@ -1012,7 +1012,7 @@ template&lt;class Element&gt; </div>
 
 <p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00273">273</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    {</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;{ &quot;</span>;</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650">const_iterator</a> i = <a class="code" href="classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934">elements</a>.begin(); i != <a class="code" href="classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934">elements</a>.end(); ++i)</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        {</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            rawstr &lt;&lt; (*i).toString() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        }</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;} &quot;</span>;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CondStdSet_html_a1caece9a66b6617b89037fd8211f2934"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934">SVF::CondStdSet::elements</a></div><div class="ttdeci">ElementSet elements</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00295">ConditionalPT.h:295</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="classSVF_1_1CondStdSet_html_a55152b7749868cc25f1c3c33ea57a650"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650">SVF::CondStdSet::const_iterator</a></div><div class="ttdeci">OrderedSet&lt; Element &gt;::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00136">ConditionalPT.h:136</a></div></div>
 </div><!-- fragment -->

package/SVF-doxygen/html/html/classSVF_1_1CondVar.html

@@ -479,7 +479,7 @@ template&lt;class Cond&gt; </div>
 
 <p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00108">108</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    {</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a">m_id</a> &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df">m_cond</a>.toString() &lt;&lt; <span class="stringliteral">&quot;&gt; &quot;</span>;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CondVar_html_a90b13685d2126f8c10dde4a504bb28df"><div class="ttname"><a href="classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df">SVF::CondVar::m_cond</a></div><div class="ttdeci">Cond m_cond</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00122">ConditionalPT.h:122</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1CondVar_html_a26fd04b3f2d45f0c230e1823f3eea49a"><div class="ttname"><a href="classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a">SVF::CondVar::m_id</a></div><div class="ttdeci">NodeID m_id</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00123">ConditionalPT.h:123</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 </div><!-- fragment -->

package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html

@@ -941,7 +941,7 @@ Static Protected Attributes</h2></td></tr>
 <p>Dump context condition. </p>
 
 <p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00360">360</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;    {</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;[:&quot;</span>;</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;        <span class="keywordflow">for</span>(CallStrCxt::const_iterator it = <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.begin(), eit = <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;        {</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;            rawstr &lt;&lt; *it &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;        }</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; ]&quot;</span>;</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
+<div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;    {</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;[:&quot;</span>;</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;        <span class="keywordflow">for</span>(CallStrCxt::const_iterator it = <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.begin(), eit = <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;        {</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;            rawstr &lt;&lt; *it &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;        }</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; ]&quot;</span>;</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1ContextCond_html_ac431eae00244cc7792b6e7e00634d535"><div class="ttname"><a href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">SVF::ContextCond::context</a></div><div class="ttdeci">CallStrCxt context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00373">DPItem.h:373</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 </div><!-- fragment -->