svf-tools 1.0.595 → 1.0.596

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html

@@ -77,6 +77,8 @@ Inheritance diagram for llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;:</div>
  <div class="center">
   <img src="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.png" usemap="#llvm::DOTGraphTraits_3C_20ConstraintGraph_20_2A_20_3E_map" alt=""/>
   <map id="llvm::DOTGraphTraits_3C_20ConstraintGraph_20_2A_20_3E_map" name="llvm::DOTGraphTraits_3C_20ConstraintGraph_20_2A_20_3E_map">
+<area href="structllvm_1_1DOTGraphTraits.html" alt="llvm::DOTGraphTraits&lt; SVFIR *&gt;" shape="rect" coords="0,56,260,80"/>
+<area href="structllvm_1_1DefaultDOTGraphTraits.html" alt="llvm::DefaultDOTGraphTraits" shape="rect" coords="0,0,260,24"/>
 </map>
  </div></div>
 <table class="memberdecls">
@@ -87,8 +89,17 @@ Public Types</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:a007736227bec42182208176006b7d83d"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a007736227bec42182208176006b7d83d">DOTGraphTraits</a> (bool isSimple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="memitem:a007736227bec42182208176006b7d83d"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a007736227bec42182208176006b7d83d">DOTGraphTraits</a> (bool <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">isSimple</a>=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
 <tr class="separator:a007736227bec42182208176006b7d83d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_structllvm_1_1DOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_structllvm_1_1DOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits&lt; SVFIR *&gt;</a></td></tr>
+<tr class="memitem:a44b9192cea3ca9e59ab71c502c21a352 inherit pub_methods_structllvm_1_1DOTGraphTraits"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits.html#a44b9192cea3ca9e59ab71c502c21a352">DOTGraphTraits</a> (bool simple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:a44b9192cea3ca9e59ab71c502c21a352 inherit pub_methods_structllvm_1_1DOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_structllvm_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:a8a0585a182245d87b224f4a26a41cf16 inherit pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a8a0585a182245d87b224f4a26a41cf16">DefaultDOTGraphTraits</a> (bool simple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:a8a0585a182245d87b224f4a26a41cf16 inherit pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a748e27397b601b36da4ff8689fe1d231 inherit pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a748e27397b601b36da4ff8689fe1d231 inherit pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a748e27397b601b36da4ff8689fe1d231">getNodeLabel</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a748e27397b601b36da4ff8689fe1d231 inherit pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
 Static Public Member Functions</h2></td></tr>
@@ -107,6 +118,54 @@ Static Public Member Functions</h2></td></tr>
 <tr class="memitem:a76e78cd94e56ca46ac7e1db7162e594b"><td class="memTemplParams" colspan="2">template&lt;class EdgeIter &gt; </td></tr>
 <tr class="memitem:a76e78cd94e56ca46ac7e1db7162e594b"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b">getEdgeSourceLabel</a> (<a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">NodeType</a> *, EdgeIter)</td></tr>
 <tr class="separator:a76e78cd94e56ca46ac7e1db7162e594b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_structllvm_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:a4c2c0688a7c4cf69903603fddd539b45 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a4c2c0688a7c4cf69903603fddd539b45 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a4c2c0688a7c4cf69903603fddd539b45">getGraphName</a> (const GraphType &amp;)</td></tr>
