npm - svf-tools - Versions diffs - 1.0.596 → 1.0.597 - Mend

svf-tools 1.0.596 → 1.0.597

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (801) hide show

package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits.html ADDED Viewed

@@ -0,0 +1,855 @@
+<!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: SVF::DefaultDOTGraphTraits Struct Reference</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="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">DefaultDOTGraphTraits</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="#pub-static-methods">Static Public Member Functions</a> &#124;
+<a href="#pro-methods">Protected Member Functions</a> &#124;
+<a href="#pri-attribs">Private Attributes</a> &#124;
+<a href="structSVF_1_1DefaultDOTGraphTraits-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::DefaultDOTGraphTraits Struct Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<p><code>#include &lt;<a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for SVF::DefaultDOTGraphTraits:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="structSVF_1_1DefaultDOTGraphTraits.png" usemap="#SVF::DefaultDOTGraphTraits_map" alt=""/>
+  <map id="SVF::DefaultDOTGraphTraits_map" name="SVF::DefaultDOTGraphTraits_map">
+<area href="structSVF_1_1DOTGraphTraits.html" alt="SVF::DOTGraphTraits&lt; GraphType &gt;" shape="rect" coords="262,56,514,80"/>
+<area href="structSVF_1_1DOTGraphTraits.html" alt="SVF::DOTGraphTraits&lt; SVFIR *&gt;" shape="rect" coords="262,112,514,136"/>
+<area href="structSVF_1_1DOTGraphTraits.html" alt="SVF::DOTGraphTraits&lt; Ty &gt;" shape="rect" coords="262,168,514,192"/>
+<area href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html" alt="SVF::DOTGraphTraits&lt; CFLGraph * &gt;" shape="rect" coords="262,224,514,248"/>
+<area href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html" alt="SVF::DOTGraphTraits&lt; CHGraph * &gt;" shape="rect" coords="262,280,514,304"/>
+<area href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html" alt="SVF::DOTGraphTraits&lt; IRGraph * &gt;" shape="rect" coords="262,336,514,360"/>
+<area href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html" alt="SVF::DOTGraphTraits&lt; PTACallGraph * &gt;" shape="rect" coords="262,392,514,416"/>
+<area href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html" alt="SVF::DOTGraphTraits&lt; TCT * &gt;" shape="rect" coords="262,448,514,472"/>
+</map>
+ </div></div>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:a2fdfa8abc93bd4d0211c4db8ef4ede3e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e">DefaultDOTGraphTraits</a> (bool simple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:a2fdfa8abc93bd4d0211c4db8ef4ede3e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a07487bbf691110420c680250994a6eba"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a07487bbf691110420c680250994a6eba"><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="structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba">getNodeLabel</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a07487bbf691110420c680250994a6eba"><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>
+<tr class="memitem:a41effe5697618840e0d5ea10c26781fe"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a41effe5697618840e0d5ea10c26781fe"><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="structSVF_1_1DefaultDOTGraphTraits.html#a41effe5697618840e0d5ea10c26781fe">getGraphName</a> (const GraphType &amp;)</td></tr>
+<tr class="separator:a41effe5697618840e0d5ea10c26781fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afe384157441d5ef0b3aafdfb6cd3028a"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:afe384157441d5ef0b3aafdfb6cd3028a"><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="structSVF_1_1DefaultDOTGraphTraits.html#afe384157441d5ef0b3aafdfb6cd3028a">getGraphProperties</a> (const GraphType &amp;)</td></tr>
+<tr class="separator:afe384157441d5ef0b3aafdfb6cd3028a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aeb5908ad6424c0636b698e5ea0a587c0"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">renderGraphFromBottomUp</a> ()</td></tr>
+<tr class="separator:aeb5908ad6424c0636b698e5ea0a587c0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae73ba55d72d5df1f70a2bfa2e12958f3"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:ae73ba55d72d5df1f70a2bfa2e12958f3"><td class="memTemplItemLeft" align="right" valign="top">static bool&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">isNodeHidden</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:ae73ba55d72d5df1f70a2bfa2e12958f3"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0f81b82658f62589ec429c601538f6e9"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a0f81b82658f62589ec429c601538f6e9"><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="structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9">getNodeIdentifierLabel</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a0f81b82658f62589ec429c601538f6e9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af5800f2d8efa24fee85f03871c07df21"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:af5800f2d8efa24fee85f03871c07df21"><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="structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21">getNodeDescription</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:af5800f2d8efa24fee85f03871c07df21"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3438f5f1ed763f2f7818535f212ff43b"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a3438f5f1ed763f2f7818535f212ff43b"><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="structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b">getNodeAttributes</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a3438f5f1ed763f2f7818535f212ff43b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad84c95525cf15f90848c2558fd28f43b"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter , typename GraphType &gt; </td></tr>
+<tr class="memitem:ad84c95525cf15f90848c2558fd28f43b"><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="structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b">getEdgeAttributes</a> (const void *, EdgeIter, const GraphType &amp;)</td></tr>
+<tr class="separator:ad84c95525cf15f90848c2558fd28f43b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a66f5994cdef8fa307c9ff69ca90a1d6c"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:a66f5994cdef8fa307c9ff69ca90a1d6c"><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="structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c">getEdgeSourceLabel</a> (const void *, EdgeIter)</td></tr>
+<tr class="separator:a66f5994cdef8fa307c9ff69ca90a1d6c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a78c40f9b1af839116b88519fca154396"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:a78c40f9b1af839116b88519fca154396"><td class="memTemplItemLeft" align="right" valign="top">static bool&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396">edgeTargetsEdgeSource</a> (const void *, EdgeIter)</td></tr>
+<tr class="separator:a78c40f9b1af839116b88519fca154396"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acfab6216e24999e92b2354e4f15b96b6"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:acfab6216e24999e92b2354e4f15b96b6"><td class="memTemplItemLeft" align="right" valign="top">static EdgeIter&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acfab6216e24999e92b2354e4f15b96b6">getEdgeTarget</a> (const void *, EdgeIter I)</td></tr>
+<tr class="separator:acfab6216e24999e92b2354e4f15b96b6"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a87d7b47985a849c7c4ff1c328a59c623"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623">hasEdgeDestLabels</a> ()</td></tr>
+<tr class="separator:a87d7b47985a849c7c4ff1c328a59c623"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a94f582264d3020f36a2ca3bdfbdaf81b"><td class="memItemLeft" align="right" valign="top">static unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b">numEdgeDestLabels</a> (const void *)</td></tr>
+<tr class="separator:a94f582264d3020f36a2ca3bdfbdaf81b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5e560e93632e0ed1934d4c4508ca1884"><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="structSVF_1_1DefaultDOTGraphTraits.html#a5e560e93632e0ed1934d4c4508ca1884">getEdgeDestLabel</a> (const void *, unsigned)</td></tr>
+<tr class="separator:a5e560e93632e0ed1934d4c4508ca1884"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a47ee60dc78e3f869ce4e808e73437ddf"><td class="memTemplParams" colspan="2">template&lt;typename GraphType , typename GraphWriter &gt; </td></tr>
+<tr class="memitem:a47ee60dc78e3f869ce4e808e73437ddf"><td class="memTemplItemLeft" align="right" valign="top">static void&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf">addCustomGraphFeatures</a> (const GraphType &amp;, <a class="el" href="classSVF_1_1GraphWriter.html">GraphWriter</a> &amp;)</td></tr>
+<tr class="separator:a47ee60dc78e3f869ce4e808e73437ddf"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-methods"></a>
+Protected Member Functions</h2></td></tr>
+<tr class="memitem:acc82bc6228128e5bb98a6b00d6dc5f77"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a> ()</td></tr>
+<tr class="separator:acc82bc6228128e5bb98a6b00d6dc5f77"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
+Private Attributes</h2></td></tr>
+<tr class="memitem:abf5957e894bacd69c9ead5a80a330626"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">IsSimple</a></td></tr>
+<tr class="separator:abf5957e894bacd69c9ead5a80a330626"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock"><p><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">DefaultDOTGraphTraits</a> - This class provides the default implementations of all of the <a class="el" href="structSVF_1_1DOTGraphTraits.html">DOTGraphTraits</a> methods. If a specialization does not need to override all methods here it should inherit so that it can get the default implementations. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00029">29</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+</div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="a2fdfa8abc93bd4d0211c4db8ef4ede3e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2fdfa8abc93bd4d0211c4db8ef4ede3e">&#9670;&nbsp;</a></span>DefaultDOTGraphTraits()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::DefaultDOTGraphTraits::DefaultDOTGraphTraits </td>
+          <td>(</td>
+          <td class="paramtype">bool&#160;</td>
+          <td class="paramname"><em>simple</em> = <code><a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></code></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">explicit</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00041">41</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;: <a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">IsSimple</a> (simple) {}</div><div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_abf5957e894bacd69c9ead5a80a330626"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">SVF::DefaultDOTGraphTraits::IsSimple</a></div><div class="ttdeci">bool IsSimple</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00032">DOTGraphTraits.h:32</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="a47ee60dc78e3f869ce4e808e73437ddf"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a47ee60dc78e3f869ce4e808e73437ddf">&#9670;&nbsp;</a></span>addCustomGraphFeatures()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename GraphType , typename GraphWriter &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static void SVF::DefaultDOTGraphTraits::addCustomGraphFeatures </td>
+          <td>(</td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GraphWriter.html">GraphWriter</a> &amp;&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>addCustomGraphFeatures - If a graph is made up of more than just straight-forward nodes and edges, this is the place to put all of the custom stuff necessary. The <a class="el" href="classSVF_1_1GraphWriter.html">GraphWriter</a> object, instantiated with your GraphType is passed in as an argument. You may call arbitrary methods on it to add things to the output graph. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00172">172</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;{}</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a78c40f9b1af839116b88519fca154396"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a78c40f9b1af839116b88519fca154396">&#9670;&nbsp;</a></span>edgeTargetsEdgeSource()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename EdgeIter &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static bool SVF::DefaultDOTGraphTraits::edgeTargetsEdgeSource </td>
+          <td>(</td>
+          <td class="paramtype">const void *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">EdgeIter&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>edgeTargetsEdgeSource - This method returns true if this outgoing edge should actually target another edge source, not a node. If this method is implemented, getEdgeTarget should be implemented. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00130">130</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    {</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="ad84c95525cf15f90848c2558fd28f43b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad84c95525cf15f90848c2558fd28f43b">&#9670;&nbsp;</a></span>getEdgeAttributes()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename EdgeIter , typename GraphType &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::DefaultDOTGraphTraits::getEdgeAttributes </td>
+          <td>(</td>
+          <td class="paramtype">const void *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">EdgeIter&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>If you want to override the dot attributes printed for a particular edge, override this method. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00112">112</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    {</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a5e560e93632e0ed1934d4c4508ca1884"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5e560e93632e0ed1934d4c4508ca1884">&#9670;&nbsp;</a></span>getEdgeDestLabel()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::DefaultDOTGraphTraits::getEdgeDestLabel </td>
+          <td>(</td>
+          <td class="paramtype">const void *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">unsigned&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>getEdgeDestLabel - If hasEdgeDestLabels, this function returns the incoming edge label with the given index in the given node. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00160">160</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    {</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a66f5994cdef8fa307c9ff69ca90a1d6c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a66f5994cdef8fa307c9ff69ca90a1d6c">&#9670;&nbsp;</a></span>getEdgeSourceLabel()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename EdgeIter &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::DefaultDOTGraphTraits::getEdgeSourceLabel </td>
+          <td>(</td>
+          <td class="paramtype">const void *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">EdgeIter&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>getEdgeSourceLabel - If you want to label the edge source itself, implement this method. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00121">121</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;    {</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="acfab6216e24999e92b2354e4f15b96b6"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#acfab6216e24999e92b2354e4f15b96b6">&#9670;&nbsp;</a></span>getEdgeTarget()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename EdgeIter &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static EdgeIter SVF::DefaultDOTGraphTraits::getEdgeTarget </td>
+          <td>(</td>
+          <td class="paramtype">const void *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">EdgeIter&#160;</td>
+          <td class="paramname"><em>I</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>getEdgeTarget - If edgeTargetsEdgeSource returns true, this method is called to determine which outgoing edge of Node is the target of this edge. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00139">139</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    {</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        <span class="keywordflow">return</span> I;</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a41effe5697618840e0d5ea10c26781fe"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a41effe5697618840e0d5ea10c26781fe">&#9670;&nbsp;</a></span>getGraphName()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename GraphType &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::DefaultDOTGraphTraits::getGraphName </td>
+          <td>(</td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>getGraphName - Return the label for the graph as a whole. Printed at the top of the graph. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00047">47</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    {</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="afe384157441d5ef0b3aafdfb6cd3028a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#afe384157441d5ef0b3aafdfb6cd3028a">&#9670;&nbsp;</a></span>getGraphProperties()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename GraphType &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::DefaultDOTGraphTraits::getGraphProperties </td>
+          <td>(</td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>getGraphProperties - Return any custom properties that should be included in the top level graph structure for dot. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00056">56</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    {</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a3438f5f1ed763f2f7818535f212ff43b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3438f5f1ed763f2f7818535f212ff43b">&#9670;&nbsp;</a></span>getNodeAttributes()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename GraphType &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::DefaultDOTGraphTraits::getNodeAttributes </td>
+          <td>(</td>
+          <td class="paramtype">const void *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>If you want to specify custom node attributes, this is the place to do so </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00103">103</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="af5800f2d8efa24fee85f03871c07df21"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af5800f2d8efa24fee85f03871c07df21">&#9670;&nbsp;</a></span>getNodeDescription()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename GraphType &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::DefaultDOTGraphTraits::getNodeDescription </td>
+          <td>(</td>
+          <td class="paramtype">const void *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00095">95</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    {</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a0f81b82658f62589ec429c601538f6e9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0f81b82658f62589ec429c601538f6e9">&#9670;&nbsp;</a></span>getNodeIdentifierLabel()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename GraphType &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::DefaultDOTGraphTraits::getNodeIdentifierLabel </td>
+          <td>(</td>
+          <td class="paramtype">const void *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00089">89</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    {</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a07487bbf691110420c680250994a6eba"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a07487bbf691110420c680250994a6eba">&#9670;&nbsp;</a></span>getNodeLabel()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename GraphType &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::DefaultDOTGraphTraits::getNodeLabel </td>
+          <td>(</td>
+          <td class="paramtype">const void *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>getNodeLabel - Given a node and a pointer to the top level graph, return the label to print in the node. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00080">80</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    {</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a87d7b47985a849c7c4ff1c328a59c623"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a87d7b47985a849c7c4ff1c328a59c623">&#9670;&nbsp;</a></span>hasEdgeDestLabels()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static bool SVF::DefaultDOTGraphTraits::hasEdgeDestLabels </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>hasEdgeDestLabels - If this function returns true, the graph is able to provide labels for edge destinations. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00146">146</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    {</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="ae73ba55d72d5df1f70a2bfa2e12958f3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae73ba55d72d5df1f70a2bfa2e12958f3">&#9670;&nbsp;</a></span>isNodeHidden()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename GraphType &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static bool SVF::DefaultDOTGraphTraits::isNodeHidden </td>
+          <td>(</td>
+          <td class="paramtype">const void *&#160;</td>
+          <td class="paramname">, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname">&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>isNodeHidden - If the function returns true, the given node is not displayed in the graph. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00072">72</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    {</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="acc82bc6228128e5bb98a6b00d6dc5f77"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#acc82bc6228128e5bb98a6b00d6dc5f77">&#9670;&nbsp;</a></span>isSimple()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::DefaultDOTGraphTraits::isSimple </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00035">35</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    {</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">IsSimple</a>;</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    }</div><div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_abf5957e894bacd69c9ead5a80a330626"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">SVF::DefaultDOTGraphTraits::IsSimple</a></div><div class="ttdeci">bool IsSimple</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00032">DOTGraphTraits.h:32</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a94f582264d3020f36a2ca3bdfbdaf81b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a94f582264d3020f36a2ca3bdfbdaf81b">&#9670;&nbsp;</a></span>numEdgeDestLabels()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static unsigned SVF::DefaultDOTGraphTraits::numEdgeDestLabels </td>
+          <td>(</td>
+          <td class="paramtype">const void *&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>numEdgeDestLabels - If hasEdgeDestLabels, this function returns the number of incoming edge labels the given node has. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00153">153</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    {</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="aeb5908ad6424c0636b698e5ea0a587c0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aeb5908ad6424c0636b698e5ea0a587c0">&#9670;&nbsp;</a></span>renderGraphFromBottomUp()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static bool SVF::DefaultDOTGraphTraits::renderGraphFromBottomUp </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>renderGraphFromBottomUp - If this function returns true, the graph is emitted bottom-up instead of top-down. This requires graphviz 2.0 to work though. </p>
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00064">64</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    {</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Data Documentation</h2>
+<a id="abf5957e894bacd69c9ead5a80a330626"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#abf5957e894bacd69c9ead5a80a330626">&#9670;&nbsp;</a></span>IsSimple</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::DefaultDOTGraphTraits::IsSimple</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00032">32</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+</div>
+</div>
+<hr/>The documentation for this struct was generated from the following file:<ul>
+<li>/home/runner/work/SVF/SVF/include/Graphs/<a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a></li>
+</ul>
+</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>