svf-tools 1.0.595 → 1.0.596

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

@@ -69,15 +69,33 @@ $(function() {
 
 <p>This is the complete list of members for <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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_01VFG_01_5_01_4.html#a0ae94170a4f95bfc7e89d0149ff67882">DOTGraphTraits</a>(bool isSimple=false)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c">getCompleteNodeLabel</a>(NodeType *node, VFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b">getEdgeAttributes</a>(NodeType *, EdgeIter EI, VFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80">getEdgeSourceLabel</a>(NodeType *, EdgeIter EI)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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_01VFG_01_5_01_4.html#aaedec44d41a6e36c9e5db804e4a005dd">getGraphName</a>(VFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a">getNodeAttributes</a>(NodeType *node, VFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c">getCompleteNodeLabel</a>(NodeType *node, VFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b">getEdgeAttributes</a>(NodeType *, EdgeIter EI, VFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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#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><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 class="even"><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80">getEdgeSourceLabel</a>(NodeType *, EdgeIter EI)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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#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 class="even"><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><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#aaedec44d41a6e36c9e5db804e4a005dd">getGraphName</a>(VFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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#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><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 class="even"><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a">getNodeAttributes</a>(NodeType *node, VFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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#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 class="even"><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><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 class="even"><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6470ed90c2a601b01715d02cffd90918">getNodeLabel</a>(NodeType *node, VFG *graph)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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_01VFG_01_5_01_4.html#a0159404d5c5a7816a4b679c0f35a546e">getSimpleNodeLabel</a>(NodeType *node, VFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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#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 class="even"><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0159404d5c5a7816a4b679c0f35a546e">getSimpleNodeLabel</a>(NodeType *node, VFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &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#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 class="even"><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><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 class="even"><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">NodeType</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; VFG * &gt;</a></td><td class="entry"></td></tr>
+  <tr><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 class="even"><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_01VFG_01_5_01_4.html

@@ -77,6 +77,8 @@ Inheritance diagram for llvm::DOTGraphTraits&lt; VFG * &gt;:</div>
  <div class="center">
   <img src="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.png" usemap="#llvm::DOTGraphTraits_3C_20VFG_20_2A_20_3E_map" alt=""/>
   <map id="llvm::DOTGraphTraits_3C_20VFG_20_2A_20_3E_map" name="llvm::DOTGraphTraits_3C_20VFG_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:a0ae94170a4f95bfc7e89d0149ff67882"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0ae94170a4f95bfc7e89d0149ff67882">DOTGraphTraits</a> (bool isSimple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="memitem:a0ae94170a4f95bfc7e89d0149ff67882"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0ae94170a4f95bfc7e89d0149ff67882">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:a0ae94170a4f95bfc7e89d0149ff67882"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a6470ed90c2a601b01715d02cffd90918"><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_01VFG_01_5_01_4.html#a6470ed90c2a601b01715d02cffd90918">getNodeLabel</a> (<a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">NodeType</a> *node, <a class="el" href="classSVF_1_1VFG.html">VFG</a> *graph)</td></tr>
 <tr class="separator:a6470ed90c2a601b01715d02cffd90918"><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>
@@ -111,6 +122,54 @@ Static Public Member Functions</h2></td></tr>
 <tr class="memitem:af794115d33a8ea6f7f2e2c7ac5dd4c80"><td class="memTemplParams" colspan="2">template&lt;class EdgeIter &gt; </td></tr>
 <tr class="memitem:af794115d33a8ea6f7f2e2c7ac5dd4c80"><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_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80">getEdgeSourceLabel</a> (<a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">NodeType</a> *, EdgeIter EI)</td></tr>
 <tr class="separator:af794115d33a8ea6f7f2e2c7ac5dd4c80"><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 />
@@ -126,7 +185,7 @@ struct llvm::DOTGraphTraits&lt; VFG * &gt;</h3>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1VFG.html">VFG</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">NodeType</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1VFG.html">VFG</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">NodeType</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -146,7 +205,7 @@ struct llvm::DOTGraphTraits&lt; VFG * &gt;</h3>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1VFG.html">VFG</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_1VFG.html">VFG</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>
@@ -161,7 +220,8 @@ struct llvm::DOTGraphTraits&lt; VFG * &gt;</h3>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l01101">1101</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l01101"></a><span class="lineno"> 1101</span>&#160;                                          :</div><div class="line"><a name="l01102"></a><span class="lineno"> 1102</span>&#160;        DOTGraphTraits&lt;SVFIR*&gt;(isSimple)</div><div class="line"><a name="l01103"></a><span class="lineno"> 1103</span>&#160;    {</div><div class="line"><a name="l01104"></a><span class="lineno"> 1104</span>&#160;    }</div></div><!-- fragment -->
+<div class="fragment"><div class="line"><a name="l01101"></a><span class="lineno"> 1101</span>&#160;                                          :</div><div class="line"><a name="l01102"></a><span class="lineno"> 1102</span>&#160;        DOTGraphTraits&lt;SVFIR*&gt;(<a class="code" href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">isSimple</a>)</div><div class="line"><a name="l01103"></a><span class="lineno"> 1103</span>&#160;    {</div><div class="line"><a name="l01104"></a><span class="lineno"> 1104</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>
@@ -175,7 +235,7 @@ struct llvm::DOTGraphTraits&lt; VFG * &gt;</h3>
   <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_1VFG.html">VFG</a> * &gt;::getCompleteNodeLabel </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_1VFG.html">VFG</a> * &gt;::getCompleteNodeLabel </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">NodeType</a> *&#160;</td>
           <td class="paramname"><em>node</em>, </td>
@@ -229,7 +289,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_1VFG.html">VFG</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_1VFG.html">VFG</a> * &gt;::getEdgeAttributes </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">NodeType</a> *&#160;</td>
           <td class="paramname">, </td>
@@ -276,7 +336,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_1VFG.html">VFG</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_1VFG.html">VFG</a> * &gt;::getEdgeSourceLabel </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">NodeType</a> *&#160;</td>
           <td class="paramname">, </td>
@@ -318,7 +378,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_1VFG.html">VFG</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_1VFG.html">VFG</a> * &gt;::getGraphName </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1VFG.html">VFG</a> *&#160;</td>
           <td class="paramname"></td><td>)</td>