+<tr class="separator:a4c2c0688a7c4cf69903603fddd539b45 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a67a907a4c097d688d01195e110e4c9e2 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a67a907a4c097d688d01195e110e4c9e2 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a67a907a4c097d688d01195e110e4c9e2">getGraphProperties</a> (const GraphType &amp;)</td></tr>
+<tr class="separator:a67a907a4c097d688d01195e110e4c9e2 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8a9c7f5663e2ea7d1180f1d9a6e4eaeb inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a8a9c7f5663e2ea7d1180f1d9a6e4eaeb">renderGraphFromBottomUp</a> ()</td></tr>
+<tr class="separator:a8a9c7f5663e2ea7d1180f1d9a6e4eaeb inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a34e6b19c33ee44ffb9c51f46967ca83f inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a34e6b19c33ee44ffb9c51f46967ca83f inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static bool&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a34e6b19c33ee44ffb9c51f46967ca83f">isNodeHidden</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a34e6b19c33ee44ffb9c51f46967ca83f inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a072cecf5f6337d45a0497e786e317803 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a072cecf5f6337d45a0497e786e317803 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a072cecf5f6337d45a0497e786e317803">getNodeIdentifierLabel</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a072cecf5f6337d45a0497e786e317803 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae7c057127b4b68bdc5d64b5c86eb393e inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:ae7c057127b4b68bdc5d64b5c86eb393e inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae7c057127b4b68bdc5d64b5c86eb393e">getNodeDescription</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:ae7c057127b4b68bdc5d64b5c86eb393e inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae9e61a7c29f47b392cf64a32dec5de01 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:ae9e61a7c29f47b392cf64a32dec5de01 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae9e61a7c29f47b392cf64a32dec5de01">getNodeAttributes</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:ae9e61a7c29f47b392cf64a32dec5de01 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6acd27748e3dade4e1a3385accf539ec inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter , typename GraphType &gt; </td></tr>
+<tr class="memitem:a6acd27748e3dade4e1a3385accf539ec inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a6acd27748e3dade4e1a3385accf539ec">getEdgeAttributes</a> (const void *, EdgeIter, const GraphType &amp;)</td></tr>
+<tr class="separator:a6acd27748e3dade4e1a3385accf539ec inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab027bd32578caffc0ba18d84406a18c6 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:ab027bd32578caffc0ba18d84406a18c6 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ab027bd32578caffc0ba18d84406a18c6">getEdgeSourceLabel</a> (const void *, EdgeIter)</td></tr>
+<tr class="separator:ab027bd32578caffc0ba18d84406a18c6 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a89ab1cad8814ece47ef2b4cff3045532 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:a89ab1cad8814ece47ef2b4cff3045532 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static bool&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a89ab1cad8814ece47ef2b4cff3045532">edgeTargetsEdgeSource</a> (const void *, EdgeIter)</td></tr>
+<tr class="separator:a89ab1cad8814ece47ef2b4cff3045532 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4de19ba711c05792f22cc8ccf00b97f1 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:a4de19ba711c05792f22cc8ccf00b97f1 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static EdgeIter&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a4de19ba711c05792f22cc8ccf00b97f1">getEdgeTarget</a> (const void *, EdgeIter I)</td></tr>
+<tr class="separator:a4de19ba711c05792f22cc8ccf00b97f1 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab3571663f16a9f8cebfaea84d53ceb3e inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ab3571663f16a9f8cebfaea84d53ceb3e">hasEdgeDestLabels</a> ()</td></tr>
+<tr class="separator:ab3571663f16a9f8cebfaea84d53ceb3e inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afab72fb75dab2b1a7ce2a19452e4d1ec inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#afab72fb75dab2b1a7ce2a19452e4d1ec">numEdgeDestLabels</a> (const void *)</td></tr>
+<tr class="separator:afab72fb75dab2b1a7ce2a19452e4d1ec inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9f3e85580d90386f42f6bdd82b851d83 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a9f3e85580d90386f42f6bdd82b851d83">getEdgeDestLabel</a> (const void *, unsigned)</td></tr>
+<tr class="separator:a9f3e85580d90386f42f6bdd82b851d83 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae2bdfe5fa774a3dc5aad9a8465b50011 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType , typename GraphWriter &gt; </td></tr>
+<tr class="memitem:ae2bdfe5fa774a3dc5aad9a8465b50011 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static void&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae2bdfe5fa774a3dc5aad9a8465b50011">addCustomGraphFeatures</a> (const GraphType &amp;, <a class="el" href="classllvm_1_1GraphWriter.html">GraphWriter</a> &amp;)</td></tr>
+<tr class="separator:ae2bdfe5fa774a3dc5aad9a8465b50011 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
+Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pro_methods_structllvm_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_structllvm_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:ae8629cdc360910256304238ca5db1a45 inherit pro_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">isSimple</a> ()</td></tr>
+<tr class="separator:ae8629cdc360910256304238ca5db1a45 inherit pro_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><h3>template&lt;&gt;<br />
@@ -122,7 +181,7 @@ struct llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</h3>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">NodeType</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">NodeType</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -142,7 +201,7 @@ struct llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</h3>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::DOTGraphTraits </td>
+          <td class="memname"><a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits.html">DOTGraphTraits</a> </td>
           <td>(</td>
           <td class="paramtype">bool&#160;</td>
           <td class="paramname"><em>isSimple</em> = <code><a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></code></td><td>)</td>
