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

svf-tools 1.0.595 → 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 (980) hide show

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

@@ -0,0 +1,138 @@
+<!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: /home/runner/work/SVF/SVF/include/Graphs/GraphWriter.h File 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="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_fa02919a30fec2d2c2d591b4d920d648.html">Graphs</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#nested-classes">Classes</a> &#124;
+<a href="#namespaces">Namespaces</a> &#124;
+<a href="#enum-members">Enumerations</a> &#124;
+<a href="#func-members">Functions</a>  </div>
+  <div class="headertitle">
+<div class="title">GraphWriter.h File Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<div class="textblock"><code>#include &quot;<a class="el" href="GraphTraits_8h_source.html">Graphs/GraphTraits.h</a>&quot;</code><br />
+<code>#include &quot;<a class="el" href="DOTGraphTraits_8h_source.html">Graphs/DOTGraphTraits.h</a>&quot;</code><br />
+<code>#include &lt;algorithm&gt;</code><br />
+<code>#include &lt;cstddef&gt;</code><br />
+<code>#include &lt;iterator&gt;</code><br />
+<code>#include &lt;string&gt;</code><br />
+<code>#include &lt;type_traits&gt;</code><br />
+<code>#include &lt;vector&gt;</code><br />
+<code>#include &lt;fstream&gt;</code><br />
+<code>#include &lt;sstream&gt;</code><br />
+<code>#include &lt;iostream&gt;</code><br />
+</div>
+<p><a href="GraphWriter_8h_source.html">Go to the source code of this file.</a></p>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
+Classes</h2></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphWriter.html">SVF::GraphWriter&lt; GraphType &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
+Namespaces</h2></td></tr>
+<tr class="memitem:namespaceSVF"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html">SVF</a></td></tr>
+<tr class="memdesc:namespaceSVF"><td class="mdescLeft">&#160;</td><td class="mdescRight">for isBitcode <br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:namespaceSVF_1_1DOT"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1DOT.html">SVF::DOT</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:namespaceSVF_1_1GraphProgram"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1GraphProgram.html">SVF::GraphProgram</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="enum-members"></a>
+Enumerations</h2></td></tr>
+<tr class="memitem:a10f45758abb5c1ef51b0ba38d18efd37"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37">SVF::GraphProgram::Name</a> { <br />
+&#160;&#160;<a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c">SVF::GraphProgram::DOT</a>,
+<a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9">SVF::GraphProgram::FDP</a>,
+<a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a280cacd79d09366b6832ebc6e54b5a9c">SVF::GraphProgram::NEATO</a>,
+<a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5">SVF::GraphProgram::TWOPI</a>,
+<br />
+&#160;&#160;<a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674">SVF::GraphProgram::CIRCO</a>
+<br />
+ }</td></tr>
+<tr class="separator:a10f45758abb5c1ef51b0ba38d18efd37"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
+Functions</h2></td></tr>
+<tr class="memitem:a9e3127c2bbedaec1f20d4437bea9e2f7"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">SVF::DOT::EscapeStr</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;Label)</td></tr>
+<tr class="separator:a9e3127c2bbedaec1f20d4437bea9e2f7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae27267f89add1338fd5afe3a38f61ebd"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:ae27267f89add1338fd5afe3a38f61ebd"><td class="memTemplItemLeft" align="right" valign="top">std::ofstream &amp;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF::WriteGraph</a> (std::ofstream &amp;O, const GraphType &amp;G, bool ShortNames=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:ae27267f89add1338fd5afe3a38f61ebd"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a587614f74cb00a35a423559265239798"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a587614f74cb00a35a423559265239798"><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="namespaceSVF.html#a587614f74cb00a35a423559265239798">SVF::WriteGraph</a> (const GraphType &amp;G, bool ShortNames=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> Filename=&quot;&quot;)</td></tr>
+<tr class="separator:a587614f74cb00a35a423559265239798"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4582a7d33a5631a5a38973f50035327e"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a4582a7d33a5631a5a38973f50035327e"><td class="memTemplItemLeft" align="right" valign="top">void&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">SVF::ViewGraph</a> (const GraphType &amp;G, const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;<a class="el" href="cJSON_8cpp.html#acc128f98d9ceca227038c771308eff39">name</a>, bool ShortNames=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>, GraphProgram::Name Program=GraphProgram::DOT)</td></tr>
+<tr class="separator:a4582a7d33a5631a5a38973f50035327e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

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

