svf-tools 1.0.424 → 1.0.427

package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html

@@ -515,7 +515,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;                                                 {</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    std::string str;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;FormalINSVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">getName</a>() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    rawstr &lt;&lt; <a class="code" href="classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;            <span class="stringliteral">&quot; = ENCHI(MR_&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    rawstr &lt;&lt; <a class="code" href="classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00074">MemRegion.h:74</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_ab98e74dfd4756e70e3e3c5b7d5e5ae27"><div class="ttname"><a href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00084">VFGNode.h:84</a></div></div>
 <div class="ttc" id="classSVF_1_1FormalINSVFGNode_html_a07e23637c89164add5fc3ea52b250735"><div class="ttname"><a href="classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735">SVF::FormalINSVFGNode::getMRVer</a></div><div class="ttdeci">const MRVer * getMRVer() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00107">SVFGNode.h:107</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#l00095">BasicTypes.h:95</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#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_a2409c01221b9a6632655cee43d1b35e4"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00249">SVFBasicTypes.h:249</a></div></div>
 <div class="ttc" id="classSVF_1_1MRVer_html_a63bd0641be553860cc5f517634b65825"><div class="ttname"><a href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return the memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00063">MSSAMuChi.h:63</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html

@@ -505,7 +505,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;                                                  {</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    std::string str;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;FormalOUTSVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">getName</a>() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;RETMU(&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;                rawstr  &lt;&lt; <a class="code" href="classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00074">MemRegion.h:74</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_ab98e74dfd4756e70e3e3c5b7d5e5ae27"><div class="ttname"><a href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00084">VFGNode.h:84</a></div></div>
 <div class="ttc" id="classSVF_1_1FormalOUTSVFGNode_html_ad2e841a18b777220c2b13f38289d6168"><div class="ttname"><a href="classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168">SVF::FormalOUTSVFGNode::getMRVer</a></div><div class="ttdeci">const MRVer * getMRVer() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00153">SVFGNode.h:153</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#l00095">BasicTypes.h:95</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#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_a2409c01221b9a6632655cee43d1b35e4"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00249">SVFBasicTypes.h:249</a></div></div>
 <div class="ttc" id="classSVF_1_1MRVer_html_a63bd0641be553860cc5f517634b65825"><div class="ttname"><a href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return the memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00063">MSSAMuChi.h:63</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html

@@ -297,7 +297,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="VFGNode_8h_source.html#l00908">908</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00894">894</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a4f51e718a8519f6edcee627cdd51b272"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a4f51e718a8519f6edcee627cdd51b272">&#9670;&nbsp;</a></span>FormalParmVFGNode()</h2>
@@ -341,9 +341,9 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00916">916</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00916"></a><span class="lineno">  916</span>&#160;                                                                        :</div><div class="line"><a name="l00917"></a><span class="lineno">  917</span>&#160;        <a class="code" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">ArgumentVFGNode</a>(<span class="keywordtype">id</span>, n, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a>),  <a class="code" href="classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c">fun</a>(f)</div><div class="line"><a name="l00918"></a><span class="lineno">  918</span>&#160;    {</div><div class="line"><a name="l00919"></a><span class="lineno">  919</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_ad8f56074e213d2e7dc1d22a1b0765f8c"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c">SVF::FormalParmVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00911">VFGNode.h:911</a></div></div>
-<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_a0b35234b96e98099a289b73028bae276"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode::ArgumentVFGNode</a></div><div class="ttdeci">ArgumentVFGNode(NodeID id, const PAGNode *p, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00817">VFGNode.h:817</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00902">902</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00902"></a><span class="lineno">  902</span>&#160;                                                                        :</div><div class="line"><a name="l00903"></a><span class="lineno">  903</span>&#160;        <a class="code" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">ArgumentVFGNode</a>(<span class="keywordtype">id</span>, n, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a>),  <a class="code" href="classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c">fun</a>(f)</div><div class="line"><a name="l00904"></a><span class="lineno">  904</span>&#160;    {</div><div class="line"><a name="l00905"></a><span class="lineno">  905</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_ad8f56074e213d2e7dc1d22a1b0765f8c"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c">SVF::FormalParmVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00897">VFGNode.h:897</a></div></div>
+<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_a0b35234b96e98099a289b73028bae276"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode::ArgumentVFGNode</a></div><div class="ttdeci">ArgumentVFGNode(NodeID id, const PAGNode *p, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00803">VFGNode.h:803</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">SVF::VFGNode::FParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -375,8 +375,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Return call edge. </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00933">933</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00934"></a><span class="lineno">  934</span>&#160;    {</div><div class="line"><a name="l00935"></a><span class="lineno">  935</span>&#160;        <a class="code" href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">callPEs</a>.insert(call);</div><div class="line"><a name="l00936"></a><span class="lineno">  936</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_a8d124f42c320d38ddd08ed4948d63517"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">SVF::FormalParmVFGNode::callPEs</a></div><div class="ttdeci">CallPESet callPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00912">VFGNode.h:912</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00919">919</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00920"></a><span class="lineno">  920</span>&#160;    {</div><div class="line"><a name="l00921"></a><span class="lineno">  921</span>&#160;        <a class="code" href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">callPEs</a>.insert(call);</div><div class="line"><a name="l00922"></a><span class="lineno">  922</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_a8d124f42c320d38ddd08ed4948d63517"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">SVF::FormalParmVFGNode::callPEs</a></div><div class="ttdeci">CallPESet callPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00898">VFGNode.h:898</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -404,8 +404,8 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 <p>Call edge iterator </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00939">939</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00940"></a><span class="lineno">  940</span>&#160;    {</div><div class="line"><a name="l00941"></a><span class="lineno">  941</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">callPEs</a>.begin();</div><div class="line"><a name="l00942"></a><span class="lineno">  942</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_a8d124f42c320d38ddd08ed4948d63517"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">SVF::FormalParmVFGNode::callPEs</a></div><div class="ttdeci">CallPESet callPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00912">VFGNode.h:912</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00925">925</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00926"></a><span class="lineno">  926</span>&#160;    {</div><div class="line"><a name="l00927"></a><span class="lineno">  927</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">callPEs</a>.begin();</div><div class="line"><a name="l00928"></a><span class="lineno">  928</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_a8d124f42c320d38ddd08ed4948d63517"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">SVF::FormalParmVFGNode::callPEs</a></div><div class="ttdeci">CallPESet callPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00898">VFGNode.h:898</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -432,8 +432,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00943">943</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00944"></a><span class="lineno">  944</span>&#160;    {</div><div class="line"><a name="l00945"></a><span class="lineno">  945</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">callPEs</a>.end();</div><div class="line"><a name="l00946"></a><span class="lineno">  946</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_a8d124f42c320d38ddd08ed4948d63517"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">SVF::FormalParmVFGNode::callPEs</a></div><div class="ttdeci">CallPESet callPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00912">VFGNode.h:912</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00929">929</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00930"></a><span class="lineno">  930</span>&#160;    {</div><div class="line"><a name="l00931"></a><span class="lineno">  931</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">callPEs</a>.end();</div><div class="line"><a name="l00932"></a><span class="lineno">  932</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_a8d124f42c320d38ddd08ed4948d63517"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">SVF::FormalParmVFGNode::callPEs</a></div><div class="ttdeci">CallPESet callPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00898">VFGNode.h:898</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -463,8 +463,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00951">951</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00952"></a><span class="lineno">  952</span>&#160;    {</div><div class="line"><a name="l00953"></a><span class="lineno">  953</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00954"></a><span class="lineno">  954</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00937">937</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00938"></a><span class="lineno">  938</span>&#160;    {</div><div class="line"><a name="l00939"></a><span class="lineno">  939</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00940"></a><span class="lineno">  940</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="ae4cac828eec4ac2f55ff9d580c855b34"></a>
@@ -491,8 +491,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00955">955</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00956"></a><span class="lineno">  956</span>&#160;    {</div><div class="line"><a name="l00957"></a><span class="lineno">  957</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a>;</div><div class="line"><a name="l00958"></a><span class="lineno">  958</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">SVF::VFGNode::FParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00941">941</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00942"></a><span class="lineno">  942</span>&#160;    {</div><div class="line"><a name="l00943"></a><span class="lineno">  943</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a>;</div><div class="line"><a name="l00944"></a><span class="lineno">  944</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">SVF::VFGNode::FParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -520,8 +520,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00959">959</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00960"></a><span class="lineno">  960</span>&#160;    {</div><div class="line"><a name="l00961"></a><span class="lineno">  961</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a>;</div><div class="line"><a name="l00962"></a><span class="lineno">  962</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">SVF::VFGNode::FParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00945">945</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00946"></a><span class="lineno">  946</span>&#160;    {</div><div class="line"><a name="l00947"></a><span class="lineno">  947</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a>;</div><div class="line"><a name="l00948"></a><span class="lineno">  948</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">SVF::VFGNode::FParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -549,8 +549,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00963">963</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00964"></a><span class="lineno">  964</span>&#160;    {</div><div class="line"><a name="l00965"></a><span class="lineno">  965</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a>;</div><div class="line"><a name="l00966"></a><span class="lineno">  966</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">SVF::VFGNode::FParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00949">949</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00950"></a><span class="lineno">  950</span>&#160;    {</div><div class="line"><a name="l00951"></a><span class="lineno">  951</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a>;</div><div class="line"><a name="l00952"></a><span class="lineno">  952</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">SVF::VFGNode::FParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -582,9 +582,9 @@ Additional Inherited Members</h2></td></tr>
 <p>Implements <a class="el" href="classSVF_1_1VFGNode.html#ac2161154777d5bedfdb541658efdc651">SVF::VFGNode</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00265">265</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;                                                    {</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nb;</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    nb.set(<a class="code" href="classSVF_1_1FormalParmVFGNode.html#ab1a9031c1fc5102e072b5035151c131c">getParam</a>()-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;    <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;}</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_ab1a9031c1fc5102e072b5035151c131c"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#ab1a9031c1fc5102e072b5035151c131c">SVF::FormalParmVFGNode::getParam</a></div><div class="ttdeci">const PAGNode * getParam() const</div><div class="ttdoc">Return parameter. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00922">VFGNode.h:922</a></div></div>
+<div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;                                                    {</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nb;</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    nb.set(<a class="code" href="classSVF_1_1FormalParmVFGNode.html#ab1a9031c1fc5102e072b5035151c131c">getParam</a>()-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;    <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;}</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_ab1a9031c1fc5102e072b5035151c131c"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#ab1a9031c1fc5102e072b5035151c131c">SVF::FormalParmVFGNode::getParam</a></div><div class="ttdeci">const PAGNode * getParam() const</div><div class="ttdoc">Return parameter. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00908">VFGNode.h:908</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00092">SVFBasicTypes.h:92</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -615,8 +615,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00928">928</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00929"></a><span class="lineno">  929</span>&#160;    {</div><div class="line"><a name="l00930"></a><span class="lineno">  930</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c">fun</a>;</div><div class="line"><a name="l00931"></a><span class="lineno">  931</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_ad8f56074e213d2e7dc1d22a1b0765f8c"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c">SVF::FormalParmVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00911">VFGNode.h:911</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00914">914</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00915"></a><span class="lineno">  915</span>&#160;    {</div><div class="line"><a name="l00916"></a><span class="lineno">  916</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c">fun</a>;</div><div class="line"><a name="l00917"></a><span class="lineno">  917</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_ad8f56074e213d2e7dc1d22a1b0765f8c"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c">SVF::FormalParmVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00897">VFGNode.h:897</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -645,8 +645,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Return parameter. </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00922">922</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00923"></a><span class="lineno">  923</span>&#160;    {</div><div class="line"><a name="l00924"></a><span class="lineno">  924</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>;</div><div class="line"><a name="l00925"></a><span class="lineno">  925</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00813">VFGNode.h:813</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00908">908</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00909"></a><span class="lineno">  909</span>&#160;    {</div><div class="line"><a name="l00910"></a><span class="lineno">  910</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>;</div><div class="line"><a name="l00911"></a><span class="lineno">  911</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00799">VFGNode.h:799</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -677,11 +677,11 @@ Additional Inherited Members</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00271">271</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;                                                  {</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;    std::string str;</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;FormalParmVFGNode 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="l00275"></a><span class="lineno">  275</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;Fun[&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">getName</a>() &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    rawstr &lt;&lt; <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">toString</a>();</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFVar_html_ada932ef2ae0a3e712174df479c35b0dd"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">SVF::SVFVar::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00093">SVFVariables.cpp:93</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#l00095">BasicTypes.h:95</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#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_a2409c01221b9a6632655cee43d1b35e4"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00249">SVFBasicTypes.h:249</a></div></div>
-<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00813">VFGNode.h:813</a></div></div>
+<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00799">VFGNode.h:799</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
-<div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_af3039ab67875b177f7ba0bf246cec2f8"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8">SVF::FormalParmVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const override</div><div class="ttdoc">Return function. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00928">VFGNode.h:928</a></div></div>
+<div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_af3039ab67875b177f7ba0bf246cec2f8"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8">SVF::FormalParmVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const override</div><div class="ttdoc">Return function. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00914">VFGNode.h:914</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -706,7 +706,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00912">912</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00898">898</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 
 </div>
 </div>
@@ -730,7 +730,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00911">911</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00897">897</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html

@@ -311,7 +311,7 @@ Additional Inherited Members</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Callee return <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01035">1035</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01021">1021</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a0155a71f08dfb1fb43f054084b2380c6"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a0155a71f08dfb1fb43f054084b2380c6">&#9670;&nbsp;</a></span>FormalRetVFGNode() <span class="overload">[1/3]</span></h2>
@@ -403,8 +403,8 @@ Additional Inherited Members</h2></td></tr>
 <p>Constructor. </p>
 
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00376">376</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;                                                                                    :</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;    <a class="code" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">ArgumentVFGNode</a>(<span class="keywordtype">id</span>, n, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>), <a class="code" href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">fun</a>(f)</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;{</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;}</div><div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_a0b35234b96e98099a289b73028bae276"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode::ArgumentVFGNode</a></div><div class="ttdeci">ArgumentVFGNode(NodeID id, const PAGNode *p, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00817">VFGNode.h:817</a></div></div>
-<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_ae267daf3681188e6e74f656a73d21be3"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">SVF::FormalRetVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01038">VFGNode.h:1038</a></div></div>
+<div class="fragment"><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;                                                                                    :</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;    <a class="code" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">ArgumentVFGNode</a>(<span class="keywordtype">id</span>, n, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>), <a class="code" href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">fun</a>(f)</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;{</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;}</div><div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_a0b35234b96e98099a289b73028bae276"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode::ArgumentVFGNode</a></div><div class="ttdeci">ArgumentVFGNode(NodeID id, const PAGNode *p, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00803">VFGNode.h:803</a></div></div>
+<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_ae267daf3681188e6e74f656a73d21be3"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">SVF::FormalRetVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01024">VFGNode.h:1024</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">SVF::VFGNode::FRet</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -436,8 +436,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p><a class="el" href="classSVF_1_1RetPE.html">RetPE</a>. </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01060">1060</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01061"></a><span class="lineno"> 1061</span>&#160;    {</div><div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>&#160;        <a class="code" href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">retPEs</a>.insert(retPE);</div><div class="line"><a name="l01063"></a><span class="lineno"> 1063</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a5fa2fc654385d0fab018053e89565157"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">SVF::FormalRetVFGNode::retPEs</a></div><div class="ttdeci">RetPESet retPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01039">VFGNode.h:1039</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01046">1046</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01047"></a><span class="lineno"> 1047</span>&#160;    {</div><div class="line"><a name="l01048"></a><span class="lineno"> 1048</span>&#160;        <a class="code" href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">retPEs</a>.insert(retPE);</div><div class="line"><a name="l01049"></a><span class="lineno"> 1049</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a5fa2fc654385d0fab018053e89565157"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">SVF::FormalRetVFGNode::retPEs</a></div><div class="ttdeci">RetPESet retPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01025">VFGNode.h:1025</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -467,8 +467,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01075">1075</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01076"></a><span class="lineno"> 1076</span>&#160;    {</div><div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01061">1061</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>&#160;    {</div><div class="line"><a name="l01063"></a><span class="lineno"> 1063</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l01064"></a><span class="lineno"> 1064</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="ab5732a6cea2efbd352d1d8330f366f49"></a>
@@ -495,8 +495,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01079">1079</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01080"></a><span class="lineno"> 1080</span>&#160;    {</div><div class="line"><a name="l01081"></a><span class="lineno"> 1081</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>;</div><div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">SVF::VFGNode::FRet</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01065">1065</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01066"></a><span class="lineno"> 1066</span>&#160;    {</div><div class="line"><a name="l01067"></a><span class="lineno"> 1067</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>;</div><div class="line"><a name="l01068"></a><span class="lineno"> 1068</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">SVF::VFGNode::FRet</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -524,8 +524,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01083">1083</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01084"></a><span class="lineno"> 1084</span>&#160;    {</div><div class="line"><a name="l01085"></a><span class="lineno"> 1085</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>;</div><div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">SVF::VFGNode::FRet</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01069">1069</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01070"></a><span class="lineno"> 1070</span>&#160;    {</div><div class="line"><a name="l01071"></a><span class="lineno"> 1071</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>;</div><div class="line"><a name="l01072"></a><span class="lineno"> 1072</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">SVF::VFGNode::FRet</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -553,8 +553,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01087">1087</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01088"></a><span class="lineno"> 1088</span>&#160;    {</div><div class="line"><a name="l01089"></a><span class="lineno"> 1089</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>;</div><div class="line"><a name="l01090"></a><span class="lineno"> 1090</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">SVF::VFGNode::FRet</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01073">1073</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01074"></a><span class="lineno"> 1074</span>&#160;    {</div><div class="line"><a name="l01075"></a><span class="lineno"> 1075</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a>;</div><div class="line"><a name="l01076"></a><span class="lineno"> 1076</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">SVF::VFGNode::FRet</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -586,9 +586,9 @@ Additional Inherited Members</h2></td></tr>
 <p>Implements <a class="el" href="classSVF_1_1VFGNode.html#ac2161154777d5bedfdb541658efdc651">SVF::VFGNode</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00296">296</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;                                                   {</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nb;</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;    nb.set(<a class="code" href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">getRet</a>()-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;    <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;}</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a62a894e71fcf7a3db19c0488d96a7262"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">SVF::FormalRetVFGNode::getRet</a></div><div class="ttdeci">const PAGNode * getRet() const</div><div class="ttdoc">Return value at callee. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01050">VFGNode.h:1050</a></div></div>
+<div class="fragment"><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;                                                   {</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nb;</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;    nb.set(<a class="code" href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">getRet</a>()-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;    <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;}</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a62a894e71fcf7a3db19c0488d96a7262"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">SVF::FormalRetVFGNode::getRet</a></div><div class="ttdeci">const PAGNode * getRet() const</div><div class="ttdoc">Return value at callee. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01036">VFGNode.h:1036</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00092">SVFBasicTypes.h:92</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -619,8 +619,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01055">1055</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01056"></a><span class="lineno"> 1056</span>&#160;    {</div><div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">fun</a>;</div><div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_ae267daf3681188e6e74f656a73d21be3"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">SVF::FormalRetVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01038">VFGNode.h:1038</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01041">1041</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01042"></a><span class="lineno"> 1042</span>&#160;    {</div><div class="line"><a name="l01043"></a><span class="lineno"> 1043</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">fun</a>;</div><div class="line"><a name="l01044"></a><span class="lineno"> 1044</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_ae267daf3681188e6e74f656a73d21be3"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">SVF::FormalRetVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01024">VFGNode.h:1024</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -649,8 +649,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Return value at callee. </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01050">1050</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01051"></a><span class="lineno"> 1051</span>&#160;    {</div><div class="line"><a name="l01052"></a><span class="lineno"> 1052</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>;</div><div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00813">VFGNode.h:813</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01036">1036</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01037"></a><span class="lineno"> 1037</span>&#160;    {</div><div class="line"><a name="l01038"></a><span class="lineno"> 1038</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>;</div><div class="line"><a name="l01039"></a><span class="lineno"> 1039</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00799">VFGNode.h:799</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -707,8 +707,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p><a class="el" href="classSVF_1_1RetPE.html">RetPE</a> iterators. </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01065">1065</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01066"></a><span class="lineno"> 1066</span>&#160;    {</div><div class="line"><a name="l01067"></a><span class="lineno"> 1067</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">retPEs</a>.begin();</div><div class="line"><a name="l01068"></a><span class="lineno"> 1068</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a5fa2fc654385d0fab018053e89565157"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">SVF::FormalRetVFGNode::retPEs</a></div><div class="ttdeci">RetPESet retPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01039">VFGNode.h:1039</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01051">1051</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01052"></a><span class="lineno"> 1052</span>&#160;    {</div><div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">retPEs</a>.begin();</div><div class="line"><a name="l01054"></a><span class="lineno"> 1054</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a5fa2fc654385d0fab018053e89565157"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">SVF::FormalRetVFGNode::retPEs</a></div><div class="ttdeci">RetPESet retPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01025">VFGNode.h:1025</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -735,8 +735,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01069">1069</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01070"></a><span class="lineno"> 1070</span>&#160;    {</div><div class="line"><a name="l01071"></a><span class="lineno"> 1071</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">retPEs</a>.end();</div><div class="line"><a name="l01072"></a><span class="lineno"> 1072</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a5fa2fc654385d0fab018053e89565157"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">SVF::FormalRetVFGNode::retPEs</a></div><div class="ttdeci">RetPESet retPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01039">VFGNode.h:1039</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01055">1055</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01056"></a><span class="lineno"> 1056</span>&#160;    {</div><div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">retPEs</a>.end();</div><div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a5fa2fc654385d0fab018053e89565157"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">SVF::FormalRetVFGNode::retPEs</a></div><div class="ttdeci">RetPESet retPEs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01025">VFGNode.h:1025</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -767,11 +767,11 @@ Additional Inherited Members</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00302">302</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;                                                 {</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;    std::string str;</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;FormalRetVFGNode 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="l00306"></a><span class="lineno">  306</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;Fun[&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">getName</a>() &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;    rawstr &lt;&lt; <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">toString</a>();</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFVar_html_ada932ef2ae0a3e712174df479c35b0dd"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">SVF::SVFVar::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00093">SVFVariables.cpp:93</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#l00095">BasicTypes.h:95</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#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_a2409c01221b9a6632655cee43d1b35e4"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00249">SVFBasicTypes.h:249</a></div></div>
-<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00813">VFGNode.h:813</a></div></div>
+<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00799">VFGNode.h:799</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
-<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a68d9c5d58e2282b2891c93203233fd93"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93">SVF::FormalRetVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const override</div><div class="ttdoc">Function. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01055">VFGNode.h:1055</a></div></div>
+<div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a68d9c5d58e2282b2891c93203233fd93"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93">SVF::FormalRetVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const override</div><div class="ttdoc">Function. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01041">VFGNode.h:1041</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -796,7 +796,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01038">1038</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01024">1024</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 
 </div>
 </div>
@@ -820,7 +820,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01039">1039</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01025">1025</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 
 </div>
 </div>