svf-tools 1.0.321 → 1.0.325

package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html

@@ -80,18 +80,18 @@ Inheritance diagram for SVF::SVFVar:</div>
   <img src="classSVF_1_1SVFVar.png" usemap="#SVF::SVFVar_map" alt=""/>
   <map id="SVF::SVFVar_map" name="SVF::SVFVar_map">
 <area href="classSVF_1_1GenericNode.html" alt="SVF::GenericNode&lt; NodeTy, EdgeTy &gt;" shape="rect" coords="701,0,946,24"/>
-<area href="classSVF_1_1ObjPN.html" alt="SVF::ObjPN" shape="rect" coords="255,112,500,136"/>
+<area href="classSVF_1_1ObjVar.html" alt="SVF::ObjVar" shape="rect" coords="255,112,500,136"/>
 <area href="classSVF_1_1RetPN.html" alt="SVF::RetPN" shape="rect" coords="510,112,755,136"/>
-<area href="classSVF_1_1ValPN.html" alt="SVF::ValPN" shape="rect" coords="892,112,1137,136"/>
+<area href="classSVF_1_1ValVar.html" alt="SVF::ValVar" shape="rect" coords="892,112,1137,136"/>
 <area href="classSVF_1_1VarArgPN.html" alt="SVF::VarArgPN" shape="rect" coords="1147,112,1392,136"/>
-<area href="classSVF_1_1DummyObjPN.html" alt="SVF::DummyObjPN" shape="rect" coords="0,168,245,192"/>
-<area href="classSVF_1_1FIObjPN.html" alt="SVF::FIObjPN" shape="rect" coords="255,168,500,192"/>
+<area href="classSVF_1_1DummyObjVar.html" alt="SVF::DummyObjVar" shape="rect" coords="0,168,245,192"/>
+<area href="classSVF_1_1FIObjVar.html" alt="SVF::FIObjVar" shape="rect" coords="255,168,500,192"/>
 <area href="classSVF_1_1GepObjPN.html" alt="SVF::GepObjPN" shape="rect" coords="510,168,755,192"/>
-<area href="classSVF_1_1DummyValPN.html" alt="SVF::DummyValPN" shape="rect" coords="765,168,1010,192"/>
-<area href="classSVF_1_1GepValPN.html" alt="SVF::GepValPN" shape="rect" coords="1020,168,1265,192"/>
-<area href="classSVF_1_1CloneDummyObjPN.html" alt="SVF::CloneDummyObjPN" shape="rect" coords="0,224,245,248"/>
-<area href="classSVF_1_1CloneFIObjPN.html" alt="SVF::CloneFIObjPN" shape="rect" coords="255,224,500,248"/>
-<area href="classSVF_1_1CloneGepObjPN.html" alt="SVF::CloneGepObjPN" shape="rect" coords="510,224,755,248"/>
+<area href="classSVF_1_1DummyValVar.html" alt="SVF::DummyValVar" shape="rect" coords="765,168,1010,192"/>
+<area href="classSVF_1_1GepValVar.html" alt="SVF::GepValVar" shape="rect" coords="1020,168,1265,192"/>
+<area href="classSVF_1_1CloneDummyObjVar.html" alt="SVF::CloneDummyObjVar" shape="rect" coords="0,224,245,248"/>
+<area href="classSVF_1_1CloneFIObjVar.html" alt="SVF::CloneFIObjVar" shape="rect" coords="255,224,500,248"/>
+<area href="classSVF_1_1CloneGepObjVar.html" alt="SVF::CloneGepObjVar" shape="rect" coords="510,224,755,248"/>
 </map>
  </div></div>
 <table class="memberdecls">
@@ -167,33 +167,33 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a53439a493963d16e5a1b5ed36ab6d33e"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e">getFunction</a> () const</td></tr>
 <tr class="memdesc:a53439a493963d16e5a1b5ed36ab6d33e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the function that this <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> resides in. Return nullptr if it is a global or constantexpr node.  <a href="#a53439a493963d16e5a1b5ed36ab6d33e">More...</a><br /></td></tr>
 <tr class="separator:a53439a493963d16e5a1b5ed36ab6d33e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0deeb2f08b7681c63ad91a04a4b4c6c9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">SVFStmt::PAGEdgeSetTy</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a0deeb2f08b7681c63ad91a04a4b4c6c9">getIncomingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind)</td></tr>