@@ -0,0 +1,129 @@
+<!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: /home/runner/work/SVF/SVF/include/Graphs/GraphWriter.h Source File</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="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_fa02919a30fec2d2c2d591b4d920d648.html">Graphs</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">GraphWriter.h</div>  </div>
+</div><!--header-->
+<div class="contents">
+<a href="GraphWriter_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===- Graphs/GraphWriter.h - Write graph to a .dot file --*- C++ -*-===//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">// From the LLVM Project with some modifications, under the Apache License v2.0</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">// with LLVM Exceptions. See https://llvm.org/LICENSE.txt for license information.</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// This file defines a simple interface that can be used to print out generic</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// LLVM graphs to &quot;.dot&quot; files.  &quot;dot&quot; is a tool that is part of the AT&amp;T</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// graphviz package (http://www.research.att.com/sw/tools/graphviz/) which can</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="comment">// be used to turn the files output by this interface into a variety of</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// different graphics formats.</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// Graphs do not need to implement any interface past what is already required</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// by the GraphTraits template, but they can choose to implement specializations</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="comment">// of the DOTGraphTraits template if they want to customize the graphs output in</span></div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">// any way.</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;<span class="preprocessor">#ifndef GRAPHS_GRAPHWRITER_H</span></div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="preprocessor">#define GRAPHS_GRAPHWRITER_H</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="GraphTraits_8h.html">Graphs/GraphTraits.h</a>&quot;</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="DOTGraphTraits_8h.html">Graphs/DOTGraphTraits.h</a>&quot;</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="preprocessor">#include &lt;algorithm&gt;</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="preprocessor">#include &lt;cstddef&gt;</span></div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="preprocessor">#include &lt;iterator&gt;</span></div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="preprocessor">#include &lt;string&gt;</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#include &lt;type_traits&gt;</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="preprocessor">#include &lt;vector&gt;</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &lt;fstream&gt;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &lt;sstream&gt;</span></div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#include &lt;iostream&gt;</span></div><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="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;{</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1DOT.html">   40</a></span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c">DOT</a>    <span class="comment">// Private functions...</span></div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;{</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">EscapeStr</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;Label);</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;} <span class="comment">// end namespace DOT</span></div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1GraphProgram.html">   47</a></span>&#160;<span class="keyword">namespace </span>GraphProgram</div><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;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37">   50</a></span>&#160;<span class="keyword">enum</span> <a class="code" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37">Name</a></div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;{</div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c">   52</a></span>&#160;    <a class="code" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c">DOT</a>,</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9">   53</a></span>&#160;    <a class="code" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9">FDP</a>,</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a280cacd79d09366b6832ebc6e54b5a9c">   54</a></span>&#160;    <a class="code" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a280cacd79d09366b6832ebc6e54b5a9c">NEATO</a>,</div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5">   55</a></span>&#160;    <a class="code" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5">TWOPI</a>,</div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674">   56</a></span>&#160;    <a class="code" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674">CIRCO</a></div><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;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;} <span class="comment">// end namespace GraphProgram</span></div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> GraphType&gt;</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html">   62</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1GraphWriter.html">GraphWriter</a></div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;{</div><div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d">   64</a></span>&#160;    std::ofstream &amp;<a class="code" href="classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d">O</a>;</div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29">   65</a></span>&#160;    <span class="keyword">const</span> GraphType &amp;<a class="code" href="classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29">G</a>;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2">   67</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1DOTGraphTraits.html">DOTTraits</a> = <a class="code" href="structSVF_1_1DOTGraphTraits.html">DOTGraphTraits&lt;GraphType&gt;</a>;</div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f">   68</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1GenericGraphTraits.html">GTraits</a> = <a class="code" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits&lt;GraphType&gt;</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6">   69</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6">NodeRef</a> = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1GenericGraphTraits.html#a05654ab9615d75bc8e5f8c5cf9297205">GTraits::NodeRef</a>;</div><div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#ab7ac9f47cedfc1f7c4cc3b16f5349427">   70</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classSVF_1_1GraphWriter.html#ab7ac9f47cedfc1f7c4cc3b16f5349427">node_iterator</a> = <span class="keyword">typename</span> GTraits::nodes_iterator;</div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56">   71</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56">child_iterator</a> = <span class="keyword">typename</span> GTraits::ChildIteratorType;</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8">   72</a></span>&#160;    <a class="code" href="structSVF_1_1DOTGraphTraits.html">DOTTraits</a> <a class="code" href="classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8">DTraits</a>;</div><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;    static_assert(std::is_pointer&lt;NodeRef&gt;::value,</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;                  <span class="stringliteral">&quot;FIXME: Currently GraphWriter requires the NodeRef type to be &quot;</span></div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;                  <span class="stringliteral">&quot;a pointer.\nThe pointer usage should be moved to &quot;</span></div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;                  <span class="stringliteral">&quot;DOTGraphTraits, and removed from GraphWriter itself.&quot;</span>);</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="comment">// Writes the edge labels of the node to O and returns true if there are any</span></div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <span class="comment">// edge labels not equal to the empty string &quot;&quot;.</span></div><div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#aa2d0fada900a8e08af0539498905a74f">   81</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1GraphWriter.html#aa2d0fada900a8e08af0539498905a74f">getEdgeSourceLabels</a>(std::stringstream &amp;O2, <a class="code" href="classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6">NodeRef</a> Node)</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    {</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <a class="code" href="classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56">child_iterator</a> EI = GTraits::child_begin(Node);</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <a class="code" href="classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56">child_iterator</a> EE = GTraits::child_end(Node);</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <span class="keywordtype">bool</span> hasEdgeSourceLabels = <span class="keyword">false</span>;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; EI != EE &amp;&amp; i != 64; ++EI, ++i)</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        {</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> label = DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c">getEdgeSourceLabel</a>(Node, EI);</div><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">if</span> (label.empty())</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            hasEdgeSourceLabels = <span class="keyword">true</span>;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            <span class="keywordflow">if</span> (i)</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;                O2 &lt;&lt; <span class="stringliteral">&quot;|&quot;</span>;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;            O2 &lt;&lt; <span class="stringliteral">&quot;&lt;s&quot;</span> &lt;&lt; i &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(label);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        }</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <span class="keywordflow">if</span> (EI != EE &amp;&amp; hasEdgeSourceLabels)</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;            O2 &lt;&lt; <span class="stringliteral">&quot;|&lt;s64&gt;truncated...&quot;</span>;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        <span class="keywordflow">return</span> hasEdgeSourceLabels;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    }</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#afd8fec784307b919d1cb89b49533600e">  109</a></span>&#160;    <a class="code" href="classSVF_1_1GraphWriter.html#afd8fec784307b919d1cb89b49533600e">GraphWriter</a>(std::ofstream &amp;o, <span class="keyword">const</span> GraphType &amp;g, <span class="keywordtype">bool</span> SN) : O(o), G(g)</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        DTraits = <a class="code" href="structSVF_1_1DOTGraphTraits.html">DOTTraits</a>(SN);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    }</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30">  114</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30">writeGraph</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;Title = <span class="stringliteral">&quot;&quot;</span>)</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    {</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        <span class="comment">// Output the header for the graph...</span></div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        writeHeader(Title);</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;        <span class="comment">// Emit all of the nodes in the graph...</span></div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        writeNodes();</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="comment">// Output any customizations on the graph</span></div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;        <a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf">DOTGraphTraits&lt;GraphType&gt;::addCustomGraphFeatures</a>(G, *<span class="keyword">this</span>);</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <span class="comment">// Output the end of the graph</span></div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        writeFooter();</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    }</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;</div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f">  129</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f">writeHeader</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;Title)</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    {</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> GraphName(DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a41effe5697618840e0d5ea10c26781fe">getGraphName</a>(G));</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">if</span> (!Title.empty())</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;digraph \&quot;&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(Title) &lt;&lt; <span class="stringliteral">&quot;\&quot; {\n&quot;</span>;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!GraphName.empty())</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;digraph \&quot;&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(GraphName) &lt;&lt; <span class="stringliteral">&quot;\&quot; {\n&quot;</span>;</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;digraph unnamed {\n&quot;</span>;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        <span class="keywordflow">if</span> (DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">renderGraphFromBottomUp</a>())</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;\trankdir=\&quot;BT\&quot;;\n&quot;</span>;</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        <span class="keywordflow">if</span> (!Title.empty())</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;\tlabel=\&quot;&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(Title) &lt;&lt; <span class="stringliteral">&quot;\&quot;;\n&quot;</span>;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!GraphName.empty())</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;\tlabel=\&quot;&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(GraphName) &lt;&lt; <span class="stringliteral">&quot;\&quot;;\n&quot;</span>;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        O &lt;&lt; DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#afe384157441d5ef0b3aafdfb6cd3028a">getGraphProperties</a>(G);</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    }</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;</div><div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c">  151</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c">writeFooter</a>()</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    {</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;        <span class="comment">// Finish off the graph</span></div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    }</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04">  157</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04">writeNodes</a>()</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    {</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;        <span class="comment">// Loop over the graph, printing it out...</span></div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> Node : nodes&lt;GraphType&gt;(G))</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;            <span class="keywordflow">if</span> (!isNodeHidden(Node))</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;                writeNode(Node);</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    }</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;</div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74">  165</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74">isNodeHidden</a>(<a class="code" href="classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6">NodeRef</a> Node)</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;    {</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;        <span class="keywordflow">return</span> DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">isNodeHidden</a>(Node, G);</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;    }</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;</div><div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555">  170</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555">writeNode</a>(<a class="code" href="classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6">NodeRef</a> Node)</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    {</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> NodeAttributes = DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b">getNodeAttributes</a>(Node, G);</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;\tNode&quot;</span> &lt;&lt; <span class="keyword">static_cast&lt;</span><span class="keyword">const </span><span class="keywordtype">void</span>*<span class="keyword">&gt;</span>(Node) &lt;&lt; <span class="stringliteral">&quot; [shape=record,&quot;</span>;</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;        <span class="keywordflow">if</span> (!NodeAttributes.empty()) O &lt;&lt; NodeAttributes &lt;&lt; <span class="stringliteral">&quot;,&quot;</span>;</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;label=\&quot;{&quot;</span>;</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        <span class="keywordflow">if</span> (!DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">renderGraphFromBottomUp</a>())</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;        {</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;            O &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba">getNodeLabel</a>(Node, G));</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;            <span class="comment">// If we should include the address of the node in the label, do so now.</span></div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> Id = DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9">getNodeIdentifierLabel</a>(Node, G);</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;            <span class="keywordflow">if</span> (!Id.empty())</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;                O &lt;&lt; <span class="stringliteral">&quot;|&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(Id);</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> NodeDesc = DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21">getNodeDescription</a>(Node, G);</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;            <span class="keywordflow">if</span> (!NodeDesc.empty())</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;                O &lt;&lt; <span class="stringliteral">&quot;|&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(NodeDesc);</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        }</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> edgeSourceLabels;</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;        std::stringstream EdgeSourceLabels(edgeSourceLabels);</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;        <span class="keywordtype">bool</span> hasEdgeSourceLabels = getEdgeSourceLabels(EdgeSourceLabels, Node);</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;        <span class="keywordflow">if</span> (hasEdgeSourceLabels)</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;        {</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;            <span class="keywordflow">if</span> (!DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">renderGraphFromBottomUp</a>()) O &lt;&lt; <span class="stringliteral">&quot;|&quot;</span>;</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;{&quot;</span> &lt;&lt; EdgeSourceLabels.str() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;            <span class="keywordflow">if</span> (DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">renderGraphFromBottomUp</a>()) O &lt;&lt; <span class="stringliteral">&quot;|&quot;</span>;</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        }</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        <span class="keywordflow">if</span> (DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">renderGraphFromBottomUp</a>())</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        {</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;            O &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba">getNodeLabel</a>(Node, G));</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;            <span class="comment">// If we should include the address of the node in the label, do so now.</span></div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> Id = DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9">getNodeIdentifierLabel</a>(Node, G);</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;            <span class="keywordflow">if</span> (!Id.empty())</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;                O &lt;&lt; <span class="stringliteral">&quot;|&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(Id);</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> NodeDesc = DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21">getNodeDescription</a>(Node, G);</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;            <span class="keywordflow">if</span> (!NodeDesc.empty())</div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;                O &lt;&lt; <span class="stringliteral">&quot;|&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(NodeDesc);</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;        }</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;        <span class="keywordflow">if</span> (DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623">hasEdgeDestLabels</a>())</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;        {</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;|{&quot;</span>;</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;            <span class="keywordtype">unsigned</span> i = 0, e = DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b">numEdgeDestLabels</a>(Node);</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;            <span class="keywordflow">for</span> (; i != e &amp;&amp; i != 64; ++i)</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;            {</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;                <span class="keywordflow">if</span> (i) O &lt;&lt; <span class="stringliteral">&quot;|&quot;</span>;</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;                O &lt;&lt; <span class="stringliteral">&quot;&lt;d&quot;</span> &lt;&lt; i &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span></div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;                  &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a5e560e93632e0ed1934d4c4508ca1884">getEdgeDestLabel</a>(Node, i));</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;            }</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;            <span class="keywordflow">if</span> (i != e)</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;                O &lt;&lt; <span class="stringliteral">&quot;|&lt;d64&gt;truncated...&quot;</span>;</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;        }</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;}\&quot;];\n&quot;</span>;   <span class="comment">// Finish printing the &quot;node&quot; line</span></div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        <span class="comment">// Output all of the edges now</span></div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;        <a class="code" href="classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56">child_iterator</a> EI = GTraits::child_begin(Node);</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;        <a class="code" href="classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56">child_iterator</a> EE = GTraits::child_end(Node);</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; EI != EE &amp;&amp; i != 64; ++EI, ++i)</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;            <span class="keywordflow">if</span> (!DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">isNodeHidden</a>(*EI, G))</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;                writeEdge(Node, i, EI);</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;        <span class="keywordflow">for</span> (; EI != EE; ++EI)</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;            <span class="keywordflow">if</span> (!DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">isNodeHidden</a>(*EI, G))</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;                writeEdge(Node, 64, EI);</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    }</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;</div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6">  249</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6">writeEdge</a>(<a class="code" href="classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6">NodeRef</a> Node, <span class="keywordtype">unsigned</span> edgeidx, <a class="code" href="classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56">child_iterator</a> EI)</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    {</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6">NodeRef</a> TargetNode = *EI)</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        {</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;            <span class="keywordtype">int</span> DestPort = -1;</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;            <span class="keywordflow">if</span> (DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396">edgeTargetsEdgeSource</a>(Node, EI))</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;            {</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;                <a class="code" href="classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56">child_iterator</a> TargetIt = DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#acfab6216e24999e92b2354e4f15b96b6">getEdgeTarget</a>(Node, EI);</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;                <span class="comment">// Figure out which edge this targets...</span></div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;                <span class="keywordtype">unsigned</span> Offset =</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;                    (unsigned)std::distance(GTraits::child_begin(TargetNode), TargetIt);</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;                DestPort = <span class="keyword">static_cast&lt;</span><span class="keywordtype">int</span><span class="keyword">&gt;</span>(Offset);</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;            }</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;            <span class="keywordflow">if</span> (DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c">getEdgeSourceLabel</a>(Node, EI).empty())</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;                edgeidx = -1;</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;            emitEdge(static_cast&lt;const void*&gt;(Node), edgeidx,</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;                     static_cast&lt;const void*&gt;(TargetNode), DestPort,</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;                     DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b">getEdgeAttributes</a>(Node, EI, G));</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        }</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;    }</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;</div><div class="line"><a name="l00274"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768">  274</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768">emitSimpleNode</a>(<span class="keyword">const</span> <span class="keywordtype">void</span> *ID, <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;Attr,</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;                        <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;Label, <span class="keywordtype">unsigned</span> NumEdgeSources = 0,</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;                        <span class="keyword">const</span> std::vector&lt;std::string&gt; *EdgeSourceLabels = <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    {</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;\tNode&quot;</span> &lt;&lt; ID &lt;&lt; <span class="stringliteral">&quot;[ &quot;</span>;</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        <span class="keywordflow">if</span> (!Attr.empty())</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            O &lt;&lt; Attr &lt;&lt; <span class="stringliteral">&quot;,&quot;</span>;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot; label =\&quot;&quot;</span>;</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <span class="keywordflow">if</span> (NumEdgeSources) O &lt;&lt; <span class="stringliteral">&quot;{&quot;</span>;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;        O &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>(Label);</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        <span class="keywordflow">if</span> (NumEdgeSources)</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        {</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;|{&quot;</span>;</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;            <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i != NumEdgeSources; ++i)</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;            {</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;                <span class="keywordflow">if</span> (i) O &lt;&lt; <span class="stringliteral">&quot;|&quot;</span>;</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;                O &lt;&lt; <span class="stringliteral">&quot;&lt;s&quot;</span> &lt;&lt; i &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;                <span class="keywordflow">if</span> (EdgeSourceLabels) O &lt;&lt; <a class="code" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">DOT::EscapeStr</a>((*EdgeSourceLabels)[i]);</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;            }</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;}}&quot;</span>;</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;        }</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;\&quot;];\n&quot;</span>;</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;    }</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;</div><div class="line"><a name="l00300"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7">  300</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7">emitEdge</a>(<span class="keyword">const</span> <span class="keywordtype">void</span> *SrcNodeID, <span class="keywordtype">int</span> SrcNodePort,</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;                  <span class="keyword">const</span> <span class="keywordtype">void</span> *DestNodeID, <span class="keywordtype">int</span> DestNodePort,</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;                  <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;Attrs)</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;    {</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;        <span class="keywordflow">if</span> (SrcNodePort  &gt; 64) <span class="keywordflow">return</span>;             <span class="comment">// Eminating from truncated part?</span></div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;        <span class="keywordflow">if</span> (DestNodePort &gt; 64) DestNodePort = 64;  <span class="comment">// Targeting the truncated part?</span></div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;\tNode&quot;</span> &lt;&lt; SrcNodeID;</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;        <span class="keywordflow">if</span> (SrcNodePort &gt;= 0)</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;:s&quot;</span> &lt;&lt; SrcNodePort;</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot; -&gt; Node&quot;</span> &lt;&lt; DestNodeID;</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <span class="keywordflow">if</span> (DestNodePort &gt;= 0 &amp;&amp; DTraits.<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623">hasEdgeDestLabels</a>())</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;:d&quot;</span> &lt;&lt; DestNodePort;</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;        <span class="keywordflow">if</span> (!Attrs.empty())</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;            O &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; Attrs &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;;\n&quot;</span>;</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    }</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;</div><div class="line"><a name="l00321"></a><span class="lineno"><a class="line" href="classSVF_1_1GraphWriter.html#afa5d94effc56067e44eba9a11afd5284">  321</a></span>&#160;    std::ofstream &amp;<a class="code" href="classSVF_1_1GraphWriter.html#afa5d94effc56067e44eba9a11afd5284">getOStream</a>()</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;    {</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;        <span class="keywordflow">return</span> O;</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;    }</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;};</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> GraphType&gt;</div><div class="line"><a name="l00328"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">  328</a></span>&#160;std::ofstream &amp;<a class="code" href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">WriteGraph</a>(std::ofstream &amp;O, <span class="keyword">const</span> GraphType &amp;G,</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;                          <span class="keywordtype">bool</span> ShortNames = <span class="keyword">false</span>)</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;{</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;    <span class="comment">// Start the graph emission process...</span></div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;    <a class="code" href="classSVF_1_1GraphWriter.html">GraphWriter&lt;GraphType&gt;</a> W(O, G, ShortNames);</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;    <span class="comment">// Emit the graph.</span></div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;    W.<a class="code" href="classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30">writeGraph</a>(<span class="stringliteral">&quot;&quot;</span>);</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;    <span class="keywordflow">return</span> O;</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;}</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> GraphType&gt;</div><div class="line"><a name="l00345"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a587614f74cb00a35a423559265239798">  345</a></span>&#160;<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">WriteGraph</a>(<span class="keyword">const</span> GraphType &amp;G,</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;                       <span class="keywordtype">bool</span> ShortNames = <span class="keyword">false</span>,</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;                       <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> Filename = <span class="stringliteral">&quot;&quot;</span>)</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;{</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;    std::ofstream O(Filename);</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    <span class="keywordflow">if</span> (O.fail())</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    {</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;        std::cerr &lt;&lt; <span class="stringliteral">&quot;error opening file &#39;&quot;</span> &lt;&lt; Filename &lt;&lt; <span class="stringliteral">&quot;&#39; for writing!\n&quot;</span>;</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;        O.close();</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    }</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;    <a class="code" href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF::WriteGraph</a>(O, G, ShortNames);</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;    O.close();</div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;    std::cerr &lt;&lt; <span class="stringliteral">&quot; done. \n&quot;</span>;</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;    <span class="keywordflow">return</span> Filename;</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;}</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> GraphType&gt;</div><div class="line"><a name="l00371"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">  371</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">ViewGraph</a>(<span class="keyword">const</span> GraphType &amp;G,<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>,</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;               <span class="keywordtype">bool</span> ShortNames = <span class="keyword">false</span>,</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;               <a class="code" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37">GraphProgram::Name</a> Program = <a class="code" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c">GraphProgram::DOT</a>)</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;{</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;    <a class="code" href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF::WriteGraph</a>(G, ShortNames);</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;}</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;} <span class="comment">// end namespace llvm</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="preprocessor">#endif // LLVM_SUPPORT_GRAPHWRITER_H</span></div><div class="ttc" id="classSVF_1_1GraphWriter_html_a18c579b53feccbb3b521982c6161f555"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555">SVF::GraphWriter::writeNode</a></div><div class="ttdeci">void writeNode(NodeRef Node)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00170">GraphWriter.h:170</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_acfab6216e24999e92b2354e4f15b96b6"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#acfab6216e24999e92b2354e4f15b96b6">SVF::DefaultDOTGraphTraits::getEdgeTarget</a></div><div class="ttdeci">static EdgeIter getEdgeTarget(const void *, EdgeIter I)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00139">DOTGraphTraits.h:139</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_afa5d94effc56067e44eba9a11afd5284"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#afa5d94effc56067e44eba9a11afd5284">SVF::GraphWriter::getOStream</a></div><div class="ttdeci">std::ofstream &amp; getOStream()</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00321">GraphWriter.h:321</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_aeb5908ad6424c0636b698e5ea0a587c0"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">SVF::DefaultDOTGraphTraits::renderGraphFromBottomUp</a></div><div class="ttdeci">static bool renderGraphFromBottomUp()</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00064">DOTGraphTraits.h:64</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1DOT_html_a9e3127c2bbedaec1f20d4437bea9e2f7"><div class="ttname"><a href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">SVF::DOT::EscapeStr</a></div><div class="ttdeci">std::string EscapeStr(const std::string &amp;Label)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8cpp_source.html#l00012">GraphWriter.cpp:12</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1GraphProgram_html_a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674"><div class="ttname"><a href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674">SVF::GraphProgram::CIRCO</a></div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00056">GraphWriter.h:56</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_ad41e952ca114bba64b87478f469b6d56"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#ad41e952ca114bba64b87478f469b6d56">SVF::GraphWriter::child_iterator</a></div><div class="ttdeci">typename GTraits::ChildIteratorType child_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00071">GraphWriter.h:71</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1GraphProgram_html_a10f45758abb5c1ef51b0ba38d18efd37"><div class="ttname"><a href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37">SVF::GraphProgram::Name</a></div><div class="ttdeci">Name</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00050">GraphWriter.h:50</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_ab7ac9f47cedfc1f7c4cc3b16f5349427"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#ab7ac9f47cedfc1f7c4cc3b16f5349427">SVF::GraphWriter::node_iterator</a></div><div class="ttdeci">typename GTraits::nodes_iterator node_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00070">GraphWriter.h:70</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html"><div class="ttname"><a href="classSVF_1_1GraphWriter.html">SVF::GraphWriter</a></div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00062">GraphWriter.h:62</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_aa2d0fada900a8e08af0539498905a74f"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#aa2d0fada900a8e08af0539498905a74f">SVF::GraphWriter::getEdgeSourceLabels</a></div><div class="ttdeci">bool getEdgeSourceLabels(std::stringstream &amp;O2, NodeRef Node)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00081">GraphWriter.h:81</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ae27267f89add1338fd5afe3a38f61ebd"><div class="ttname"><a href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF::WriteGraph</a></div><div class="ttdeci">std::ofstream &amp; WriteGraph(std::ofstream &amp;O, const GraphType &amp;G, bool ShortNames=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00328">GraphWriter.h:328</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_ad84c95525cf15f90848c2558fd28f43b"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b">SVF::DefaultDOTGraphTraits::getEdgeAttributes</a></div><div class="ttdeci">static std::string getEdgeAttributes(const void *, EdgeIter, const GraphType &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00112">DOTGraphTraits.h:112</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_ada2363727dc20c2183b8252f3bdf3a04"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04">SVF::GraphWriter::writeNodes</a></div><div class="ttdeci">void writeNodes()</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00157">GraphWriter.h:157</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_a36f1ca2744fae2f45400e82f39e4fcd8"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8">SVF::GraphWriter::DTraits</a></div><div class="ttdeci">DOTTraits DTraits</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00072">GraphWriter.h:72</a></div></div>
+<div class="ttc" id="GraphTraits_8h_html"><div class="ttname"><a href="GraphTraits_8h.html">GraphTraits.h</a></div></div>
+<div class="ttc" id="cJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_abd376959cc889e1e387523f38674650f"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f">SVF::GraphWriter::writeHeader</a></div><div class="ttdeci">void writeHeader(const std::string &amp;Title)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00129">GraphWriter.h:129</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_a78c40f9b1af839116b88519fca154396"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396">SVF::DefaultDOTGraphTraits::edgeTargetsEdgeSource</a></div><div class="ttdeci">static bool edgeTargetsEdgeSource(const void *, EdgeIter)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00130">DOTGraphTraits.h:130</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_ae73ba55d72d5df1f70a2bfa2e12958f3"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">SVF::DefaultDOTGraphTraits::isNodeHidden</a></div><div class="ttdeci">static bool isNodeHidden(const void *, const GraphType &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00072">DOTGraphTraits.h:72</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1GraphProgram_html_a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c"><div class="ttname"><a href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c">SVF::GraphProgram::DOT</a></div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00052">GraphWriter.h:52</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_a41effe5697618840e0d5ea10c26781fe"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#a41effe5697618840e0d5ea10c26781fe">SVF::DefaultDOTGraphTraits::getGraphName</a></div><div class="ttdeci">static std::string getGraphName(const GraphType &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00047">DOTGraphTraits.h:47</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_a87d7b47985a849c7c4ff1c328a59c623"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623">SVF::DefaultDOTGraphTraits::hasEdgeDestLabels</a></div><div class="ttdeci">static bool hasEdgeDestLabels()</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00146">DOTGraphTraits.h:146</a></div></div>
+<div class="ttc" id="structSVF_1_1GenericGraphTraits_html_a05654ab9615d75bc8e5f8c5cf9297205"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits.html#a05654ab9615d75bc8e5f8c5cf9297205">SVF::GenericGraphTraits::NodeRef</a></div><div class="ttdeci">typename GraphType::UnknownGraphTypeError NodeRef</div><div class="ttdef"><b>Definition:</b> <a href="GraphTraits_8h_source.html#l00080">GraphTraits.h:80</a></div></div>
+<div class="ttc" id="structSVF_1_1DOTGraphTraits_html"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits&lt; GraphType &gt;</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_ac2141c33c4075610f8253287ee4ff0c6"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6">SVF::GraphWriter::NodeRef</a></div><div class="ttdeci">typename GTraits::NodeRef NodeRef</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00069">GraphWriter.h:69</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_a0ac109f9b3c3b3fe3cb61bbef09e0d29"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29">SVF::GraphWriter::G</a></div><div class="ttdeci">const GraphType &amp; G</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00065">GraphWriter.h:65</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1GraphProgram_html_a10f45758abb5c1ef51b0ba38d18efd37a280cacd79d09366b6832ebc6e54b5a9c"><div class="ttname"><a href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a280cacd79d09366b6832ebc6e54b5a9c">SVF::GraphProgram::NEATO</a></div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00054">GraphWriter.h:54</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_a0f81b82658f62589ec429c601538f6e9"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9">SVF::DefaultDOTGraphTraits::getNodeIdentifierLabel</a></div><div class="ttdeci">static std::string getNodeIdentifierLabel(const void *, const GraphType &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00089">DOTGraphTraits.h:89</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_a5c3ce0eba24c71f847676b23b855e44c"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c">SVF::GraphWriter::writeFooter</a></div><div class="ttdeci">void writeFooter()</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00151">GraphWriter.h:151</a></div></div>
+<div class="ttc" id="DOTGraphTraits_8h_html"><div class="ttname"><a href="DOTGraphTraits_8h.html">DOTGraphTraits.h</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_a8b1d80caf226c3a619c5fb03f8724f74"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74">SVF::GraphWriter::isNodeHidden</a></div><div class="ttdeci">bool isNodeHidden(NodeRef Node)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00165">GraphWriter.h:165</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_a66f5994cdef8fa307c9ff69ca90a1d6c"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c">SVF::DefaultDOTGraphTraits::getEdgeSourceLabel</a></div><div class="ttdeci">static std::string getEdgeSourceLabel(const void *, EdgeIter)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00121">DOTGraphTraits.h:121</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_a3438f5f1ed763f2f7818535f212ff43b"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b">SVF::DefaultDOTGraphTraits::getNodeAttributes</a></div><div class="ttdeci">static std::string getNodeAttributes(const void *, const GraphType &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00103">DOTGraphTraits.h:103</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_af5800f2d8efa24fee85f03871c07df21"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21">SVF::DefaultDOTGraphTraits::getNodeDescription</a></div><div class="ttdeci">static std::string getNodeDescription(const void *, const GraphType &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00095">DOTGraphTraits.h:95</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_afe384157441d5ef0b3aafdfb6cd3028a"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#afe384157441d5ef0b3aafdfb6cd3028a">SVF::DefaultDOTGraphTraits::getGraphProperties</a></div><div class="ttdeci">static std::string getGraphProperties(const GraphType &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00056">DOTGraphTraits.h:56</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_a320577b81479578a8e6021380f9c07a7"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7">SVF::GraphWriter::emitEdge</a></div><div class="ttdeci">void emitEdge(const void *SrcNodeID, int SrcNodePort, const void *DestNodeID, int DestNodePort, const std::string &amp;Attrs)</div><div class="ttdoc">emitEdge - Output an edge from a simple node into the graph... </div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00300">GraphWriter.h:300</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_a5e560e93632e0ed1934d4c4508ca1884"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#a5e560e93632e0ed1934d4c4508ca1884">SVF::DefaultDOTGraphTraits::getEdgeDestLabel</a></div><div class="ttdeci">static std::string getEdgeDestLabel(const void *, unsigned)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00160">DOTGraphTraits.h:160</a></div></div>
+<div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_a47ee60dc78e3f869ce4e808e73437ddf"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf">SVF::DefaultDOTGraphTraits::addCustomGraphFeatures</a></div><div class="ttdeci">static void addCustomGraphFeatures(const GraphType &amp;, GraphWriter &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00172">DOTGraphTraits.h:172</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_a07487bbf691110420c680250994a6eba"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba">SVF::DefaultDOTGraphTraits::getNodeLabel</a></div><div class="ttdeci">std::string getNodeLabel(const void *, const GraphType &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00080">DOTGraphTraits.h:80</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_a2e882c9af39ffd3c4a4bac9212e0e82d"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d">SVF::GraphWriter::O</a></div><div class="ttdeci">std::ofstream &amp; O</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00064">GraphWriter.h:64</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a4582a7d33a5631a5a38973f50035327e"><div class="ttname"><a href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">SVF::ViewGraph</a></div><div class="ttdeci">void ViewGraph(const GraphType &amp;G, const std::string &amp;name, bool ShortNames=false, GraphProgram::Name Program=GraphProgram::DOT)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00371">GraphWriter.h:371</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_afd8fec784307b919d1cb89b49533600e"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#afd8fec784307b919d1cb89b49533600e">SVF::GraphWriter::GraphWriter</a></div><div class="ttdeci">GraphWriter(std::ofstream &amp;o, const GraphType &amp;g, bool SN)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00109">GraphWriter.h:109</a></div></div>
+<div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_a94f582264d3020f36a2ca3bdfbdaf81b"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b">SVF::DefaultDOTGraphTraits::numEdgeDestLabels</a></div><div class="ttdeci">static unsigned numEdgeDestLabels(const void *)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00153">DOTGraphTraits.h:153</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1GraphProgram_html_a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9"><div class="ttname"><a href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9">SVF::GraphProgram::FDP</a></div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00053">GraphWriter.h:53</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_ae414407f483b60c9fa49e2f3ae62de30"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30">SVF::GraphWriter::writeGraph</a></div><div class="ttdeci">void writeGraph(const std::string &amp;Title=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00114">GraphWriter.h:114</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_a0feff91ed80b997dd4550fae16382768"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768">SVF::GraphWriter::emitSimpleNode</a></div><div class="ttdeci">void emitSimpleNode(const void *ID, const std::string &amp;Attr, const std::string &amp;Label, unsigned NumEdgeSources=0, const std::vector&lt; std::string &gt; *EdgeSourceLabels=nullptr)</div><div class="ttdoc">emitSimpleNode - Outputs a simple (non-record) node </div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00274">GraphWriter.h:274</a></div></div>
+<div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
+<div class="ttc" id="structSVF_1_1GenericGraphTraits_html"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits.html">SVF::GenericGraphTraits</a></div><div class="ttdef"><b>Definition:</b> <a href="GraphTraits_8h_source.html#l00036">GraphTraits.h:36</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphWriter_html_a6133d0033363b0e9db156c354da7d7e6"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6">SVF::GraphWriter::writeEdge</a></div><div class="ttdeci">void writeEdge(NodeRef Node, unsigned edgeidx, child_iterator EI)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00249">GraphWriter.h:249</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1GraphProgram_html_a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5"><div class="ttname"><a href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5">SVF::GraphProgram::TWOPI</a></div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00055">GraphWriter.h:55</a></div></div>
+</div><!-- fragment --></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>