svf-tools 1.0.321 → 1.0.322

package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html

@@ -78,16 +78,16 @@ Inheritance diagram for SVF::GepObjPN:</div>
  <div class="center">
   <img src="classSVF_1_1GepObjPN.png" usemap="#SVF::GepObjPN_map" alt=""/>
   <map id="SVF::GepObjPN_map" name="SVF::GepObjPN_map">
-<area href="classSVF_1_1ObjPN.html" alt="SVF::ObjPN" shape="rect" coords="0,112,245,136"/>
+<area href="classSVF_1_1ObjVar.html" alt="SVF::ObjVar" shape="rect" coords="0,112,245,136"/>
 <area href="classSVF_1_1SVFVar.html" alt="SVF::SVFVar" shape="rect" coords="0,56,245,80"/>
 <area href="classSVF_1_1GenericNode.html" alt="SVF::GenericNode&lt; NodeTy, EdgeTy &gt;" shape="rect" coords="0,0,245,24"/>
-<area href="classSVF_1_1CloneGepObjPN.html" alt="SVF::CloneGepObjPN" shape="rect" coords="0,224,245,248"/>
+<area href="classSVF_1_1CloneGepObjVar.html" alt="SVF::CloneGepObjVar" shape="rect" coords="0,224,245,248"/>
 </map>
  </div></div>
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:aadf56cdc45296514f142306e2556dcc1"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1">GepObjPN</a> (const <a class="el" href="classSVF_1_1MemObj.html">MemObj</a> *<a class="el" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">mem</a>, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;l, <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">PNODEK</a> ty=<a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">GepObjNode</a>)</td></tr>
+<tr class="memitem:aadf56cdc45296514f142306e2556dcc1"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1">GepObjPN</a> (const <a class="el" href="classSVF_1_1MemObj.html">MemObj</a> *<a class="el" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;l, <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">PNODEK</a> ty=<a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">GepObjNode</a>)</td></tr>
 <tr class="memdesc:aadf56cdc45296514f142306e2556dcc1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#aadf56cdc45296514f142306e2556dcc1">More...</a><br /></td></tr>
 <tr class="separator:aadf56cdc45296514f142306e2556dcc1"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aeb05e3a512e89c7af36c675e0efeec7e"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#aeb05e3a512e89c7af36c675e0efeec7e">getLocationSet</a> () const</td></tr>
@@ -107,10 +107,10 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a498b7ee3cf8d26fa18062f2bae0749c5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab7229c3e69880a6872fddac805bd6ee8"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#ab7229c3e69880a6872fddac805bd6ee8">toString</a> () const</td></tr>
 <tr class="separator:ab7229c3e69880a6872fddac805bd6ee8"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="inherit_header pub_methods_classSVF_1_1ObjPN"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1ObjPN')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1ObjPN.html">SVF::ObjPN</a></td></tr>
-<tr class="memitem:a63ee5624271a63c2dc4f7f3ed2dcefdf inherit pub_methods_classSVF_1_1ObjPN"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemObj.html">MemObj</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjPN.html#a63ee5624271a63c2dc4f7f3ed2dcefdf">getMemObj</a> () const</td></tr>
-<tr class="memdesc:a63ee5624271a63c2dc4f7f3ed2dcefdf inherit pub_methods_classSVF_1_1ObjPN"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return memory object.  <a href="classSVF_1_1ObjPN.html#a63ee5624271a63c2dc4f7f3ed2dcefdf">More...</a><br /></td></tr>
-<tr class="separator:a63ee5624271a63c2dc4f7f3ed2dcefdf inherit pub_methods_classSVF_1_1ObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1ObjVar"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1ObjVar')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td></tr>
+<tr class="memitem:a6a4feb73b54e602407e35eeb09f55930 inherit pub_methods_classSVF_1_1ObjVar"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemObj.html">MemObj</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">getMemObj</a> () const</td></tr>
+<tr class="memdesc:a6a4feb73b54e602407e35eeb09f55930 inherit pub_methods_classSVF_1_1ObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return memory object.  <a href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">More...</a><br /></td></tr>
+<tr class="separator:a6a4feb73b54e602407e35eeb09f55930 inherit pub_methods_classSVF_1_1ObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1SVFVar"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1SVFVar')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td></tr>
 <tr class="memitem:a24daf5faa4b1d159c193e61951d17414 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a24daf5faa4b1d159c193e61951d17414">SVFVar</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">PNODEK</a> k)</td></tr>
 <tr class="memdesc:a24daf5faa4b1d159c193e61951d17414 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">address-taken pointer  <a href="classSVF_1_1SVFVar.html#a24daf5faa4b1d159c193e61951d17414">More...</a><br /></td></tr>
@@ -252,20 +252,20 @@ Static Public Member Functions</h2></td></tr>
 <tr class="memitem:a3962464274d0c15ceb0206ebf6fa2b55"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#a3962464274d0c15ceb0206ebf6fa2b55">classof</a> (const <a class="el" href="classSVF_1_1GepObjPN.html">GepObjPN</a> *)</td></tr>
 <tr class="memdesc:a3962464274d0c15ceb0206ebf6fa2b55"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast:  <a href="#a3962464274d0c15ceb0206ebf6fa2b55">More...</a><br /></td></tr>
 <tr class="separator:a3962464274d0c15ceb0206ebf6fa2b55"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a71f93295b7052e2098dd15f76c1aaa8c"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#a71f93295b7052e2098dd15f76c1aaa8c">classof</a> (const <a class="el" href="classSVF_1_1ObjPN.html">ObjPN</a> *node)</td></tr>
-<tr class="separator:a71f93295b7052e2098dd15f76c1aaa8c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afab6d5a895e3c93776e4e05fd94ec747"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#afab6d5a895e3c93776e4e05fd94ec747">classof</a> (const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *node)</td></tr>
+<tr class="separator:afab6d5a895e3c93776e4e05fd94ec747"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:acc3f9fa7564f419bf6a4ed75cf103eb1"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#acc3f9fa7564f419bf6a4ed75cf103eb1">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
 <tr class="separator:acc3f9fa7564f419bf6a4ed75cf103eb1"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aff84e3e6702f0e04ef41aae90d297009"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepObjPN.html#aff84e3e6702f0e04ef41aae90d297009">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
 <tr class="separator:aff84e3e6702f0e04ef41aae90d297009"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="inherit_header pub_static_methods_classSVF_1_1ObjPN"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1ObjPN')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1ObjPN.html">SVF::ObjPN</a></td></tr>
-<tr class="memitem:a5e7e7b1a2d78146e50ec36d99b0a3608 inherit pub_static_methods_classSVF_1_1ObjPN"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjPN.html#a5e7e7b1a2d78146e50ec36d99b0a3608">classof</a> (const <a class="el" href="classSVF_1_1ObjPN.html">ObjPN</a> *)</td></tr>
-<tr class="memdesc:a5e7e7b1a2d78146e50ec36d99b0a3608 inherit pub_static_methods_classSVF_1_1ObjPN"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast:  <a href="classSVF_1_1ObjPN.html#a5e7e7b1a2d78146e50ec36d99b0a3608">More...</a><br /></td></tr>
-<tr class="separator:a5e7e7b1a2d78146e50ec36d99b0a3608 inherit pub_static_methods_classSVF_1_1ObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a598c5c77468386ae1044a30af6eb4eef inherit pub_static_methods_classSVF_1_1ObjPN"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjPN.html#a598c5c77468386ae1044a30af6eb4eef">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
-<tr class="separator:a598c5c77468386ae1044a30af6eb4eef inherit pub_static_methods_classSVF_1_1ObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3b94e2fc7b83b588b27d5bf33ec72b8f inherit pub_static_methods_classSVF_1_1ObjPN"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjPN.html#a3b94e2fc7b83b588b27d5bf33ec72b8f">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
-<tr class="separator:a3b94e2fc7b83b588b27d5bf33ec72b8f inherit pub_static_methods_classSVF_1_1ObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_static_methods_classSVF_1_1ObjVar"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1ObjVar')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td></tr>
+<tr class="memitem:ac127d3ee00a6bed2bdba2f24b389eb4b inherit pub_static_methods_classSVF_1_1ObjVar"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjVar.html#ac127d3ee00a6bed2bdba2f24b389eb4b">classof</a> (const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *)</td></tr>
+<tr class="memdesc:ac127d3ee00a6bed2bdba2f24b389eb4b inherit pub_static_methods_classSVF_1_1ObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast:  <a href="classSVF_1_1ObjVar.html#ac127d3ee00a6bed2bdba2f24b389eb4b">More...</a><br /></td></tr>
+<tr class="separator:ac127d3ee00a6bed2bdba2f24b389eb4b inherit pub_static_methods_classSVF_1_1ObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a78ee2be4a346728be947ce29d3820c13 inherit pub_static_methods_classSVF_1_1ObjVar"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjVar.html#a78ee2be4a346728be947ce29d3820c13">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
+<tr class="separator:a78ee2be4a346728be947ce29d3820c13 inherit pub_static_methods_classSVF_1_1ObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a42b68822afc39d415db8c29079caf9c8 inherit pub_static_methods_classSVF_1_1ObjVar"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjVar.html#a42b68822afc39d415db8c29079caf9c8">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
+<tr class="separator:a42b68822afc39d415db8c29079caf9c8 inherit pub_static_methods_classSVF_1_1ObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
 Private Attributes</h2></td></tr>
@@ -309,13 +309,13 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a2f5471985dfe62bc9ded830a693ab153 inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab6dc1ae41ae23b383f8add474caa7429 inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef GEdgeSetTy::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a></td></tr>
 <tr class="separator:ab6dc1ae41ae23b383f8add474caa7429 inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="inherit_header pro_methods_classSVF_1_1ObjPN"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1ObjPN')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1ObjPN.html">SVF::ObjPN</a></td></tr>
-<tr class="memitem:a3a326b64a747a2185978826a711736c3 inherit pro_methods_classSVF_1_1ObjPN"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjPN.html#a3a326b64a747a2185978826a711736c3">ObjPN</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, const <a class="el" href="classSVF_1_1MemObj.html">MemObj</a> *m, <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">PNODEK</a> ty=<a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11">ObjNode</a>)</td></tr>
-<tr class="memdesc:a3a326b64a747a2185978826a711736c3 inherit pro_methods_classSVF_1_1ObjPN"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1ObjPN.html#a3a326b64a747a2185978826a711736c3">More...</a><br /></td></tr>
-<tr class="separator:a3a326b64a747a2185978826a711736c3 inherit pro_methods_classSVF_1_1ObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="inherit_header pro_attribs_classSVF_1_1ObjPN"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1ObjPN')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1ObjPN.html">SVF::ObjPN</a></td></tr>
-<tr class="memitem:a7ec3165f6b61b089e25447f55ebf86a8 inherit pro_attribs_classSVF_1_1ObjPN"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemObj.html">MemObj</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">mem</a></td></tr>
-<tr class="separator:a7ec3165f6b61b089e25447f55ebf86a8 inherit pro_attribs_classSVF_1_1ObjPN"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_methods_classSVF_1_1ObjVar"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1ObjVar')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td></tr>
+<tr class="memitem:a3ccbe6bbe3f565641e0cf46c5ecbb6bb inherit pro_methods_classSVF_1_1ObjVar"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, const <a class="el" href="classSVF_1_1MemObj.html">MemObj</a> *m, <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff">PNODEK</a> ty=<a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11">ObjNode</a>)</td></tr>
+<tr class="memdesc:a3ccbe6bbe3f565641e0cf46c5ecbb6bb inherit pro_methods_classSVF_1_1ObjVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">More...</a><br /></td></tr>
+<tr class="separator:a3ccbe6bbe3f565641e0cf46c5ecbb6bb inherit pro_methods_classSVF_1_1ObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_attribs_classSVF_1_1ObjVar"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1ObjVar')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td></tr>
+<tr class="memitem:a3d08dc1d15a449ff4b7018da4bfdcb88 inherit pro_attribs_classSVF_1_1ObjVar"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemObj.html">MemObj</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a></td></tr>
+<tr class="separator:a3d08dc1d15a449ff4b7018da4bfdcb88 inherit pro_attribs_classSVF_1_1ObjVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_attribs_classSVF_1_1SVFVar"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1SVFVar')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td></tr>
 <tr class="memitem:a7deb494ac20ed56fca31a4f1fd92deea inherit pro_attribs_classSVF_1_1SVFVar"><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 inherit pro_attribs_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">value of this <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> node  <a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">More...</a><br /></td></tr>