-<tr class="memdesc:a0deeb2f08b7681c63ad91a04a4b4c6c9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get incoming <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> edges.  <a href="#a0deeb2f08b7681c63ad91a04a4b4c6c9">More...</a><br /></td></tr>
-<tr class="separator:a0deeb2f08b7681c63ad91a04a4b4c6c9"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af41e3da7f7d6918f58785446d715fec6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">SVFStmt::PAGEdgeSetTy</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#af41e3da7f7d6918f58785446d715fec6">getOutgoingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind)</td></tr>
-<tr class="memdesc:af41e3da7f7d6918f58785446d715fec6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> edges.  <a href="#af41e3da7f7d6918f58785446d715fec6">More...</a><br /></td></tr>
-<tr class="separator:af41e3da7f7d6918f58785446d715fec6"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a76964ef7d4842a469d7720881499d8a6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmt::SVFStmtSetTy</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a76964ef7d4842a469d7720881499d8a6">getIncomingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind)</td></tr>
+<tr class="memdesc:a76964ef7d4842a469d7720881499d8a6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get incoming <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges)  <a href="#a76964ef7d4842a469d7720881499d8a6">More...</a><br /></td></tr>
+<tr class="separator:a76964ef7d4842a469d7720881499d8a6"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a927733580b47be5ffcfced44ba9fd6c3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmt::SVFStmtSetTy</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a927733580b47be5ffcfced44ba9fd6c3">getOutgoingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind)</td></tr>
+<tr class="memdesc:a927733580b47be5ffcfced44ba9fd6c3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges)  <a href="#a927733580b47be5ffcfced44ba9fd6c3">More...</a><br /></td></tr>
+<tr class="separator:a927733580b47be5ffcfced44ba9fd6c3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a747b2c92c81d32fcd357e80d2d8fe7cc"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">hasIncomingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
-<tr class="memdesc:a747b2c92c81d32fcd357e80d2d8fe7cc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has incoming <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> edges.  <a href="#a747b2c92c81d32fcd357e80d2d8fe7cc">More...</a><br /></td></tr>
+<tr class="memdesc:a747b2c92c81d32fcd357e80d2d8fe7cc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has incoming <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges)  <a href="#a747b2c92c81d32fcd357e80d2d8fe7cc">More...</a><br /></td></tr>
 <tr class="separator:a747b2c92c81d32fcd357e80d2d8fe7cc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a71e4fd7a1271a17e971ed90044e6da24"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24">hasIncomingVariantGepEdge</a> () const</td></tr>
 <tr class="memdesc:a71e4fd7a1271a17e971ed90044e6da24"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has incoming VariantGepEdges.  <a href="#a71e4fd7a1271a17e971ed90044e6da24">More...</a><br /></td></tr>
 <tr class="separator:a71e4fd7a1271a17e971ed90044e6da24"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab137b1def56c6539b5048c84dfd92c7b"><td class="memItemLeft" align="right" valign="top">SVFStmt::PAGEdgeSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#ab137b1def56c6539b5048c84dfd92c7b">getIncomingEdgesBegin</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
-<tr class="memdesc:ab137b1def56c6539b5048c84dfd92c7b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get incoming <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator.  <a href="#ab137b1def56c6539b5048c84dfd92c7b">More...</a><br /></td></tr>
-<tr class="separator:ab137b1def56c6539b5048c84dfd92c7b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab6cfd409bdb445cc1a7e50ed958b7d25"><td class="memItemLeft" align="right" valign="top">SVFStmt::PAGEdgeSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#ab6cfd409bdb445cc1a7e50ed958b7d25">getIncomingEdgesEnd</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
-<tr class="memdesc:ab6cfd409bdb445cc1a7e50ed958b7d25"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get incoming <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator.  <a href="#ab6cfd409bdb445cc1a7e50ed958b7d25">More...</a><br /></td></tr>
-<tr class="separator:ab6cfd409bdb445cc1a7e50ed958b7d25"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a893890649ae7d8e275dd823e941aa39b"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a893890649ae7d8e275dd823e941aa39b">getIncomingEdgesBegin</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
+<tr class="memdesc:a893890649ae7d8e275dd823e941aa39b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get incoming <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator.  <a href="#a893890649ae7d8e275dd823e941aa39b">More...</a><br /></td></tr>
+<tr class="separator:a893890649ae7d8e275dd823e941aa39b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af1cf24ab50e0d86c9d0f9bd5744b4c10"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#af1cf24ab50e0d86c9d0f9bd5744b4c10">getIncomingEdgesEnd</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
+<tr class="memdesc:af1cf24ab50e0d86c9d0f9bd5744b4c10"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get incoming <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator.  <a href="#af1cf24ab50e0d86c9d0f9bd5744b4c10">More...</a><br /></td></tr>
+<tr class="separator:af1cf24ab50e0d86c9d0f9bd5744b4c10"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9b00f9b5f8ad2422162f4396e2d8fa42"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">hasOutgoingEdges</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
-<tr class="memdesc:a9b00f9b5f8ad2422162f4396e2d8fa42"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> edges.  <a href="#a9b00f9b5f8ad2422162f4396e2d8fa42">More...</a><br /></td></tr>
+<tr class="memdesc:a9b00f9b5f8ad2422162f4396e2d8fa42"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges)  <a href="#a9b00f9b5f8ad2422162f4396e2d8fa42">More...</a><br /></td></tr>
 <tr class="separator:a9b00f9b5f8ad2422162f4396e2d8fa42"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:adb1f35a6f8db19c48cf7fd6c8f4a8ff3"><td class="memItemLeft" align="right" valign="top">SVFStmt::PAGEdgeSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#adb1f35a6f8db19c48cf7fd6c8f4a8ff3">getOutgoingEdgesBegin</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