@@ -348,7 +408,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_1VFG.html">VFG</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_1VFG.html">VFG</a> * &gt;::getNodeAttributes </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">NodeType</a> *&#160;</td>
           <td class="paramname"><em>node</em>, </td>
@@ -389,7 +449,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_1VFG.html">VFG</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_1VFG.html">VFG</a> * &gt;::getNodeLabel </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">NodeType</a> *&#160;</td>
           <td class="paramname"><em>node</em>, </td>
@@ -414,7 +474,8 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l01112">1112</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l01113"></a><span class="lineno"> 1113</span>&#160;    {</div><div class="line"><a name="l01114"></a><span class="lineno"> 1114</span>&#160;        <span class="keywordflow">if</span> (isSimple())</div><div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160;            <span class="keywordflow">return</span> getSimpleNodeLabel(node, graph);</div><div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l01117"></a><span class="lineno"> 1117</span>&#160;            <span class="keywordflow">return</span> getCompleteNodeLabel(node, graph);</div><div class="line"><a name="l01118"></a><span class="lineno"> 1118</span>&#160;    }</div></div><!-- fragment -->
+<div class="fragment"><div class="line"><a name="l01113"></a><span class="lineno"> 1113</span>&#160;    {</div><div class="line"><a name="l01114"></a><span class="lineno"> 1114</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">isSimple</a>())</div><div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160;            <span class="keywordflow">return</span> getSimpleNodeLabel(node, graph);</div><div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l01117"></a><span class="lineno"> 1117</span>&#160;            <span class="keywordflow">return</span> getCompleteNodeLabel(node, graph);</div><div class="line"><a name="l01118"></a><span class="lineno"> 1118</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>
 <a id="a0159404d5c5a7816a4b679c0f35a546e"></a>
@@ -427,7 +488,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_1VFG.html">VFG</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_1VFG.html">VFG</a> * &gt;::getSimpleNodeLabel </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">NodeType</a> *&#160;</td>
           <td class="paramname"><em>node</em>, </td>

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

@@ -0,0 +1,99 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespacellvm.html">llvm</a></li><li class="navelem"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">DefaultDOTGraphTraits</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">llvm::DefaultDOTGraphTraits Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</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_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><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a6acd27748e3dade4e1a3385accf539ec">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_1DefaultDOTGraphTraits.html#ab027bd32578caffc0ba18d84406a18c6">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 class="even"><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><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a4c2c0688a7c4cf69903603fddd539b45">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_1DefaultDOTGraphTraits.html#ae9e61a7c29f47b392cf64a32dec5de01">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 class="even"><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><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 class="even"><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a748e27397b601b36da4ff8689fe1d231">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_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 class="even"><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><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae60a00eb9bdec41861fe6c4073e543b5">IsSimple</a></td><td class="entry"><a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html">llvm::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">private</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_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 class="even"><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>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>