@@ -383,9 +383,9 @@ Additional Inherited Members</h2></td></tr>
 <p>Constructor. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00482">482</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;                                                                                        :</div><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;        <a class="code" href="classSVF_1_1ObjPN.html#a3a326b64a747a2185978826a711736c3">ObjPN</a>(<a class="code" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">mem</a>-&gt;<a class="code" href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">getValue</a>(), i, <a class="code" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">mem</a>, ty), <a class="code" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">ls</a>(l)</div><div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;    {</div><div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;        <a class="code" href="classSVF_1_1GepObjPN.html#ae67e495253fc881c24ef21e1f87e2fa6">base</a> = mem-&gt;getId();</div><div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GepObjPN_html_ab7a3961b0a3f6a8cc89c3cd81168180b"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00454">SVFVariables.h:454</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjPN_html_a3a326b64a747a2185978826a711736c3"><div class="ttname"><a href="classSVF_1_1ObjPN.html#a3a326b64a747a2185978826a711736c3">SVF::ObjPN::ObjPN</a></div><div class="ttdeci">ObjPN(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00323">SVFVariables.h:323</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjPN_html_a7ec3165f6b61b089e25447f55ebf86a8"><div class="ttname"><a href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">SVF::ObjPN::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00321">SVFVariables.h:321</a></div></div>