@@ -157,7 +216,8 @@ struct llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</h3>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00708">708</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;                                          :</div><div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;        DOTGraphTraits&lt;SVFIR*&gt;(isSimple)</div><div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;    {</div><div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;    }</div></div><!-- fragment -->
+<div class="fragment"><div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;                                          :</div><div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;        DOTGraphTraits&lt;SVFIR*&gt;(<a class="code" href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">isSimple</a>)</div><div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;    {</div><div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;    }</div><div class="ttc" id="structllvm_1_1DefaultDOTGraphTraits_html_ae8629cdc360910256304238ca5db1a45"><div class="ttname"><a href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">llvm::DefaultDOTGraphTraits::isSimple</a></div><div class="ttdeci">bool isSimple()</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00035">DOTGraphTraits.h:35</a></div></div>
+</div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -173,7 +233,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::getEdgeAttributes </td>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::getEdgeAttributes </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">NodeType</a> *&#160;</td>
           <td class="paramname">, </td>
@@ -204,7 +264,7 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00804">804</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00805"></a><span class="lineno">  805</span>&#160;    {</div><div class="line"><a name="l00806"></a><span class="lineno">  806</span>&#160;        <a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00807"></a><span class="lineno">  807</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::Addr)</div><div class="line"><a name="l00809"></a><span class="lineno">  809</span>&#160;        {</div><div class="line"><a name="l00810"></a><span class="lineno">  810</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l00811"></a><span class="lineno">  811</span>&#160;        }</div><div class="line"><a name="l00812"></a><span class="lineno">  812</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::Copy)</div><div class="line"><a name="l00813"></a><span class="lineno">  813</span>&#160;        {</div><div class="line"><a name="l00814"></a><span class="lineno">  814</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00815"></a><span class="lineno">  815</span>&#160;        }</div><div class="line"><a name="l00816"></a><span class="lineno">  816</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::NormalGep</div><div class="line"><a name="l00817"></a><span class="lineno">  817</span>&#160;                 || edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::VariantGep)</div><div class="line"><a name="l00818"></a><span class="lineno">  818</span>&#160;        {</div><div class="line"><a name="l00819"></a><span class="lineno">  819</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=purple&quot;</span>;</div><div class="line"><a name="l00820"></a><span class="lineno">  820</span>&#160;        }</div><div class="line"><a name="l00821"></a><span class="lineno">  821</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::Store)</div><div class="line"><a name="l00822"></a><span class="lineno">  822</span>&#160;        {</div><div class="line"><a name="l00823"></a><span class="lineno">  823</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l00824"></a><span class="lineno">  824</span>&#160;        }</div><div class="line"><a name="l00825"></a><span class="lineno">  825</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::Load)</div><div class="line"><a name="l00826"></a><span class="lineno">  826</span>&#160;        {</div><div class="line"><a name="l00827"></a><span class="lineno">  827</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l00828"></a><span class="lineno">  828</span>&#160;        }</div><div class="line"><a name="l00829"></a><span class="lineno">  829</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00830"></a><span class="lineno">  830</span>&#160;        {</div><div class="line"><a name="l00831"></a><span class="lineno">  831</span>&#160;            assert(0 &amp;&amp; <span class="stringliteral">&quot;No such kind edge!!&quot;</span>);</div><div class="line"><a name="l00832"></a><span class="lineno">  832</span>&#160;        }</div><div class="line"><a name="l00833"></a><span class="lineno">  833</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00834"></a><span class="lineno">  834</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericEdge_html_abe8525c542def8162b094c169a01993b"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00081">GenericGraph.h:81</a></div></div>
+<div class="fragment"><div class="line"><a name="l00805"></a><span class="lineno">  805</span>&#160;    {</div><div class="line"><a name="l00806"></a><span class="lineno">  806</span>&#160;        <a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00807"></a><span class="lineno">  807</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::Addr)</div><div class="line"><a name="l00809"></a><span class="lineno">  809</span>&#160;        {</div><div class="line"><a name="l00810"></a><span class="lineno">  810</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l00811"></a><span class="lineno">  811</span>&#160;        }</div><div class="line"><a name="l00812"></a><span class="lineno">  812</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::Copy)</div><div class="line"><a name="l00813"></a><span class="lineno">  813</span>&#160;        {</div><div class="line"><a name="l00814"></a><span class="lineno">  814</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00815"></a><span class="lineno">  815</span>&#160;        }</div><div class="line"><a name="l00816"></a><span class="lineno">  816</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::NormalGep</div><div class="line"><a name="l00817"></a><span class="lineno">  817</span>&#160;                 || edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::VariantGep)</div><div class="line"><a name="l00818"></a><span class="lineno">  818</span>&#160;        {</div><div class="line"><a name="l00819"></a><span class="lineno">  819</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=purple&quot;</span>;</div><div class="line"><a name="l00820"></a><span class="lineno">  820</span>&#160;        }</div><div class="line"><a name="l00821"></a><span class="lineno">  821</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::Store)</div><div class="line"><a name="l00822"></a><span class="lineno">  822</span>&#160;        {</div><div class="line"><a name="l00823"></a><span class="lineno">  823</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l00824"></a><span class="lineno">  824</span>&#160;        }</div><div class="line"><a name="l00825"></a><span class="lineno">  825</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == ConstraintEdge::Load)</div><div class="line"><a name="l00826"></a><span class="lineno">  826</span>&#160;        {</div><div class="line"><a name="l00827"></a><span class="lineno">  827</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l00828"></a><span class="lineno">  828</span>&#160;        }</div><div class="line"><a name="l00829"></a><span class="lineno">  829</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00830"></a><span class="lineno">  830</span>&#160;        {</div><div class="line"><a name="l00831"></a><span class="lineno">  831</span>&#160;            assert(0 &amp;&amp; <span class="stringliteral">&quot;No such kind edge!!&quot;</span>);</div><div class="line"><a name="l00832"></a><span class="lineno">  832</span>&#160;        }</div><div class="line"><a name="l00833"></a><span class="lineno">  833</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00834"></a><span class="lineno">  834</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericEdge_html_abe8525c542def8162b094c169a01993b"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00082">GenericGraph.h:82</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html">SVF::ConstraintEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00048">ConsGEdge.h:48</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -221,7 +281,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::getEdgeSourceLabel </td>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::getEdgeSourceLabel </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">NodeType</a> *&#160;</td>
           <td class="paramname">, </td>
@@ -259,7 +319,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::getGraphName </td>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::getGraphName </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> *&#160;</td>
           <td class="paramname"></td><td>)</td>
