svf-tools 1.0.564 → 1.0.565

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 (79) hide show
  1. package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +1 -2
  2. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +11 -10
  3. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +10 -9
  4. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +37 -37
  5. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -2
  6. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -2
  7. package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
  8. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -2
  9. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -2
  10. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +37 -138
  11. package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
  12. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -2
  13. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
  14. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
  15. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  16. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  17. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  18. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
  19. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +12 -11
  20. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +63 -28
  21. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
  22. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +7 -10
  23. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +12 -12
  24. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -2
  25. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +1 -1
  26. package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +2 -3
  27. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +2 -2
  28. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +1 -1
  29. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  30. package/SVF-doxygen/html/html/functions_b.html +12 -9
  31. package/SVF-doxygen/html/html/functions_func_b.html +5 -2
  32. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  33. package/SVF-doxygen/html/html/functions_i.html +3 -3
  34. package/SVF-doxygen/html/html/functions_l.html +6 -6
  35. package/SVF-doxygen/html/html/functions_o.html +3 -3
  36. package/SVF-doxygen/html/html/functions_p.html +14 -14
  37. package/SVF-doxygen/html/html/functions_s.html +7 -7
  38. package/SVF-doxygen/html/html/functions_w.html +11 -11
  39. package/SVF-doxygen/html/html/globals_a.html +0 -1
  40. package/SVF-doxygen/html/html/globals_c.html +5 -6
  41. package/SVF-doxygen/html/html/globals_e.html +0 -1
  42. package/SVF-doxygen/html/html/globals_f.html +2 -3
  43. package/SVF-doxygen/html/html/globals_func.html +3 -0
  44. package/SVF-doxygen/html/html/globals_g.html +5 -7
  45. package/SVF-doxygen/html/html/globals_m.html +3 -6
  46. package/SVF-doxygen/html/html/globals_vars.html +10 -19
  47. package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
  48. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
  49. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +4 -4
  50. package/SVF-doxygen/html/html/search/all_1.js +1 -1
  51. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  52. package/SVF-doxygen/html/html/search/all_11.js +1 -1
  53. package/SVF-doxygen/html/html/search/all_12.js +8 -8
  54. package/SVF-doxygen/html/html/search/all_13.js +4 -4
  55. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  56. package/SVF-doxygen/html/html/search/all_2.js +1 -0
  57. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  58. package/SVF-doxygen/html/html/search/all_5.js +1 -1
  59. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  60. package/SVF-doxygen/html/html/search/all_7.js +4 -4
  61. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  62. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  63. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  64. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  65. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  66. package/SVF-doxygen/html/html/search/functions_1.js +1 -0
  67. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  68. package/SVF-doxygen/html/html/search/functions_5.js +1 -0
  69. package/SVF-doxygen/html/html/search/variables_1.js +1 -1
  70. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  71. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  72. package/SVF-doxygen/html/html/search/variables_5.js +1 -1
  73. package/SVF-doxygen/html/html/search/variables_6.js +2 -2
  74. package/SVF-doxygen/html/html/search/variables_7.js +4 -4
  75. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  76. package/include/CFL/CFGNormalizer.h +3 -1
  77. package/include/CFL/PEGGrammar.txt +5 -18
  78. package/lib/CFL/CFGNormalizer.cpp +57 -6
  79. package/package.json +1 -1