+<div class="fragment"><div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;                                                                                        :</div><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;        <a class="code" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">ObjVar</a>(<a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>-&gt;<a class="code" href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">getValue</a>(), i, <a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>, ty), <a class="code" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">ls</a>(l)</div><div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;    {</div><div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;        <a class="code" href="classSVF_1_1GepObjPN.html#ae67e495253fc881c24ef21e1f87e2fa6">base</a> = mem-&gt;getId();</div><div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GepObjPN_html_ab7a3961b0a3f6a8cc89c3cd81168180b"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00454">SVFVariables.h:454</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjVar_html_a3ccbe6bbe3f565641e0cf46c5ecbb6bb"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">SVF::ObjVar::ObjVar</a></div><div class="ttdeci">ObjVar(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00323">SVFVariables.h:323</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00321">SVFVariables.h:321</a></div></div>
 <div class="ttc" id="classSVF_1_1GepObjPN_html_ae67e495253fc881c24ef21e1f87e2fa6"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#ae67e495253fc881c24ef21e1f87e2fa6">SVF::GepObjPN::base</a></div><div class="ttdeci">NodeID base</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00455">SVFVariables.h:455</a></div></div>
 <div class="ttc" id="classSVF_1_1MemObj_html_a4da54ef60231d2e6c26669226b99d2f3"><div class="ttname"><a href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">SVF::MemObj::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get the reference value to this object. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00445">SymbolTableInfo.h:445</a></div></div>
 </div><!-- fragment -->
