npm - svf-tools - Versions diffs - 1.0.442 → 1.0.445 - Mend

svf-tools 1.0.442 → 1.0.445

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 (518) hide show

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

@@ -0,0 +1,756 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: SVF::CFLGraph Class Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0"
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1CFLGraph.html">CFLGraph</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-types">Public Types</a> &#124;
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="#pub-attribs">Public Attributes</a> &#124;
+<a href="#pri-attribs">Private Attributes</a> &#124;
+<a href="classSVF_1_1CFLGraph-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::CFLGraph Class Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<p><code>#include &lt;<a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for SVF::CFLGraph:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="classSVF_1_1CFLGraph.png" usemap="#SVF::CFLGraph_map" alt=""/>
+  <map id="SVF::CFLGraph_map" name="SVF::CFLGraph_map">
+<area href="classSVF_1_1GenericGraph.html" alt="SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;" shape="rect" coords="0,0,263,24"/>
+</map>
+ </div></div>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
+Public Types</h2></td></tr>
+<tr class="memitem:a9c06fd82f008d44417b1373b4afe40f8"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">Symbol</a></td></tr>
+<tr class="separator:a9c06fd82f008d44417b1373b4afe40f8"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a09ba3a0e3878f8ac55596838ea958f14"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a>, <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> &gt;::GEdgeSetTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">CFLEdgeSet</a></td></tr>
+<tr class="separator:a09ba3a0e3878f8ac55596838ea958f14"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1GenericGraph"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericGraph')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td></tr>
+<tr class="memitem:a86c50fc6775fd29f88df2cb4646bb211 inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a></td></tr>
+<tr class="separator:a86c50fc6775fd29f88df2cb4646bb211 inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a12d493d6ad2b6c89f240c9ccfa3bdf30 inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef EdgeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a></td></tr>
+<tr class="separator:a12d493d6ad2b6c89f240c9ccfa3bdf30 inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab9027b190f50ceefc90094e4f967f269 inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269">IDToNodeMapTy</a></td></tr>
+<tr class="memdesc:ab9027b190f50ceefc90094e4f967f269 inherit pub_types_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">NodeID to <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a> map.  <a href="classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269">More...</a><br /></td></tr>
+<tr class="separator:ab9027b190f50ceefc90094e4f967f269 inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef IDToNodeMapTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a></td></tr>
+<tr class="memdesc:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Node Iterators.  <a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">More...</a><br /></td></tr>
+<tr class="separator:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5dfa3f178d4abf37177d0d74ff4c6a97 inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef IDToNodeMapTy::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a></td></tr>
+<tr class="separator:a5dfa3f178d4abf37177d0d74ff4c6a97 inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:accff96922713a51fd2d9cb124d74b036"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#accff96922713a51fd2d9cb124d74b036">CFLGraph</a> ()</td></tr>
+<tr class="separator:accff96922713a51fd2d9cb124d74b036"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a887f27836a2fb5eca3c33fb95f3990d3"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#a887f27836a2fb5eca3c33fb95f3990d3">~CFLGraph</a> () override=default</td></tr>
+<tr class="separator:a887f27836a2fb5eca3c33fb95f3990d3"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4417ad2b7bdf7846cbddbbaf8b0c6b1e"><td class="memTemplParams" colspan="2">template&lt;class N , class E &gt; </td></tr>
+<tr class="memitem:a4417ad2b7bdf7846cbddbbaf8b0c6b1e"><td class="memTemplItemLeft" align="right" valign="top">void&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#a4417ad2b7bdf7846cbddbbaf8b0c6b1e">build</a> (<a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a>&lt; N, E &gt; *graph)</td></tr>
+<tr class="memdesc:a4417ad2b7bdf7846cbddbbaf8b0c6b1e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build graph by copying nodes and edges from any graph inherited from <a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a>.  <a href="#a4417ad2b7bdf7846cbddbbaf8b0c6b1e">More...</a><br /></td></tr>
+<tr class="separator:a4417ad2b7bdf7846cbddbbaf8b0c6b1e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa440c07a2724adb69678a7d912b86ed9"><td class="memTemplParams" colspan="2">template&lt;class N , class E &gt; </td></tr>
+<tr class="memitem:aa440c07a2724adb69678a7d912b86ed9"><td class="memTemplItemLeft" align="right" valign="top">void&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#aa440c07a2724adb69678a7d912b86ed9">buildBigraph</a> (<a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a>&lt; N, E &gt; *graph)</td></tr>
+<tr class="memdesc:aa440c07a2724adb69678a7d912b86ed9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build Bidirectional graph by copying nodes and edges from any graph inherited from <a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a>.  <a href="#aa440c07a2724adb69678a7d912b86ed9">More...</a><br /></td></tr>
+<tr class="separator:aa440c07a2724adb69678a7d912b86ed9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a58b944d0f2c11868e17223acdb35f82c"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">addCFLNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id, <a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *node)</td></tr>
+<tr class="separator:a58b944d0f2c11868e17223acdb35f82c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9eea8083dbeaf898948595b1d75cfee2"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a> (<a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *src, <a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *dst, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">CFLEdge::GEdgeFlag</a> label)</td></tr>
+<tr class="separator:a9eea8083dbeaf898948595b1d75cfee2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aca4c22dd10f65bcde5dadb7688544b50"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50">hasEdge</a> (<a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *src, <a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *dst, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">CFLEdge::GEdgeFlag</a> label)</td></tr>
+<tr class="separator:aca4c22dd10f65bcde5dadb7688544b50"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab32869931e46babcfaa6791efe2ba91e"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e">dump</a> (const std::string &amp;filename)</td></tr>
+<tr class="separator:ab32869931e46babcfaa6791efe2ba91e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0f1b98e7cecc352a7fa7624b530efe49"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#a0f1b98e7cecc352a7fa7624b530efe49">view</a> ()</td></tr>
+<tr class="separator:a0f1b98e7cecc352a7fa7624b530efe49"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a15f1c8838d5c0b7d7129bdcb372dd4a1"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#a15f1c8838d5c0b7d7129bdcb372dd4a1">build</a> (std::string filename)</td></tr>
+<tr class="memdesc:a15f1c8838d5c0b7d7129bdcb372dd4a1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build graph from file.  <a href="#a15f1c8838d5c0b7d7129bdcb372dd4a1">More...</a><br /></td></tr>
+<tr class="separator:a15f1c8838d5c0b7d7129bdcb372dd4a1"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af57d64ae3c252ea4ebc0404b3b0bc2be"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#af57d64ae3c252ea4ebc0404b3b0bc2be">buildFromDot</a> (std::string filename)</td></tr>
+<tr class="memdesc:af57d64ae3c252ea4ebc0404b3b0bc2be"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build graph from Dot.  <a href="#af57d64ae3c252ea4ebc0404b3b0bc2be">More...</a><br /></td></tr>
+<tr class="separator:af57d64ae3c252ea4ebc0404b3b0bc2be"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0048622552a5dff5afdd512ee91490f2"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#a0048622552a5dff5afdd512ee91490f2">setMap</a> (<a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; std::string, <a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">Symbol</a> &gt; *terminals, <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; std::string, <a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">Symbol</a> &gt; *nonterminals)</td></tr>
+<tr class="memdesc:a0048622552a5dff5afdd512ee91490f2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set label2Sym from External.  <a href="#a0048622552a5dff5afdd512ee91490f2">More...</a><br /></td></tr>
+<tr class="separator:a0048622552a5dff5afdd512ee91490f2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1GenericGraph"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GenericGraph')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td></tr>
+<tr class="memitem:aa5837cddbbd63c5a8ac5725bcecb192f inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">GenericGraph</a> ()</td></tr>
+<tr class="memdesc:aa5837cddbbd63c5a8ac5725bcecb192f inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">More...</a><br /></td></tr>
+<tr class="separator:aa5837cddbbd63c5a8ac5725bcecb192f inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3b94850d788a1b8da45e9b8bf2f2df2c inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</a> ()</td></tr>
+<tr class="memdesc:a3b94850d788a1b8da45e9b8bf2f2df2c inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">More...</a><br /></td></tr>
+<tr class="separator:a3b94850d788a1b8da45e9b8bf2f2df2c inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adf0a205f4f62f33c5fa8f2d544aac633 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633">destroy</a> ()</td></tr>
+<tr class="memdesc:adf0a205f4f62f33c5fa8f2d544aac633 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Release memory.  <a href="classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633">More...</a><br /></td></tr>
+<tr class="separator:adf0a205f4f62f33c5fa8f2d544aac633 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0d9744b1b0e7a09a6f7af29188e243b7 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a> ()</td></tr>
+<tr class="memdesc:a0d9744b1b0e7a09a6f7af29188e243b7 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators.  <a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">More...</a><br /></td></tr>
+<tr class="separator:a0d9744b1b0e7a09a6f7af29188e243b7 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4bef15157423cef48dc7333a803cd27d inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a> ()</td></tr>
+<tr class="separator:a4bef15157423cef48dc7333a803cd27d inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3385b008ae03444404c1e392fd47f1d6 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6">begin</a> () const</td></tr>
+<tr class="separator:a3385b008ae03444404c1e392fd47f1d6 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3001af3746d26b7dc0a212db5e48a4bb inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">end</a> () const</td></tr>
+<tr class="separator:a3001af3746d26b7dc0a212db5e48a4bb inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0a8831a5429005ff9d71adbd6bf3994f inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id, <a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> *node)</td></tr>
+<tr class="memdesc:a0a8831a5429005ff9d71adbd6bf3994f inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add a Node.  <a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">More...</a><br /></td></tr>
+<tr class="separator:a0a8831a5429005ff9d71adbd6bf3994f inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a43c9c773bfa17abf481c33073e30d01b inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
+<tr class="memdesc:a43c9c773bfa17abf481c33073e30d01b inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get a node.  <a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">More...</a><br /></td></tr>
+<tr class="separator:a43c9c773bfa17abf481c33073e30d01b inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6885064afa211958af7b73f0233284e5 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
+<tr class="memdesc:a6885064afa211958af7b73f0233284e5 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has a node.  <a href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">More...</a><br /></td></tr>
+<tr class="separator:a6885064afa211958af7b73f0233284e5 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1817b65e76052f11e36a67d6b9efd915 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">removeGNode</a> (<a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> *node)</td></tr>
+<tr class="memdesc:a1817b65e76052f11e36a67d6b9efd915 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Delete a node.  <a href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">More...</a><br /></td></tr>
+<tr class="separator:a1817b65e76052f11e36a67d6b9efd915 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8c8d16036008f87c7811586047599858 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a> () const</td></tr>
+<tr class="memdesc:a8c8d16036008f87c7811586047599858 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get total number of node/edge.  <a href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">More...</a><br /></td></tr>
+<tr class="separator:a8c8d16036008f87c7811586047599858 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a29cab1426b0000bd87c026ab8c9979c0 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a> () const</td></tr>
+<tr class="separator:a29cab1426b0000bd87c026ab8c9979c0 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7388dabef7300e77adf33f3999639f21 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a> ()</td></tr>
+<tr class="memdesc:a7388dabef7300e77adf33f3999639f21 inherit pub_methods_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Increase number of node/edge.  <a href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">More...</a><br /></td></tr>
+<tr class="separator:a7388dabef7300e77adf33f3999639f21 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2f2bca8219c7d769f6d2937e5cd40d14 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a> ()</td></tr>
+<tr class="separator:a2f2bca8219c7d769f6d2937e5cd40d14 inherit pub_methods_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-attribs"></a>
+Public Attributes</h2></td></tr>
+<tr class="memitem:afb6fe6ac26adb93b0123012891cdd139"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; std::string, <a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">Symbol</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a></td></tr>
+<tr class="separator:afb6fe6ac26adb93b0123012891cdd139"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab678bb152e60a8b67d6a703792c8af84"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#ab678bb152e60a8b67d6a703792c8af84">startSymbol</a></td></tr>
+<tr class="separator:ab678bb152e60a8b67d6a703792c8af84"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_attribs_classSVF_1_1GenericGraph"><td colspan="2" onclick="javascript:toggleInherit('pub_attribs_classSVF_1_1GenericGraph')"><img src="closed.png" alt="-"/>&#160;Public Attributes inherited from <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td></tr>
+<tr class="memitem:a2fbc96de5f066469c2739229307bcc0c inherit pub_attribs_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">edgeNum</a></td></tr>
+<tr class="memdesc:a2fbc96de5f066469c2739229307bcc0c inherit pub_attribs_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">total num of node  <a href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">More...</a><br /></td></tr>
+<tr class="separator:a2fbc96de5f066469c2739229307bcc0c inherit pub_attribs_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a38122734cbe71551a420dfb7fee2012e inherit pub_attribs_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">nodeNum</a></td></tr>
+<tr class="memdesc:a38122734cbe71551a420dfb7fee2012e inherit pub_attribs_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">total num of edge  <a href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">More...</a><br /></td></tr>
+<tr class="separator:a38122734cbe71551a420dfb7fee2012e inherit pub_attribs_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
+Private Attributes</h2></td></tr>
+<tr class="memitem:afb41039ad53899fa64fedcef8b7aa7fe"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">CFLEdgeSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe">cflEdgeSet</a></td></tr>
+<tr class="separator:afb41039ad53899fa64fedcef8b7aa7fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4ae1d3576cfef62444087e321dc110b2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#a4ae1d3576cfef62444087e321dc110b2">current</a></td></tr>
+<tr class="separator:a4ae1d3576cfef62444087e321dc110b2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a24ac3a18cb65431cd337a0f4326bff54"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGraph.html#a24ac3a18cb65431cd337a0f4326bff54">externMap</a></td></tr>
+<tr class="separator:a24ac3a18cb65431cd337a0f4326bff54"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
+Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pro_attribs_classSVF_1_1GenericGraph"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1GenericGraph')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td></tr>
+<tr class="memitem:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269">IDToNodeMapTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td></tr>
+<tr class="memdesc:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">node map  <a href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">More...</a><br /></td></tr>
+<tr class="separator:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00070">70</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+</div><h2 class="groupheader">Member Typedef Documentation</h2>
+<a id="a09ba3a0e3878f8ac55596838ea958f14"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a09ba3a0e3878f8ac55596838ea958f14">&#9670;&nbsp;</a></span>CFLEdgeSet</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt;<a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a>,<a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a>&gt;::GEdgeSetTy <a class="el" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">SVF::CFLGraph::CFLEdgeSet</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00074">74</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+</div>
+</div>
+<a id="a9c06fd82f008d44417b1373b4afe40f8"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a9c06fd82f008d44417b1373b4afe40f8">&#9670;&nbsp;</a></span>Symbol</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">SVF::CFLGraph::Symbol</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00073">73</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+</div>
+</div>
+<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="accff96922713a51fd2d9cb124d74b036"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#accff96922713a51fd2d9cb124d74b036">&#9670;&nbsp;</a></span>CFLGraph()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::CFLGraph::CFLGraph </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00078">78</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    {</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a887f27836a2fb5eca3c33fb95f3990d3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a887f27836a2fb5eca3c33fb95f3990d3">&#9670;&nbsp;</a></span>~CFLGraph()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::CFLGraph::~CFLGraph </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">default</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="a9eea8083dbeaf898948595b1d75cfee2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a9eea8083dbeaf898948595b1d75cfee2">&#9670;&nbsp;</a></span>addCFLEdge()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> * CFLGraph::addCFLEdge </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *&#160;</td>
+          <td class="paramname"><em>src</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *&#160;</td>
+          <td class="paramname"><em>dst</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">CFLEdge::GEdgeFlag</a>&#160;</td>
+          <td class="paramname"><em>label</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8cpp_source.html#l00046">46</a> of file <a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;                                                                                     {</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* edge = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>(src,dst,label);</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe">cflEdgeSet</a>.insert(edge).second){</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        src-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(edge);</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;        dst-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(edge);</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;        <span class="keywordflow">return</span> edge;</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    }</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00279">GenericGraph.h:279</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00275">GenericGraph.h:275</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLEdge_html"><div class="ttname"><a href="classSVF_1_1CFLEdge.html">SVF::CFLEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00046">CFLGraph.h:46</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_afb41039ad53899fa64fedcef8b7aa7fe"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe">SVF::CFLGraph::cflEdgeSet</a></div><div class="ttdeci">CFLEdgeSet cflEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00145">CFLGraph.h:145</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a58b944d0f2c11868e17223acdb35f82c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a58b944d0f2c11868e17223acdb35f82c">&#9670;&nbsp;</a></span>addCFLNode()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void CFLGraph::addCFLNode </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td>
+          <td class="paramname"><em>id</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *&#160;</td>
+          <td class="paramname"><em>node</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8cpp_source.html#l00042">42</a> of file <a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a>.</p>
+<div class="fragment"><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="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">addGNode</a>(<span class="keywordtype">id</span>, node);</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericGraph_html_a0a8831a5429005ff9d71adbd6bf3994f"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph::addGNode</a></div><div class="ttdeci">void addGNode(NodeID id, NodeType *node)</div><div class="ttdoc">Add a Node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00380">GenericGraph.h:380</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a4417ad2b7bdf7846cbddbbaf8b0c6b1e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4417ad2b7bdf7846cbddbbaf8b0c6b1e">&#9670;&nbsp;</a></span>build() <span class="overload">[1/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class N , class E &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::CFLGraph::build </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a>&lt; N, E &gt; *&#160;</td>
+          <td class="paramname"><em>graph</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Build graph by copying nodes and edges from any graph inherited from <a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a>. </p>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00085">85</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;                                        {</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = graph-&gt;begin(); it!= graph-&gt;end(); it++){</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;            CFLNode* node = <span class="keyword">new</span> CFLNode((*it).first);</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;            <a class="code" href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">addCFLNode</a>((*it).first, node);</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        }</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = graph-&gt;begin(); it!= graph-&gt;end(); it++){</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;            N* node = (*it).second;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;            <span class="keywordflow">for</span>(E* edge : node-&gt;getOutEdges())</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;                <a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge-&gt;getSrcID()), <a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge-&gt;getDstID()), edge-&gt;getEdgeKind());</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;        }</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLGraph_html_a58b944d0f2c11868e17223acdb35f82c"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">SVF::CFLGraph::addCFLNode</a></div><div class="ttdeci">virtual void addCFLNode(NodeID id, CFLNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00042">CFLGraph.cpp:42</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_a9eea8083dbeaf898948595b1d75cfee2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">SVF::CFLGraph::addCFLEdge</a></div><div class="ttdeci">virtual const CFLEdge * addCFLEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00046">CFLGraph.cpp:46</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00387">GenericGraph.h:387</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a15f1c8838d5c0b7d7129bdcb372dd4a1"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a15f1c8838d5c0b7d7129bdcb372dd4a1">&#9670;&nbsp;</a></span>build() <span class="overload">[2/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">void CFLGraph::build </td>
+          <td>(</td>
+          <td class="paramtype">std::string&#160;</td>
+          <td class="paramname"><em>filename</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>Build graph from file. </p>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8cpp_source.html#l00038">38</a> of file <a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a>.</p>
+<div class="fragment"><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">   40</span>&#160;}</div></div><!-- fragment -->
+</div>
+</div>
+<a id="aa440c07a2724adb69678a7d912b86ed9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa440c07a2724adb69678a7d912b86ed9">&#9670;&nbsp;</a></span>buildBigraph()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class N , class E &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::CFLGraph::buildBigraph </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a>&lt; N, E &gt; *&#160;</td>
+          <td class="paramname"><em>graph</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Build Bidirectional graph by copying nodes and edges from any graph inherited from <a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a>. </p>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00101">101</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><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">for</span>(<span class="keyword">auto</span> it = graph-&gt;begin(); it!= graph-&gt;end(); it++){</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;            CFLNode* node = <span class="keyword">new</span> CFLNode((*it).first);</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;            <a class="code" href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">addCFLNode</a>((*it).first, node);</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        }</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = graph-&gt;begin(); it!= graph-&gt;end(); it++){</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;            N* node = (*it).second;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            <span class="keywordflow">for</span>(E* edge : node-&gt;getOutEdges())</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;            {</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                <a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge-&gt;getSrcID()), <a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge-&gt;getDstID()), edge-&gt;getEdgeKind());</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;                std::string key = <span class="stringliteral">&quot;&quot;</span>;                </div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">auto</span> &amp;i : this-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>)</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">  114</span>&#160;                    <span class="keywordflow">if</span> (i.second == edge-&gt;getEdgeKind())</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;                        key = i.first;</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;                    }</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;                key.append(<span class="stringliteral">&quot;bar&quot;</span>);</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                <a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge-&gt;getDstID()), <a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(edge-&gt;getSrcID()), this-&gt;label2SymMap[key]);</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;        }</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLGraph_html_a58b944d0f2c11868e17223acdb35f82c"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">SVF::CFLGraph::addCFLNode</a></div><div class="ttdeci">virtual void addCFLNode(NodeID id, CFLNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00042">CFLGraph.cpp:42</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_a9eea8083dbeaf898948595b1d75cfee2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">SVF::CFLGraph::addCFLEdge</a></div><div class="ttdeci">virtual const CFLEdge * addCFLEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00046">CFLGraph.cpp:46</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_afb6fe6ac26adb93b0123012891cdd139"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">SVF::CFLGraph::label2SymMap</a></div><div class="ttdeci">Map&lt; std::string, Symbol &gt; label2SymMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00075">CFLGraph.h:75</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00387">GenericGraph.h:387</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="af57d64ae3c252ea4ebc0404b3b0bc2be"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af57d64ae3c252ea4ebc0404b3b0bc2be">&#9670;&nbsp;</a></span>buildFromDot()</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">void CFLGraph::buildFromDot </td>
+          <td>(</td>
+          <td class="paramtype">std::string&#160;</td>
+          <td class="paramname"><em>filename</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>Build graph from Dot. </p>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8cpp_source.html#l00076">76</a> of file <a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;{</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    std::cout &lt;&lt; <span class="stringliteral">&quot;Building CFL Graph from dot file: &quot;</span> &lt;&lt; fileName &lt;&lt; <span class="stringliteral">&quot;..\n&quot;</span>;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    std::string lineString;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    std::ifstream inputFile(fileName);</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    std::regex reg(<span class="stringliteral">&quot;Node(\\w+)\\s*-&gt;\\s*Node(\\w+)\\s*\\[.*label=(.*)\\]&quot;</span>);</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    std::cout &lt;&lt; std::boolalpha;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> lineNum = 0 ;</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">while</span> (getline(inputFile, lineString))</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;        lineNum += 1;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        std::smatch matches;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">if</span> (std::regex_search(lineString, matches, reg))</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        {</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;            <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a> *src, *dst;</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(std::stoul(matches.str(1), <span class="keyword">nullptr</span>, 16))==<span class="keyword">false</span>) {</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;            src = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>(std::stoul(matches.str(1), <span class="keyword">nullptr</span>, 16));</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            <a class="code" href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">addCFLNode</a>(src-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), src);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;            } <span class="keywordflow">else</span> {</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;                src = <a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(std::stoul(matches.str(1), <span class="keyword">nullptr</span>, 16));</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;            }</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(std::stoul(matches.str(2), <span class="keyword">nullptr</span>, 16))==<span class="keyword">false</span>){</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;            dst = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>(std::stoul(matches.str(2), <span class="keyword">nullptr</span>, 16));</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;            <a class="code" href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">addCFLNode</a>(dst-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), dst);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;            }<span class="keywordflow">else</span>{</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;                dst = <a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(std::stoul(matches.str(2), <span class="keyword">nullptr</span>, 16));</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;            }</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLGraph.html#a24ac3a18cb65431cd337a0f4326bff54">externMap</a> == <span class="keyword">false</span>){</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.find(matches.str(3)) != <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.end()) {</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;                    <a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(src, dst, <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>[matches.str(3)]);</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;                }</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                <span class="keywordflow">else</span> {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;                    <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.insert({matches.str(3), <a class="code" href="classSVF_1_1CFLGraph.html#a4ae1d3576cfef62444087e321dc110b2">current</a>++});</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;                    <a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(src, dst, <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>[matches.str(3)]);</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">  114</span>&#160;            }</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;            <span class="keywordflow">else</span> {</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.find(matches.str(3)) != <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.end()) {</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;                    <a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(src, dst, <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>[matches.str(3)]);</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="keywordflow">else</span> {</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">Options::FlexSymMap</a> == <span class="keyword">true</span>){</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;                        <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.insert({matches.str(3), <a class="code" href="classSVF_1_1CFLGraph.html#a4ae1d3576cfef62444087e321dc110b2">current</a>++});</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;                        <a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(src, dst, <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>[matches.str(3)]);</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;                    }</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;                    <span class="keywordflow">else</span> {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;                        std::string msg = <span class="stringliteral">&quot;In line &quot;</span> + std::to_string(lineNum) + <span class="stringliteral">&quot; sym can not find in grammar, please correct the input dot or set --flexsymmap.&quot;</span>;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;                        <a class="code" href="namespaceSVF_1_1SVFUtil.html#a5d4bb92f5df30417f414397f8e58cf01">SVFUtil::errMsg</a>(msg);</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;                        std::cout &lt;&lt; msg;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                        <a class="code" href="util_8h.html#a23c00958edf66c39625a0d535dee57b7">abort</a>();</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                        }</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;            }</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;    }</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    inputFile.close();</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;}</div><div class="ttc" id="classSVF_1_1Options_html_a79dff5235e82e1313fa4b053f866f357"><div class="ttname"><a href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">SVF::Options::FlexSymMap</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; FlexSymMap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00262">Options.h:262</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_a58b944d0f2c11868e17223acdb35f82c"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">SVF::CFLGraph::addCFLNode</a></div><div class="ttdeci">virtual void addCFLNode(NodeID id, CFLNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00042">CFLGraph.cpp:42</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_a9eea8083dbeaf898948595b1d75cfee2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">SVF::CFLGraph::addCFLEdge</a></div><div class="ttdeci">virtual const CFLEdge * addCFLEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00046">CFLGraph.cpp:46</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLNode_html"><div class="ttname"><a href="classSVF_1_1CFLNode.html">SVF::CFLNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00058">CFLGraph.h:58</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a6885064afa211958af7b73f0233284e5"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">SVF::GenericGraph::hasGNode</a></div><div class="ttdeci">bool hasGNode(NodeID id) const</div><div class="ttdoc">Has a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00395">GenericGraph.h:395</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_afb6fe6ac26adb93b0123012891cdd139"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">SVF::CFLGraph::label2SymMap</a></div><div class="ttdeci">Map&lt; std::string, Symbol &gt; label2SymMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00075">CFLGraph.h:75</a></div></div>
+<div class="ttc" id="util_8h_html_a23c00958edf66c39625a0d535dee57b7"><div class="ttname"><a href="util_8h.html#a23c00958edf66c39625a0d535dee57b7">abort</a></div><div class="ttdeci">VOID_OR_INT abort()</div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_a24ac3a18cb65431cd337a0f4326bff54"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a24ac3a18cb65431cd337a0f4326bff54">SVF::CFLGraph::externMap</a></div><div class="ttdeci">bool externMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00147">CFLGraph.h:147</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00387">GenericGraph.h:387</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a5d4bb92f5df30417f414397f8e58cf01"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a5d4bb92f5df30417f414397f8e58cf01">SVF::SVFUtil::errMsg</a></div><div class="ttdeci">std::string errMsg(std::string msg)</div><div class="ttdoc">Print error message by converting a string into red string output. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00078">SVFUtil.cpp:78</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_a4ae1d3576cfef62444087e321dc110b2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a4ae1d3576cfef62444087e321dc110b2">SVF::CFLGraph::current</a></div><div class="ttdeci">Symbol current</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00146">CFLGraph.h:146</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ab32869931e46babcfaa6791efe2ba91e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab32869931e46babcfaa6791efe2ba91e">&#9670;&nbsp;</a></span>dump()</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">void CFLGraph::dump </td>
+          <td>(</td>
+          <td class="paramtype">const std::string &amp;&#160;</td>
+          <td class="paramname"><em>filename</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8cpp_source.html#l00066">66</a> of file <a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;{</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="classllvm_1_1GraphPrinter.html#af6ed328e74882d2b5e2b4039cb836928">GraphPrinter::WriteGraphToFile</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>(), filename, <span class="keyword">this</span>);</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;}</div><div class="ttc" id="classllvm_1_1GraphPrinter_html_af6ed328e74882d2b5e2b4039cb836928"><div class="ttname"><a href="classllvm_1_1GraphPrinter.html#af6ed328e74882d2b5e2b4039cb836928">llvm::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00057">GraphPrinter.h:57</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="aca4c22dd10f65bcde5dadb7688544b50"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aca4c22dd10f65bcde5dadb7688544b50">&#9670;&nbsp;</a></span>hasEdge()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> * CFLGraph::hasEdge </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *&#160;</td>
+          <td class="paramname"><em>src</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *&#160;</td>
+          <td class="paramname"><em>dst</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">CFLEdge::GEdgeFlag</a>&#160;</td>
+          <td class="paramname"><em>label</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8cpp_source.html#l00057">57</a> of file <a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;                                                                                  {</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a> edge(src,dst,label);</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe">cflEdgeSet</a>.find(&amp;edge);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <span class="keywordflow">if</span>(it !=<a class="code" href="classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe">cflEdgeSet</a>.end())</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;}</div><div class="ttc" id="classSVF_1_1CFLEdge_html"><div class="ttname"><a href="classSVF_1_1CFLEdge.html">SVF::CFLEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00046">CFLGraph.h:46</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_afb41039ad53899fa64fedcef8b7aa7fe"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe">SVF::CFLGraph::cflEdgeSet</a></div><div class="ttdeci">CFLEdgeSet cflEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00145">CFLGraph.h:145</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a0048622552a5dff5afdd512ee91490f2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0048622552a5dff5afdd512ee91490f2">&#9670;&nbsp;</a></span>setMap()</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">void CFLGraph::setMap </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; std::string, <a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">Symbol</a> &gt; *&#160;</td>
+          <td class="paramname"><em>terminals</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; std::string, <a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">Symbol</a> &gt; *&#160;</td>
+          <td class="paramname"><em>nonterminals</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>Set label2Sym from External. </p>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8cpp_source.html#l00137">137</a> of file <a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;{</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html#a24ac3a18cb65431cd337a0f4326bff54">externMap</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">auto</span> pairV : *terminals){</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.find(pairV.first) == <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.end()){</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;            <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.insert(pairV);</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        }  </div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;    }</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">auto</span> pairV : *nonterminals){</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.find(pairV.first) == <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.end()){</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;            <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.insert(pairV);</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">  151</span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html#a4ae1d3576cfef62444087e321dc110b2">current</a> = <a class="code" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">label2SymMap</a>.size();</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;}</div><div class="ttc" id="classSVF_1_1CFLGraph_html_afb6fe6ac26adb93b0123012891cdd139"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">SVF::CFLGraph::label2SymMap</a></div><div class="ttdeci">Map&lt; std::string, Symbol &gt; label2SymMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00075">CFLGraph.h:75</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_a24ac3a18cb65431cd337a0f4326bff54"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a24ac3a18cb65431cd337a0f4326bff54">SVF::CFLGraph::externMap</a></div><div class="ttdeci">bool externMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00147">CFLGraph.h:147</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGraph_html_a4ae1d3576cfef62444087e321dc110b2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a4ae1d3576cfef62444087e321dc110b2">SVF::CFLGraph::current</a></div><div class="ttdeci">Symbol current</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00146">CFLGraph.h:146</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a0f1b98e7cecc352a7fa7624b530efe49"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0f1b98e7cecc352a7fa7624b530efe49">&#9670;&nbsp;</a></span>view()</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">void CFLGraph::view </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8cpp_source.html#l00071">71</a> of file <a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;{</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    llvm::ViewGraph(<span class="keyword">this</span>, <span class="stringliteral">&quot;CFL Graph&quot;</span>);</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;}</div></div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Data Documentation</h2>
+<a id="afb41039ad53899fa64fedcef8b7aa7fe"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#afb41039ad53899fa64fedcef8b7aa7fe">&#9670;&nbsp;</a></span>cflEdgeSet</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">CFLEdgeSet</a> SVF::CFLGraph::cflEdgeSet</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00145">145</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+</div>
+</div>
+<a id="a4ae1d3576cfef62444087e321dc110b2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4ae1d3576cfef62444087e321dc110b2">&#9670;&nbsp;</a></span>current</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">Symbol</a> SVF::CFLGraph::current</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00146">146</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+</div>
+</div>
+<a id="a24ac3a18cb65431cd337a0f4326bff54"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a24ac3a18cb65431cd337a0f4326bff54">&#9670;&nbsp;</a></span>externMap</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::CFLGraph::externMap</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00147">147</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+</div>
+</div>
+<a id="afb6fe6ac26adb93b0123012891cdd139"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#afb6fe6ac26adb93b0123012891cdd139">&#9670;&nbsp;</a></span>label2SymMap</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;std::string, <a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">Symbol</a>&gt; SVF::CFLGraph::label2SymMap</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00075">75</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+</div>
+</div>
+<a id="ab678bb152e60a8b67d6a703792c8af84"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab678bb152e60a8b67d6a703792c8af84">&#9670;&nbsp;</a></span>startSymbol</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">Symbol</a> SVF::CFLGraph::startSymbol</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00076">76</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+</div>
+</div>
+<hr/>The documentation for this class was generated from the following files:<ul>
+<li>/home/runner/work/SVF/SVF/include/Graphs/<a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a></li>
+<li>/home/runner/work/SVF/SVF/lib/Graphs/<a class="el" href="CFLGraph_8cpp_source.html">CFLGraph.cpp</a></li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>