package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html CHANGED
@@ -66,31 +66,32 @@ $(function() {
66
66
  <div class="title">CFGNormalizer.h</div> </div>
67
67
  </div><!--header-->
68
68
  <div class="contents">
69
- <a href="CFGNormalizer_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="comment">//===----- CFGNormalizer.h -- Context Free Grammar Normalizer--------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;<span class="comment">// SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-&gt; &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;<span class="comment">// along with this program. If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;<span class="comment"> * CFGNormalizer.h</span></div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;<span class="comment"> * Created on: April 19 , 2022</span></div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="comment"> * Author: Pei Xu</span></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="preprocessor">#ifndef INCLUDE_CFL_CFGNORMALIZER_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#define INCLUDE_CFL_CFGNORMALIZER_H_</span></div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFLGrammar_8h.html">CFLGrammar.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="namespaceSVF.html"> 35</a></span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;{</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html"> 47</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1CFGNormalizer.html">CFGNormalizer</a></div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160;{</div><div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3"> 51</a></span>&#160; <a class="code" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">CFGNormalizer</a>()</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; }</div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* <a class="code" href="classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">normalize</a>(<a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *generalGrammar);</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* <a class="code" href="classSVF_1_1CFGNormalizer.html#aec174ad01529a195b710b2f628f9c0d6">fillAttribute</a>(<a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a>, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;CFLGrammar::Attribute&gt;</a>&gt;&amp; kind2AttrsMap);</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160;</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#a8906f8bfe0a4a431f355b825f15efbe0">ebnf_bin</a>(<a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar);</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#a37f4a6a11af608439596752d20667648">ebnfSignReplace</a>(<span class="keywordtype">char</span> sign, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar);</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950">insertToCFLGrammar</a>(<a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar, <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &amp;prod);</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#a8eddaa57527c0e5e538b1d207da7adc0">ebnfBracketMatch</a>(<a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a>&amp; prod, <span class="keywordtype">int</span> i, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar) ;</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160;</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a> <a class="code" href="classSVF_1_1CFGNormalizer.html#afe01de5c8333e4ba436adbdc0e99e3cc">check_head</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">GrammarBase::SymbolMap&lt;GrammarBase::Symbol, GrammarBase::Productions&gt;</a>&amp; grammar, <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a>&amp; rule);</div><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; <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> <a class="code" href="classSVF_1_1CFGNormalizer.html#adbd98b8ece3c8234d5791fab47dcdbf9">strTrans</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strPro, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar);</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> <a class="code" href="classSVF_1_1CFGNormalizer.html#ab5c5efbb72cf018885e026be65c92fdf">getFilledProd</a>(<a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &amp;prod, <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFLGrammar::Attribute</a> attribute, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar);</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160;</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">GrammarBase::Productions</a> <a class="code" href="classSVF_1_1CFGNormalizer.html#ae5932d3d9330e28e5fa89402a5f5ff33">getFilledProductions</a>(<a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &amp;prod,<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a>, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;CFLGrammar::Attribute&gt;</a>&gt;&amp; kind2AttriMap, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar);</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160;};</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160;</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160;} <span class="comment">// End namespace SVF</span></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;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_CFL_CFGNORMALIZER_H_*/</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1CFGNormalizer_html_ab5c5efbb72cf018885e026be65c92fdf"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ab5c5efbb72cf018885e026be65c92fdf">SVF::CFGNormalizer::getFilledProd</a></div><div class="ttdeci">GrammarBase::Production getFilledProd(GrammarBase::Production &amp;prod, CFLGrammar::Attribute attribute, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00222">CFGNormalizer.cpp:222</a></div></div>
69
+ <a href="CFGNormalizer_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="comment">//===----- CFGNormalizer.h -- Context Free Grammar Normalizer--------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;<span class="comment">// SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-&gt; &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;<span class="comment">// along with this program. If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;<span class="comment"> * CFGNormalizer.h</span></div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;<span class="comment"> * Created on: April 19 , 2022</span></div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="comment"> * Author: Pei Xu</span></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="preprocessor">#ifndef INCLUDE_CFL_CFGNORMALIZER_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#define INCLUDE_CFL_CFGNORMALIZER_H_</span></div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFLGrammar_8h.html">CFLGrammar.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="namespaceSVF.html"> 35</a></span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;{</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html"> 47</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1CFGNormalizer.html">CFGNormalizer</a></div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160;{</div><div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3"> 51</a></span>&#160; <a class="code" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">CFGNormalizer</a>()</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; }</div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* <a class="code" href="classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">normalize</a>(<a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *generalGrammar);</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* <a class="code" href="classSVF_1_1CFGNormalizer.html#aec174ad01529a195b710b2f628f9c0d6">fillAttribute</a>(<a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a>, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;CFLGrammar::Attribute&gt;</a>&gt;&amp; kind2AttrsMap);</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160;</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#a8906f8bfe0a4a431f355b825f15efbe0">ebnf_bin</a>(<a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar);</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#a37f4a6a11af608439596752d20667648">ebnfSignReplace</a>(<span class="keywordtype">char</span> sign, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar);</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#ad56aa4b7f6eba0c873ea18f83c398bc5">barReplace</a>(<a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar);</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950">insertToCFLGrammar</a>(<a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar, <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &amp;prod);</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160;</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#a8eddaa57527c0e5e538b1d207da7adc0">ebnfBracketMatch</a>(<a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a>&amp; prod, <span class="keywordtype">int</span> i, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar) ;</div><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; <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a> <a class="code" href="classSVF_1_1CFGNormalizer.html#afe01de5c8333e4ba436adbdc0e99e3cc">check_head</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">GrammarBase::SymbolMap&lt;GrammarBase::Symbol, GrammarBase::Productions&gt;</a>&amp; grammar, <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a>&amp; rule);</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> <a class="code" href="classSVF_1_1CFGNormalizer.html#adbd98b8ece3c8234d5791fab47dcdbf9">strTrans</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strPro, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar);</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160;</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> <a class="code" href="classSVF_1_1CFGNormalizer.html#ab5c5efbb72cf018885e026be65c92fdf">getFilledProd</a>(<a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &amp;prod, <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFLGrammar::Attribute</a> attribute, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar);</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">GrammarBase::Productions</a> <a class="code" href="classSVF_1_1CFGNormalizer.html#ae5932d3d9330e28e5fa89402a5f5ff33">getFilledProductions</a>(<a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &amp;prod,<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a>, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;CFLGrammar::Attribute&gt;</a>&gt;&amp; kind2AttriMap, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *grammar);</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160;};</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;} <span class="comment">// End namespace SVF</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;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_CFL_CFGNORMALIZER_H_*/</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1CFGNormalizer_html_ab5c5efbb72cf018885e026be65c92fdf"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ab5c5efbb72cf018885e026be65c92fdf">SVF::CFGNormalizer::getFilledProd</a></div><div class="ttdeci">GrammarBase::Production getFilledProd(GrammarBase::Production &amp;prod, CFLGrammar::Attribute attribute, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00223">CFGNormalizer.cpp:223</a></div></div>
70
70
  <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#l00275">CFLGrammar.h:275</a></div></div>
71
- <div class="ttc" id="classSVF_1_1CFGNormalizer_html_ad08f183a1b8ca69201f965f224e92950"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950">SVF::CFGNormalizer::insertToCFLGrammar</a></div><div class="ttdeci">void insertToCFLGrammar(CFLGrammar *grammar, GrammarBase::Production &amp;prod)</div><div class="ttdoc">Based on prod size to add on suitable member field of grammar. </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00441">CFGNormalizer.cpp:441</a></div></div>
71
+ <div class="ttc" id="classSVF_1_1CFGNormalizer_html_ad08f183a1b8ca69201f965f224e92950"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950">SVF::CFGNormalizer::insertToCFLGrammar</a></div><div class="ttdeci">void insertToCFLGrammar(CFLGrammar *grammar, GrammarBase::Production &amp;prod)</div><div class="ttdoc">Based on prod size to add on suitable member field of grammar. </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00492">CFGNormalizer.cpp:492</a></div></div>
72
72
  <div class="ttc" id="classSVF_1_1CFGNormalizer_html_ae8e2b22944e9d3d2ec14cd6aaa8b93c9"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">SVF::CFGNormalizer::normalize</a></div><div class="ttdeci">CFLGrammar * normalize(GrammarBase *generalGrammar)</div><div class="ttdoc">Binary Normal Form(BNF) normalization with variable attribute expanded. </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00042">CFGNormalizer.cpp:42</a></div></div>
73
73
  <div class="ttc" id="classSVF_1_1GrammarBase_html_a4405933cc8ed8cf30b98ee16fc14c112"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SVF::GrammarBase::SymbolMap</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; SymbolMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00150">CFLGrammar.h:150</a></div></div>
74
74
  <div class="ttc" id="classSVF_1_1GrammarBase_html_a755024745a77509d2f07867be8245a4d"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">SVF::GrammarBase::Productions</a></div><div class="ttdeci">SymbolSet&lt; Production &gt; Productions</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00157">CFLGrammar.h:157</a></div></div>
75
75
  <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#l00110">SVFBasicTypes.h:110</a></div></div>
76
76
  <div class="ttc" id="classSVF_1_1CFGNormalizer_html_ab1c19d6347ed694f52ded7defafeffe3"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">SVF::CFGNormalizer::CFGNormalizer</a></div><div class="ttdeci">CFGNormalizer()</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00051">CFGNormalizer.h:51</a></div></div>
77
- <div class="ttc" id="classSVF_1_1CFGNormalizer_html_a8906f8bfe0a4a431f355b825f15efbe0"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a8906f8bfe0a4a431f355b825f15efbe0">SVF::CFGNormalizer::ebnf_bin</a></div><div class="ttdeci">void ebnf_bin(CFLGrammar *grammar)</div><div class="ttdoc">Add nonterminal to tranfer long rules to binary rules. </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00081">CFGNormalizer.cpp:81</a></div></div>
77
+ <div class="ttc" id="classSVF_1_1CFGNormalizer_html_a8906f8bfe0a4a431f355b825f15efbe0"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a8906f8bfe0a4a431f355b825f15efbe0">SVF::CFGNormalizer::ebnf_bin</a></div><div class="ttdeci">void ebnf_bin(CFLGrammar *grammar)</div><div class="ttdoc">Add nonterminal to tranfer long rules to binary rules. </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00082">CFGNormalizer.cpp:82</a></div></div>
78
78
  <div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00105">SVFBasicTypes.h:105</a></div></div>
79
79
  <div class="ttc" id="classSVF_1_1CFGNormalizer_html"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html">SVF::CFGNormalizer</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00047">CFGNormalizer.h:47</a></div></div>
80
- <div class="ttc" id="classSVF_1_1CFGNormalizer_html_aec174ad01529a195b710b2f628f9c0d6"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#aec174ad01529a195b710b2f628f9c0d6">SVF::CFGNormalizer::fillAttribute</a></div><div class="ttdeci">CFLGrammar * fillAttribute(CFLGrammar *grammar, const Map&lt; CFLGrammar::Kind, Set&lt; CFLGrammar::Attribute &gt;&gt; &amp;kind2AttrsMap)</div><div class="ttdoc">Expand every variable attribute in rawProductions of grammarbase. </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00060">CFGNormalizer.cpp:60</a></div></div>
80
+ <div class="ttc" id="classSVF_1_1CFGNormalizer_html_aec174ad01529a195b710b2f628f9c0d6"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#aec174ad01529a195b710b2f628f9c0d6">SVF::CFGNormalizer::fillAttribute</a></div><div class="ttdeci">CFLGrammar * fillAttribute(CFLGrammar *grammar, const Map&lt; CFLGrammar::Kind, Set&lt; CFLGrammar::Attribute &gt;&gt; &amp;kind2AttrsMap)</div><div class="ttdoc">Expand every variable attribute in rawProductions of grammarbase. </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00061">CFGNormalizer.cpp:61</a></div></div>
81
81
  <div class="ttc" id="classSVF_1_1GrammarBase_html_ab070e5449d26e347b957d8b994d0303f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">SVF::GrammarBase::Attribute</a></div><div class="ttdeci">u32_t Attribute</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00040">CFLGrammar.h:40</a></div></div>
82
+ <div class="ttc" id="classSVF_1_1CFGNormalizer_html_ad56aa4b7f6eba0c873ea18f83c398bc5"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ad56aa4b7f6eba0c873ea18f83c398bc5">SVF::CFGNormalizer::barReplace</a></div><div class="ttdeci">void barReplace(CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00313">CFGNormalizer.cpp:313</a></div></div>
82
83
  <div class="ttc" id="CFLGrammar_8h_html"><div class="ttname"><a href="CFLGrammar_8h.html">CFLGrammar.h</a></div></div>
83
84
  <div class="ttc" id="classSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00036">CFLGrammar.h:36</a></div></div>
84
85
  <div class="ttc" id="classSVF_1_1GrammarBase_html_af384c960a5edc576cbfb60a869e346ec"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00156">CFLGrammar.h:156</a></div></div>
85
86
  <div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00042">CFLGrammar.h:42</a></div></div>
86
87
  <div class="ttc" id="classSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00039">CFLGrammar.h:39</a></div></div>
87
88
  <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
88
- <div class="ttc" id="classSVF_1_1CFGNormalizer_html_afe01de5c8333e4ba436adbdc0e99e3cc"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#afe01de5c8333e4ba436adbdc0e99e3cc">SVF::CFGNormalizer::check_head</a></div><div class="ttdeci">GrammarBase::Symbol check_head(GrammarBase::SymbolMap&lt; GrammarBase::Symbol, GrammarBase::Productions &gt; &amp;grammar, GrammarBase::Production &amp;rule)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00424">CFGNormalizer.cpp:424</a></div></div>
89
- <div class="ttc" id="classSVF_1_1CFGNormalizer_html_adbd98b8ece3c8234d5791fab47dcdbf9"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#adbd98b8ece3c8234d5791fab47dcdbf9">SVF::CFGNormalizer::strTrans</a></div><div class="ttdeci">GrammarBase::Production strTrans(std::string strPro, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00403">CFGNormalizer.cpp:403</a></div></div>
90
- <div class="ttc" id="classSVF_1_1CFGNormalizer_html_ae5932d3d9330e28e5fa89402a5f5ff33"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ae5932d3d9330e28e5fa89402a5f5ff33">SVF::CFGNormalizer::getFilledProductions</a></div><div class="ttdeci">GrammarBase::Productions getFilledProductions(GrammarBase::Production &amp;prod, const Map&lt; CFLGrammar::Kind, Set&lt; CFLGrammar::Attribute &gt;&gt; &amp;kind2AttriMap, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00239">CFGNormalizer.cpp:239</a></div></div>
89
+ <div class="ttc" id="classSVF_1_1CFGNormalizer_html_afe01de5c8333e4ba436adbdc0e99e3cc"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#afe01de5c8333e4ba436adbdc0e99e3cc">SVF::CFGNormalizer::check_head</a></div><div class="ttdeci">GrammarBase::Symbol check_head(GrammarBase::SymbolMap&lt; GrammarBase::Symbol, GrammarBase::Productions &gt; &amp;grammar, GrammarBase::Production &amp;rule)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00475">CFGNormalizer.cpp:475</a></div></div>
90
+ <div class="ttc" id="classSVF_1_1CFGNormalizer_html_adbd98b8ece3c8234d5791fab47dcdbf9"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#adbd98b8ece3c8234d5791fab47dcdbf9">SVF::CFGNormalizer::strTrans</a></div><div class="ttdeci">GrammarBase::Production strTrans(std::string strPro, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00454">CFGNormalizer.cpp:454</a></div></div>
91
+ <div class="ttc" id="classSVF_1_1CFGNormalizer_html_ae5932d3d9330e28e5fa89402a5f5ff33"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ae5932d3d9330e28e5fa89402a5f5ff33">SVF::CFGNormalizer::getFilledProductions</a></div><div class="ttdeci">GrammarBase::Productions getFilledProductions(GrammarBase::Production &amp;prod, const Map&lt; CFLGrammar::Kind, Set&lt; CFLGrammar::Attribute &gt;&gt; &amp;kind2AttriMap, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00240">CFGNormalizer.cpp:240</a></div></div>
91
92
  <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
92
- <div class="ttc" id="classSVF_1_1CFGNormalizer_html_a37f4a6a11af608439596752d20667648"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a37f4a6a11af608439596752d20667648">SVF::CFGNormalizer::ebnfSignReplace</a></div><div class="ttdeci">void ebnfSignReplace(char sign, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00312">CFGNormalizer.cpp:312</a></div></div>
93
- <div class="ttc" id="classSVF_1_1CFGNormalizer_html_a8eddaa57527c0e5e538b1d207da7adc0"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a8eddaa57527c0e5e538b1d207da7adc0">SVF::CFGNormalizer::ebnfBracketMatch</a></div><div class="ttdeci">int ebnfBracketMatch(GrammarBase::Production &amp;prod, int i, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00298">CFGNormalizer.cpp:298</a></div></div>
93
+ <div class="ttc" id="classSVF_1_1CFGNormalizer_html_a37f4a6a11af608439596752d20667648"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a37f4a6a11af608439596752d20667648">SVF::CFGNormalizer::ebnfSignReplace</a></div><div class="ttdeci">void ebnfSignReplace(char sign, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00343">CFGNormalizer.cpp:343</a></div></div>
94
+ <div class="ttc" id="classSVF_1_1CFGNormalizer_html_a8eddaa57527c0e5e538b1d207da7adc0"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a8eddaa57527c0e5e538b1d207da7adc0">SVF::CFGNormalizer::ebnfBracketMatch</a></div><div class="ttdeci">int ebnfBracketMatch(GrammarBase::Production &amp;prod, int i, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00299">CFGNormalizer.cpp:299</a></div></div>
94
95
  </div><!-- fragment --></div><!-- contents -->
95
96
  <!-- start footer part -->
96
97
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/html/CFLGrammar_8txt.html CHANGED
@@ -69,40 +69,40 @@ $(function() {
69
69
  Variables</h2></td></tr>
70
70
  <tr class="memitem:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memItemLeft" align="right" valign="top">Start&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">__pad0__</a></td></tr>
71
71
  <tr class="separator:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memSeparator" colspan="2">&#160;</td></tr>
72
- <tr class="memitem:a36f63c7a581bf6d351f835c6127a2519"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">Copy</a></td></tr>
72
+ <tr class="memitem:a36f63c7a581bf6d351f835c6127a2519"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">Copy</a></td></tr>
73
73
  <tr class="separator:a36f63c7a581bf6d351f835c6127a2519"><td class="memSeparator" colspan="2">&#160;</td></tr>
74
- <tr class="memitem:ae2f9fbd0bf92e7dad02a6c5fa9323621"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1">Addr</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a></td></tr>
74
+ <tr class="memitem:ae2f9fbd0bf92e7dad02a6c5fa9323621"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a></td></tr>
75
75
  <tr class="separator:ae2f9fbd0bf92e7dad02a6c5fa9323621"><td class="memSeparator" colspan="2">&#160;</td></tr>
76
- <tr class="memitem:af3f0b3f464e928b7fc87347dc041501d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#a4459b9e008c1693c8d592cf0544912f6">Store</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d">Load</a></td></tr>
76
+ <tr class="memitem:af3f0b3f464e928b7fc87347dc041501d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a4459b9e008c1693c8d592cf0544912f6">Store</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d">Load</a></td></tr>
77
77
  <tr class="separator:af3f0b3f464e928b7fc87347dc041501d"><td class="memSeparator" colspan="2">&#160;</td></tr>
78
- <tr class="memitem:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a></td></tr>
78
+ <tr class="memitem:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a></td></tr>
79
79
  <tr class="separator:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memSeparator" colspan="2">&#160;</td></tr>
80
- <tr class="memitem:aa92a4b37b902f3a59efef16528e4f905"><td class="memItemLeft" align="right" valign="top">Fbar Copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a></td></tr>
81
- <tr class="separator:aa92a4b37b902f3a59efef16528e4f905"><td class="memSeparator" colspan="2">&#160;</td></tr>
82
- <tr class="memitem:a11ba05967682e1a34391b8c3309de1e6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a> Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">Addrbar</a></td></tr>
80
+ <tr class="memitem:afb129e761aae1ddaa005123832b88cd2"><td class="memItemLeft" align="right" valign="top">Fbar Copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">Fbar</a></td></tr>
81
+ <tr class="separator:afb129e761aae1ddaa005123832b88cd2"><td class="memSeparator" colspan="2">&#160;</td></tr>
82
+ <tr class="memitem:a11ba05967682e1a34391b8c3309de1e6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">Addrbar</a></td></tr>
83
83
  <tr class="separator:a11ba05967682e1a34391b8c3309de1e6"><td class="memSeparator" colspan="2">&#160;</td></tr>
84
- <tr class="memitem:a324fa20755f4b8f2e50e2e148f6fadbd"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a> <a class="el" href="CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a">Loadbar</a> Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a324fa20755f4b8f2e50e2e148f6fadbd">Storebar</a></td></tr>
84
+ <tr class="memitem:a324fa20755f4b8f2e50e2e148f6fadbd"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> <a class="el" href="CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a">Loadbar</a> Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a324fa20755f4b8f2e50e2e148f6fadbd">Storebar</a></td></tr>
85
85
  <tr class="separator:a324fa20755f4b8f2e50e2e148f6fadbd"><td class="memSeparator" colspan="2">&#160;</td></tr>
86
- <tr class="memitem:a00967427d1c110ffcc82ea2a966f4564"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a></td></tr>
86
+ <tr class="memitem:a00967427d1c110ffcc82ea2a966f4564"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a></td></tr>
87
87
  <tr class="separator:a00967427d1c110ffcc82ea2a966f4564"><td class="memSeparator" colspan="2">&#160;</td></tr>
88
88
  <tr class="memitem:a017fa6c558fa1eff0a13180c8340aba8"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">Addrbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</a></td></tr>
89
89
  <tr class="separator:a017fa6c558fa1eff0a13180c8340aba8"><td class="memSeparator" colspan="2">&#160;</td></tr>
90
- <tr class="memitem:af184db68cfa45428afdc186dd62e32a3"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">Gepbar_i</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">Gep_i</a></td></tr>
91
- <tr class="separator:af184db68cfa45428afdc186dd62e32a3"><td class="memSeparator" colspan="2">&#160;</td></tr>
90
+ <tr class="memitem:a653086130f70f043218d296d00529455"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a></td></tr>
91
+ <tr class="separator:a653086130f70f043218d296d00529455"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
92
  <tr class="memitem:ace8178aa913f2a15d4b3f12778dfc6f1"><td class="memItemLeft" align="right" valign="top">V Gepbarpath V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">Gep_0</a></td></tr>
93
93
  <tr class="separator:ace8178aa913f2a15d4b3f12778dfc6f1"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
- <tr class="memitem:ab5d65f36b081efc4f36dc7086db1fc2c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">Copy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ab5d65f36b081efc4f36dc7086db1fc2c">Vgep</a></td></tr>
94
+ <tr class="memitem:ab5d65f36b081efc4f36dc7086db1fc2c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">Copy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ab5d65f36b081efc4f36dc7086db1fc2c">Vgep</a></td></tr>
95
95
  <tr class="separator:ab5d65f36b081efc4f36dc7086db1fc2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
96
  <tr class="memitem:ae239ca8fb918fa812492fe369202225d"><td class="memItemLeft" align="right" valign="top">Copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ae239ca8fb918fa812492fe369202225d">Vgepbar</a></td></tr>
97
97
  <tr class="separator:ae239ca8fb918fa812492fe369202225d"><td class="memSeparator" colspan="2">&#160;</td></tr>
98
- <tr class="memitem:a92c75ced313339aea5e3e0c9f0726e5a"><td class="memItemLeft" align="right" valign="top">Gep_1 <a class="el" href="PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69">Gep_0</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">Gep_1</a></td></tr>
98
+ <tr class="memitem:a92c75ced313339aea5e3e0c9f0726e5a"><td class="memItemLeft" align="right" valign="top">Gep_1 <a class="el" href="PEGGrammar_8txt.html#ac43027733e3d0a01bde9269f9d27779a">Gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">Gep_1</a></td></tr>
99
99
  <tr class="separator:a92c75ced313339aea5e3e0c9f0726e5a"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
- <tr class="memitem:ab2278962121baf68c9efd38abb522942"><td class="memItemLeft" align="right" valign="top">Gepbar_1 Gepbar_1 <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ab2278962121baf68c9efd38abb522942">Gepbar_0</a></td></tr>
101
- <tr class="separator:ab2278962121baf68c9efd38abb522942"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
+ <tr class="memitem:a38750813346a2f7d4d2f74101bf1be37"><td class="memItemLeft" align="right" valign="top">Gepbar_1 Gepbar_1 <a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a38750813346a2f7d4d2f74101bf1be37">Gepbar_0</a></td></tr>
101
+ <tr class="separator:a38750813346a2f7d4d2f74101bf1be37"><td class="memSeparator" colspan="2">&#160;</td></tr>
102
102
  <tr class="memitem:a4459b9e008c1693c8d592cf0544912f6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d">Load</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a4459b9e008c1693c8d592cf0544912f6">Store</a></td></tr>
103
103
  <tr class="separator:a4459b9e008c1693c8d592cf0544912f6"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
- <tr class="memitem:aa3f2c8659adb9738e29e47d3a607ff1e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">Gepbar_i</a></td></tr>
105
- <tr class="separator:aa3f2c8659adb9738e29e47d3a607ff1e"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
+ <tr class="memitem:a1e1e10a9f0c4b902df72da76a308ae21"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a></td></tr>
105
+ <tr class="separator:a1e1e10a9f0c4b902df72da76a308ae21"><td class="memSeparator" colspan="2">&#160;</td></tr>
106
106
  <tr class="memitem:ac9e2ada624dc7eee357e865e0d89c84a"><td class="memItemLeft" align="right" valign="top">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a324fa20755f4b8f2e50e2e148f6fadbd">Storebar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a">Loadbar</a></td></tr>
107
107
  <tr class="separator:ac9e2ada624dc7eee357e865e0d89c84a"><td class="memSeparator" colspan="2">&#160;</td></tr>
108
108
  </table>
@@ -146,7 +146,7 @@ Variables</h2></td></tr>
146
146
  <div class="memproto">
147
147
  <table class="memname">
148
148
  <tr>
149
- <td class="memname"><a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a> Memflowbar Addrbar</td>
149
+ <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> Memflowbar Addrbar</td>
150
150
  </tr>
151
151
  </table>
152
152
  </div><div class="memdoc">
@@ -162,7 +162,7 @@ Variables</h2></td></tr>
162
162
  <div class="memproto">
163
163
  <table class="memname">
164
164
  <tr>
165
- <td class="memname"><a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Copy</td>
165
+ <td class="memname"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Copy</td>
166
166
  </tr>
167
167
  </table>
168
168
  </div><div class="memdoc">
@@ -178,7 +178,7 @@ Variables</h2></td></tr>
178
178
  <div class="memproto">
179
179
  <table class="memname">
180
180
  <tr>
181
- <td class="memname"><a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a> epsilon</td>
181
+ <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> epsilon</td>
182
182
  </tr>
183
183
  </table>
184
184
  </div><div class="memdoc">
@@ -203,14 +203,14 @@ Variables</h2></td></tr>
203
203
 
204
204
  </div>
205
205
  </div>
206
- <a id="aa92a4b37b902f3a59efef16528e4f905"></a>
207
- <h2 class="memtitle"><span class="permalink"><a href="#aa92a4b37b902f3a59efef16528e4f905">&#9670;&nbsp;</a></span>Fbar</h2>
206
+ <a id="afb129e761aae1ddaa005123832b88cd2"></a>
207
+ <h2 class="memtitle"><span class="permalink"><a href="#afb129e761aae1ddaa005123832b88cd2">&#9670;&nbsp;</a></span>Fbar</h2>
208
208
 
209
209
  <div class="memitem">
210
210
  <div class="memproto">
211
211
  <table class="memname">
212
212
  <tr>
213
- <td class="memname">Memcpy <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Memcpy Fbar</td>
213
+ <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Memflowbar Fbar</td>
214
214
  </tr>
215
215
  </table>
216
216
  </div><div class="memdoc">
@@ -242,7 +242,7 @@ Variables</h2></td></tr>
242
242
  <div class="memproto">
243
243
  <table class="memname">
244
244
  <tr>
245
- <td class="memname">Gep_1 <a class="el" href="PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69">Gep_0</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Gep_1</td>
245
+ <td class="memname">Gep_1 <a class="el" href="PEGGrammar_8txt.html#ac43027733e3d0a01bde9269f9d27779a">Gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Gep_1</td>
246
246
  </tr>
247
247
  </table>
248
248
  </div><div class="memdoc">
@@ -251,14 +251,14 @@ Variables</h2></td></tr>
251
251
 
252
252
  </div>
253
253
  </div>
254
- <a id="af184db68cfa45428afdc186dd62e32a3"></a>
255
- <h2 class="memtitle"><span class="permalink"><a href="#af184db68cfa45428afdc186dd62e32a3">&#9670;&nbsp;</a></span>Gep_i</h2>
254
+ <a id="a653086130f70f043218d296d00529455"></a>
255
+ <h2 class="memtitle"><span class="permalink"><a href="#a653086130f70f043218d296d00529455">&#9670;&nbsp;</a></span>Gep_i</h2>
256
256
 
257
257
  <div class="memitem">
258
258
  <div class="memproto">
259
259
  <table class="memname">
260
260
  <tr>
261
- <td class="memname">V <a class="el" href="PEGGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">Gepbar_i</a> Memcpy Gep_i</td>
261
+ <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> Memflowbar Gep_i</td>
262
262
  </tr>
263
263
  </table>
264
264
  </div><div class="memdoc">
@@ -267,14 +267,14 @@ Variables</h2></td></tr>
267
267
 
268
268
  </div>
269
269
  </div>
270
- <a id="ab2278962121baf68c9efd38abb522942"></a>
271
- <h2 class="memtitle"><span class="permalink"><a href="#ab2278962121baf68c9efd38abb522942">&#9670;&nbsp;</a></span>Gepbar_0</h2>
270
+ <a id="a38750813346a2f7d4d2f74101bf1be37"></a>
271
+ <h2 class="memtitle"><span class="permalink"><a href="#a38750813346a2f7d4d2f74101bf1be37">&#9670;&nbsp;</a></span>Gepbar_0</h2>
272
272
 
273
273
  <div class="memitem">
274
274
  <div class="memproto">
275
275
  <table class="memname">
276
276
  <tr>
277
- <td class="memname">ArrayPath ArrayPath Gepbar_0</td>
277
+ <td class="memname">Gepbarpath Gepbarpath Gepbar_0</td>
278
278
  </tr>
279
279
  </table>
280
280
  </div><div class="memdoc">
@@ -283,14 +283,14 @@ Variables</h2></td></tr>
283
283
 
284
284
  </div>
285
285
  </div>
286
- <a id="aa3f2c8659adb9738e29e47d3a607ff1e"></a>
287
- <h2 class="memtitle"><span class="permalink"><a href="#aa3f2c8659adb9738e29e47d3a607ff1e">&#9670;&nbsp;</a></span>Gepbar_i</h2>
286
+ <a id="a1e1e10a9f0c4b902df72da76a308ae21"></a>
287
+ <h2 class="memtitle"><span class="permalink"><a href="#a1e1e10a9f0c4b902df72da76a308ae21">&#9670;&nbsp;</a></span>Gepbar_i</h2>
288
288
 
289
289
  <div class="memitem">
290
290
  <div class="memproto">
291
291
  <table class="memname">
292
292
  <tr>
293
- <td class="memname">V <a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">Gep_i</a> Memcpy Gepbar_i</td>
293
+ <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> Memflowbar Gepbar_i</td>
294
294
  </tr>
295
295
  </table>
296
296
  </div><div class="memdoc">
@@ -306,7 +306,7 @@ Variables</h2></td></tr>
306
306
  <div class="memproto">
307
307
  <table class="memname">
308
308
  <tr>
309
- <td class="memname"><a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#a4459b9e008c1693c8d592cf0544912f6">Store</a> <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> Load</td>
309
+ <td class="memname"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a4459b9e008c1693c8d592cf0544912f6">Store</a> <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> Load</td>
310
310
  </tr>
311
311
  </table>
312
312
  </div><div class="memdoc">
@@ -338,7 +338,7 @@ Variables</h2></td></tr>
338
338
  <div class="memproto">
339
339
  <table class="memname">
340
340
  <tr>
341
- <td class="memname">Memflow <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a> Memflow</td>
341
+ <td class="memname">Memflow <a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> Memflow</td>
342
342
  </tr>
343
343
  </table>
344
344
  </div><div class="memdoc">
@@ -370,7 +370,7 @@ Variables</h2></td></tr>
370
370
  <div class="memproto">
371
371
  <table class="memname">
372
372
  <tr>
373
- <td class="memname"><a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a> <a class="el" href="CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a">Loadbar</a> Memflowbar Storebar</td>
373
+ <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> <a class="el" href="CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a">Loadbar</a> Memflowbar Storebar</td>
374
374
  </tr>
375
375
  </table>
376
376
  </div><div class="memdoc">
@@ -386,7 +386,7 @@ Variables</h2></td></tr>
386
386
  <div class="memproto">
387
387
  <table class="memname">
388
388
  <tr>
389
- <td class="memname"><a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">Gep_1</a> <a class="el" href="PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69">Gep_0</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Vgep</td>
389
+ <td class="memname"><a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">Gep_1</a> <a class="el" href="PEGGrammar_8txt.html#ac43027733e3d0a01bde9269f9d27779a">Gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Vgep</td>
390
390
  </tr>
391
391
  </table>
392
392
  </div><div class="memdoc">