@@ -422,8 +422,8 @@ Additional Inherited Members</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;    {</div><div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
-<a id="a71f93295b7052e2098dd15f76c1aaa8c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a71f93295b7052e2098dd15f76c1aaa8c">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/4]</span></h2>
+<a id="afab6d5a895e3c93776e4e05fd94ec747"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#afab6d5a895e3c93776e4e05fd94ec747">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/4]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -434,7 +434,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">static bool SVF::GepObjPN::classof </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1ObjPN.html">ObjPN</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *&#160;</td>
           <td class="paramname"><em>node</em></td><td>)</td>
           <td></td>
         </tr>
@@ -598,14 +598,14 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Return the type of this gep object. </p>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1ObjPN.html#ab414eff6a3057b570109081a93fa6539">SVF::ObjPN</a>.</p>
+<p>Reimplemented from <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#l00507">507</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;    {</div><div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a573bd5208467b2f905f5b2b1684feac8">getOrigSubTypeWithByteOffset</a>(<a class="code" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">mem</a>-&gt;<a class="code" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">getType</a>(), <a class="code" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">ls</a>.<a class="code" href="classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d">getByteOffset</a>());</div><div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GepObjPN_html_ab7a3961b0a3f6a8cc89c3cd81168180b"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00454">SVFVariables.h:454</a></div></div>
+<div class="fragment"><div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;    {</div><div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a573bd5208467b2f905f5b2b1684feac8">getOrigSubTypeWithByteOffset</a>(<a class="code" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">mem</a>-&gt;<a class="code" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">getType</a>(), <a class="code" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">ls</a>.<a class="code" href="classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d">getByteOffset</a>());</div><div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GepObjPN_html_ab7a3961b0a3f6a8cc89c3cd81168180b"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00454">SVFVariables.h:454</a></div></div>
 <div class="ttc" id="classSVF_1_1LocationSet_html_a5322dcda48d6980c3f7aafa169fcd77d"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d">SVF::LocationSet::getByteOffset</a></div><div class="ttdeci">Size_t getByteOffset() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00197">LocationSet.h:197</a></div></div>
 <div class="ttc" id="classSVF_1_1MemObj_html_aa4fa7a1b86d66692ffffeaee0e187216"><div class="ttname"><a href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">SVF::MemObj::getType</a></div><div class="ttdeci">const Type * getType() const</div><div class="ttdoc">Get obj type. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00787">SymbolTableInfo.cpp:787</a></div></div>