-<tr class="memdesc:adb1f35a6f8db19c48cf7fd6c8f4a8ff3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get outgoing <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator.  <a href="#adb1f35a6f8db19c48cf7fd6c8f4a8ff3">More...</a><br /></td></tr>
-<tr class="separator:adb1f35a6f8db19c48cf7fd6c8f4a8ff3"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:adec782d2f9d055b0dbcb56f511e75c24"><td class="memItemLeft" align="right" valign="top">SVFStmt::PAGEdgeSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#adec782d2f9d055b0dbcb56f511e75c24">getOutgoingEdgesEnd</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
-<tr class="memdesc:adec782d2f9d055b0dbcb56f511e75c24"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get outgoing <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator.  <a href="#adec782d2f9d055b0dbcb56f511e75c24">More...</a><br /></td></tr>
-<tr class="separator:adec782d2f9d055b0dbcb56f511e75c24"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9e40eafe55a2c1448b830b56ae72e17f"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f">getOutgoingEdgesBegin</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
+<tr class="memdesc:a9e40eafe55a2c1448b830b56ae72e17f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get outgoing <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator.  <a href="#a9e40eafe55a2c1448b830b56ae72e17f">More...</a><br /></td></tr>
+<tr class="separator:a9e40eafe55a2c1448b830b56ae72e17f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa5176fce9746bc585d43ebb4c8c824e5"><td class="memItemLeft" align="right" valign="top">SVFStmt::SVFStmtSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#aa5176fce9746bc585d43ebb4c8c824e5">getOutgoingEdgesEnd</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind) const</td></tr>
+<tr class="memdesc:aa5176fce9746bc585d43ebb4c8c824e5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get outgoing <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator.  <a href="#aa5176fce9746bc585d43ebb4c8c824e5">More...</a><br /></td></tr>
+<tr class="separator:aa5176fce9746bc585d43ebb4c8c824e5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
 <tr class="memitem:a9376133075b0d44ff09876af933c8618"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618">addInEdge</a> (<a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *inEdge)</td></tr>
 <tr class="memdesc:a9376133075b0d44ff09876af933c8618"><td class="mdescLeft">&#160;</td><td class="mdescRight">add methods of the components  <a href="#a9376133075b0d44ff09876af933c8618">More...</a><br /></td></tr>
@@ -281,10 +281,10 @@ Protected Attributes</h2></td></tr>
 <tr class="memitem:a7deb494ac20ed56fca31a4f1fd92deea"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a></td></tr>
 <tr class="memdesc:a7deb494ac20ed56fca31a4f1fd92deea"><td class="mdescLeft">&#160;</td><td class="mdescRight">value of this <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> node  <a href="#a7deb494ac20ed56fca31a4f1fd92deea">More...</a><br /></td></tr>
 <tr class="separator:a7deb494ac20ed56fca31a4f1fd92deea"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a49fd453200fcf98b4e13e3f630774401"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">SVFStmt::PAGKindToEdgeSetMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">InEdgeKindToSetMap</a></td></tr>
-<tr class="separator:a49fd453200fcf98b4e13e3f630774401"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a08ef88f516402ce512eb3cb7dab9271d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">SVFStmt::PAGKindToEdgeSetMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">OutEdgeKindToSetMap</a></td></tr>
-<tr class="separator:a08ef88f516402ce512eb3cb7dab9271d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0d918a6c8dd3b7b395d4c7161bcf9656"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">SVFStmt::KindToSVFStmtMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a></td></tr>
+<tr class="separator:a0d918a6c8dd3b7b395d4c7161bcf9656"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3775dd07e89ea6b25950a8b900a4ceab"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">SVFStmt::KindToSVFStmtMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">OutEdgeKindToSetMap</a></td></tr>
+<tr class="separator:a3775dd07e89ea6b25950a8b900a4ceab"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:afeb667f2af988479e93a6067c4e6e622"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a></td></tr>
 <tr class="separator:afeb667f2af988479e93a6067c4e6e622"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a307c0f4d90308d5f77977d5635cad65d"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a></td></tr>
@@ -313,7 +313,7 @@ Friends</h2></td></tr>
         </tr>
       </table>
 </div><div class="memdoc">
-<p>Nine kinds of <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> nodes ValNode: llvm pointer value ObjNode: memory object RetNode: unique return node Vararg: unique node for vararg parameter GepValNode: tempory gep value node for field sensitivity GepValNode: tempory gep obj node for field sensitivity FIObjNode: for field insensitive analysis DummyValNode and DummyObjNode: for non-llvm-value node Clone*Node: objects created by TBHC. </p>
+<p>Nine kinds of <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> variables ValNode: llvm pointer value ObjNode: memory object RetNode: unique return node Vararg: unique node for vararg parameter GepValNode: tempory gep value node for field sensitivity GepValNode: tempory gep obj node for field sensitivity FIObjNode: for field insensitive analysis DummyValNode and DummyObjNode: for non-llvm-value node Clone*Node: objects created by TBHC. </p>
 <table class="fieldtable">
 <tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><a id="a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66"></a>ValNode&#160;</td><td class="fielddoc"></td></tr>
 <tr><td class="fieldname"><a id="a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11"></a>ObjNode&#160;</td><td class="fielddoc"></td></tr>
