svf-tools 1.0.595 → 1.0.596

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html

@@ -77,6 +77,7 @@ Inheritance diagram for llvm::DOTGraphTraits&lt; PTACallGraph * &gt;:</div>
  <div class="center">
   <img src="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.png" usemap="#llvm::DOTGraphTraits_3C_20PTACallGraph_20_2A_20_3E_map" alt=""/>
   <map id="llvm::DOTGraphTraits_3C_20PTACallGraph_20_2A_20_3E_map" name="llvm::DOTGraphTraits_3C_20PTACallGraph_20_2A_20_3E_map">
+<area href="structllvm_1_1DefaultDOTGraphTraits.html" alt="llvm::DefaultDOTGraphTraits" shape="rect" coords="0,0,249,24"/>
 </map>
  </div></div>
 <table class="memberdecls">
@@ -89,8 +90,14 @@ 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:a34fdb3c78cdda82f0bb81f143891cea8"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a34fdb3c78cdda82f0bb81f143891cea8">DOTGraphTraits</a> (bool isSimple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="memitem:a34fdb3c78cdda82f0bb81f143891cea8"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a34fdb3c78cdda82f0bb81f143891cea8">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:a34fdb3c78cdda82f0bb81f143891cea8"><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 +115,54 @@ Static Public Member Functions</h2></td></tr>
 <tr class="memitem:a576f422e667714d3e4948cbf3f631fc9"><td class="memTemplParams" colspan="2">template&lt;class EdgeIter &gt; </td></tr>
 <tr class="memitem:a576f422e667714d3e4948cbf3f631fc9"><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_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9">getEdgeSourceLabel</a> (<a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c">NodeType</a> *, EdgeIter EI)</td></tr>
 <tr class="separator:a576f422e667714d3e4948cbf3f631fc9"><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 />