+<div class="ttc" id="classSVF_1_1ObjVar_html_a3d08dc1d15a449ff4b7018da4bfdcb88"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00321">SVFVariables.h:321</a></div></div>
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00059">SymbolTableInfo.cpp:59</a></div></div>
-<div class="ttc" id="classSVF_1_1ObjPN_html_a7ec3165f6b61b089e25447f55ebf86a8"><div class="ttname"><a href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">SVF::ObjPN::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00321">SVFVariables.h:321</a></div></div>
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a573bd5208467b2f905f5b2b1684feac8"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a573bd5208467b2f905f5b2b1684feac8">SVF::SymbolTableInfo::getOrigSubTypeWithByteOffset</a></div><div class="ttdeci">const Type * getOrigSubTypeWithByteOffset(const Type *baseType, u32_t byteOffset)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00501">SymbolTableInfo.cpp:501</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -635,9 +635,9 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Return name of a LLVM value. </p>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1ObjPN.html#a7500f73cb499a5aa0d828075b179b709">SVF::ObjPN</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">SVF::ObjVar</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1CloneGepObjPN.html#ae6640a10e3fc58b057ed94f1d4c774ba">SVF::CloneGepObjPN</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1CloneGepObjVar.html#a9d4cf31155950c889b5965566ab3d45e">SVF::CloneGepObjVar</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00513">513</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;    {</div><div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a> &amp;&amp; <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>-&gt;hasName())</div><div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>-&gt;getName().str() + <span class="stringliteral">&quot;_&quot;</span> + llvm::itostr(<a class="code" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">ls</a>.<a class="code" href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">getOffset</a>());</div><div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;offset_&quot;</span> + llvm::itostr(<a class="code" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">ls</a>.<a class="code" href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">getOffset</a>());</div><div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GepObjPN_html_ab7a3961b0a3f6a8cc89c3cd81168180b"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00454">SVFVariables.h:454</a></div></div>
@@ -700,9 +700,9 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1ObjPN.html#aca96a0173b40f7917ebc814a5a0b1372">SVF::ObjPN</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3">SVF::ObjVar</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1CloneGepObjPN.html#a77863cea018e2489e7cb05cb38cae654">SVF::CloneGepObjPN</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5">SVF::CloneGepObjVar</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFVariables_8cpp_source.html#l00144">144</a> of file <a class="el" href="SVFVariables_8cpp_source.html">SVFVariables.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;                                         {</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    std::string str;</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;GepObjPN ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; with offset_&quot;</span> + llvm::itostr(<a class="code" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">ls</a>.<a class="code" href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">getOffset</a>());</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">Options::PAGDotGraphShorter</a>) {</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    }</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">value</a>);</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;}</div><div class="ttc" id="classSVF_1_1GepObjPN_html_ab7a3961b0a3f6a8cc89c3cd81168180b"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00454">SVFVariables.h:454</a></div></div>

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