@@ -383,7 +383,7 @@ Friends</h2></td></tr>
 <p><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> constructor </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8cpp_source.html#l00040">40</a> of file <a class="el" href="SVFVariables_8cpp_source.html">SVFVariables.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;                                                   :</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;    <a class="code" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a>(i,k), <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>(val)</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;{</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>( <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">ValNode</a> &lt;= k &amp;&amp; k &lt;= <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a> &amp;&amp; <span class="stringliteral">&quot;new SVFIR node kind?&quot;</span>);</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    <span class="keywordflow">switch</span> (k)</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    {</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">ValNode</a>:</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">GepValNode</a>:</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    {</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(val != <span class="keyword">nullptr</span> &amp;&amp; <span class="stringliteral">&quot;value is nullptr for ValPN or GepValNode&quot;</span>);</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = val-&gt;getType()-&gt;isPointerTy();</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        <span class="keywordflow">break</span>;</div><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;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98">RetNode</a>:</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    {</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(val != <span class="keyword">nullptr</span> &amp;&amp; <span class="stringliteral">&quot;value is nullptr for RetNode&quot;</span>);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = SVFUtil::cast&lt;Function&gt;(val)-&gt;getReturnType()-&gt;isPointerTy();</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    }</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">VarargNode</a>:</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">DummyValNode</a>:</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    {</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    }</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11">ObjNode</a>:</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">GepObjNode</a>:</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">FIObjNode</a>:</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">DummyObjNode</a>:</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">CloneGepObjNode</a>:</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">CloneFIObjNode</a>:</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a>:</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    {</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    }</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    }</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00068">SVFVariables.h:68</a></div></div>