@@ -124,7 +179,7 @@ struct llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</h3>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1PTACallGraphNode.html#a796994541eec90f2b540e24816120aff">NodeType::iterator</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a38abf60604b5f9b4bc992cb1d65a447b">ChildIteratorType</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1PTACallGraphNode.html#a796994541eec90f2b540e24816120aff">NodeType::iterator</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a38abf60604b5f9b4bc992cb1d65a447b">ChildIteratorType</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -140,7 +195,7 @@ struct llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</h3>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c">NodeType</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> <a class="el" href="structllvm_1_1DOTGraphTraits.html">llvm::DOTGraphTraits</a>&lt; <a class="el" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a> * &gt;::<a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c">NodeType</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -160,7 +215,7 @@ struct llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</h3>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">llvm::DOTGraphTraits&lt; <a class="el" href="classSVF_1_1PTACallGraph.html">PTACallGraph</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_1PTACallGraph.html">PTACallGraph</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>
@@ -175,7 +230,9 @@ struct llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</h3>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="PTACallGraph_8cpp_source.html#l00339">339</a> of file <a class="el" href="PTACallGraph_8cpp_source.html">PTACallGraph.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;                                          :</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        DefaultDOTGraphTraits(isSimple)</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    {</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;    }</div></div><!-- fragment -->
+<div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;                                          :</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        <a class="code" href="structllvm_1_1DefaultDOTGraphTraits.html#a8a0585a182245d87b224f4a26a41cf16">DefaultDOTGraphTraits</a>(<a class="code" href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">isSimple</a>)</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    {</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;    }</div><div class="ttc" id="structllvm_1_1DefaultDOTGraphTraits_html_a8a0585a182245d87b224f4a26a41cf16"><div class="ttname"><a href="structllvm_1_1DefaultDOTGraphTraits.html#a8a0585a182245d87b224f4a26a41cf16">llvm::DefaultDOTGraphTraits::DefaultDOTGraphTraits</a></div><div class="ttdeci">DefaultDOTGraphTraits(bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00041">DOTGraphTraits.h:41</a></div></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>
@@ -191,7 +248,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_1PTACallGraph.html">PTACallGraph</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_1PTACallGraph.html">PTACallGraph</a> * &gt;::getEdgeAttributes </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> *&#160;</td>
           <td class="paramname">, </td>
@@ -222,7 +279,7 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="PTACallGraph_8cpp_source.html#l00367">367</a> of file <a class="el" href="PTACallGraph_8cpp_source.html">PTACallGraph.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;    {</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="comment">//TODO: mark indirect call of Fork with different color</span></div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        <a class="code" href="classSVF_1_1PTACallGraphEdge.html">PTACallGraphEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> color;</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == PTACallGraphEdge::TDJoinEdge)</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;        {</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;            color = <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;        }</div><div class="line"><a name="l00380"></a><span class="lineno">  380</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>() == PTACallGraphEdge::TDForkEdge)</div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        {</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;            color = <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;        }</div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;        {</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;            color = <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;        }</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;        <span class="keywordflow">if</span> (0 != edge-&gt;<a class="code" href="classSVF_1_1PTACallGraphEdge.html#a76aa19edf03a4cacfa3e27a21abfcd07">getIndirectCalls</a>().size())</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;        {</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;            color = <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;        }</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;        <span class="keywordflow">return</span> color;</div><div class="line"><a name="l00393"></a><span class="lineno">  393</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="l00368"></a><span class="lineno">  368</span>&#160;    {</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="comment">//TODO: mark indirect call of Fork with different color</span></div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        <a class="code" href="classSVF_1_1PTACallGraphEdge.html">PTACallGraphEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;        assert(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> color;</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;        <span class="keywordflow">if</span> (edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() == PTACallGraphEdge::TDJoinEdge)</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;        {</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;            color = <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;        }</div><div class="line"><a name="l00380"></a><span class="lineno">  380</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>() == PTACallGraphEdge::TDForkEdge)</div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        {</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;            color = <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;        }</div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;        {</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;            color = <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;        }</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;        <span class="keywordflow">if</span> (0 != edge-&gt;<a class="code" href="classSVF_1_1PTACallGraphEdge.html#a76aa19edf03a4cacfa3e27a21abfcd07">getIndirectCalls</a>().size())</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;        {</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;            color = <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;        }</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;        <span class="keywordflow">return</span> color;</div><div class="line"><a name="l00393"></a><span class="lineno">  393</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_1PTACallGraphEdge_html"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html">SVF::PTACallGraphEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00051">PTACallGraph.h:51</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a76aa19edf03a4cacfa3e27a21abfcd07"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a76aa19edf03a4cacfa3e27a21abfcd07">SVF::PTACallGraphEdge::getIndirectCalls</a></div><div class="ttdeci">CallInstSet &amp; getIndirectCalls()</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00099">PTACallGraph.h:99</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>
@@ -241,7 +298,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_1PTACallGraph.html">PTACallGraph</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_1PTACallGraph.html">PTACallGraph</a> * &gt;::getEdgeSourceLabel </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c">NodeType</a> *&#160;</td>
           <td class="paramname">, </td>
@@ -282,7 +339,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_1PTACallGraph.html">PTACallGraph</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_1PTACallGraph.html">PTACallGraph</a> * &gt;::getGraphName </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a> *&#160;</td>
           <td class="paramname"></td><td>)</td>
@@ -312,7 +369,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_1PTACallGraph.html">PTACallGraph</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_1PTACallGraph.html">PTACallGraph</a> * &gt;::getNodeAttributes </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> *&#160;</td>
           <td class="paramname"><em>node</em>, </td>
@@ -353,7 +410,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_1PTACallGraph.html">PTACallGraph</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_1PTACallGraph.html">PTACallGraph</a> * &gt;::getNodeLabel </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> *&#160;</td>
           <td class="paramname"><em>node</em>, </td>

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

@@ -69,16 +69,34 @@ $(function() {
 
 <p>This is the complete list of members for <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a1e5cce964fc852f8bdada1edc174bd5a">DOTGraphTraits</a>(bool isSimple=false)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a">getCompleteNodeLabel</a>(NodeType *node, SVFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e">getEdgeAttributes</a>(NodeType *, EdgeIter EI, SVFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e">getEdgeSourceLabel</a>(NodeType *, EdgeIter EI)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a1275496006929be6375a0d71ed86c79b">getGraphName</a>(SVFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df">getNodeAttributes</a>(NodeType *node, SVFG *graph)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a">getCompleteNodeLabel</a>(NodeType *node, SVFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e">getEdgeAttributes</a>(NodeType *, EdgeIter EI, SVFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e">getEdgeSourceLabel</a>(NodeType *, EdgeIter EI)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a1275496006929be6375a0d71ed86c79b">getGraphName</a>(SVFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df">getNodeAttributes</a>(NodeType *node, SVFG *graph)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a4407708863cb2a50fd4d4c516f5f3ea4">getNodeLabel</a>(NodeType *node, SVFG *graph)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a63cc361875e61f4729381b23dcee2787">getSimpleNodeLabel</a>(NodeType *node, SVFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_01SVFG_01_5_01_4.html#a63cc361875e61f4729381b23dcee2787">getSimpleNodeLabel</a>(NodeType *node, SVFG *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a08335822e61278ca8deac60882343d7f">isNodeHidden</a>(SVFGNode *node)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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#a34e6b19c33ee44ffb9c51f46967ca83f">DOTGraphTraits&lt; SVFIR *&gt;::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_01SVFG_01_5_01_4.html#a07ad41a658bfc0a404a5f6abc823040b">NodeType</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">llvm::DOTGraphTraits&lt; SVFG * &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>