@@ -69,28 +69,62 @@ $(function() {
 
 <p>This is the complete list of members for <a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a>, including all inherited members.</p>
 <table class="directory">
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a46f338c32b6d575490c06ee48f53b3bf">Alloc</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487af78eeaf10e5bc6c4d446c030c859c868">Binary</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487ad52703e3ec09b6a4f565e5d82279b6a3">Branch</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a97ca16eba4c5f92e16388f0cdbcfcc00">Call</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#a441cd8487b320ceff9d62884b4f28176">classof</a>(const GepStmt *)</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#a239affd2299de288746c3bfb3b80a9af">classof</a>(const SVFStmt *stmt)</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a610d6662d1814cffbf23db29e7e620c0">Cmp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487ad3469cdfb64f05163b5310b731b221da">Copy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a6d968bd70a0184214204aac3329c6221">FunRet</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a20d960c19118d1ed319e0dbea94405e8">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#a27cb726ee389d12bad27ce3ebccd645f">GepStmt</a>(SymID res, SymID ptr, SymID offset)</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a66f33c62bac865781c28517db92e3416">getKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a62ac8480c43fcc657c631ec0003b15d5">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#a34c86d8d4aeee34e7ff010c0726e5273">offsetVar</a></td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#a8770e87d804f36e1d19ef4a85c3e13a5">ptrVar</a></td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#ada01faf6bc48aa73f6709fe2abd57c16">resVar</a></td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487aa0f700b514c431ec5329aec49df56dcc">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#ad5ab92b5eb294da9eb3422ebb067d301">SVFStmt</a>(u32_t k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487">SVFSTMTK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a38855244bb9af2407eda6dbd33140487ac913852e284a7bf1ffc257b11d891326">Unary</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197">Addr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">BinaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">Branch</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">Call</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#a441cd8487b320ceff9d62884b4f28176">classof</a>(const GepStmt *)</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#a92016e7d6061e4a157c9cd39ad94cc20">classof</a>(const SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#ac47064e21e2afdf7bd85c6acba44367f">classof</a>(const GenericPAGEdgeTy *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">Cmp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da">Copy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">equalGEdge</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a>(NodeTy *s, NodeTy *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#a9877729d1b82317d6e5d28bea9741586">GepStmt</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#a800c21f9263eb5d9b1980b1dff013391">GepStmt</a>(const GepStmt &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#a6ace22baaf73db3302ff2b8ad4285bb6">GepStmt</a>(SVFVar *s, SVFVar *d, PEDGEK k)</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a793c53e0b4f9a58099c096f0a0856495">getBB</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491">getEdgeID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db">getInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">isPTAEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">makeEdgeFlagWithAddionalOpnd</a>(GEdgeKind k, const SVFVar *var)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a>(GEdgeKind k, const ICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18">makeEdgeFlagWithStoreInst</a>(GEdgeKind k, const ICFGNode *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ac2089ffeab3f27354b2094758c805746">NormalGep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8">operator=</a>(const GepStmt &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">PAGEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a79ef5ff6adebbbc13e5c8db6e622bc03">PAGEdgeToSetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">PAGKindToEdgeSetMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">PEDGEK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">Ret</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623">setBB</a>(const BasicBlock *bb)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c">setICFGNode</a>(ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a24dddb4e346a6e569908e3efe8a6ecc0">setValue</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a47102f72115d41bff899b1b2ffec75b1">SVFStmt</a>(SVFVar *s, SVFVar *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">ThreadFork</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">ThreadJoin</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aa306e817648ab5def47e83473e99b3d3">totalEdgeNum</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2">VariantGep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0">~SVFStmt</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>