+<div class="fragment"><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;                                                   :</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;    <a class="code" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a>(i,k), <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>(val)</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;{</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>( <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">ValNode</a> &lt;= k &amp;&amp; k &lt;= <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a> &amp;&amp; <span class="stringliteral">&quot;new SVFIR node kind?&quot;</span>);</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    <span class="keywordflow">switch</span> (k)</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    {</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">ValNode</a>:</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">GepValNode</a>:</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    {</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(val != <span class="keyword">nullptr</span> &amp;&amp; <span class="stringliteral">&quot;value is nullptr for ValVar or GepValNode&quot;</span>);</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = val-&gt;getType()-&gt;isPointerTy();</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        <span class="keywordflow">break</span>;</div><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;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98">RetNode</a>:</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    {</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(val != <span class="keyword">nullptr</span> &amp;&amp; <span class="stringliteral">&quot;value is nullptr for RetNode&quot;</span>);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = SVFUtil::cast&lt;Function&gt;(val)-&gt;getReturnType()-&gt;isPointerTy();</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    }</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf">VarargNode</a>:</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">DummyValNode</a>:</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    {</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    }</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11">ObjNode</a>:</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">GepObjNode</a>:</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">FIObjNode</a>:</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">DummyObjNode</a>:</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">CloneGepObjNode</a>:</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">CloneFIObjNode</a>:</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a>:</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    {</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#afeb667f2af988479e93a6067c4e6e622">isTLPointer</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a307c0f4d90308d5f77977d5635cad65d">isATPointer</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    }</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    }</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00068">SVFVariables.h:68</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVF::SVFVar::GepValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00066">SVFVariables.h:66</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar::CloneGepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
@@ -460,9 +460,9 @@ Friends</h2></td></tr>
 <p>add methods of the components </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00238">238</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    {</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> kind = inEdge-&gt;getEdgeKind();</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">InEdgeKindToSetMap</a>[kind].insert(inEdge);</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a363b90ab02cce2ebc3ede8e5b7cc141c"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">SVF::GenericNode::GNodeK</a></div><div class="ttdeci">s32_t GNodeK</div><div class="ttdoc">Edge kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00135">GenericGraph.h:135</a></div></div>
+<div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    {</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> kind = inEdge-&gt;getEdgeKind();</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a>[kind].insert(inEdge);</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a363b90ab02cce2ebc3ede8e5b7cc141c"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">SVF::GenericNode::GNodeK</a></div><div class="ttdeci">s32_t GNodeK</div><div class="ttdoc">Edge kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00135">GenericGraph.h:135</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00275">GenericGraph.h:275</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFVar_html_a49fd453200fcf98b4e13e3f630774401"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFVar_html_a0d918a6c8dd3b7b395d4c7161bcf9656"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -491,8 +491,8 @@ Friends</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00245">245</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;    {</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> kind = outEdge-&gt;getEdgeKind();</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">OutEdgeKindToSetMap</a>[kind].insert(outEdge);</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a363b90ab02cce2ebc3ede8e5b7cc141c"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">SVF::GenericNode::GNodeK</a></div><div class="ttdeci">s32_t GNodeK</div><div class="ttdoc">Edge kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00135">GenericGraph.h:135</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFVar_html_a08ef88f516402ce512eb3cb7dab9271d"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">SVF::SVFVar::OutEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy OutEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00080">SVFVariables.h:80</a></div></div>
+<div class="fragment"><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;    {</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> kind = outEdge-&gt;getEdgeKind();</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">OutEdgeKindToSetMap</a>[kind].insert(outEdge);</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a3775dd07e89ea6b25950a8b900a4ceab"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar::OutEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy OutEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00080">SVFVariables.h:80</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a363b90ab02cce2ebc3ede8e5b7cc141c"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">SVF::GenericNode::GNodeK</a></div><div class="ttdeci">s32_t GNodeK</div><div class="ttdoc">Edge kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00135">GenericGraph.h:135</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00279">GenericGraph.h:279</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -553,8 +553,8 @@ Friends</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a0deeb2f08b7681c63ad91a04a4b4c6c9"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0deeb2f08b7681c63ad91a04a4b4c6c9">&#9670;&nbsp;</a></span>getIncomingEdges()</h2>
+<a id="a76964ef7d4842a469d7720881499d8a6"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a76964ef7d4842a469d7720881499d8a6">&#9670;&nbsp;</a></span>getIncomingEdges()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -563,7 +563,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">SVFStmt::PAGEdgeSetTy</a>&amp; SVF::SVFVar::getIncomingEdges </td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmt::SVFStmtSetTy</a>&amp; SVF::SVFVar::getIncomingEdges </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a>&#160;</td>
           <td class="paramname"><em>kind</em></td><td>)</td>
@@ -577,15 +577,15 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Get incoming <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> edges. </p>
+<p>Get incoming <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00161">161</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    {</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">InEdgeKindToSetMap</a>[kind];</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a49fd453200fcf98b4e13e3f630774401"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
+<div class="fragment"><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    {</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a>[kind];</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a0d918a6c8dd3b7b395d4c7161bcf9656"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ab137b1def56c6539b5048c84dfd92c7b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab137b1def56c6539b5048c84dfd92c7b">&#9670;&nbsp;</a></span>getIncomingEdgesBegin()</h2>
+<a id="a893890649ae7d8e275dd823e941aa39b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a893890649ae7d8e275dd823e941aa39b">&#9670;&nbsp;</a></span>getIncomingEdgesBegin()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -594,7 +594,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">SVFStmt::PAGEdgeSetTy::iterator SVF::SVFVar::getIncomingEdgesBegin </td>
+          <td class="memname">SVFStmt::SVFStmtSetTy::iterator SVF::SVFVar::getIncomingEdgesBegin </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a>&#160;</td>
           <td class="paramname"><em>kind</em></td><td>)</td>
@@ -611,13 +611,13 @@ Friends</h2></td></tr>
 <p>Get incoming <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00194">194</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    {</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;        SVFStmt::PAGKindToEdgeSetMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">InEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">InEdgeKindToSetMap</a>.end() &amp;&amp; <span class="stringliteral">&quot;The node does not have such kind of edge&quot;</span>);</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;        <span class="keywordflow">return</span> it-&gt;second.begin();</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFVar_html_a49fd453200fcf98b4e13e3f630774401"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
+<div class="fragment"><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    {</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;        SVFStmt::KindToSVFStmtMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a>.end() &amp;&amp; <span class="stringliteral">&quot;The node does not have such kind of edge&quot;</span>);</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;        <span class="keywordflow">return</span> it-&gt;second.begin();</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFVar_html_a0d918a6c8dd3b7b395d4c7161bcf9656"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ab6cfd409bdb445cc1a7e50ed958b7d25"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab6cfd409bdb445cc1a7e50ed958b7d25">&#9670;&nbsp;</a></span>getIncomingEdgesEnd()</h2>
+<a id="af1cf24ab50e0d86c9d0f9bd5744b4c10"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af1cf24ab50e0d86c9d0f9bd5744b4c10">&#9670;&nbsp;</a></span>getIncomingEdgesEnd()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -626,7 +626,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">SVFStmt::PAGEdgeSetTy::iterator SVF::SVFVar::getIncomingEdgesEnd </td>
+          <td class="memname">SVFStmt::SVFStmtSetTy::iterator SVF::SVFVar::getIncomingEdgesEnd </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a>&#160;</td>
           <td class="paramname"><em>kind</em></td><td>)</td>
@@ -643,13 +643,13 @@ Friends</h2></td></tr>
 <p>Get incoming <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00202">202</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    {</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        SVFStmt::PAGKindToEdgeSetMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">InEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">InEdgeKindToSetMap</a>.end() &amp;&amp; <span class="stringliteral">&quot;The node does not have such kind of edge&quot;</span>);</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        <span class="keywordflow">return</span> it-&gt;second.end();</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFVar_html_a49fd453200fcf98b4e13e3f630774401"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
+<div class="fragment"><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    {</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        SVFStmt::KindToSVFStmtMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a>.end() &amp;&amp; <span class="stringliteral">&quot;The node does not have such kind of edge&quot;</span>);</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        <span class="keywordflow">return</span> it-&gt;second.end();</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFVar_html_a0d918a6c8dd3b7b395d4c7161bcf9656"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="af41e3da7f7d6918f58785446d715fec6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af41e3da7f7d6918f58785446d715fec6">&#9670;&nbsp;</a></span>getOutgoingEdges()</h2>
+<a id="a927733580b47be5ffcfced44ba9fd6c3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a927733580b47be5ffcfced44ba9fd6c3">&#9670;&nbsp;</a></span>getOutgoingEdges()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -658,7 +658,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">SVFStmt::PAGEdgeSetTy</a>&amp; SVF::SVFVar::getOutgoingEdges </td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmt::SVFStmtSetTy</a>&amp; SVF::SVFVar::getOutgoingEdges </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a>&#160;</td>
           <td class="paramname"><em>kind</em></td><td>)</td>
@@ -672,15 +672,15 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Get outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> edges. </p>
+<p>Get outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00167">167</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;    {</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">OutEdgeKindToSetMap</a>[kind];</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a08ef88f516402ce512eb3cb7dab9271d"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">SVF::SVFVar::OutEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy OutEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00080">SVFVariables.h:80</a></div></div>
+<div class="fragment"><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;    {</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">OutEdgeKindToSetMap</a>[kind];</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a3775dd07e89ea6b25950a8b900a4ceab"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar::OutEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy OutEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00080">SVFVariables.h:80</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="adb1f35a6f8db19c48cf7fd6c8f4a8ff3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#adb1f35a6f8db19c48cf7fd6c8f4a8ff3">&#9670;&nbsp;</a></span>getOutgoingEdgesBegin()</h2>
+<a id="a9e40eafe55a2c1448b830b56ae72e17f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a9e40eafe55a2c1448b830b56ae72e17f">&#9670;&nbsp;</a></span>getOutgoingEdgesBegin()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -689,7 +689,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">SVFStmt::PAGEdgeSetTy::iterator SVF::SVFVar::getOutgoingEdgesBegin </td>
+          <td class="memname">SVFStmt::SVFStmtSetTy::iterator SVF::SVFVar::getOutgoingEdgesBegin </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a>&#160;</td>
           <td class="paramname"><em>kind</em></td><td>)</td>
@@ -706,13 +706,13 @@ Friends</h2></td></tr>
 <p>Get outgoing <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00220">220</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;    {</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;        SVFStmt::PAGKindToEdgeSetMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">OutEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">OutEdgeKindToSetMap</a>.end() &amp;&amp; <span class="stringliteral">&quot;The node does not have such kind of edge&quot;</span>);</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;        <span class="keywordflow">return</span> it-&gt;second.begin();</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a08ef88f516402ce512eb3cb7dab9271d"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">SVF::SVFVar::OutEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy OutEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00080">SVFVariables.h:80</a></div></div>
+<div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;    {</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;        SVFStmt::KindToSVFStmtMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">OutEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">OutEdgeKindToSetMap</a>.end() &amp;&amp; <span class="stringliteral">&quot;The node does not have such kind of edge&quot;</span>);</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;        <span class="keywordflow">return</span> it-&gt;second.begin();</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a3775dd07e89ea6b25950a8b900a4ceab"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar::OutEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy OutEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00080">SVFVariables.h:80</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="adec782d2f9d055b0dbcb56f511e75c24"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#adec782d2f9d055b0dbcb56f511e75c24">&#9670;&nbsp;</a></span>getOutgoingEdgesEnd()</h2>
+<a id="aa5176fce9746bc585d43ebb4c8c824e5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa5176fce9746bc585d43ebb4c8c824e5">&#9670;&nbsp;</a></span>getOutgoingEdgesEnd()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -721,7 +721,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">SVFStmt::PAGEdgeSetTy::iterator SVF::SVFVar::getOutgoingEdgesEnd </td>
+          <td class="memname">SVFStmt::SVFStmtSetTy::iterator SVF::SVFVar::getOutgoingEdgesEnd </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a>&#160;</td>
           <td class="paramname"><em>kind</em></td><td>)</td>
@@ -738,7 +738,7 @@ Friends</h2></td></tr>
 <p>Get outgoing <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> iterator. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00228">228</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;    {</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;        SVFStmt::PAGKindToEdgeSetMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">OutEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">OutEdgeKindToSetMap</a>.end() &amp;&amp; <span class="stringliteral">&quot;The node does not have such kind of edge&quot;</span>);</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        <span class="keywordflow">return</span> it-&gt;second.end();</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a08ef88f516402ce512eb3cb7dab9271d"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">SVF::SVFVar::OutEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy OutEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00080">SVFVariables.h:80</a></div></div>
+<div class="fragment"><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;    {</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;        SVFStmt::KindToSVFStmtMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">OutEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">OutEdgeKindToSetMap</a>.end() &amp;&amp; <span class="stringliteral">&quot;The node does not have such kind of edge&quot;</span>);</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        <span class="keywordflow">return</span> it-&gt;second.end();</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a3775dd07e89ea6b25950a8b900a4ceab"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar::OutEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy OutEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00080">SVFVariables.h:80</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -768,7 +768,7 @@ Friends</h2></td></tr>
 
 <p>Return type of the value. </p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValPN.html#aae597b40c984a5a0226d630f7564cefb">SVF::GepValPN</a>, and <a class="el" href="classSVF_1_1ObjPN.html#ab414eff6a3057b570109081a93fa6539">SVF::ObjPN</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4">SVF::GepValVar</a>, and <a class="el" href="classSVF_1_1ObjVar.html#aa1004c9973fb974ba1e52df80978321d">SVF::ObjVar</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00103">103</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    {</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>)</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>-&gt;getType();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00078">SVFVariables.h:78</a></div></div>
@@ -836,7 +836,7 @@ Friends</h2></td></tr>
 
 <p>Get name of the LLVM value. </p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1CloneFIObjPN.html#a604e88030c2c32408f4fd99a69b97e6b">SVF::CloneFIObjPN</a>, <a class="el" href="classSVF_1_1CloneGepObjPN.html#ae6640a10e3fc58b057ed94f1d4c774ba">SVF::CloneGepObjPN</a>, <a class="el" href="classSVF_1_1CloneDummyObjPN.html#a2239f9e2aaa61bed50d0c33d3ad8e0ea">SVF::CloneDummyObjPN</a>, <a class="el" href="classSVF_1_1DummyObjPN.html#a3b3dabed91ed32ee99835324108061c7">SVF::DummyObjPN</a>, <a class="el" href="classSVF_1_1DummyValPN.html#ad43ed5282ca6f6cf546e60c37be968c9">SVF::DummyValPN</a>, <a class="el" href="classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a">SVF::VarArgPN</a>, <a class="el" href="classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f">SVF::RetPN</a>, <a class="el" href="classSVF_1_1FIObjPN.html#ae5c2e49f3fa0511b7fa00de2a682f0e1">SVF::FIObjPN</a>, <a class="el" href="classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValPN.html#a2ca8cf54bf67f76db2acd05cf7dcf1d1">SVF::GepValPN</a>, <a class="el" href="classSVF_1_1ObjPN.html#a7500f73cb499a5aa0d828075b179b709">SVF::ObjPN</a>, and <a class="el" href="classSVF_1_1ValPN.html#a6894944b680cfd7a45b1582169517d54">SVF::ValPN</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1CloneFIObjVar.html#abac4095a6a60c321caa40f837a752803">SVF::CloneFIObjVar</a>, <a class="el" href="classSVF_1_1CloneGepObjVar.html#a9d4cf31155950c889b5965566ab3d45e">SVF::CloneGepObjVar</a>, <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931">SVF::CloneDummyObjVar</a>, <a class="el" href="classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd">SVF::DummyObjVar</a>, <a class="el" href="classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd">SVF::DummyValVar</a>, <a class="el" href="classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a">SVF::VarArgPN</a>, <a class="el" href="classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f">SVF::RetPN</a>, <a class="el" href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">SVF::FIObjVar</a>, <a class="el" href="classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3">SVF::GepValVar</a>, <a class="el" href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">SVF::ObjVar</a>, and <a class="el" href="classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa">SVF::ValVar</a>.</p>
 
 </div>
 </div>
@@ -864,10 +864,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Has incoming <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> edges. </p>
+<p>Has incoming <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00173">173</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    {</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;        SVFStmt::PAGKindToEdgeSetMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">InEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">InEdgeKindToSetMap</a>.end())</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;            <span class="keywordflow">return</span> (!it-&gt;second.empty());</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a49fd453200fcf98b4e13e3f630774401"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
+<div class="fragment"><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    {</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;        SVFStmt::KindToSVFStmtMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a>.end())</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;            <span class="keywordflow">return</span> (!it-&gt;second.empty());</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a0d918a6c8dd3b7b395d4c7161bcf9656"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -897,8 +897,8 @@ Friends</h2></td></tr>
 <p>Has incoming VariantGepEdges. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00183">183</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    {</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        SVFStmt::PAGKindToEdgeSetMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">InEdgeKindToSetMap</a>.find(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2">SVFStmt::VariantGep</a>);</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">InEdgeKindToSetMap</a>.end())</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        {</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;            <span class="keywordflow">return</span> (!it-&gt;second.empty());</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        }</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2">SVF::SVFStmt::VariantGep</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFVar_html_a49fd453200fcf98b4e13e3f630774401"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
+<div class="fragment"><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    {</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        SVFStmt::KindToSVFStmtMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a>.find(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2">SVFStmt::VariantGep</a>);</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">InEdgeKindToSetMap</a>.end())</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        {</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;            <span class="keywordflow">return</span> (!it-&gt;second.empty());</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        }</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2">SVF::SVFStmt::VariantGep</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFVar_html_a0d918a6c8dd3b7b395d4c7161bcf9656"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">SVF::SVFVar::InEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy InEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -926,10 +926,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Has outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> edges. </p>
+<p>Has outgoing <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> statements (edges) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00210">210</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;    {</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        SVFStmt::PAGKindToEdgeSetMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">OutEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">OutEdgeKindToSetMap</a>.end())</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;            <span class="keywordflow">return</span> (!it-&gt;second.empty());</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a08ef88f516402ce512eb3cb7dab9271d"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">SVF::SVFVar::OutEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::PAGKindToEdgeSetMapTy OutEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00080">SVFVariables.h:80</a></div></div>
+<div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;    {</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        SVFStmt::KindToSVFStmtMapTy::const_iterator it = <a class="code" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">OutEdgeKindToSetMap</a>.find(kind);</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">OutEdgeKindToSetMap</a>.end())</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;            <span class="keywordflow">return</span> (!it-&gt;second.empty());</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a3775dd07e89ea6b25950a8b900a4ceab"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar::OutEdgeKindToSetMap</a></div><div class="ttdeci">SVFStmt::KindToSVFStmtMapTy OutEdgeKindToSetMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00080">SVFVariables.h:80</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1133,7 +1133,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1CloneFIObjPN.html#aa2b28fe8abd1d131849e95708a640934">SVF::CloneFIObjPN</a>, <a class="el" href="classSVF_1_1CloneGepObjPN.html#a77863cea018e2489e7cb05cb38cae654">SVF::CloneGepObjPN</a>, <a class="el" href="classSVF_1_1CloneDummyObjPN.html#a30dc38493f8d078b58e684f62a1834e7">SVF::CloneDummyObjPN</a>, <a class="el" href="classSVF_1_1DummyObjPN.html#a1f355f6eeeaaba782d24ba3db48adea4">SVF::DummyObjPN</a>, <a class="el" href="classSVF_1_1DummyValPN.html#a4ae5839912059488b0fdd94875cf5df5">SVF::DummyValPN</a>, <a class="el" href="classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d">SVF::VarArgPN</a>, <a class="el" href="classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2">SVF::RetPN</a>, <a class="el" href="classSVF_1_1FIObjPN.html#ace2095db79e359533b0cca78f5c1751d">SVF::FIObjPN</a>, <a class="el" href="classSVF_1_1GepObjPN.html#ab7229c3e69880a6872fddac805bd6ee8">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValPN.html#ab2423c5ca6f7487d30e2a10e933db946">SVF::GepValPN</a>, <a class="el" href="classSVF_1_1ObjPN.html#aca96a0173b40f7917ebc814a5a0b1372">SVF::ObjPN</a>, and <a class="el" href="classSVF_1_1ValPN.html#a417f15b3dba7f5e36fb5c8ed46dccd8e">SVF::ValPN</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc">SVF::CloneFIObjVar</a>, <a class="el" href="classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5">SVF::CloneGepObjVar</a>, <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a72249d18032dfcd866d0519da3c0999b">SVF::CloneDummyObjVar</a>, <a class="el" href="classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40">SVF::DummyObjVar</a>, <a class="el" href="classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84">SVF::DummyValVar</a>, <a class="el" href="classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d">SVF::VarArgPN</a>, <a class="el" href="classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2">SVF::RetPN</a>, <a class="el" href="classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595">SVF::FIObjVar</a>, <a class="el" href="classSVF_1_1GepObjPN.html#ab7229c3e69880a6872fddac805bd6ee8">SVF::GepObjPN</a>, <a class="el" href="classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de">SVF::GepValVar</a>, <a class="el" href="classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3">SVF::ObjVar</a>, and <a class="el" href="classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd">SVF::ValVar</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8cpp_source.html#l00100">100</a> of file <a class="el" href="SVFVariables_8cpp_source.html">SVFVariables.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;                                       {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    std::string str;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;SVFVar ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00105"></a><span class="lineno">  105</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="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
@@ -1183,8 +1183,8 @@ Friends</h2></td></tr>
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
-<a id="a49fd453200fcf98b4e13e3f630774401"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a49fd453200fcf98b4e13e3f630774401">&#9670;&nbsp;</a></span>InEdgeKindToSetMap</h2>
+<a id="a0d918a6c8dd3b7b395d4c7161bcf9656"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0d918a6c8dd3b7b395d4c7161bcf9656">&#9670;&nbsp;</a></span>InEdgeKindToSetMap</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1193,7 +1193,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">SVFStmt::PAGKindToEdgeSetMapTy</a> SVF::SVFVar::InEdgeKindToSetMap</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">SVFStmt::KindToSVFStmtMapTy</a> SVF::SVFVar::InEdgeKindToSetMap</td>
         </tr>
       </table>
   </td>
@@ -1257,8 +1257,8 @@ Friends</h2></td></tr>
 
 </div>
 </div>
-<a id="a08ef88f516402ce512eb3cb7dab9271d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a08ef88f516402ce512eb3cb7dab9271d">&#9670;&nbsp;</a></span>OutEdgeKindToSetMap</h2>
+<a id="a3775dd07e89ea6b25950a8b900a4ceab"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3775dd07e89ea6b25950a8b900a4ceab">&#9670;&nbsp;</a></span>OutEdgeKindToSetMap</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1267,7 +1267,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">SVFStmt::PAGKindToEdgeSetMapTy</a> SVF::SVFVar::OutEdgeKindToSetMap</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">SVFStmt::KindToSVFStmtMapTy</a> SVF::SVFVar::OutEdgeKindToSetMap</td>
         </tr>
       </table>
   </td>