@@ -289,7 +349,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::getNodeAttributes </td>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::getNodeAttributes </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">NodeType</a> *&#160;</td>
           <td class="paramname"><em>n</em>, </td>
@@ -329,7 +389,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::getNodeLabel </td>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::getNodeLabel </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">NodeType</a> *&#160;</td>
           <td class="paramname"><em>n</em>, </td>
@@ -360,7 +420,7 @@ template&lt;class EdgeIter &gt; </div>
 <div class="ttc" id="cJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00641">LLVMUtil.cpp:641</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a54b2a5ed3ed21e54eaf04182f0338333"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333">SVF::SVFVar::getValueName</a></div><div class="ttdeci">virtual const std::string getValueName() const =0</div><div class="ttdoc">Get name of the LLVM value. </div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00169">GenericGraph.h:169</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00170">GenericGraph.h:170</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -375,7 +435,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static bool llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::isNodeHidden </td>
+          <td class="memname">static bool <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;::isNodeHidden </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">NodeType</a> *&#160;</td>
           <td class="paramname"><em>n</em></td><td>)</td>

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

@@ -69,14 +69,32 @@ $(function() {
 
 <p>This is the complete list of members for <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>, including all inherited members.</p>
 <table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae2bdfe5fa774a3dc5aad9a8465b50011">addCustomGraphFeatures</a>(const GraphType &amp;, GraphWriter &amp;)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DefaultDOTGraphTraits.html#a8a0585a182245d87b224f4a26a41cf16">DefaultDOTGraphTraits</a>(bool simple=false)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">explicit</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a72d303201f61fdec14f08bddabf649e5">DOTGraphTraits</a>(bool isSimple=false)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5">getEdgeAttributes</a>(NodeType *, EdgeIter EI, ICFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</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="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133">getEdgeSourceLabel</a>(NodeType *, EdgeIter EI)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</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="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a46226ebac48103764df6427119a322ce">getGraphName</a>(ICFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</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="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140">getNodeAttributes</a>(NodeType *node, ICFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</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="structllvm_1_1DefaultDOTGraphTraits.html#a89ab1cad8814ece47ef2b4cff3045532">edgeTargetsEdgeSource</a>(const void *, EdgeIter)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5">getEdgeAttributes</a>(NodeType *, EdgeIter EI, ICFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</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="structllvm_1_1DefaultDOTGraphTraits.html#a6acd27748e3dade4e1a3385accf539ec">DOTGraphTraits&lt; SVFIR *&gt;::getEdgeAttributes</a>(const void *, EdgeIter, const GraphType &amp;)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DefaultDOTGraphTraits.html#a9f3e85580d90386f42f6bdd82b851d83">getEdgeDestLabel</a>(const void *, unsigned)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133">getEdgeSourceLabel</a>(NodeType *, EdgeIter EI)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</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="structllvm_1_1DefaultDOTGraphTraits.html#ab027bd32578caffc0ba18d84406a18c6">DOTGraphTraits&lt; SVFIR *&gt;::getEdgeSourceLabel</a>(const void *, EdgeIter)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DefaultDOTGraphTraits.html#a4de19ba711c05792f22cc8ccf00b97f1">getEdgeTarget</a>(const void *, EdgeIter I)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a46226ebac48103764df6427119a322ce">getGraphName</a>(ICFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</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="structllvm_1_1DefaultDOTGraphTraits.html#a4c2c0688a7c4cf69903603fddd539b45">DOTGraphTraits&lt; SVFIR *&gt;::getGraphName</a>(const GraphType &amp;)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DefaultDOTGraphTraits.html#a67a907a4c097d688d01195e110e4c9e2">getGraphProperties</a>(const GraphType &amp;)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140">getNodeAttributes</a>(NodeType *node, ICFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</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="structllvm_1_1DefaultDOTGraphTraits.html#ae9e61a7c29f47b392cf64a32dec5de01">DOTGraphTraits&lt; SVFIR *&gt;::getNodeAttributes</a>(const void *, const GraphType &amp;)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DefaultDOTGraphTraits.html#ae7c057127b4b68bdc5d64b5c86eb393e">getNodeDescription</a>(const void *, const GraphType &amp;)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DefaultDOTGraphTraits.html#a072cecf5f6337d45a0497e786e317803">getNodeIdentifierLabel</a>(const void *, const GraphType &amp;)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c">getNodeLabel</a>(NodeType *node, ICFG *graph)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a1cf0470d3e9821152416e3bf5236e553">getSimpleNodeLabel</a>(NodeType *node, ICFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</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="structllvm_1_1DefaultDOTGraphTraits.html#a748e27397b601b36da4ff8689fe1d231">DOTGraphTraits&lt; SVFIR *&gt;::getNodeLabel</a>(const void *, const GraphType &amp;)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a1cf0470d3e9821152416e3bf5236e553">getSimpleNodeLabel</a>(NodeType *node, ICFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</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="structllvm_1_1DefaultDOTGraphTraits.html#ab3571663f16a9f8cebfaea84d53ceb3e">hasEdgeDestLabels</a>()</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DefaultDOTGraphTraits.html#a34e6b19c33ee44ffb9c51f46967ca83f">isNodeHidden</a>(const void *, const GraphType &amp;)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">isSimple</a>()</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">NodeType</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; ICFG * &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#afab72fb75dab2b1a7ce2a19452e4d1ec">numEdgeDestLabels</a>(const void *)</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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="structllvm_1_1DefaultDOTGraphTraits.html#a8a9c7f5663e2ea7d1180f1d9a6e4eaeb">renderGraphFromBottomUp</a>()</td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html

@@ -77,6 +77,8 @@ Inheritance diagram for llvm::DOTGraphTraits&lt; ICFG * &gt;:</div>
  <div class="center">
   <img src="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.png" usemap="#llvm::DOTGraphTraits_3C_20ICFG_20_2A_20_3E_map" alt=""/>
   <map id="llvm::DOTGraphTraits_3C_20ICFG_20_2A_20_3E_map" name="llvm::DOTGraphTraits_3C_20ICFG_20_2A_20_3E_map">
+<area href="structllvm_1_1DOTGraphTraits.html" alt="llvm::DOTGraphTraits&lt; SVFIR *&gt;" shape="rect" coords="0,56,199,80"/>
+<area href="structllvm_1_1DefaultDOTGraphTraits.html" alt="llvm::DefaultDOTGraphTraits" shape="rect" coords="0,0,199,24"/>
 </map>
  </div></div>
 <table class="memberdecls">
@@ -87,10 +89,19 @@ Public Types</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:a72d303201f61fdec14f08bddabf649e5"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a72d303201f61fdec14f08bddabf649e5">DOTGraphTraits</a> (bool isSimple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="memitem:a72d303201f61fdec14f08bddabf649e5"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a72d303201f61fdec14f08bddabf649e5">DOTGraphTraits</a> (bool <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">isSimple</a>=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
 <tr class="separator:a72d303201f61fdec14f08bddabf649e5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aaab33f12ee11b03d7d55a55f46178a2c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c">getNodeLabel</a> (<a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">NodeType</a> *node, <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> *graph)</td></tr>
 <tr class="separator:aaab33f12ee11b03d7d55a55f46178a2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_structllvm_1_1DOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_structllvm_1_1DOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits&lt; SVFIR *&gt;</a></td></tr>
+<tr class="memitem:a44b9192cea3ca9e59ab71c502c21a352 inherit pub_methods_structllvm_1_1DOTGraphTraits"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits.html#a44b9192cea3ca9e59ab71c502c21a352">DOTGraphTraits</a> (bool simple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:a44b9192cea3ca9e59ab71c502c21a352 inherit pub_methods_structllvm_1_1DOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_structllvm_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:a8a0585a182245d87b224f4a26a41cf16 inherit pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a8a0585a182245d87b224f4a26a41cf16">DefaultDOTGraphTraits</a> (bool simple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:a8a0585a182245d87b224f4a26a41cf16 inherit pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a748e27397b601b36da4ff8689fe1d231 inherit pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a748e27397b601b36da4ff8689fe1d231 inherit pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a748e27397b601b36da4ff8689fe1d231">getNodeLabel</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a748e27397b601b36da4ff8689fe1d231 inherit pub_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
 Static Public Member Functions</h2></td></tr>
@@ -108,6 +119,54 @@ Static Public Member Functions</h2></td></tr>
 <tr class="memitem:a6255edef186d9268868d683b4bbda133"><td class="memTemplParams" colspan="2">template&lt;class EdgeIter &gt; </td></tr>
 <tr class="memitem:a6255edef186d9268868d683b4bbda133"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133">getEdgeSourceLabel</a> (<a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">NodeType</a> *, EdgeIter EI)</td></tr>
 <tr class="separator:a6255edef186d9268868d683b4bbda133"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_structllvm_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:a4c2c0688a7c4cf69903603fddd539b45 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a4c2c0688a7c4cf69903603fddd539b45 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a4c2c0688a7c4cf69903603fddd539b45">getGraphName</a> (const GraphType &amp;)</td></tr>
+<tr class="separator:a4c2c0688a7c4cf69903603fddd539b45 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a67a907a4c097d688d01195e110e4c9e2 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a67a907a4c097d688d01195e110e4c9e2 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a67a907a4c097d688d01195e110e4c9e2">getGraphProperties</a> (const GraphType &amp;)</td></tr>
+<tr class="separator:a67a907a4c097d688d01195e110e4c9e2 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8a9c7f5663e2ea7d1180f1d9a6e4eaeb inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a8a9c7f5663e2ea7d1180f1d9a6e4eaeb">renderGraphFromBottomUp</a> ()</td></tr>
+<tr class="separator:a8a9c7f5663e2ea7d1180f1d9a6e4eaeb inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a34e6b19c33ee44ffb9c51f46967ca83f inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a34e6b19c33ee44ffb9c51f46967ca83f inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static bool&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a34e6b19c33ee44ffb9c51f46967ca83f">isNodeHidden</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a34e6b19c33ee44ffb9c51f46967ca83f inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a072cecf5f6337d45a0497e786e317803 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a072cecf5f6337d45a0497e786e317803 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a072cecf5f6337d45a0497e786e317803">getNodeIdentifierLabel</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a072cecf5f6337d45a0497e786e317803 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae7c057127b4b68bdc5d64b5c86eb393e inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:ae7c057127b4b68bdc5d64b5c86eb393e inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae7c057127b4b68bdc5d64b5c86eb393e">getNodeDescription</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:ae7c057127b4b68bdc5d64b5c86eb393e inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae9e61a7c29f47b392cf64a32dec5de01 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:ae9e61a7c29f47b392cf64a32dec5de01 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae9e61a7c29f47b392cf64a32dec5de01">getNodeAttributes</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:ae9e61a7c29f47b392cf64a32dec5de01 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6acd27748e3dade4e1a3385accf539ec inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter , typename GraphType &gt; </td></tr>
+<tr class="memitem:a6acd27748e3dade4e1a3385accf539ec inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a6acd27748e3dade4e1a3385accf539ec">getEdgeAttributes</a> (const void *, EdgeIter, const GraphType &amp;)</td></tr>
+<tr class="separator:a6acd27748e3dade4e1a3385accf539ec inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab027bd32578caffc0ba18d84406a18c6 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:ab027bd32578caffc0ba18d84406a18c6 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ab027bd32578caffc0ba18d84406a18c6">getEdgeSourceLabel</a> (const void *, EdgeIter)</td></tr>
+<tr class="separator:ab027bd32578caffc0ba18d84406a18c6 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a89ab1cad8814ece47ef2b4cff3045532 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:a89ab1cad8814ece47ef2b4cff3045532 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static bool&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a89ab1cad8814ece47ef2b4cff3045532">edgeTargetsEdgeSource</a> (const void *, EdgeIter)</td></tr>
+<tr class="separator:a89ab1cad8814ece47ef2b4cff3045532 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4de19ba711c05792f22cc8ccf00b97f1 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:a4de19ba711c05792f22cc8ccf00b97f1 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static EdgeIter&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a4de19ba711c05792f22cc8ccf00b97f1">getEdgeTarget</a> (const void *, EdgeIter I)</td></tr>
+<tr class="separator:a4de19ba711c05792f22cc8ccf00b97f1 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab3571663f16a9f8cebfaea84d53ceb3e inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ab3571663f16a9f8cebfaea84d53ceb3e">hasEdgeDestLabels</a> ()</td></tr>
+<tr class="separator:ab3571663f16a9f8cebfaea84d53ceb3e inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afab72fb75dab2b1a7ce2a19452e4d1ec inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#afab72fb75dab2b1a7ce2a19452e4d1ec">numEdgeDestLabels</a> (const void *)</td></tr>
+<tr class="separator:afab72fb75dab2b1a7ce2a19452e4d1ec inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9f3e85580d90386f42f6bdd82b851d83 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a9f3e85580d90386f42f6bdd82b851d83">getEdgeDestLabel</a> (const void *, unsigned)</td></tr>
+<tr class="separator:a9f3e85580d90386f42f6bdd82b851d83 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae2bdfe5fa774a3dc5aad9a8465b50011 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType , typename GraphWriter &gt; </td></tr>
+<tr class="memitem:ae2bdfe5fa774a3dc5aad9a8465b50011 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static void&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae2bdfe5fa774a3dc5aad9a8465b50011">addCustomGraphFeatures</a> (const GraphType &amp;, <a class="el" href="classllvm_1_1GraphWriter.html">GraphWriter</a> &amp;)</td></tr>
+<tr class="separator:ae2bdfe5fa774a3dc5aad9a8465b50011 inherit pub_static_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
+Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pro_methods_structllvm_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_structllvm_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:ae8629cdc360910256304238ca5db1a45 inherit pro_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">isSimple</a> ()</td></tr>
+<tr class="separator:ae8629cdc360910256304238ca5db1a45 inherit pro_methods_structllvm_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><h3>template&lt;&gt;<br />
@@ -123,7 +182,7 @@ struct llvm::DOTGraphTraits&lt; ICFG * &gt;</h3>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">NodeType</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">NodeType</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -143,7 +202,7 @@ struct llvm::DOTGraphTraits&lt; ICFG * &gt;</h3>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::DOTGraphTraits </td>
+          <td class="memname"><a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits.html">DOTGraphTraits</a> </td>
           <td>(</td>
           <td class="paramtype">bool&#160;</td>
           <td class="paramname"><em>isSimple</em> = <code><a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></code></td><td>)</td>
@@ -158,7 +217,8 @@ struct llvm::DOTGraphTraits&lt; ICFG * &gt;</h3>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00527">527</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;                                          :</div><div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;        DOTGraphTraits&lt;SVFIR*&gt;(isSimple)</div><div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;    {</div><div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;    }</div></div><!-- fragment -->
+<div class="fragment"><div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;                                          :</div><div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;        DOTGraphTraits&lt;SVFIR*&gt;(<a class="code" href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">isSimple</a>)</div><div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;    {</div><div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;    }</div><div class="ttc" id="structllvm_1_1DefaultDOTGraphTraits_html_ae8629cdc360910256304238ca5db1a45"><div class="ttname"><a href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">llvm::DefaultDOTGraphTraits::isSimple</a></div><div class="ttdeci">bool isSimple()</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00035">DOTGraphTraits.h:35</a></div></div>
+</div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -174,7 +234,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getEdgeAttributes </td>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getEdgeAttributes </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">NodeType</a> *&#160;</td>
           <td class="paramname">, </td>
@@ -221,7 +281,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getEdgeSourceLabel </td>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getEdgeSourceLabel </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">NodeType</a> *&#160;</td>
           <td class="paramname">, </td>
@@ -263,7 +323,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getGraphName </td>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getGraphName </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1ICFG.html">ICFG</a> *&#160;</td>
           <td class="paramname"></td><td>)</td>
@@ -293,7 +353,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getNodeAttributes </td>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getNodeAttributes </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">NodeType</a> *&#160;</td>
           <td class="paramname"><em>node</em>, </td>
@@ -332,7 +392,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getNodeLabel </td>
+          <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getNodeLabel </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">NodeType</a> *&#160;</td>
           <td class="paramname"><em>node</em>, </td>
@@ -370,7 +430,7 @@ template&lt;class EdgeIter &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getSimpleNodeLabel </td>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> * &gt;::getSimpleNodeLabel </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">NodeType</a> *&#160;</td>
           <td class="paramname"><em>node</em>, </td>