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_1CFGNormalizer.html ADDED Viewed

@@ -0,0 +1,458 @@
+<!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::CFGNormalizer 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_1CFGNormalizer.html">CFGNormalizer</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="#pri-methods">Private Member Functions</a> &#124;
+<a href="classSVF_1_1CFGNormalizer-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::CFGNormalizer Class Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<p><code>#include &lt;<a class="el" href="CFGNormalizer_8h_source.html">CFGNormalizer.h</a>&gt;</code></p>
+<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:a4df66b45b07b7e3dc5bcc839188bd70f"><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_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">Symbol</a></td></tr>
+<tr class="separator:a4df66b45b07b7e3dc5bcc839188bd70f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad7798c3c356f20bb8af18e1a0916da41"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; <a class="el" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">Symbol</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a></td></tr>
+<tr class="separator:ad7798c3c356f20bb8af18e1a0916da41"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad7527e1c7f04d34ef45dafb74d14d4f4"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#ad7527e1c7f04d34ef45dafb74d14d4f4">Productions</a></td></tr>
+<tr class="separator:ad7527e1c7f04d34ef45dafb74d14d4f4"><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:ab1c19d6347ed694f52ded7defafeffe3"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">CFGNormalizer</a> ()</td></tr>
+<tr class="separator:ab1c19d6347ed694f52ded7defafeffe3"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae8e2b22944e9d3d2ec14cd6aaa8b93c9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">normalize</a> (<a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *generalGrammar)</td></tr>
+<tr class="memdesc:ae8e2b22944e9d3d2ec14cd6aaa8b93c9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Start Normalize (BIN Only)  <a href="#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">More...</a><br /></td></tr>
+<tr class="separator:ae8e2b22944e9d3d2ec14cd6aaa8b93c9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
+Private Member Functions</h2></td></tr>
+<tr class="memitem:a36b54b0f4c8c7af810df384ace76cbb2"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#a36b54b0f4c8c7af810df384ace76cbb2">ebnf_bin</a> (<a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *generalGrammar, <a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar)</td></tr>
+<tr class="separator:a36b54b0f4c8c7af810df384ace76cbb2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4881d0ba187a0a9ddce61acaea33af0e"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#a4881d0ba187a0a9ddce61acaea33af0e">ebnf_sign_replace</a> (char sign, <a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *generalGrammar, <a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar)</td></tr>
+<tr class="separator:a4881d0ba187a0a9ddce61acaea33af0e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab4560966c58d22d1d1c4a40499c41fca"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#ab4560966c58d22d1d1c4a40499c41fca">ebnf_bracket_match</a> (<a class="el" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> &amp;prod, int i, <a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar)</td></tr>
+<tr class="separator:ab4560966c58d22d1d1c4a40499c41fca"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2711dbd73fa56bc9d17f8caeca109680"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#a2711dbd73fa56bc9d17f8caeca109680">strTrans</a> (std::string strPro, <a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar)</td></tr>
+<tr class="separator:a2711dbd73fa56bc9d17f8caeca109680"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8afa1e5a38fd981a3799053e20fa6048"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#a8afa1e5a38fd981a3799053e20fa6048">check_head</a> (<a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">Symbol</a>, <a class="el" href="classSVF_1_1CFGNormalizer.html#ad7527e1c7f04d34ef45dafb74d14d4f4">Productions</a> &gt; &amp;grammar, <a class="el" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> &amp;rule)</td></tr>
+<tr class="separator:a8afa1e5a38fd981a3799053e20fa6048"><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>Normalize Grammar from a grammarbase </p>
+<p class="definition">Definition at line <a class="el" href="CFGNormalizer_8h_source.html#l00041">41</a> of file <a class="el" href="CFGNormalizer_8h_source.html">CFGNormalizer.h</a>.</p>
+</div><h2 class="groupheader">Member Typedef Documentation</h2>
+<a id="ad7798c3c356f20bb8af18e1a0916da41"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad7798c3c356f20bb8af18e1a0916da41">&#9670;&nbsp;</a></span>Production</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef std::vector&lt;<a class="el" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">Symbol</a>&gt; <a class="el" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">SVF::CFGNormalizer::Production</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFGNormalizer_8h_source.html#l00045">45</a> of file <a class="el" href="CFGNormalizer_8h_source.html">CFGNormalizer.h</a>.</p>
+</div>
+</div>
+<a id="ad7527e1c7f04d34ef45dafb74d14d4f4"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad7527e1c7f04d34ef45dafb74d14d4f4">&#9670;&nbsp;</a></span>Productions</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;<a class="el" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a>&gt; <a class="el" href="classSVF_1_1CFGNormalizer.html#ad7527e1c7f04d34ef45dafb74d14d4f4">SVF::CFGNormalizer::Productions</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFGNormalizer_8h_source.html#l00046">46</a> of file <a class="el" href="CFGNormalizer_8h_source.html">CFGNormalizer.h</a>.</p>
+</div>
+</div>
+<a id="a4df66b45b07b7e3dc5bcc839188bd70f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4df66b45b07b7e3dc5bcc839188bd70f">&#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_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">SVF::CFGNormalizer::Symbol</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFGNormalizer_8h_source.html#l00044">44</a> of file <a class="el" href="CFGNormalizer_8h_source.html">CFGNormalizer.h</a>.</p>
+</div>
+</div>
+<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="ab1c19d6347ed694f52ded7defafeffe3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab1c19d6347ed694f52ded7defafeffe3">&#9670;&nbsp;</a></span>CFGNormalizer()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::CFGNormalizer::CFGNormalizer </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="CFGNormalizer_8h_source.html#l00048">48</a> of file <a class="el" href="CFGNormalizer_8h_source.html">CFGNormalizer.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;                   {</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="a8afa1e5a38fd981a3799053e20fa6048"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8afa1e5a38fd981a3799053e20fa6048">&#9670;&nbsp;</a></span>check_head()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">int CFGNormalizer::check_head </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">Symbol</a>, <a class="el" href="classSVF_1_1CFGNormalizer.html#ad7527e1c7f04d34ef45dafb74d14d4f4">Productions</a> &gt; &amp;&#160;</td>
+          <td class="paramname"><em>grammar</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> &amp;&#160;</td>
+          <td class="paramname"><em>rule</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">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFGNormalizer_8cpp_source.html#l00320">320</a> of file <a class="el" href="CFGNormalizer_8cpp_source.html">CFGNormalizer.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;                                                                                {</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">auto</span> symProdPair: grammar){</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;        <span class="keywordflow">for</span>(<span class="keyword">auto</span> prod: symProdPair.second){</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;                <span class="keywordflow">if</span> (rule == prod){</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;                    <span class="keywordflow">return</span> symProdPair.first;</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;    }</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;    <span class="keywordflow">return</span> -1;</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;}</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a36b54b0f4c8c7af810df384ace76cbb2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a36b54b0f4c8c7af810df384ace76cbb2">&#9670;&nbsp;</a></span>ebnf_bin()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void CFGNormalizer::ebnf_bin </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *&#160;</td>
+          <td class="paramname"><em>generalGrammar</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *&#160;</td>
+          <td class="paramname"><em>grammar</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">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFGNormalizer_8cpp_source.html#l00116">116</a> of file <a class="el" href="CFGNormalizer_8cpp_source.html">CFGNormalizer.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                                                                            {</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;Symbol, Productions&gt;</a> new_grammar = {};</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    std::string tempStr = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">auto</span> head : generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>){</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        <span class="keywordflow">for</span>(<span class="keyword">auto</span> rule: head.second){ </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;            <a class="code" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> long_run = rule;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;            long_run.erase(long_run.begin());</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            <span class="keyword">auto</span> it = generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].find(rule);</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;            generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].erase(it);</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].insert(long_run);</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">  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;    <span class="keywordflow">for</span>(<span class="keyword">auto</span> head : generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>){</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        <span class="keywordflow">for</span>(<span class="keyword">auto</span> rule: head.second){ </div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;            <span class="keywordflow">if</span> (rule.size() &lt; 3) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;            </div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;            <a class="code" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> long_run = rule;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;            <a class="code" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">Symbol</a> first = long_run[0];</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;            long_run.erase(long_run.begin());</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;            <span class="keyword">auto</span> it = generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].find(rule);</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;            generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].erase(it);</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;            rule = {first};</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;            generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].insert(rule);</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;            <a class="code" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">Symbol</a> X = <a class="code" href="classSVF_1_1CFGNormalizer.html#a8afa1e5a38fd981a3799053e20fa6048">check_head</a>(new_grammar, long_run);</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;            <span class="keywordflow">if</span> (<span class="keywordtype">int</span>(X) == -1){</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;                X = <a class="code" href="classSVF_1_1CFGNormalizer.html#a8afa1e5a38fd981a3799053e20fa6048">check_head</a>(generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>, long_run);</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;            }</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;            <span class="keywordflow">if</span> (<span class="keywordtype">int</span>(X) != -1){</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;                it = generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].find(rule);</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;                generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].erase(it);</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;                rule.push_back(X);</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;                generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].insert(rule);</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;            } <span class="keywordflow">else</span>{</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;                tempStr = <span class="stringliteral">&quot;X&quot;</span>;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;                std::ostringstream ss;</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;                ss &lt;&lt; grammar-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a29d757bc4f0d236f421e332e51fe6d8b">num_generator</a>();</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;                tempStr.append(ss.str());</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;                <a class="code" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">Symbol</a> tempSym = grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a>(tempStr);</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;                it = generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].find(rule);</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;                generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].erase(it);</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;                rule.push_back(tempSym); </div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;                generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[head.first].insert(rule);</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;                X = tempSym;</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;            new_grammar[X] = {};</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;            <a class="code" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> temp_p = long_run;</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;            <a class="code" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">Symbol</a> RHX;</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;            <span class="keywordflow">if</span> (long_run.size() ==2){</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;                new_grammar[X].insert(temp_p);</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;                long_run.clear();</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;            } </div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;            <span class="keywordflow">else</span>{</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;                new_grammar[X].insert(long_run);</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;                RHX = X; </div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;            }</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;            <span class="keywordflow">while</span> (long_run.size() &gt; 2)</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;            {</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;                first = long_run[0];</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;                <a class="code" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> prev_rule = long_run;</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;                long_run.erase(long_run.begin());</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;                X = RHX;</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;                temp_p = long_run;</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;                RHX = <a class="code" href="classSVF_1_1CFGNormalizer.html#a8afa1e5a38fd981a3799053e20fa6048">check_head</a>(new_grammar, long_run);</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;                <span class="keywordflow">if</span> (<span class="keywordtype">int</span>(RHX) == -1){</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;                    RHX = <a class="code" href="classSVF_1_1CFGNormalizer.html#a8afa1e5a38fd981a3799053e20fa6048">check_head</a>(generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>, long_run);</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;                }</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;                <span class="keywordflow">if</span>(<span class="keywordtype">int</span>(RHX) == -1){</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;                    tempStr = <span class="stringliteral">&quot;X&quot;</span>;</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;                    std::ostringstream ss;</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;                    ss &lt;&lt; grammar-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a29d757bc4f0d236f421e332e51fe6d8b">num_generator</a>();</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;                    tempStr.append(ss.str());</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;                    <a class="code" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">Symbol</a> tempSym = grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a>(tempStr);</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;                    <span class="keyword">auto</span> it = new_grammar[X].find(prev_rule);</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;                    new_grammar[X].erase(it);</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;                    new_grammar[X].insert({first, tempSym});</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;                    new_grammar[tempSym].insert(long_run); </div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;                    RHX = tempSym;</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;            }</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;</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">auto</span> new_head : new_grammar){</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">auto</span> prod : new_head.second){</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;                    <span class="keyword">auto</span> it = generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[new_head.first].find(prod);</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;                    <span class="keywordflow">if</span> (it == generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[new_head.first].end()) {</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;                        generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[new_head.first].insert(prod);</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;                }</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;            }</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        }</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;}</div><div class="ttc" id="classSVF_1_1GrammarBase_html_a05ea6937c8afaa20914ec47c10452a95"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">SVF::GrammarBase::rawProductions</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; rawProductions</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00056">CFLGrammar.h:56</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00106">SVFBasicTypes.h:106</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_a29d757bc4f0d236f421e332e51fe6d8b"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a29d757bc4f0d236f421e332e51fe6d8b">SVF::CFLGrammar::num_generator</a></div><div class="ttdeci">int num_generator()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00118">CFLGrammar.h:118</a></div></div>
+<div class="ttc" id="classSVF_1_1CFGNormalizer_html_a4df66b45b07b7e3dc5bcc839188bd70f"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">SVF::CFGNormalizer::Symbol</a></div><div class="ttdeci">u32_t Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00044">CFGNormalizer.h:44</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a63389968c8d246a84562a8d17e08790b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">SVF::GrammarBase::insertNonTerminalSymbol</a></div><div class="ttdeci">Symbol insertNonTerminalSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00086">CFLGrammar.cpp:86</a></div></div>
+<div class="ttc" id="classSVF_1_1CFGNormalizer_html_a8afa1e5a38fd981a3799053e20fa6048"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a8afa1e5a38fd981a3799053e20fa6048">SVF::CFGNormalizer::check_head</a></div><div class="ttdeci">int check_head(Map&lt; Symbol, Productions &gt; &amp;grammar, Production &amp;rule)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00320">CFGNormalizer.cpp:320</a></div></div>
+<div class="ttc" id="classSVF_1_1CFGNormalizer_html_ad7798c3c356f20bb8af18e1a0916da41"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">SVF::CFGNormalizer::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00045">CFGNormalizer.h:45</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ab4560966c58d22d1d1c4a40499c41fca"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab4560966c58d22d1d1c4a40499c41fca">&#9670;&nbsp;</a></span>ebnf_bracket_match()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">int CFGNormalizer::ebnf_bracket_match </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> &amp;&#160;</td>
+          <td class="paramname"><em>prod</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">int&#160;</td>
+          <td class="paramname"><em>i</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *&#160;</td>
+          <td class="paramname"><em>grammar</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">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFGNormalizer_8cpp_source.html#l00216">216</a> of file <a class="el" href="CFGNormalizer_8cpp_source.html">CFGNormalizer.cpp</a>.</p>
+<div class="fragment"><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;    <span class="keywordtype">int</span> index = i;</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;    <span class="keywordflow">while</span> (index &gt;= 0)</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;        <span class="keywordflow">if</span> (grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e">sym2Str</a>(prod[index]) == <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="keywordflow">return</span> index;</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;        }</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;        index--;</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;    }</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;}</div><div class="ttc" id="classSVF_1_1GrammarBase_html_a3638a17caf8596a826b419ec5bc4df2e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e">SVF::GrammarBase::sym2Str</a></div><div class="ttdeci">std::string sym2Str(Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00049">CFLGrammar.cpp:49</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a4881d0ba187a0a9ddce61acaea33af0e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4881d0ba187a0a9ddce61acaea33af0e">&#9670;&nbsp;</a></span>ebnf_sign_replace()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void CFGNormalizer::ebnf_sign_replace </td>
+          <td>(</td>
+          <td class="paramtype">char&#160;</td>
+          <td class="paramname"><em>sign</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *&#160;</td>
+          <td class="paramname"><em>generalGrammar</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *&#160;</td>
+          <td class="paramname"><em>grammar</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">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFGNormalizer_8cpp_source.html#l00230">230</a> of file <a class="el" href="CFGNormalizer_8cpp_source.html">CFGNormalizer.cpp</a>.</p>
+<div class="fragment"><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;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map&lt;std::string, std::string&gt;</a> new_rule_checker;</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    std::string X = <span class="stringliteral">&quot;X&quot;</span>;</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> ebnfHead : generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>)</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;        <span class="keywordflow">for</span> (<span class="keyword">auto</span> ebnfProd : ebnfHead.second)</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        {</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;            <span class="keywordtype">size_t</span> i = 1;</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;            <span class="keywordflow">while</span> (i &lt; ebnfProd.size())</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;            {</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;                <span class="keywordtype">int</span> repetition_start = -1;</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;                <span class="keywordflow">if</span> (grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e">sym2Str</a>(ebnfProd[i]) == std::string(1, sign))</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;                {</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;                    <span class="keywordflow">if</span> (i == 1)</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;                    {</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;                        <span class="comment">// abort(&quot;EBNF Form is not correct&quot;);</span></div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;                        std::cout &lt;&lt; <span class="stringliteral">&quot;wr&quot;</span>;</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;                    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e">sym2Str</a>(ebnfProd[i - 1]) != std::string(1, <span class="charliteral">&#39;)&#39;</span>))</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;                    {</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;                        repetition_start = i - 1;</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;                    }</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;                    <span class="keywordflow">else</span></div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;                    {</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;                        repetition_start = <a class="code" href="classSVF_1_1CFGNormalizer.html#ab4560966c58d22d1d1c4a40499c41fca">ebnf_bracket_match</a>(ebnfProd, i, grammar);</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;                    std::string repetition = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;                    <span class="keywordflow">for</span> (<span class="keywordtype">size_t</span> j = repetition_start; j &lt; i; j++)</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;                    {</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;                        repetition.append(grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e">sym2Str</a>(ebnfProd[j]));</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;                        repetition.append(<span class="stringliteral">&quot; &quot;</span>);</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;                    }</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;                    repetition.append(grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e">sym2Str</a>(ebnfProd[i]));</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;                    <span class="keywordflow">if</span> (new_rule_checker.find(repetition) != new_rule_checker.end())</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;                    {</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;                        ebnfProd.erase(ebnfProd.begin() + repetition_start, ebnfProd.begin() + i + 1);</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;                        ebnfProd.insert(ebnfProd.begin() + repetition_start, grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(new_rule_checker[repetition]));</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;                    }</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;                    <span class="keywordflow">else</span></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;                        X = <span class="stringliteral">&quot;X&quot;</span>;</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;                        std::ostringstream ss;</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;                        ss &lt;&lt; grammar-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a29d757bc4f0d236f421e332e51fe6d8b">num_generator</a>();</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;                        X.append(ss.str());</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;                        <a class="code" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">Symbol</a> tempSym = grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a>(X);</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;                        ebnfProd.erase(ebnfProd.begin() + repetition_start, ebnfProd.begin() + i + 1);</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;                        ebnfProd.insert(ebnfProd.begin() + repetition_start, tempSym);</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;                        new_rule_checker[repetition] = X;</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;                    }</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;                    i = repetition_start;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;                }</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;                i++;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;            }</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        }</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;    <span class="keywordflow">for</span>(<span class="keyword">auto</span> rep: new_rule_checker){</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <a class="code" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> temp_list = {};</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        std::string new_nonterminal = rep.second;</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <span class="keywordflow">if</span> (sign == <span class="charliteral">&#39;*&#39;</span>){</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;            temp_list.push_back(grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(new_nonterminal)); </div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;        } </div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;        <a class="code" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> temp_p = <a class="code" href="classSVF_1_1CFGNormalizer.html#a2711dbd73fa56bc9d17f8caeca109680">strTrans</a>(rep.second, grammar);</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;        temp_list.insert(temp_list.end(), temp_p.begin(),temp_p.end());</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;        temp_list.insert(temp_list.begin(), grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(<span class="stringliteral">&quot;epsilon&quot;</span>));</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;        generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(new_nonterminal)].insert(temp_list);</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;    }</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="ttc" id="classSVF_1_1GrammarBase_html_a05ea6937c8afaa20914ec47c10452a95"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">SVF::GrammarBase::rawProductions</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; rawProductions</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00056">CFLGrammar.h:56</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_ada4387512b2e18555b4c309580d4dba6"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">SVF::GrammarBase::str2Sym</a></div><div class="ttdeci">Symbol str2Sym(std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00035">CFLGrammar.cpp:35</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00106">SVFBasicTypes.h:106</a></div></div>
+<div class="ttc" id="classSVF_1_1CFGNormalizer_html_ab4560966c58d22d1d1c4a40499c41fca"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ab4560966c58d22d1d1c4a40499c41fca">SVF::CFGNormalizer::ebnf_bracket_match</a></div><div class="ttdeci">int ebnf_bracket_match(Production &amp;prod, int i, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00216">CFGNormalizer.cpp:216</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_a29d757bc4f0d236f421e332e51fe6d8b"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a29d757bc4f0d236f421e332e51fe6d8b">SVF::CFLGrammar::num_generator</a></div><div class="ttdeci">int num_generator()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00118">CFLGrammar.h:118</a></div></div>
+<div class="ttc" id="classSVF_1_1CFGNormalizer_html_a4df66b45b07b7e3dc5bcc839188bd70f"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">SVF::CFGNormalizer::Symbol</a></div><div class="ttdeci">u32_t Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00044">CFGNormalizer.h:44</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a63389968c8d246a84562a8d17e08790b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">SVF::GrammarBase::insertNonTerminalSymbol</a></div><div class="ttdeci">Symbol insertNonTerminalSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00086">CFLGrammar.cpp:86</a></div></div>
+<div class="ttc" id="classSVF_1_1CFGNormalizer_html_ad7798c3c356f20bb8af18e1a0916da41"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">SVF::CFGNormalizer::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00045">CFGNormalizer.h:45</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a3638a17caf8596a826b419ec5bc4df2e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e">SVF::GrammarBase::sym2Str</a></div><div class="ttdeci">std::string sym2Str(Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00049">CFLGrammar.cpp:49</a></div></div>
+<div class="ttc" id="classSVF_1_1CFGNormalizer_html_a2711dbd73fa56bc9d17f8caeca109680"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a2711dbd73fa56bc9d17f8caeca109680">SVF::CFGNormalizer::strTrans</a></div><div class="ttdeci">Production strTrans(std::string strPro, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00300">CFGNormalizer.cpp:300</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ae8e2b22944e9d3d2ec14cd6aaa8b93c9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">&#9670;&nbsp;</a></span>normalize()</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> * CFGNormalizer::normalize </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *&#160;</td>
+          <td class="paramname"><em>generalGrammar</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>Start Normalize (BIN Only) </p>
+<p class="definition">Definition at line <a class="el" href="CFGNormalizer_8cpp_source.html#l00082">82</a> of file <a class="el" href="CFGNormalizer_8cpp_source.html">CFGNormalizer.cpp</a>.</p>
+<div class="fragment"><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;    <span class="comment">/*</span></div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;<span class="comment">    ebnf_sign_replace(&#39;*&#39;);</span></div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;<span class="comment">    ebnf_sign_replace(&#39;?&#39;);</span></div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;<span class="comment">    */</span></div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>();</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53">startSymbol</a> = generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53">startSymbol</a>;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a> = generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a>;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a> = generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a> = generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a>;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    <a class="code" href="classSVF_1_1CFGNormalizer.html#a36b54b0f4c8c7af810df384ace76cbb2">ebnf_bin</a>(generalGrammar, grammar);</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;    <span class="keywordflow">for</span>(<span class="keyword">auto</span> symProdsPair: generalGrammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>){</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        <span class="keywordflow">for</span>(<span class="keyword">auto</span> prod: symProdsPair.second){</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            <a class="code" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a> tempP = prod;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;            tempP.insert(tempP.begin(), symProdsPair.first);</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;            <span class="keywordflow">if</span> (prod.size() == 1){</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;                <span class="keywordflow">if</span> ((std::find(tempP.begin(), tempP.end(), grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(<span class="stringliteral">&quot;epsilon&quot;</span>)) != tempP.end()))</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;                    <span class="keywordflow">if</span> (std::find(grammar-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a2cc6beafd16acba439bc748287b598fa">epsilonProds</a>.begin(), grammar-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a2cc6beafd16acba439bc748287b598fa">epsilonProds</a>.end(), tempP) == grammar-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a2cc6beafd16acba439bc748287b598fa">epsilonProds</a>.end())</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;                        grammar-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a2cc6beafd16acba439bc748287b598fa">epsilonProds</a>.insert(tempP);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;                }</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;                grammar-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">singleRHS2Prods</a>[tempP[1]].insert(tempP);</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> (prod.size() == 2){</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;                grammar-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">firstRHS2Prods</a>[tempP[1]].insert(tempP);</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;                grammar-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73">secondRHS2Prods</a>[tempP[2]].insert(tempP);</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;        }</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    }</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;    <span class="keywordflow">return</span> grammar;</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;}</div><div class="ttc" id="classSVF_1_1GrammarBase_html_a05ea6937c8afaa20914ec47c10452a95"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">SVF::GrammarBase::rawProductions</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; rawProductions</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00056">CFLGrammar.h:56</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00059">CFLGrammar.h:59</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_a2cc6beafd16acba439bc748287b598fa"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a2cc6beafd16acba439bc748287b598fa">SVF::CFLGrammar::epsilonProds</a></div><div class="ttdeci">Set&lt; Production &gt; epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00062">CFLGrammar.h:62</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_acd866f3392952d7d71b51ca21b7e1c91"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00063">CFLGrammar.h:63</a></div></div>
+<div class="ttc" id="classSVF_1_1CFGNormalizer_html_a36b54b0f4c8c7af810df384ace76cbb2"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a36b54b0f4c8c7af810df384ace76cbb2">SVF::CFGNormalizer::ebnf_bin</a></div><div class="ttdeci">void ebnf_bin(GrammarBase *generalGrammar, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00116">CFGNormalizer.cpp:116</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_ac17dee194615cc9f7861375f033aaa8e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">SVF::GrammarBase::totalSymbol</a></div><div class="ttdeci">Symbol totalSymbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00055">CFLGrammar.h:55</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_ada4387512b2e18555b4c309580d4dba6"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">SVF::GrammarBase::str2Sym</a></div><div class="ttdeci">Symbol str2Sym(std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00035">CFLGrammar.cpp:35</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_ab83b803c3407a5776bd28c076c030968"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00064">CFLGrammar.h:64</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a48c738beefe73184f7aed8b1ed5afb53"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53">SVF::GrammarBase::startSymbol</a></div><div class="ttdeci">Symbol startSymbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00054">CFLGrammar.h:54</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_af9e8e7bf4239a04002ff41885f9e5e91"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">SVF::GrammarBase::terminals</a></div><div class="ttdeci">Map&lt; std::string, Symbol &gt; terminals</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00040">CFLGrammar.h:40</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a42edb89b4d782bfae800842f90da09ff"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">SVF::GrammarBase::nonterminals</a></div><div class="ttdeci">Map&lt; std::string, Symbol &gt; nonterminals</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00041">CFLGrammar.h:41</a></div></div>
+<div class="ttc" id="classSVF_1_1CFGNormalizer_html_ad7798c3c356f20bb8af18e1a0916da41"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">SVF::CFGNormalizer::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00045">CFGNormalizer.h:45</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_aa85341b1bac9f80780417c83b83b9f73"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73">SVF::CFLGrammar::secondRHS2Prods</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00065">CFLGrammar.h:65</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a2711dbd73fa56bc9d17f8caeca109680"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2711dbd73fa56bc9d17f8caeca109680">&#9670;&nbsp;</a></span>strTrans()</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_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">CFGNormalizer::Production</a> CFGNormalizer::strTrans </td>
+          <td>(</td>
+          <td class="paramtype">std::string&#160;</td>
+          <td class="paramname"><em>strPro</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *&#160;</td>
+          <td class="paramname"><em>grammar</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">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFGNormalizer_8cpp_source.html#l00300">300</a> of file <a class="el" href="CFGNormalizer_8cpp_source.html">CFGNormalizer.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;                                                                                 {</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;    <a class="code" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">Production</a>  prod = {};</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;    std::smatch matches;</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;    std::regex LHSReg(<span class="stringliteral">&quot;\\s*(.*)&quot;</span>);</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;    std::string delimiter;</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;    <span class="keywordtype">size_t</span> pos;</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;    std::string word;</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;    std::regex_search(LHS, matches, LHSReg);</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    LHS = matches.str(1);</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;    delimiter = <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    <span class="keywordflow">while</span> ((pos = LHS.find(delimiter)) != std::string::npos)</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;    {</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;        word = LHS.substr(0, pos);</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        LHS.erase(0, pos + delimiter.length());</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;        prod.push_back(grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(word));</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    }</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;    prod.push_back(grammar-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(LHS));</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    <span class="keywordflow">return</span> prod;</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;}</div><div class="ttc" id="classSVF_1_1GrammarBase_html_ada4387512b2e18555b4c309580d4dba6"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">SVF::GrammarBase::str2Sym</a></div><div class="ttdeci">Symbol str2Sym(std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00035">CFLGrammar.cpp:35</a></div></div>
+<div class="ttc" id="classSVF_1_1CFGNormalizer_html_ad7798c3c356f20bb8af18e1a0916da41"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">SVF::CFGNormalizer::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00045">CFGNormalizer.h:45</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<hr/>The documentation for this class was generated from the following files:<ul>
+<li>/home/runner/work/SVF/SVF/include/CFL/<a class="el" href="CFGNormalizer_8h_source.html">CFGNormalizer.h</a></li>
+<li>/home/runner/work/SVF/SVF/lib/CFL/<a class="el" href="CFGNormalizer_8cpp_source.html">CFGNormalizer.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>