svf-tools 1.0.580 → 1.0.581
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.
- package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +2 -1
- package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +4 -1
- package/SVF-doxygen/html/html/Andersen_8h_source.html +4 -1
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CFLBase_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +12 -11
- package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +49 -48
- package/SVF-doxygen/html/html/CFLGrammar_8txt.html +76 -76
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +2 -1
- package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +3 -1
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +6 -3
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +3 -1
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +4 -1
- package/SVF-doxygen/html/html/ExeState_8cpp_source.html +3 -1
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +3 -1
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +5 -2
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +5 -2
- package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -5
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +3 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/MemRegion_8h_source.html +3 -1
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +3 -1
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +3 -1
- package/SVF-doxygen/html/html/PEGGrammar_8txt.html +25 -25
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +2 -1
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +2 -3
- package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +2 -2
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +4 -2
- package/SVF-doxygen/html/html/VFG_8h_source.html +5 -2
- package/SVF-doxygen/html/html/VFG_8txt.html +5 -5
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -1
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +3 -1
- package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar-members.html +24 -23
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar.html +49 -47
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +3 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +17 -8
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +5 -4
- package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +10 -6
- package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +5 -4
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +10 -6
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +4 -2
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase-members.html +25 -24
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +75 -44
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +2 -1
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +8 -5
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +3 -1
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +25 -13
- package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +9 -6
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +2 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +3 -2
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -1
- package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +2 -1
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +20 -14
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +5 -4
- package/SVF-doxygen/html/html/functions_func_i.html +10 -7
- package/SVF-doxygen/html/html/functions_i.html +15 -12
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +6 -6
- package/SVF-doxygen/html/html/functions_p.html +6 -2
- package/SVF-doxygen/html/html/functions_r.html +1 -1
- package/SVF-doxygen/html/html/functions_s.html +8 -8
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/globals_a.html +5 -5
- package/SVF-doxygen/html/html/globals_c.html +2 -4
- package/SVF-doxygen/html/html/globals_e.html +1 -1
- package/SVF-doxygen/html/html/globals_f.html +1 -1
- package/SVF-doxygen/html/html/globals_func.html +1 -1
- package/SVF-doxygen/html/html/globals_g.html +12 -12
- package/SVF-doxygen/html/html/globals_l.html +4 -4
- package/SVF-doxygen/html/html/globals_s.html +4 -4
- package/SVF-doxygen/html/html/globals_v.html +4 -4
- package/SVF-doxygen/html/html/globals_vars.html +33 -35
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +3 -1
- package/SVF-doxygen/html/html/search/all_1.js +2 -2
- package/SVF-doxygen/html/html/search/all_10.js +5 -5
- package/SVF-doxygen/html/html/search/all_11.js +1 -1
- package/SVF-doxygen/html/html/search/all_12.js +7 -7
- package/SVF-doxygen/html/html/search/all_13.js +3 -3
- package/SVF-doxygen/html/html/search/all_15.js +4 -4
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_5.js +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +5 -5
- package/SVF-doxygen/html/html/search/all_9.js +4 -3
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +5 -5
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +2 -2
- package/SVF-doxygen/html/html/search/functions_5.js +1 -1
- package/SVF-doxygen/html/html/search/functions_8.js +1 -0
- package/SVF-doxygen/html/html/search/variables_1.js +2 -2
- package/SVF-doxygen/html/html/search/variables_12.js +2 -2
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_15.js +2 -2
- package/SVF-doxygen/html/html/search/variables_3.js +1 -1
- package/SVF-doxygen/html/html/search/variables_5.js +1 -1
- package/SVF-doxygen/html/html/search/variables_6.js +1 -1
- package/SVF-doxygen/html/html/search/variables_7.js +5 -5
- package/SVF-doxygen/html/html/search/variables_9.js +1 -1
- package/SVF-doxygen/html/html/search/variables_c.js +3 -3
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement.html +1 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +1 -5
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -5
- package/include/CFL/CFLAlias.h +2 -3
- package/include/CFL/CFLGrammar.h +2 -0
- package/include/CFL/CFLGrammar.txt +28 -28
- package/include/CFL/PEGGrammar.txt +7 -7
- package/include/CFL/VFG.txt +3 -3
- package/lib/CFL/CFLGrammar.cpp +33 -1
- package/lib/CFL/GrammarBuilder.cpp +1 -1
- package/package.json +1 -1
|
@@ -66,104 +66,105 @@ $(function() {
|
|
|
66
66
|
<div class="title">CFLGrammar.h</div> </div>
|
|
67
67
|
</div><!--header-->
|
|
68
68
|
<div class="contents">
|
|
69
|
-
<a href="CFLGrammar_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> <span class="comment">//===----- CFLGrammar.h -- Context-free grammar --------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="comment">// SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span> <span class="comment">// Copyright (C) <2013-> <Yulei Sui></span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span> </div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <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> <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> <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> <span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span> </div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <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> <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> <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> <span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span> </div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span> <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> <span class="comment">// along with this program. If not, see <http://www.gnu.org/licenses/>.</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span> </div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span> <span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span> <span class="comment"> * CFLGrammar.h</span></div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span> <span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span> <span class="comment"> * Created on: March 5, 2022</span></div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span> <span class="comment"> * Author: Yulei Sui</span></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span> <span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span> <span class="preprocessor">#ifndef CFLGrammar_H_</span></div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span> <span class="preprocessor">#define CFLGrammar_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span> <span class="preprocessor">#include "<a class="code" href="SVFBasicTypes_8h.html">Util/SVFBasicTypes.h</a>"</span></div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span> </div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span> {</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span> </div><div class="line"><a name="l00036"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html"> 36</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a></div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span> {</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187"> 39</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a>;</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f"> 40</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a>;</div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759"> 41</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">VariableAttribute</a>;</div><div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html"> 42</a></span>  <span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a></div><div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  {</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71"> 44</a></span>  Kind <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>: 8;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d"> 45</a></span>  Attribute <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>: 16;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942"> 46</a></span>  VariableAttribute <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>: 8;</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span> </div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf"> 49</a></span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">Symbol</a>() : <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>(0), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>(0), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>(0) {}</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span> </div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767"> 52</a></span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">Symbol</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>& num) : <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>(num & 0xFF), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>((num >> 8 ) & 0xFFFF), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>((num >> 24)) {}</div><div class="line"><a name="l00053"></a><span class="lineno"> 53</span> </div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a7ba35f7585b191a29573a9e116aa927f"> 55</a></span>  <span class="keyword">operator</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>()</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  {</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  static_assert(<span class="keyword">sizeof</span>(<span class="keyword">struct</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>)==<span class="keyword">sizeof</span>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>), <span class="stringliteral">"sizeof(struct Symbol)!=sizeof(u32_t)"</span>);</div><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = 0;</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> << 24;</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> << 8;</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>;</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">return</span> num;</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  }</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span> </div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#ada693de7fbe70e37120eed8dca3c143f"> 65</a></span>  <span class="keyword">operator</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  static_assert(<span class="keyword">sizeof</span>(<span class="keyword">struct</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>)==<span class="keyword">sizeof</span>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>), <span class="stringliteral">"sizeof(struct Symbol)!=sizeof(u32_t)"</span>);</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = 0;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> << 24;</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> << 8;</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>;</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  <span class="keywordflow">return</span> num;</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  }</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span> </div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8"> 75</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8">operator<</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& rhs)</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  {</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(*<span class="keyword">this</span>) < <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(rhs);</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  }</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span> </div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181"> 80</a></span>  <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181">operator=</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>& i)</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  {</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> = <a class="code" href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d">EdgeKindMask</a> & i;</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> = i >> <a class="code" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a>;</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> = i >> <a class="code" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  }</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span> </div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a"> 87</a></span>  <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a">operator=</a>(<span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <span class="keywordtype">long</span> num)</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  {</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> = num & 0xFF;</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> = (num >> 8 ) & 0xFFFF;</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> = num >> 24;</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  }</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span> </div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53"> 94</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">operator==</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& s)</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  {</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <span class="keywordflow">return</span> ((this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>) && (this->attribute == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>) && (this->variableAttribute == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>));</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  }</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span> </div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461"> 99</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461">operator==</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& s)<span class="keyword"> const</span></div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  <span class="keywordflow">return</span> ((<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>) && (<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>) && (<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>));</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  }</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span> </div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136"> 104</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136">operator!=</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& s)<span class="keyword"> const</span></div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="keywordflow">return</span> ! (*<span class="keyword">this</span> == s) ;</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  }</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span> </div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9"> 109</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9">operator==</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>& i)</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  {</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(*<span class="keyword">this</span>) == <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(i);</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  }</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span> </div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9"> 114</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9">operator==</a>(<span class="keyword">const</span> Kind& k)<span class="keyword"> const</span></div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <span class="keywordflow">return</span> (this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> == k);</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  }</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  } <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">Symbol</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span> </div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase_1_1SymbolHash.html"> 120</a></span>  <span class="keyword">class </span><a class="code" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SymbolHash</a></div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  {</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  <span class="keyword">public</span>:</div><div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54"> 123</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54">operator()</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> &s)<span class="keyword"> const</span></div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  std::hash<u32_t> h;</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="keywordflow">return</span> h(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(s));</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  }</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  };</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span> </div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span> </div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html"> 131</a></span>  <span class="keyword">struct </span><a class="code" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html">SymbolVectorHash</a></div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  {</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e"> 133</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e">operator()</a>(<span class="keyword">const</span> std::vector<Symbol> &v)<span class="keyword"> const</span></div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="keywordtype">size_t</span> h = v.size();</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span> </div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  <a class="code" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SymbolHash</a> hf;</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> &t : v)</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  {</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  h ^= hf(t) + 0x9e3779b9 + (h << 6) + (h >> 2);</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  }</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span> </div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="keywordflow">return</span> h;</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  }</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  };</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span> </div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="keyword">template</span><<span class="keyword">typename</span> Key, <span class="keyword">typename</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>, <span class="keyword">typename</span> <a class="code" href="structSVF_1_1Hash.html">Hash</a> = <a class="code" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SymbolHash</a>,</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  <span class="keyword">typename</span> KeyEqual = std::equal_to<Key>,</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  <span class="keyword">typename</span> Allocator = std::allocator<std::pair<const Key, Value>>></div><div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112"> 150</a></span>  <span class="keyword">using</span> <a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a> = std::unordered_map<Key, Value, Hash, KeyEqual, Allocator>;</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span> </div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  <span class="keyword">template</span> <<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Hash = SymbolVectorHash, <span class="keyword">typename</span> KeyEqual = std::equal_to<Key>,</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <span class="keyword">typename</span> Allocator = std::allocator<Key>></div><div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3"> 154</a></span>  <span class="keyword">using</span> <a class="code" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a> = std::unordered_set<Key, Hash, KeyEqual, Allocator>;</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span> </div><div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec"> 156</a></span>  <span class="keyword">typedef</span> std::vector<Symbol> <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a>;</div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d"> 157</a></span>  <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet<Production></a> <a class="code" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>;</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span> </div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span> </div><div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e"> 160</a></span>  <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">getNonterminals</a>()</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  {</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>;</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  }</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span> </div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf"> 165</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">setNonterminals</a>(<a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>)</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  {</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  this->nonterminals = <a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>;</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  }</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span> </div><div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37"> 170</a></span>  <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">getTerminals</a>()</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  }</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span> </div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41"> 175</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41">setTerminals</a>(<a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>)</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  {</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  this->terminals = <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>;</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  }</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span> </div><div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae"> 180</a></span>  <span class="keyword">inline</span> <a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap<Symbol, Productions></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>()</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  {</div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>;</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  }</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span> </div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ae28fea79c05ba05fc8c2e67b194e42b9"> 185</a></span>  <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, Set<Attribute></a>>& <a class="code" href="classSVF_1_1GrammarBase.html#ae28fea79c05ba05fc8c2e67b194e42b9">getKind2AttrsMap</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce">kind2AttrsMap</a>;</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  }</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span> </div><div class="line"><a name="l00190"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19"> 190</a></span>  <span class="keyword">inline</span> Kind <a class="code" href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19">getTotalKind</a>()</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  {</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>;</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  }</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span> </div><div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b"> 195</a></span>  <span class="keyword">inline</span> Kind <a class="code" href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">getStartKind</a>()</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  {</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>;</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  }</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span> </div><div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd"> 200</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">setStartKind</a>(Kind <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>)</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  {</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  this->startKind = <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>;</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  }</div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span> </div><div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a"> 205</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">setTotalKind</a>(Kind <a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>)</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  {</div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  this->totalKind = <a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>;</div><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  }</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span> </div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#a9cc406edc117b3abd07a85f66ca892a0">extractKindStrFromSymbolStr</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> symbolStr) <span class="keyword">const</span>;</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span> </div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#a9f56cebea336079e35f5f3a288eb356f">extractAttributeStrFromSymbolStr</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> symbolStr) <span class="keyword">const</span>;</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span> </div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a">setRawProductions</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap<Symbol, Productions></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>);</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span> </div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#ac5048e88477e9b937fffed628dc5e8e5">setKind2AttrsMap</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a><Kind, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Attribute></a>>& <a class="code" href="classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce">kind2AttrsMap</a>);</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span> </div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0">setAttributeKinds</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Kind></a>& attributeKind);</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span> </div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  Kind <a class="code" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">str2Kind</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str) <span class="keyword">const</span>;</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span> </div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a5c081c6ff0501fc91b71352995d6d9dc">str2Symbol</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str) <span class="keyword">const</span>;</div><div class="line"><a name="l00223"></a><span class="lineno"> 223</span> </div><div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3">kind2Str</a>(Kind <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>) <span class="keyword">const</span>;</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span> </div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym) <span class="keyword">const</span>;</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span> </div><div class="line"><a name="l00228"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06"> 228</a></span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">getSymbol</a>(<span class="keyword">const</span> Production& prod, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos)</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  {</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  <span class="keywordflow">return</span> prod.at(pos);</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  }</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</span> </div><div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e"> 233</a></span>  <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e">getAttrSyms</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">attributeKinds</a>;</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  }</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span> </div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  Kind <a class="code" href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">insertNonterminalKind</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <span class="keyword">const</span> kindStr);</div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span> </div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  Kind <a class="code" href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">insertTerminalKind</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span> </div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">insertSymbol</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span> </div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span> </div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">insertAttribute</a>(Kind kind, Attribute <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>);</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span> </div><div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275"> 251</a></span>  <span class="keyword">inline</span> <span class="keyword">static</span> Kind <a class="code" href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">getAttributedKind</a>(Attribute <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>, Kind kind)</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  {</div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  <span class="keywordflow">return</span> ((attribute << <a class="code" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a>)| kind );</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  }</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span> </div><div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e"> 256</a></span>  <span class="keyword">inline</span> <span class="keyword">static</span> Kind <a class="code" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">getVariabledKind</a>(VariableAttribute <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>, Kind kind)</div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  {</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  <span class="keywordflow">return</span> ((variableAttribute << <a class="code" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a>) | kind);</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  }</div><div class="line"><a name="l00260"></a><span class="lineno"> 260</span> </div><div class="line"><a name="l00261"></a><span class="lineno"> 261</span> <span class="keyword">protected</span>:</div><div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f"> 262</a></span>  <span class="keyword">static</span> constexpr <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> <a class="code" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a> = 8; </div><div class="line"><a name="l00263"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854"> 263</a></span>  <span class="keyword">static</span> constexpr <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> <a class="code" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a> = 24; </div><div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d"> 264</a></span>  <span class="keyword">static</span> constexpr <a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d">EdgeKindMask</a> = (~0ULL) >> (64 - EdgeKindMaskBits);</div><div class="line"><a name="l00265"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af"> 265</a></span>  Kind <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>;</div><div class="line"><a name="l00266"></a><span class="lineno"> 266</span> <span class="keyword">private</span>:</div><div class="line"><a name="l00267"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b"> 267</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a> <a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>;</div><div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a"> 268</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a> <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>;</div><div class="line"><a name="l00269"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d"> 269</a></span>  <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Kind></a> <a class="code" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">attributeKinds</a>;</div><div class="line"><a name="l00270"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce"> 270</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, Set<Attribute></a>> <a class="code" href="classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce">kind2AttrsMap</a>;</div><div class="line"><a name="l00271"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd"> 271</a></span>  <a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap<Symbol, Productions></a> <a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>;</div><div class="line"><a name="l00272"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f"> 272</a></span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>;</div><div class="line"><a name="l00273"></a><span class="lineno"> 273</span> };</div><div class="line"><a name="l00274"></a><span class="lineno"> 274</span> </div><div class="line"><a name="l00275"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html"> 275</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a></div><div class="line"><a name="l00276"></a><span class="lineno"> 276</span> {</div><div class="line"><a name="l00277"></a><span class="lineno"> 277</span> </div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>();</div><div class="line"><a name="l00280"></a><span class="lineno"> 280</span> </div><div class="line"><a name="l00282"></a><span class="lineno"> 282</span> </div><div class="line"><a name="l00283"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab"> 283</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *)</div><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  {</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  }</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span> </div><div class="line"><a name="l00288"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a25b035e49e90f42a44f7f6173a4bfdaf"> 288</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a25b035e49e90f42a44f7f6173a4bfdaf">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *node)</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  {</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  }</div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span> </div><div class="line"><a name="l00293"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9"> 293</a></span>  Productions& <a class="code" href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">getEpsilonProds</a>()</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  {</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  <span class="keywordflow">return</span> epsilonProds;</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  }</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span> </div><div class="line"><a name="l00298"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce"> 298</a></span>  SymbolMap<Symbol, Productions>& <a class="code" href="classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce">getSingleRHS2Prods</a>()</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  {</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  <span class="keywordflow">return</span> singleRHS2Prods;</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  }</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span> </div><div class="line"><a name="l00303"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f"> 303</a></span>  SymbolMap<Symbol, Productions>& <a class="code" href="classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f">getFirstRHS2Prods</a>()</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  {</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <span class="keywordflow">return</span> firstRHS2Prods;</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span> </div><div class="line"><a name="l00308"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#aad22309781ec1a5ab247097dcaa6a0b8"> 308</a></span>  SymbolMap<Symbol, Productions>& <a class="code" href="classSVF_1_1CFLGrammar.html#aad22309781ec1a5ab247097dcaa6a0b8">getSecondRHS2Prods</a>()</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  {</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  <span class="keywordflow">return</span> secondRHS2Prods;</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  }</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span> </div><div class="line"><a name="l00313"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8"> 313</a></span>  <span class="keyword">const</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">hasProdsFromFirstRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <span class="keyword">auto</span> it = firstRHS2Prods.find(sym);</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  <span class="keywordflow">return</span> it!=firstRHS2Prods.end();</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  }</div><div class="line"><a name="l00318"></a><span class="lineno"> 318</span> </div><div class="line"><a name="l00319"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d"> 319</a></span>  <span class="keyword">const</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d">hasProdsFromSingleRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  <span class="keyword">auto</span> it = singleRHS2Prods.find(sym);</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  <span class="keywordflow">return</span> it!=singleRHS2Prods.end();</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  }</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span> </div><div class="line"><a name="l00325"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce"> 325</a></span>  <span class="keyword">const</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">hasProdsFromSecondRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  <span class="keyword">auto</span> it = secondRHS2Prods.find(sym);</div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  <span class="keywordflow">return</span> it!=secondRHS2Prods.end();</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  }</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</span> </div><div class="line"><a name="l00331"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b"> 331</a></span>  <span class="keyword">const</span> Productions& <a class="code" href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b">getProdsFromSingleRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  <span class="keyword">auto</span> it = singleRHS2Prods.find(sym);</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  assert(it!=singleRHS2Prods.end() && <span class="stringliteral">"production (X -> sym) not found for sym!!"</span>);</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  }</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span> </div><div class="line"><a name="l00338"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa"> 338</a></span>  <span class="keyword">const</span> Productions& <a class="code" href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">getProdsFromFirstRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00339"></a><span class="lineno"> 339</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  <span class="keyword">auto</span> it = firstRHS2Prods.find(sym);</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  assert(it!=firstRHS2Prods.end() && <span class="stringliteral">"production (X -> sym Y ) not found for sym!!"</span>);</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  }</div><div class="line"><a name="l00344"></a><span class="lineno"> 344</span> </div><div class="line"><a name="l00345"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89"> 345</a></span>  <span class="keyword">const</span> Productions& <a class="code" href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">getProdsFromSecondRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00346"></a><span class="lineno"> 346</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  <span class="keyword">auto</span> it = secondRHS2Prods.find(sym);</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  assert(it!=secondRHS2Prods.end() && <span class="stringliteral">"production (X -> Y sym) not found for sym!!"</span>);</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  }</div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span> </div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span> </div><div class="line"><a name="l00353"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec"> 353</a></span>  <span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& <a class="code" href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">getLHSSymbol</a>(<span class="keyword">const</span> Production& prod)<span class="keyword"> const</span></div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <span class="keywordflow">return</span> prod.at(0);</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  }</div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span> </div><div class="line"><a name="l00358"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4"> 358</a></span>  <span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& <a class="code" href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">getFirstRHSSymbol</a>(<span class="keyword">const</span> Production& prod)<span class="keyword"> const</span></div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  <span class="keywordflow">return</span> prod.at(1);</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  }</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span> </div><div class="line"><a name="l00363"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51"> 363</a></span>  <span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& <a class="code" href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51">getSecondRHSSymbol</a>(<span class="keyword">const</span> Production& prod)<span class="keyword"> const</span></div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  <span class="keywordflow">return</span> prod.at(2);</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  }</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span> </div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  <span class="keywordtype">void</span> <a class="code" href="namespaceSVF.html#aae350f79ebcb9efd22ec9efa6678cd13">dump</a>() <span class="keyword">const</span>;</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span> </div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  <span class="keywordtype">void</span> <a class="code" href="namespaceSVF.html#aae350f79ebcb9efd22ec9efa6678cd13">dump</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> fileName) <span class="keyword">const</span>;</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span> </div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span> </div><div class="line"><a name="l00373"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a2494806a1282de3d7f6b588f7d6cc83e"> 373</a></span>  <span class="keyword">const</span> <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1CFLGrammar.html#a2494806a1282de3d7f6b588f7d6cc83e">num_generator</a>()</div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  {</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <span class="keywordflow">return</span> newTerminalSubscript++;</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  }</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span> </div><div class="line"><a name="l00378"></a><span class="lineno"> 378</span> <span class="keyword">private</span>:</div><div class="line"><a name="l00379"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74"> 379</a></span>  SymbolSet<Production> <a class="code" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a>;</div><div class="line"><a name="l00380"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278"> 380</a></span>  SymbolMap<Symbol, Productions> <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>;</div><div class="line"><a name="l00381"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f"> 381</a></span>  SymbolMap<Symbol, Productions> <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>;</div><div class="line"><a name="l00382"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4"> 382</a></span>  SymbolMap<Symbol, Productions> <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>;</div><div class="line"><a name="l00383"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485"> 383</a></span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a>;</div><div class="line"><a name="l00384"></a><span class="lineno"> 384</span> };</div><div class="line"><a name="l00385"></a><span class="lineno"> 385</span> </div><div class="line"><a name="l00391"></a><span class="lineno"> 391</span> <span class="keyword">template</span><<span class="keyword">class</span> Data></div><div class="line"><a name="l00392"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html"> 392</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1CFLFIFOWorkList.html">CFLFIFOWorkList</a></div><div class="line"><a name="l00393"></a><span class="lineno"> 393</span> {</div><div class="line"><a name="l00394"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85"> 394</a></span>  <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">GrammarBase::SymbolSet<Data></a> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85">DataSet</a>;</div><div class="line"><a name="l00395"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7"> 395</a></span>  <span class="keyword">typedef</span> std::deque<Data> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7">DataDeque</a>;</div><div class="line"><a name="l00396"></a><span class="lineno"> 396</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00397"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511"> 397</a></span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511">CFLFIFOWorkList</a>() {}</div><div class="line"><a name="l00398"></a><span class="lineno"> 398</span> </div><div class="line"><a name="l00399"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a1dadae237fbfb576ddb60cad60530b9e"> 399</a></span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a1dadae237fbfb576ddb60cad60530b9e">~CFLFIFOWorkList</a>() {}</div><div class="line"><a name="l00400"></a><span class="lineno"> 400</span> </div><div class="line"><a name="l00401"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f"> 401</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">empty</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  <span class="keywordflow">return</span> data_list.empty();</div><div class="line"><a name="l00404"></a><span class="lineno"> 404</span>  }</div><div class="line"><a name="l00405"></a><span class="lineno"> 405</span> </div><div class="line"><a name="l00406"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8"> 406</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8">find</a>(Data data)<span class="keyword"> const</span></div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  <span class="keywordflow">return</span> (data_set.find(data) == data_set.end() ? <a class="code" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a> : <span class="keyword">true</span>);</div><div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  }</div><div class="line"><a name="l00410"></a><span class="lineno"> 410</span> </div><div class="line"><a name="l00414"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a"> 414</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a">push</a>(Data data)</div><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  {</div><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  <span class="keywordflow">if</span> (data_set.find(data) == data_set.end())</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  {</div><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  data_list.push_back(data);</div><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  data_set.insert(data);</div><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  }</div><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  }</div><div class="line"><a name="l00425"></a><span class="lineno"> 425</span> </div><div class="line"><a name="l00429"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff"> 429</a></span>  <span class="keyword">inline</span> Data <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff">pop</a>()</div><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  {</div><div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  assert(!empty() && <span class="stringliteral">"work list is empty"</span>);</div><div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  Data data = data_list.front();</div><div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  data_list.pop_front();</div><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  data_set.erase(data);</div><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  <span class="keywordflow">return</span> data;</div><div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  }</div><div class="line"><a name="l00437"></a><span class="lineno"> 437</span> </div><div class="line"><a name="l00441"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56"> 441</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56">clear</a>()</div><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  {</div><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  data_list.clear();</div><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  data_set.clear();</div><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  }</div><div class="line"><a name="l00446"></a><span class="lineno"> 446</span> </div><div class="line"><a name="l00447"></a><span class="lineno"> 447</span> <span class="keyword">private</span>:</div><div class="line"><a name="l00448"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0"> 448</a></span>  DataSet <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>; </div><div class="line"><a name="l00449"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0"> 449</a></span>  DataDeque <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>; </div><div class="line"><a name="l00450"></a><span class="lineno"> 450</span> };</div><div class="line"><a name="l00451"></a><span class="lineno"> 451</span> </div><div class="line"><a name="l00452"></a><span class="lineno"> 452</span> }</div><div class="line"><a name="l00453"></a><span class="lineno"> 453</span> <span class="preprocessor">#endif </span><span class="comment">/* CFLGrammar_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1GrammarBase_html_a8687586451b07458d591120cdee9f6a3"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SVF::GrammarBase::SymbolSet</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > SymbolSet</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00154">CFLGrammar.h:154</a></div></div>
|
|
69
|
+
<a href="CFLGrammar_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> <span class="comment">//===----- CFLGrammar.h -- Context-free grammar --------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="comment">// SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span> <span class="comment">// Copyright (C) <2013-> <Yulei Sui></span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span> </div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <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> <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> <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> <span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span> </div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <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> <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> <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> <span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span> </div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span> <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> <span class="comment">// along with this program. If not, see <http://www.gnu.org/licenses/>.</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span> </div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span> <span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span> <span class="comment"> * CFLGrammar.h</span></div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span> <span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span> <span class="comment"> * Created on: March 5, 2022</span></div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span> <span class="comment"> * Author: Yulei Sui</span></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span> <span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span> <span class="preprocessor">#ifndef CFLGrammar_H_</span></div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span> <span class="preprocessor">#define CFLGrammar_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span> <span class="preprocessor">#include "<a class="code" href="SVFBasicTypes_8h.html">Util/SVFBasicTypes.h</a>"</span></div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span> </div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span> {</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span> </div><div class="line"><a name="l00036"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html"> 36</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a></div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span> {</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187"> 39</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a>;</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f"> 40</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a>;</div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759"> 41</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">VariableAttribute</a>;</div><div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html"> 42</a></span>  <span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a></div><div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  {</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71"> 44</a></span>  Kind <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>: 8;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d"> 45</a></span>  Attribute <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>: 16;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942"> 46</a></span>  VariableAttribute <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>: 8;</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span> </div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf"> 49</a></span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">Symbol</a>() : <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>(0), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>(0), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>(0) {}</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span> </div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767"> 52</a></span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">Symbol</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>& num) : <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>(num & 0xFF), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>((num >> 8 ) & 0xFFFF), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>((num >> 24)) {}</div><div class="line"><a name="l00053"></a><span class="lineno"> 53</span> </div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a7ba35f7585b191a29573a9e116aa927f"> 55</a></span>  <span class="keyword">operator</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>()</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  {</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  static_assert(<span class="keyword">sizeof</span>(<span class="keyword">struct</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>)==<span class="keyword">sizeof</span>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>), <span class="stringliteral">"sizeof(struct Symbol)!=sizeof(u32_t)"</span>);</div><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = 0;</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> << 24;</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> << 8;</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>;</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">return</span> num;</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  }</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span> </div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#ada693de7fbe70e37120eed8dca3c143f"> 65</a></span>  <span class="keyword">operator</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  static_assert(<span class="keyword">sizeof</span>(<span class="keyword">struct</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>)==<span class="keyword">sizeof</span>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>), <span class="stringliteral">"sizeof(struct Symbol)!=sizeof(u32_t)"</span>);</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = 0;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> << 24;</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> << 8;</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>;</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  <span class="keywordflow">return</span> num;</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  }</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span> </div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8"> 75</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8">operator<</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& rhs)</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  {</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(*<span class="keyword">this</span>) < <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(rhs);</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  }</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span> </div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181"> 80</a></span>  <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181">operator=</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>& i)</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  {</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> = <a class="code" href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d">EdgeKindMask</a> & i;</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> = i >> <a class="code" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a>;</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> = i >> <a class="code" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  }</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span> </div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a"> 87</a></span>  <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a">operator=</a>(<span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <span class="keywordtype">long</span> num)</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  {</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> = num & 0xFF;</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> = (num >> 8 ) & 0xFFFF;</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> = num >> 24;</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  }</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span> </div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53"> 94</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">operator==</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& s)</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  {</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <span class="keywordflow">return</span> ((this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>) && (this->attribute == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>) && (this->variableAttribute == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>));</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  }</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span> </div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461"> 99</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461">operator==</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& s)<span class="keyword"> const</span></div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  <span class="keywordflow">return</span> ((<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>) && (<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>) && (<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>));</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  }</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span> </div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136"> 104</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136">operator!=</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& s)<span class="keyword"> const</span></div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="keywordflow">return</span> ! (*<span class="keyword">this</span> == s) ;</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  }</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span> </div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9"> 109</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9">operator==</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>& i)</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  {</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(*<span class="keyword">this</span>) == <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(i);</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  }</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span> </div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9"> 114</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9">operator==</a>(<span class="keyword">const</span> Kind& k)<span class="keyword"> const</span></div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <span class="keywordflow">return</span> (this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> == k);</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  }</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  } <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">Symbol</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span> </div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase_1_1SymbolHash.html"> 120</a></span>  <span class="keyword">class </span><a class="code" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SymbolHash</a></div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  {</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  <span class="keyword">public</span>:</div><div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54"> 123</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54">operator()</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> &s)<span class="keyword"> const</span></div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  std::hash<u32_t> h;</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="keywordflow">return</span> h(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(s));</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  }</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  };</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span> </div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span> </div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html"> 131</a></span>  <span class="keyword">struct </span><a class="code" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html">SymbolVectorHash</a></div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  {</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e"> 133</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e">operator()</a>(<span class="keyword">const</span> std::vector<Symbol> &v)<span class="keyword"> const</span></div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="keywordtype">size_t</span> h = v.size();</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span> </div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  <a class="code" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SymbolHash</a> hf;</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> &t : v)</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  {</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  h ^= hf(t) + 0x9e3779b9 + (h << 6) + (h >> 2);</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  }</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span> </div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="keywordflow">return</span> h;</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  }</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  };</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span> </div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="keyword">template</span><<span class="keyword">typename</span> Key, <span class="keyword">typename</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>, <span class="keyword">typename</span> <a class="code" href="structSVF_1_1Hash.html">Hash</a> = <a class="code" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SymbolHash</a>,</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  <span class="keyword">typename</span> KeyEqual = std::equal_to<Key>,</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  <span class="keyword">typename</span> Allocator = std::allocator<std::pair<const Key, Value>>></div><div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112"> 150</a></span>  <span class="keyword">using</span> <a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a> = std::unordered_map<Key, Value, Hash, KeyEqual, Allocator>;</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span> </div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  <span class="keyword">template</span> <<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Hash = SymbolVectorHash, <span class="keyword">typename</span> KeyEqual = std::equal_to<Key>,</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <span class="keyword">typename</span> Allocator = std::allocator<Key>></div><div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3"> 154</a></span>  <span class="keyword">using</span> <a class="code" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a> = std::unordered_set<Key, Hash, KeyEqual, Allocator>;</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span> </div><div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec"> 156</a></span>  <span class="keyword">typedef</span> std::vector<Symbol> <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a>;</div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d"> 157</a></span>  <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet<Production></a> <a class="code" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>;</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span> </div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span> </div><div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e"> 160</a></span>  <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">getNonterminals</a>()</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  {</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>;</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  }</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span> </div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf"> 165</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">setNonterminals</a>(<a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>)</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  {</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  this->nonterminals = <a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>;</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  }</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span> </div><div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37"> 170</a></span>  <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">getTerminals</a>()</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  }</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span> </div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41"> 175</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41">setTerminals</a>(<a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>)</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  {</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  this->terminals = <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>;</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  }</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span> </div><div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae"> 180</a></span>  <span class="keyword">inline</span> <a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap<Symbol, Productions></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>()</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  {</div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>;</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  }</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span> </div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ae28fea79c05ba05fc8c2e67b194e42b9"> 185</a></span>  <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, Set<Attribute></a>>& <a class="code" href="classSVF_1_1GrammarBase.html#ae28fea79c05ba05fc8c2e67b194e42b9">getKind2AttrsMap</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce">kind2AttrsMap</a>;</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  }</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span> </div><div class="line"><a name="l00190"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19"> 190</a></span>  <span class="keyword">inline</span> Kind <a class="code" href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19">getTotalKind</a>()</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  {</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>;</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  }</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span> </div><div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b"> 195</a></span>  <span class="keyword">inline</span> Kind <a class="code" href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">getStartKind</a>()</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  {</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>;</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  }</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span> </div><div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd"> 200</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">setStartKind</a>(Kind <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>)</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  {</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  this->startKind = <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>;</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  }</div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span> </div><div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a"> 205</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">setTotalKind</a>(Kind <a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>)</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  {</div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  this->totalKind = <a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>;</div><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  }</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span> </div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#a9cc406edc117b3abd07a85f66ca892a0">extractKindStrFromSymbolStr</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> symbolStr) <span class="keyword">const</span>;</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span> </div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#a9f56cebea336079e35f5f3a288eb356f">extractAttributeStrFromSymbolStr</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> symbolStr) <span class="keyword">const</span>;</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span> </div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a">setRawProductions</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap<Symbol, Productions></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>);</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span> </div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#ac5048e88477e9b937fffed628dc5e8e5">setKind2AttrsMap</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a><Kind, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Attribute></a>>& <a class="code" href="classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce">kind2AttrsMap</a>);</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span> </div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0">setAttributeKinds</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Kind></a>& attributeKind);</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span> </div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  Kind <a class="code" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">str2Kind</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str) <span class="keyword">const</span>;</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span> </div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a5c081c6ff0501fc91b71352995d6d9dc">str2Symbol</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str) <span class="keyword">const</span>;</div><div class="line"><a name="l00223"></a><span class="lineno"> 223</span> </div><div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3">kind2Str</a>(Kind <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>) <span class="keyword">const</span>;</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span> </div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym) <span class="keyword">const</span>;</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span> </div><div class="line"><a name="l00228"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06"> 228</a></span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">getSymbol</a>(<span class="keyword">const</span> Production& prod, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos)</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  {</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  <span class="keywordflow">return</span> prod.at(pos);</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  }</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</span> </div><div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e"> 233</a></span>  <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e">getAttrSyms</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">attributeKinds</a>;</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  }</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span> </div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  Kind <a class="code" href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">insertNonterminalKind</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <span class="keyword">const</span> kindStr);</div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span> </div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  Kind <a class="code" href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">insertTerminalKind</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span> </div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">insertSymbol</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span> </div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span> </div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">insertTerminalSymbol</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span> </div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">insertAttribute</a>(Kind kind, Attribute <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>);</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</span> </div><div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275"> 253</a></span>  <span class="keyword">inline</span> <span class="keyword">static</span> Kind <a class="code" href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">getAttributedKind</a>(Attribute <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>, Kind kind)</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  {</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>  <span class="keywordflow">return</span> ((attribute << <a class="code" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a>)| kind );</div><div class="line"><a name="l00256"></a><span class="lineno"> 256</span>  }</div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span> </div><div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e"> 258</a></span>  <span class="keyword">inline</span> <span class="keyword">static</span> Kind <a class="code" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">getVariabledKind</a>(VariableAttribute <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>, Kind kind)</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  {</div><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  <span class="keywordflow">return</span> ((variableAttribute << <a class="code" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a>) | kind);</div><div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  }</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span> </div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span> <span class="keyword">protected</span>:</div><div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f"> 264</a></span>  <span class="keyword">static</span> constexpr <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> <a class="code" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a> = 8; </div><div class="line"><a name="l00265"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854"> 265</a></span>  <span class="keyword">static</span> constexpr <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> <a class="code" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a> = 24; </div><div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d"> 266</a></span>  <span class="keyword">static</span> constexpr <a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d">EdgeKindMask</a> = (~0ULL) >> (64 - EdgeKindMaskBits);</div><div class="line"><a name="l00267"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af"> 267</a></span>  Kind <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>;</div><div class="line"><a name="l00268"></a><span class="lineno"> 268</span> <span class="keyword">private</span>:</div><div class="line"><a name="l00269"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b"> 269</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a> <a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>;</div><div class="line"><a name="l00270"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a"> 270</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a> <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>;</div><div class="line"><a name="l00271"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d"> 271</a></span>  <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Kind></a> <a class="code" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">attributeKinds</a>;</div><div class="line"><a name="l00272"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce"> 272</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, Set<Attribute></a>> <a class="code" href="classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce">kind2AttrsMap</a>;</div><div class="line"><a name="l00273"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd"> 273</a></span>  <a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap<Symbol, Productions></a> <a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>;</div><div class="line"><a name="l00274"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f"> 274</a></span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>;</div><div class="line"><a name="l00275"></a><span class="lineno"> 275</span> };</div><div class="line"><a name="l00276"></a><span class="lineno"> 276</span> </div><div class="line"><a name="l00277"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html"> 277</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a></div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span> {</div><div class="line"><a name="l00279"></a><span class="lineno"> 279</span> </div><div class="line"><a name="l00280"></a><span class="lineno"> 280</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>();</div><div class="line"><a name="l00282"></a><span class="lineno"> 282</span> </div><div class="line"><a name="l00284"></a><span class="lineno"> 284</span> </div><div class="line"><a name="l00285"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab"> 285</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *)</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  {</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  }</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span> </div><div class="line"><a name="l00290"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a25b035e49e90f42a44f7f6173a4bfdaf"> 290</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a25b035e49e90f42a44f7f6173a4bfdaf">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *node)</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  {</div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  }</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span> </div><div class="line"><a name="l00295"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9"> 295</a></span>  Productions& <a class="code" href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">getEpsilonProds</a>()</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  {</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <span class="keywordflow">return</span> epsilonProds;</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  }</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span> </div><div class="line"><a name="l00300"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce"> 300</a></span>  SymbolMap<Symbol, Productions>& <a class="code" href="classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce">getSingleRHS2Prods</a>()</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  {</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  <span class="keywordflow">return</span> singleRHS2Prods;</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  }</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span> </div><div class="line"><a name="l00305"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f"> 305</a></span>  SymbolMap<Symbol, Productions>& <a class="code" href="classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f">getFirstRHS2Prods</a>()</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  {</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <span class="keywordflow">return</span> firstRHS2Prods;</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  }</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span> </div><div class="line"><a name="l00310"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#aad22309781ec1a5ab247097dcaa6a0b8"> 310</a></span>  SymbolMap<Symbol, Productions>& <a class="code" href="classSVF_1_1CFLGrammar.html#aad22309781ec1a5ab247097dcaa6a0b8">getSecondRHS2Prods</a>()</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  {</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  <span class="keywordflow">return</span> secondRHS2Prods;</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  }</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span> </div><div class="line"><a name="l00315"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8"> 315</a></span>  <span class="keyword">const</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">hasProdsFromFirstRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  <span class="keyword">auto</span> it = firstRHS2Prods.find(sym);</div><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  <span class="keywordflow">return</span> it!=firstRHS2Prods.end();</div><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  }</div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span> </div><div class="line"><a name="l00321"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d"> 321</a></span>  <span class="keyword">const</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d">hasProdsFromSingleRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  <span class="keyword">auto</span> it = singleRHS2Prods.find(sym);</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  <span class="keywordflow">return</span> it!=singleRHS2Prods.end();</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  }</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span> </div><div class="line"><a name="l00327"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce"> 327</a></span>  <span class="keyword">const</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">hasProdsFromSecondRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  <span class="keyword">auto</span> it = secondRHS2Prods.find(sym);</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  <span class="keywordflow">return</span> it!=secondRHS2Prods.end();</div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  }</div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span> </div><div class="line"><a name="l00333"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b"> 333</a></span>  <span class="keyword">const</span> Productions& <a class="code" href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b">getProdsFromSingleRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <span class="keyword">auto</span> it = singleRHS2Prods.find(sym);</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  assert(it!=singleRHS2Prods.end() && <span class="stringliteral">"production (X -> sym) not found for sym!!"</span>);</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  }</div><div class="line"><a name="l00339"></a><span class="lineno"> 339</span> </div><div class="line"><a name="l00340"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa"> 340</a></span>  <span class="keyword">const</span> Productions& <a class="code" href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">getProdsFromFirstRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <span class="keyword">auto</span> it = firstRHS2Prods.find(sym);</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  assert(it!=firstRHS2Prods.end() && <span class="stringliteral">"production (X -> sym Y ) not found for sym!!"</span>);</div><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  }</div><div class="line"><a name="l00346"></a><span class="lineno"> 346</span> </div><div class="line"><a name="l00347"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89"> 347</a></span>  <span class="keyword">const</span> Productions& <a class="code" href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">getProdsFromSecondRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  <span class="keyword">auto</span> it = secondRHS2Prods.find(sym);</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  assert(it!=secondRHS2Prods.end() && <span class="stringliteral">"production (X -> Y sym) not found for sym!!"</span>);</div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  }</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span> </div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span> </div><div class="line"><a name="l00355"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec"> 355</a></span>  <span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& <a class="code" href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">getLHSSymbol</a>(<span class="keyword">const</span> Production& prod)<span class="keyword"> const</span></div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  <span class="keywordflow">return</span> prod.at(0);</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  }</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span> </div><div class="line"><a name="l00360"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4"> 360</a></span>  <span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& <a class="code" href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">getFirstRHSSymbol</a>(<span class="keyword">const</span> Production& prod)<span class="keyword"> const</span></div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <span class="keywordflow">return</span> prod.at(1);</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  }</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span> </div><div class="line"><a name="l00365"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51"> 365</a></span>  <span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& <a class="code" href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51">getSecondRHSSymbol</a>(<span class="keyword">const</span> Production& prod)<span class="keyword"> const</span></div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  <span class="keywordflow">return</span> prod.at(2);</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  }</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span> </div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  <span class="keywordtype">void</span> <a class="code" href="namespaceSVF.html#aae350f79ebcb9efd22ec9efa6678cd13">dump</a>() <span class="keyword">const</span>;</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span> </div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  <span class="keywordtype">void</span> <a class="code" href="namespaceSVF.html#aae350f79ebcb9efd22ec9efa6678cd13">dump</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> fileName) <span class="keyword">const</span>;</div><div class="line"><a name="l00373"></a><span class="lineno"> 373</span> </div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span> </div><div class="line"><a name="l00375"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a2494806a1282de3d7f6b588f7d6cc83e"> 375</a></span>  <span class="keyword">const</span> <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1CFLGrammar.html#a2494806a1282de3d7f6b588f7d6cc83e">num_generator</a>()</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  {</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  <span class="keywordflow">return</span> newTerminalSubscript++;</div><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  }</div><div class="line"><a name="l00379"></a><span class="lineno"> 379</span> </div><div class="line"><a name="l00380"></a><span class="lineno"> 380</span> <span class="keyword">private</span>:</div><div class="line"><a name="l00381"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74"> 381</a></span>  SymbolSet<Production> <a class="code" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a>;</div><div class="line"><a name="l00382"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278"> 382</a></span>  SymbolMap<Symbol, Productions> <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>;</div><div class="line"><a name="l00383"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f"> 383</a></span>  SymbolMap<Symbol, Productions> <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>;</div><div class="line"><a name="l00384"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4"> 384</a></span>  SymbolMap<Symbol, Productions> <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>;</div><div class="line"><a name="l00385"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485"> 385</a></span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a>;</div><div class="line"><a name="l00386"></a><span class="lineno"> 386</span> };</div><div class="line"><a name="l00387"></a><span class="lineno"> 387</span> </div><div class="line"><a name="l00393"></a><span class="lineno"> 393</span> <span class="keyword">template</span><<span class="keyword">class</span> Data></div><div class="line"><a name="l00394"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html"> 394</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1CFLFIFOWorkList.html">CFLFIFOWorkList</a></div><div class="line"><a name="l00395"></a><span class="lineno"> 395</span> {</div><div class="line"><a name="l00396"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85"> 396</a></span>  <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">GrammarBase::SymbolSet<Data></a> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85">DataSet</a>;</div><div class="line"><a name="l00397"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7"> 397</a></span>  <span class="keyword">typedef</span> std::deque<Data> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7">DataDeque</a>;</div><div class="line"><a name="l00398"></a><span class="lineno"> 398</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00399"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511"> 399</a></span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511">CFLFIFOWorkList</a>() {}</div><div class="line"><a name="l00400"></a><span class="lineno"> 400</span> </div><div class="line"><a name="l00401"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a1dadae237fbfb576ddb60cad60530b9e"> 401</a></span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a1dadae237fbfb576ddb60cad60530b9e">~CFLFIFOWorkList</a>() {}</div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span> </div><div class="line"><a name="l00403"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f"> 403</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">empty</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00404"></a><span class="lineno"> 404</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  <span class="keywordflow">return</span> data_list.empty();</div><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  }</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span> </div><div class="line"><a name="l00408"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8"> 408</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8">find</a>(Data data)<span class="keyword"> const</span></div><div class="line"><a name="l00409"></a><span class="lineno"> 409</span> <span class="keyword"> </span>{</div><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  <span class="keywordflow">return</span> (data_set.find(data) == data_set.end() ? <a class="code" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a> : <span class="keyword">true</span>);</div><div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  }</div><div class="line"><a name="l00412"></a><span class="lineno"> 412</span> </div><div class="line"><a name="l00416"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a"> 416</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a">push</a>(Data data)</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  {</div><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  <span class="keywordflow">if</span> (data_set.find(data) == data_set.end())</div><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  {</div><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  data_list.push_back(data);</div><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  data_set.insert(data);</div><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  }</div><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  }</div><div class="line"><a name="l00427"></a><span class="lineno"> 427</span> </div><div class="line"><a name="l00431"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff"> 431</a></span>  <span class="keyword">inline</span> Data <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff">pop</a>()</div><div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  {</div><div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  assert(!empty() && <span class="stringliteral">"work list is empty"</span>);</div><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  Data data = data_list.front();</div><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  data_list.pop_front();</div><div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  data_set.erase(data);</div><div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  <span class="keywordflow">return</span> data;</div><div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  }</div><div class="line"><a name="l00439"></a><span class="lineno"> 439</span> </div><div class="line"><a name="l00443"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56"> 443</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56">clear</a>()</div><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  {</div><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  data_list.clear();</div><div class="line"><a name="l00446"></a><span class="lineno"> 446</span>  data_set.clear();</div><div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  }</div><div class="line"><a name="l00448"></a><span class="lineno"> 448</span> </div><div class="line"><a name="l00449"></a><span class="lineno"> 449</span> <span class="keyword">private</span>:</div><div class="line"><a name="l00450"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0"> 450</a></span>  DataSet <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>; </div><div class="line"><a name="l00451"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0"> 451</a></span>  DataDeque <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>; </div><div class="line"><a name="l00452"></a><span class="lineno"> 452</span> };</div><div class="line"><a name="l00453"></a><span class="lineno"> 453</span> </div><div class="line"><a name="l00454"></a><span class="lineno"> 454</span> }</div><div class="line"><a name="l00455"></a><span class="lineno"> 455</span> <span class="preprocessor">#endif </span><span class="comment">/* CFLGrammar_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1GrammarBase_html_a8687586451b07458d591120cdee9f6a3"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SVF::GrammarBase::SymbolSet</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > SymbolSet</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00154">CFLGrammar.h:154</a></div></div>
|
|
70
70
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_ad8268060892644d15b13f84124bc1eaf"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol::Symbol</a></div><div class="ttdeci">Symbol()</div><div class="ttdoc">Default Value for Symbol is 0. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00049">CFLGrammar.h:49</a></div></div>
|
|
71
71
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a2eb6ab294093710ca1dc119836adff5a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a">SVF::GrammarBase::setRawProductions</a></div><div class="ttdeci">void setRawProductions(SymbolMap< Symbol, Productions > &rawProductions)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00040">CFLGrammar.cpp:40</a></div></div>
|
|
72
72
|
<div class="ttc" id="classSVF_1_1GrammarBase_1_1SymbolHash_html_a9213c70ec0cb74fbd7559db8fb45fd54"><div class="ttname"><a href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54">SVF::GrammarBase::SymbolHash::operator()</a></div><div class="ttdeci">size_t operator()(const Symbol &s) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00123">CFLGrammar.h:123</a></div></div>
|
|
73
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_a5ba80e2f28d7b7a722a24901fcaf4ffd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">SVF::GrammarBase::rawProductions</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > rawProductions</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
73
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_a5ba80e2f28d7b7a722a24901fcaf4ffd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">SVF::GrammarBase::rawProductions</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > rawProductions</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00273">CFLGrammar.h:273</a></div></div>
|
|
74
74
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_a065e31f186f058b9339cd4c162cddeb8"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8">SVF::GrammarBase::Symbol::operator<</a></div><div class="ttdeci">bool operator<(const Symbol &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00075">CFLGrammar.h:75</a></div></div>
|
|
75
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a866db9b7ba6569421fa8a9e3c64c2eab"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab">SVF::CFLGrammar::classof</a></div><div class="ttdeci">static bool classof(const CFLGrammar *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
75
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a866db9b7ba6569421fa8a9e3c64c2eab"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab">SVF::CFLGrammar::classof</a></div><div class="ttdeci">static bool classof(const CFLGrammar *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00285">CFLGrammar.h:285</a></div></div>
|
|
76
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_a7583350e892c62a454de8a8317e4c1b8"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">SVF::GrammarBase::insertTerminalSymbol</a></div><div class="ttdeci">Symbol insertTerminalSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00262">CFLGrammar.cpp:262</a></div></div>
|
|
76
77
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_a6e3dbf40c2169becf680ed77b381f6f9"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9">SVF::GrammarBase::Symbol::operator==</a></div><div class="ttdeci">bool operator==(const Kind &k) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00114">CFLGrammar.h:114</a></div></div>
|
|
77
78
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_ac5048e88477e9b937fffed628dc5e8e5"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac5048e88477e9b937fffed628dc5e8e5">SVF::GrammarBase::setKind2AttrsMap</a></div><div class="ttdeci">void setKind2AttrsMap(const Map< Kind, Set< Attribute >> &kind2AttrsMap)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00045">CFLGrammar.cpp:45</a></div></div>
|
|
78
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a9e62f15ed28cf5f48fce44b67d8a1c89"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">SVF::CFLGrammar::getProdsFromSecondRHS</a></div><div class="ttdeci">const Productions & getProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
79
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a9e62f15ed28cf5f48fce44b67d8a1c89"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">SVF::CFLGrammar::getProdsFromSecondRHS</a></div><div class="ttdeci">const Productions & getProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00347">CFLGrammar.h:347</a></div></div>
|
|
79
80
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_a95c544fcb78fd49a7fc753486a71e461"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461">SVF::GrammarBase::Symbol::operator==</a></div><div class="ttdeci">bool operator==(const Symbol &s) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00099">CFLGrammar.h:99</a></div></div>
|
|
80
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a25b035e49e90f42a44f7f6173a4bfdaf"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a25b035e49e90f42a44f7f6173a4bfdaf">SVF::CFLGrammar::classof</a></div><div class="ttdeci">static bool classof(const GrammarBase *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
81
|
-
<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#
|
|
81
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a25b035e49e90f42a44f7f6173a4bfdaf"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a25b035e49e90f42a44f7f6173a4bfdaf">SVF::CFLGrammar::classof</a></div><div class="ttdeci">static bool classof(const GrammarBase *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00290">CFLGrammar.h:290</a></div></div>
|
|
82
|
+
<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#l00277">CFLGrammar.h:277</a></div></div>
|
|
82
83
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_ae79b973ec24ba034e831a90285737a41"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41">SVF::GrammarBase::setTerminals</a></div><div class="ttdeci">void setTerminals(Map< std::string, Kind > &terminals)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00175">CFLGrammar.h:175</a></div></div>
|
|
83
84
|
<div class="ttc" id="classSVF_1_1GrammarBase_1_1SymbolHash_html"><div class="ttname"><a href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SVF::GrammarBase::SymbolHash</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00120">CFLGrammar.h:120</a></div></div>
|
|
84
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ac167616ad6e48161b0cb890107145ffa"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">SVF::CFLGrammar::getProdsFromFirstRHS</a></div><div class="ttdeci">const Productions & getProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
85
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ac167616ad6e48161b0cb890107145ffa"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">SVF::CFLGrammar::getProdsFromFirstRHS</a></div><div class="ttdeci">const Productions & getProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00340">CFLGrammar.h:340</a></div></div>
|
|
85
86
|
<div class="ttc" id="structSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00056">SVFBasicTypes.h:56</a></div></div>
|
|
86
87
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a4561438149716c91178ea013686f66ae"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase::getRawProductions</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getRawProductions()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00180">CFLGrammar.h:180</a></div></div>
|
|
87
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a2494806a1282de3d7f6b588f7d6cc83e"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a2494806a1282de3d7f6b588f7d6cc83e">SVF::CFLGrammar::num_generator</a></div><div class="ttdeci">const u32_t num_generator()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
88
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a8d6292a55da24336d968e20c7ac288d9"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">SVF::CFLGrammar::getEpsilonProds</a></div><div class="ttdeci">Productions & getEpsilonProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
88
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a2494806a1282de3d7f6b588f7d6cc83e"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a2494806a1282de3d7f6b588f7d6cc83e">SVF::CFLGrammar::num_generator</a></div><div class="ttdeci">const u32_t num_generator()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00375">CFLGrammar.h:375</a></div></div>
|
|
89
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a8d6292a55da24336d968e20c7ac288d9"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">SVF::CFLGrammar::getEpsilonProds</a></div><div class="ttdeci">Productions & getEpsilonProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00295">CFLGrammar.h:295</a></div></div>
|
|
89
90
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_ac15b20ef3698ddab09c4c60e302ea4a0"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">SVF::GrammarBase::insertNonterminalKind</a></div><div class="ttdeci">Kind insertNonterminalKind(std::string const kindStr)</div><div class="ttdoc">Insert kind to nonterminal and return kind. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00178">CFLGrammar.cpp:178</a></div></div>
|
|
90
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_adc1413dc2e875a6e74bdb5b985cdd39f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">SVF::GrammarBase::EdgeKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char EdgeKindMaskBits</div><div class="ttdoc">We use the lower 8 bits to denote edge kind. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
91
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_adc1413dc2e875a6e74bdb5b985cdd39f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">SVF::GrammarBase::EdgeKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char EdgeKindMaskBits</div><div class="ttdoc">We use the lower 8 bits to denote edge kind. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00264">CFLGrammar.h:264</a></div></div>
|
|
91
92
|
<div class="ttc" id="cJSON_8cpp_html_a65e9886d74aaee76545e83dd09011727"><div class="ttname"><a href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></div><div class="ttdeci">#define false</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00070">cJSON.cpp:70</a></div></div>
|
|
92
93
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a8921a7d7a006e31f13d88b8c808c931b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">SVF::GrammarBase::getStartKind</a></div><div class="ttdeci">Kind getStartKind()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00195">CFLGrammar.h:195</a></div></div>
|
|
93
94
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_ae28fea79c05ba05fc8c2e67b194e42b9"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ae28fea79c05ba05fc8c2e67b194e42b9">SVF::GrammarBase::getKind2AttrsMap</a></div><div class="ttdeci">const Map< Kind, Set< Attribute > > & getKind2AttrsMap() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00185">CFLGrammar.h:185</a></div></div>
|
|
94
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_ac3324324d2146cf04680cc4a4e444a2d"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">SVF::GrammarBase::attributeKinds</a></div><div class="ttdeci">Set< Kind > attributeKinds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
95
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a0899c25a81dfad2d134785c31ab6ad56"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56">SVF::CFLFIFOWorkList::clear</a></div><div class="ttdeci">void clear()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
95
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_ac3324324d2146cf04680cc4a4e444a2d"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">SVF::GrammarBase::attributeKinds</a></div><div class="ttdeci">Set< Kind > attributeKinds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00271">CFLGrammar.h:271</a></div></div>
|
|
96
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a0899c25a81dfad2d134785c31ab6ad56"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56">SVF::CFLFIFOWorkList::clear</a></div><div class="ttdeci">void clear()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00443">CFLGrammar.h:443</a></div></div>
|
|
96
97
|
<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< Key, Value, Hash, KeyEqual, Allocator > SymbolMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00150">CFLGrammar.h:150</a></div></div>
|
|
97
98
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_af26cd32a0c3b88aec053bec17519f942"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">SVF::GrammarBase::Symbol::variableAttribute</a></div><div class="ttdeci">VariableAttribute variableAttribute</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00046">CFLGrammar.h:46</a></div></div>
|
|
98
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a3ccdda19bfed497ee8e14c1aaac4aa51"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51">SVF::CFLGrammar::getSecondRHSSymbol</a></div><div class="ttdeci">const Symbol & getSecondRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
99
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a3ccdda19bfed497ee8e14c1aaac4aa51"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51">SVF::CFLGrammar::getSecondRHSSymbol</a></div><div class="ttdeci">const Symbol & getSecondRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00365">CFLGrammar.h:365</a></div></div>
|
|
99
100
|
<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< Production > Productions</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00157">CFLGrammar.h:157</a></div></div>
|
|
100
101
|
<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< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00110">SVFBasicTypes.h:110</a></div></div>
|
|
101
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ac0f09c94e9c6efc00398ed7d5ca1fe0f"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f">SVF::CFLGrammar::getFirstRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getFirstRHS2Prods()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
102
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ac0f09c94e9c6efc00398ed7d5ca1fe0f"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f">SVF::CFLGrammar::getFirstRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getFirstRHS2Prods()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00305">CFLGrammar.h:305</a></div></div>
|
|
102
103
|
<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
|
|
103
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a640023178f4a6db832ca30256759484f"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
104
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a640023178f4a6db832ca30256759484f"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00383">CFLGrammar.h:383</a></div></div>
|
|
104
105
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a04140ef06feee613506529fd8c23665e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">SVF::GrammarBase::getNonterminals</a></div><div class="ttdeci">Map< std::string, Kind > & getNonterminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00160">CFLGrammar.h:160</a></div></div>
|
|
105
106
|
<div class="ttc" id="SVFBasicTypes_8h_html"><div class="ttname"><a href="SVFBasicTypes_8h.html">SVFBasicTypes.h</a></div></div>
|
|
106
107
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_aa37072e1a6c0875305260c7c2414d767"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol::Symbol</a></div><div class="ttdeci">Symbol(const u32_t &num)</div><div class="ttdoc">Contruct from u32_t move the bit to right field. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00052">CFLGrammar.h:52</a></div></div>
|
|
107
108
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a716ce662e6a3f2febf3ab378c4217759"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">SVF::GrammarBase::VariableAttribute</a></div><div class="ttdeci">u32_t VariableAttribute</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00041">CFLGrammar.h:41</a></div></div>
|
|
108
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_ad7321168f53baa55098f7c714ec53f1e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">SVF::GrammarBase::getVariabledKind</a></div><div class="ttdeci">static Kind getVariabledKind(VariableAttribute variableAttribute, Kind kind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
109
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a51d4514dec026412f7151a6ea1fc2b5d"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d">SVF::CFLGrammar::hasProdsFromSingleRHS</a></div><div class="ttdeci">const bool hasProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
109
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_ad7321168f53baa55098f7c714ec53f1e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">SVF::GrammarBase::getVariabledKind</a></div><div class="ttdeci">static Kind getVariabledKind(VariableAttribute variableAttribute, Kind kind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00258">CFLGrammar.h:258</a></div></div>
|
|
110
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a51d4514dec026412f7151a6ea1fc2b5d"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d">SVF::CFLGrammar::hasProdsFromSingleRHS</a></div><div class="ttdeci">const bool hasProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00321">CFLGrammar.h:321</a></div></div>
|
|
110
111
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a1de2b9f6c39936afa8f821ca262deadd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">SVF::GrammarBase::setStartKind</a></div><div class="ttdeci">void setStartKind(Kind startKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00200">CFLGrammar.h:200</a></div></div>
|
|
111
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a8ccf884ed6bc0d172f3c2999717f9cff"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff">SVF::CFLFIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
112
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a837d2db607e1c9403db4d3021f4e52d4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">SVF::CFLGrammar::getFirstRHSSymbol</a></div><div class="ttdeci">const Symbol & getFirstRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
113
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_aa188ee22955b98c31abbf2b339b64d20"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">SVF::GrammarBase::insertAttribute</a></div><div class="ttdeci">void insertAttribute(Kind kind, Attribute a)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#
|
|
112
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a8ccf884ed6bc0d172f3c2999717f9cff"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff">SVF::CFLFIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00431">CFLGrammar.h:431</a></div></div>
|
|
113
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a837d2db607e1c9403db4d3021f4e52d4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">SVF::CFLGrammar::getFirstRHSSymbol</a></div><div class="ttdeci">const Symbol & getFirstRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00360">CFLGrammar.h:360</a></div></div>
|
|
114
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_aa188ee22955b98c31abbf2b339b64d20"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">SVF::GrammarBase::insertAttribute</a></div><div class="ttdeci">void insertAttribute(Kind kind, Attribute a)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00294">CFLGrammar.cpp:294</a></div></div>
|
|
114
115
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a1e1bf1e32bcd7c68ce789c2f9f6327c0"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0">SVF::GrammarBase::setAttributeKinds</a></div><div class="ttdeci">void setAttributeKinds(const Set< Kind > &attributeKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00050">CFLGrammar.cpp:50</a></div></div>
|
|
115
116
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_ac8ecc4293c5a63d2d30d0ca0832217d3"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3">SVF::GrammarBase::kind2Str</a></div><div class="ttdeci">std::string kind2Str(Kind kind) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00099">CFLGrammar.cpp:99</a></div></div>
|
|
116
117
|
<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< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00105">SVFBasicTypes.h:105</a></div></div>
|
|
117
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_aa0ce832f5eeae74d52260fd8954d545f"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">SVF::CFLFIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
118
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_aad22309781ec1a5ab247097dcaa6a0b8"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aad22309781ec1a5ab247097dcaa6a0b8">SVF::CFLGrammar::getSecondRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getSecondRHS2Prods()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
118
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_aa0ce832f5eeae74d52260fd8954d545f"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">SVF::CFLFIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00403">CFLGrammar.h:403</a></div></div>
|
|
119
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_aad22309781ec1a5ab247097dcaa6a0b8"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aad22309781ec1a5ab247097dcaa6a0b8">SVF::CFLGrammar::getSecondRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getSecondRHS2Prods()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00310">CFLGrammar.h:310</a></div></div>
|
|
119
120
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_ad2d56d8cdc4539d4201d1995fb36e772"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">SVF::GrammarBase::str2Kind</a></div><div class="ttdeci">Kind str2Kind(std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00055">CFLGrammar.cpp:55</a></div></div>
|
|
120
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a62ef55a46552652e20f8e3bfc2b72bd0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">SVF::CFLFIFOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
121
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a62ef55a46552652e20f8e3bfc2b72bd0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">SVF::CFLFIFOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00450">CFLGrammar.h:450</a></div></div>
|
|
121
122
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a44232dfc5b9a13dfe9b72ff18634ab37"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">SVF::GrammarBase::getTerminals</a></div><div class="ttdeci">Map< std::string, Kind > & getTerminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00170">CFLGrammar.h:170</a></div></div>
|
|
122
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a34d1d61f300a3c9e3b445764f3a316a8"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8">SVF::CFLFIFOWorkList::find</a></div><div class="ttdeci">bool find(Data data) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
123
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a0c9462377b1adf656f803de3be6a0d2b"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b">SVF::CFLGrammar::getProdsFromSingleRHS</a></div><div class="ttdeci">const Productions & getProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
123
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a34d1d61f300a3c9e3b445764f3a316a8"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8">SVF::CFLFIFOWorkList::find</a></div><div class="ttdeci">bool find(Data data) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00408">CFLGrammar.h:408</a></div></div>
|
|
124
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a0c9462377b1adf656f803de3be6a0d2b"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b">SVF::CFLGrammar::getProdsFromSingleRHS</a></div><div class="ttdeci">const Productions & getProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00333">CFLGrammar.h:333</a></div></div>
|
|
124
125
|
<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>
|
|
125
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_aa6383a6a8ccd30afbedf7ff3a05d46d8"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">SVF::CFLGrammar::hasProdsFromFirstRHS</a></div><div class="ttdeci">const bool hasProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
126
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ab666a858752d088bd2f2081d0c9bd278"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
127
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d">SVF::GrammarBase::EdgeKindMask</a></div><div class="ttdeci">static constexpr u64_t EdgeKindMask</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
128
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a2b1c91f6d33423046d3ffcb2985351ce"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">SVF::CFLGrammar::hasProdsFromSecondRHS</a></div><div class="ttdeci">const bool hasProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
126
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_aa6383a6a8ccd30afbedf7ff3a05d46d8"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">SVF::CFLGrammar::hasProdsFromFirstRHS</a></div><div class="ttdeci">const bool hasProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00315">CFLGrammar.h:315</a></div></div>
|
|
127
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ab666a858752d088bd2f2081d0c9bd278"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00382">CFLGrammar.h:382</a></div></div>
|
|
128
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d">SVF::GrammarBase::EdgeKindMask</a></div><div class="ttdeci">static constexpr u64_t EdgeKindMask</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00266">CFLGrammar.h:266</a></div></div>
|
|
129
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a2b1c91f6d33423046d3ffcb2985351ce"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">SVF::CFLGrammar::hasProdsFromSecondRHS</a></div><div class="ttdeci">const bool hasProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00327">CFLGrammar.h:327</a></div></div>
|
|
129
130
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a9cc406edc117b3abd07a85f66ca892a0"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a9cc406edc117b3abd07a85f66ca892a0">SVF::GrammarBase::extractKindStrFromSymbolStr</a></div><div class="ttdeci">std::string extractKindStrFromSymbolStr(const std::string symbolStr) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00193">CFLGrammar.cpp:193</a></div></div>
|
|
130
131
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_aaa1569c56bbef8ba8fb36bbc1363a77a"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a">SVF::GrammarBase::Symbol::operator=</a></div><div class="ttdeci">void operator=(unsigned long long num)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00087">CFLGrammar.h:87</a></div></div>
|
|
131
132
|
<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#l00231">CFLGrammar.cpp:231</a></div></div>
|
|
132
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a5a5caa556bf8023b4b0b525179efd1b0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">SVF::CFLFIFOWorkList::data_list</a></div><div class="ttdeci">DataDeque data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
133
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a5a5caa556bf8023b4b0b525179efd1b0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">SVF::CFLFIFOWorkList::data_list</a></div><div class="ttdeci">DataDeque data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00451">CFLGrammar.h:451</a></div></div>
|
|
133
134
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a37a31f03501a11e7951d56dbf1cb146a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">SVF::GrammarBase::setTotalKind</a></div><div class="ttdeci">void setTotalKind(Kind totalKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00205">CFLGrammar.h:205</a></div></div>
|
|
134
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a3cfce0e2282c63679d6e7835e19ad5ec"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">SVF::CFLGrammar::getLHSSymbol</a></div><div class="ttdeci">const Symbol & getLHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
135
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a3cfce0e2282c63679d6e7835e19ad5ec"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">SVF::CFLGrammar::getLHSSymbol</a></div><div class="ttdeci">const Symbol & getLHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00355">CFLGrammar.h:355</a></div></div>
|
|
135
136
|
<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>
|
|
136
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_a9782f4baeece8095f8a55cadd049ffce"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce">SVF::GrammarBase::kind2AttrsMap</a></div><div class="ttdeci">Map< Kind, Set< Attribute > > kind2AttrsMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
137
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_a9782f4baeece8095f8a55cadd049ffce"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce">SVF::GrammarBase::kind2AttrsMap</a></div><div class="ttdeci">Map< Kind, Set< Attribute > > kind2AttrsMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00272">CFLGrammar.h:272</a></div></div>
|
|
137
138
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a9f56cebea336079e35f5f3a288eb356f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a9f56cebea336079e35f5f3a288eb356f">SVF::GrammarBase::extractAttributeStrFromSymbolStr</a></div><div class="ttdeci">std::string extractAttributeStrFromSymbolStr(const std::string symbolStr) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00205">CFLGrammar.cpp:205</a></div></div>
|
|
138
139
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_a756bed7c50c6d3251cc4832247c8691d"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">SVF::GrammarBase::Symbol::attribute</a></div><div class="ttdeci">Attribute attribute</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00045">CFLGrammar.h:45</a></div></div>
|
|
139
140
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1SymbolVectorHash_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html">SVF::GrammarBase::SymbolVectorHash</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00131">CFLGrammar.h:131</a></div></div>
|
|
140
141
|
<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< Symbol > Production</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00156">CFLGrammar.h:156</a></div></div>
|
|
141
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ad93447aa8d7fce7693e858717dcb44f4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">SVF::CFLGrammar::secondRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
142
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_a079915fce4eb8e63433b06d79127261a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">SVF::GrammarBase::terminals</a></div><div class="ttdeci">Map< std::string, Kind > terminals</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
143
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_a604cb7d4850cfd12d3b8730e0cab84af"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">SVF::GrammarBase::startKind</a></div><div class="ttdeci">Kind startKind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
142
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_ad93447aa8d7fce7693e858717dcb44f4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">SVF::CFLGrammar::secondRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00384">CFLGrammar.h:384</a></div></div>
|
|
143
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_a079915fce4eb8e63433b06d79127261a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">SVF::GrammarBase::terminals</a></div><div class="ttdeci">Map< std::string, Kind > terminals</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00270">CFLGrammar.h:270</a></div></div>
|
|
144
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_a604cb7d4850cfd12d3b8730e0cab84af"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">SVF::GrammarBase::startKind</a></div><div class="ttdeci">Kind startKind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00267">CFLGrammar.h:267</a></div></div>
|
|
144
145
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1SymbolVectorHash_html_a321f570e916c56fc0b9789662069481e"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e">SVF::GrammarBase::SymbolVectorHash::operator()</a></div><div class="ttdeci">size_t operator()(const std::vector< Symbol > &v) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00133">CFLGrammar.h:133</a></div></div>
|
|
145
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_a2dcb7647b5be7b3ab1dad2c494828854"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">SVF::GrammarBase::AttributedKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char AttributedKindMaskBits</div><div class="ttdoc">We use the lower 24 bits to denote attributed kind. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
146
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_a2dcb7647b5be7b3ab1dad2c494828854"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">SVF::GrammarBase::AttributedKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char AttributedKindMaskBits</div><div class="ttdoc">We use the lower 24 bits to denote attributed kind. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00265">CFLGrammar.h:265</a></div></div>
|
|
146
147
|
<div class="ttc" id="cJSON_8cpp_html_a8a1a0a26c50cc4becfc754bb68d1dc6b"><div class="ttname"><a href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a></div><div class="ttdeci">cJSON * a</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02560">cJSON.cpp:2560</a></div></div>
|
|
147
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a4d9770a2b935bcad74ae551389925f74"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">SVF::CFLGrammar::epsilonProds</a></div><div class="ttdeci">SymbolSet< Production > epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
148
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_a4d9770a2b935bcad74ae551389925f74"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">SVF::CFLGrammar::epsilonProds</a></div><div class="ttdeci">SymbolSet< Production > epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00381">CFLGrammar.h:381</a></div></div>
|
|
148
149
|
<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>
|
|
149
150
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_afb21efe07e3451ad8284cab384963f06"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">SVF::GrammarBase::getSymbol</a></div><div class="ttdeci">Symbol getSymbol(const Production &prod, u32_t pos)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00228">CFLGrammar.h:228</a></div></div>
|
|
150
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_af418e1033618da75e974a04ee1d7e275"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">SVF::GrammarBase::getAttributedKind</a></div><div class="ttdeci">static Kind getAttributedKind(Attribute attribute, Kind kind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
151
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_ac9f86b0861e93eee2548aa7f5f3b7b7f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">SVF::GrammarBase::totalKind</a></div><div class="ttdeci">u32_t totalKind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
151
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_af418e1033618da75e974a04ee1d7e275"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">SVF::GrammarBase::getAttributedKind</a></div><div class="ttdeci">static Kind getAttributedKind(Attribute attribute, Kind kind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00253">CFLGrammar.h:253</a></div></div>
|
|
152
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_ac9f86b0861e93eee2548aa7f5f3b7b7f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">SVF::GrammarBase::totalKind</a></div><div class="ttdeci">u32_t totalKind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00274">CFLGrammar.h:274</a></div></div>
|
|
152
153
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_a61e31daf8b0bc18d69c3e7f5df1eb181"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181">SVF::GrammarBase::Symbol::operator=</a></div><div class="ttdeci">void operator=(const u32_t &i)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00080">CFLGrammar.h:80</a></div></div>
|
|
153
154
|
<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>
|
|
154
155
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_aa60ddaabcb38b277d56b41bc9133ef71"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">SVF::GrammarBase::Symbol::kind</a></div><div class="ttdeci">Kind kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00044">CFLGrammar.h:44</a></div></div>
|
|
155
156
|
<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>
|
|
156
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html">SVF::CFLFIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
157
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html">SVF::CFLFIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00394">CFLGrammar.h:394</a></div></div>
|
|
157
158
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a4c0b76ce574087acdcb3e884480b18b0"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">SVF::GrammarBase::sym2StrDump</a></div><div class="ttdeci">std::string sym2StrDump(Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00125">CFLGrammar.cpp:125</a></div></div>
|
|
158
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a0db15ca0ec5a14aee493ccfe54d34d85"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85">SVF::CFLFIFOWorkList::DataSet</a></div><div class="ttdeci">GrammarBase::SymbolSet< Data > DataSet</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
159
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_afdd0808aa938d854b3fc7ba9a9f3c485"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">SVF::CFLGrammar::newTerminalSubscript</a></div><div class="ttdeci">u32_t newTerminalSubscript</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
159
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a0db15ca0ec5a14aee493ccfe54d34d85"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85">SVF::CFLFIFOWorkList::DataSet</a></div><div class="ttdeci">GrammarBase::SymbolSet< Data > DataSet</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00396">CFLGrammar.h:396</a></div></div>
|
|
160
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_afdd0808aa938d854b3fc7ba9a9f3c485"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">SVF::CFLGrammar::newTerminalSubscript</a></div><div class="ttdeci">u32_t newTerminalSubscript</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00385">CFLGrammar.h:385</a></div></div>
|
|
160
161
|
<div class="ttc" id="namespaceSVF_html_aae350f79ebcb9efd22ec9efa6678cd13"><div class="ttname"><a href="namespaceSVF.html#aae350f79ebcb9efd22ec9efa6678cd13">SVF::dump</a></div><div class="ttdeci">void dump(const SparseBitVector< ElementSize > &LHS, std::ostream &out)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01189">SparseBitVector.h:1189</a></div></div>
|
|
161
162
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a76e0969670709e24532756e56aafab19"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19">SVF::GrammarBase::getTotalKind</a></div><div class="ttdeci">Kind getTotalKind()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00190">CFLGrammar.h:190</a></div></div>
|
|
162
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_af043947e65b5a900df799825f140f75a"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a">SVF::CFLFIFOWorkList::push</a></div><div class="ttdeci">bool push(Data data)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
163
|
-
<div class="ttc" id="classSVF_1_1CFLGrammar_html_afefc9b90be5cf275f476bb7c3f1c74ce"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce">SVF::CFLGrammar::getSingleRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getSingleRHS2Prods()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
164
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a1246a16c404664f0f17e8333eaae2511"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511">SVF::CFLFIFOWorkList::CFLFIFOWorkList</a></div><div class="ttdeci">CFLFIFOWorkList()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
163
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_af043947e65b5a900df799825f140f75a"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a">SVF::CFLFIFOWorkList::push</a></div><div class="ttdeci">bool push(Data data)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00416">CFLGrammar.h:416</a></div></div>
|
|
164
|
+
<div class="ttc" id="classSVF_1_1CFLGrammar_html_afefc9b90be5cf275f476bb7c3f1c74ce"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce">SVF::CFLGrammar::getSingleRHS2Prods</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getSingleRHS2Prods()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00300">CFLGrammar.h:300</a></div></div>
|
|
165
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a1246a16c404664f0f17e8333eaae2511"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511">SVF::CFLFIFOWorkList::CFLFIFOWorkList</a></div><div class="ttdeci">CFLFIFOWorkList()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00399">CFLGrammar.h:399</a></div></div>
|
|
165
166
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_ab888c449c25947a0082ca0e7136ef1e9"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9">SVF::GrammarBase::Symbol::operator==</a></div><div class="ttdeci">bool operator==(const u32_t &i)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00109">CFLGrammar.h:109</a></div></div>
|
|
166
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a1dadae237fbfb576ddb60cad60530b9e"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a1dadae237fbfb576ddb60cad60530b9e">SVF::CFLFIFOWorkList::~CFLFIFOWorkList</a></div><div class="ttdeci">~CFLFIFOWorkList()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
167
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a1dadae237fbfb576ddb60cad60530b9e"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a1dadae237fbfb576ddb60cad60530b9e">SVF::CFLFIFOWorkList::~CFLFIFOWorkList</a></div><div class="ttdeci">~CFLFIFOWorkList()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00401">CFLGrammar.h:401</a></div></div>
|
|
167
168
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_a09f8568b3cdca65069b38879cfe57a53"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">SVF::GrammarBase::Symbol::operator==</a></div><div class="ttdeci">bool operator==(const Symbol &s)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00094">CFLGrammar.h:94</a></div></div>
|
|
168
169
|
<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>
|
|
169
170
|
<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00071">BasicTypes.h:71</a></div></div>
|
|
@@ -173,8 +174,8 @@ $(function() {
|
|
|
173
174
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_afc9635e14b5871df457bf64fae6ad8cf"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">SVF::GrammarBase::setNonterminals</a></div><div class="ttdeci">void setNonterminals(Map< std::string, Kind > &nonterminals)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00165">CFLGrammar.h:165</a></div></div>
|
|
174
175
|
<div class="ttc" id="classSVF_1_1GrammarBase_html_a5c081c6ff0501fc91b71352995d6d9dc"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a5c081c6ff0501fc91b71352995d6d9dc">SVF::GrammarBase::str2Symbol</a></div><div class="ttdeci">Symbol str2Symbol(const std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00070">CFLGrammar.cpp:70</a></div></div>
|
|
175
176
|
<div class="ttc" id="namespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00087">SVFBasicTypes.h:87</a></div></div>
|
|
176
|
-
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_aa2ac3edad97017817899d081dc6f1df7"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7">SVF::CFLFIFOWorkList::DataDeque</a></div><div class="ttdeci">std::deque< Data > DataDeque</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
177
|
-
<div class="ttc" id="classSVF_1_1GrammarBase_html_ac0e54c6a5e87f9d91a5296504914849b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">SVF::GrammarBase::nonterminals</a></div><div class="ttdeci">Map< std::string, Kind > nonterminals</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#
|
|
177
|
+
<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_aa2ac3edad97017817899d081dc6f1df7"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7">SVF::CFLFIFOWorkList::DataDeque</a></div><div class="ttdeci">std::deque< Data > DataDeque</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00397">CFLGrammar.h:397</a></div></div>
|
|
178
|
+
<div class="ttc" id="classSVF_1_1GrammarBase_html_ac0e54c6a5e87f9d91a5296504914849b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">SVF::GrammarBase::nonterminals</a></div><div class="ttdeci">Map< std::string, Kind > nonterminals</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00269">CFLGrammar.h:269</a></div></div>
|
|
178
179
|
<div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_a0c53c26afedc5ada95b32fa2d3b6e136"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136">SVF::GrammarBase::Symbol::operator!=</a></div><div class="ttdeci">bool operator!=(const Symbol &s) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00104">CFLGrammar.h:104</a></div></div>
|
|
179
180
|
</div><!-- fragment --></div><!-- contents -->
|
|
180
181
|
<!-- start footer part -->
|