svf-tools 1.0.579 → 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.
Files changed (313) hide show
  1. package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +2 -1
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +3 -2
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +9 -6
  4. package/SVF-doxygen/html/html/Andersen_8h_source.html +6 -3
  5. package/SVF-doxygen/html/html/Annotator_8h_source.html +1 -1
  6. package/SVF-doxygen/html/html/BasicTypes_8cpp.html +81 -0
  7. package/SVF-doxygen/html/html/BasicTypes_8cpp_source.html +91 -0
  8. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +10 -10
  9. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +1 -1
  10. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +5 -5
  11. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
  12. package/SVF-doxygen/html/html/CFLBase_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +12 -11
  14. package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +49 -48
  15. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +76 -76
  16. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +10 -10
  18. package/SVF-doxygen/html/html/CFLSolver_8h_source.html +1 -1
  19. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +11 -10
  20. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +5 -4
  21. package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
  22. package/SVF-doxygen/html/html/CHG_8cpp_source.html +8 -8
  23. package/SVF-doxygen/html/html/CHG_8h_source.html +2 -2
  24. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +18 -16
  25. package/SVF-doxygen/html/html/CPPUtil_8h_source.html +1 -1
  26. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +1 -1
  27. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +6 -3
  28. package/SVF-doxygen/html/html/ConsG_8h_source.html +1 -1
  29. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -2
  30. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +4 -2
  31. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +2 -2
  32. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +5 -5
  33. package/SVF-doxygen/html/html/DCHG_8h_source.html +3 -3
  34. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  35. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +5 -2
  36. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/ExeState_8cpp_source.html +4 -2
  39. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +5 -5
  40. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
  41. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  42. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  43. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +4 -2
  44. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -1
  45. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +6 -3
  46. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +5 -2
  47. package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +1 -2
  48. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -5
  49. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +3 -3
  50. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  51. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +1 -1
  52. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +3 -3
  53. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  54. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +3 -3
  55. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  56. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +6 -6
  57. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +1 -1
  58. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +9 -9
  59. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +7 -7
  60. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  61. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  62. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +2 -2
  63. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +5 -5
  64. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +1 -1
  65. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +7 -6
  66. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +1 -1
  67. package/SVF-doxygen/html/html/MHP_8cpp.html +1 -1
  68. package/SVF-doxygen/html/html/MHP_8cpp_source.html +4 -4
  69. package/SVF-doxygen/html/html/MHP_8h_source.html +1 -1
  70. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +1 -1
  71. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +2 -2
  72. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  73. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +7 -7
  74. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +3 -3
  75. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +2 -2
  76. package/SVF-doxygen/html/html/MTA_8cpp_source.html +5 -3
  77. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  78. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  79. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +6 -5
  80. package/SVF-doxygen/html/html/MemRegion_8h_source.html +4 -2
  81. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +10 -8
  82. package/SVF-doxygen/html/html/MemSSA_8h_source.html +4 -2
  83. package/SVF-doxygen/html/html/PCG_8cpp_source.html +3 -3
  84. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  85. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +25 -25
  86. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +1 -1
  87. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  88. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +9 -9
  89. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  90. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html +3 -0
  91. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html +3 -2
  92. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +1 -1
  93. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  94. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  95. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -1
  96. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -3
  97. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  98. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +18 -17
  99. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +6 -6
  100. package/SVF-doxygen/html/html/SVFIR_8h_source.html +1 -1
  101. package/SVF-doxygen/html/html/SVFModule_8h_source.html +4 -4
  102. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +2 -1
  103. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +5 -5
  104. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +4 -4
  105. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +2 -2
  106. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +1 -1
  107. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  108. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +5 -5
  109. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +4 -4
  110. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -2
  111. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +2 -3
  112. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  113. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +2 -1
  114. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +11 -11
  115. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +4 -4
  116. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +3 -3
  117. package/SVF-doxygen/html/html/TCT_8cpp_source.html +6 -6
  118. package/SVF-doxygen/html/html/TCT_8h_source.html +4 -4
  119. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +2 -2
  120. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +4 -4
  121. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  122. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +1 -1
  123. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
  124. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +0 -2
  125. package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +83 -84
  126. package/SVF-doxygen/html/html/VFGNode_8h_source.html +3 -3
  127. package/SVF-doxygen/html/html/VFG_8cpp_source.html +6 -4
  128. package/SVF-doxygen/html/html/VFG_8h_source.html +6 -3
  129. package/SVF-doxygen/html/html/VFG_8txt.html +5 -5
  130. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +4 -2
  131. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +3 -1
  132. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  133. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  134. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  135. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +3 -3
  136. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +8 -8
  137. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +4 -4
  138. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +3 -3
  139. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +5 -5
  140. package/SVF-doxygen/html/html/classSVF_1_1Annotator.html +1 -1
  141. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +1 -1
  142. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  143. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +1 -1
  144. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +11 -11
  145. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +11 -11
  146. package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +24 -24
  147. package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar-members.html +24 -23
  148. package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar.html +49 -47
  149. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +10 -10
  150. package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +1 -1
  151. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +17 -16
  152. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +6 -6
  153. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +1 -1
  154. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +36 -36
  156. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +17 -8
  158. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +9 -8
  159. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  160. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +2 -2
  161. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +5 -5
  162. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
  163. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +10 -6
  164. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +3 -3
  165. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  166. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +5 -5
  168. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +3 -3
  169. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +5 -4
  170. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +12 -8
  171. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +4 -2
  172. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +7 -7
  173. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +2 -2
  175. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  176. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase-members.html +25 -24
  177. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +75 -44
  178. package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +1 -2
  179. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +1 -1
  180. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +6 -6
  181. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +3 -3
  182. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +3 -3
  183. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +7 -7
  184. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +3 -3
  185. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  186. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +3 -3
  187. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +17 -17
  188. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +7 -6
  189. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +13 -13
  190. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +15 -12
  191. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +5 -3
  192. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +5 -5
  193. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +11 -11
  194. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +2 -2
  195. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +34 -22
  196. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +1 -1
  197. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +8 -8
  198. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +1 -1
  199. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
  200. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +13 -13
  201. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +3 -3
  202. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  203. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +3 -3
  204. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +5 -5
  205. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +126 -160
  206. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +11 -8
  207. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +3 -3
  209. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html +3 -3
  210. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +38 -37
  211. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +3 -2
  212. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +1 -1
  213. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +1 -1
  214. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +7 -7
  215. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +3 -2
  216. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
  217. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +2 -2
  218. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +2 -1
  219. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  220. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +14 -14
  221. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +7 -7
  222. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +15 -15
  223. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  224. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  225. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  226. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  227. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
  228. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
  229. package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.html +1 -1
  230. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +24 -18
  231. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +6 -5
  232. package/SVF-doxygen/html/html/dir_862d3276083eaac55caed79b9120bf29.html +2 -0
  233. package/SVF-doxygen/html/html/files.html +14 -13
  234. package/SVF-doxygen/html/html/functions_d.html +1 -1
  235. package/SVF-doxygen/html/html/functions_func_d.html +1 -1
  236. package/SVF-doxygen/html/html/functions_func_g.html +2 -2
  237. package/SVF-doxygen/html/html/functions_func_i.html +11 -8
  238. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  239. package/SVF-doxygen/html/html/functions_g.html +2 -2
  240. package/SVF-doxygen/html/html/functions_i.html +16 -13
  241. package/SVF-doxygen/html/html/functions_l.html +3 -3
  242. package/SVF-doxygen/html/html/functions_o.html +6 -6
  243. package/SVF-doxygen/html/html/functions_p.html +7 -3
  244. package/SVF-doxygen/html/html/functions_r.html +1 -1
  245. package/SVF-doxygen/html/html/functions_s.html +8 -8
  246. package/SVF-doxygen/html/html/functions_v.html +3 -3
  247. package/SVF-doxygen/html/html/globals_a.html +5 -5
  248. package/SVF-doxygen/html/html/globals_c.html +2 -4
  249. package/SVF-doxygen/html/html/globals_e.html +1 -1
  250. package/SVF-doxygen/html/html/globals_f.html +1 -1
  251. package/SVF-doxygen/html/html/globals_func.html +1 -1
  252. package/SVF-doxygen/html/html/globals_g.html +12 -12
  253. package/SVF-doxygen/html/html/globals_l.html +4 -4
  254. package/SVF-doxygen/html/html/globals_s.html +4 -4
  255. package/SVF-doxygen/html/html/globals_v.html +4 -4
  256. package/SVF-doxygen/html/html/globals_vars.html +33 -35
  257. package/SVF-doxygen/html/html/namespaceSVF.html +26 -23
  258. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +11 -11
  259. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +4 -4
  260. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +25 -23
  261. package/SVF-doxygen/html/html/search/all_1.js +2 -2
  262. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  263. package/SVF-doxygen/html/html/search/all_11.js +1 -1
  264. package/SVF-doxygen/html/html/search/all_12.js +7 -7
  265. package/SVF-doxygen/html/html/search/all_13.js +3 -3
  266. package/SVF-doxygen/html/html/search/all_15.js +4 -4
  267. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  268. package/SVF-doxygen/html/html/search/all_2.js +1 -0
  269. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  270. package/SVF-doxygen/html/html/search/all_4.js +1 -1
  271. package/SVF-doxygen/html/html/search/all_5.js +1 -1
  272. package/SVF-doxygen/html/html/search/all_6.js +1 -1
  273. package/SVF-doxygen/html/html/search/all_7.js +7 -7
  274. package/SVF-doxygen/html/html/search/all_9.js +5 -4
  275. package/SVF-doxygen/html/html/search/all_b.js +1 -1
  276. package/SVF-doxygen/html/html/search/all_c.js +5 -5
  277. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  278. package/SVF-doxygen/html/html/search/all_f.js +2 -2
  279. package/SVF-doxygen/html/html/search/files_1.js +1 -0
  280. package/SVF-doxygen/html/html/search/functions_3.js +1 -1
  281. package/SVF-doxygen/html/html/search/functions_5.js +1 -1
  282. package/SVF-doxygen/html/html/search/functions_6.js +2 -2
  283. package/SVF-doxygen/html/html/search/functions_8.js +2 -1
  284. package/SVF-doxygen/html/html/search/functions_f.js +1 -1
  285. package/SVF-doxygen/html/html/search/variables_1.js +2 -2
  286. package/SVF-doxygen/html/html/search/variables_12.js +2 -2
  287. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  288. package/SVF-doxygen/html/html/search/variables_15.js +2 -2
  289. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  290. package/SVF-doxygen/html/html/search/variables_5.js +1 -1
  291. package/SVF-doxygen/html/html/search/variables_6.js +1 -1
  292. package/SVF-doxygen/html/html/search/variables_7.js +5 -5
  293. package/SVF-doxygen/html/html/search/variables_9.js +1 -1
  294. package/SVF-doxygen/html/html/search/variables_c.js +3 -3
  295. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  296. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +3 -3
  297. package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement.html +1 -2
  298. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +1 -5
  299. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -5
  300. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +1 -1
  301. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
  302. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  303. package/include/CFL/CFLAlias.h +2 -3
  304. package/include/CFL/CFLGrammar.h +2 -0
  305. package/include/CFL/CFLGrammar.txt +28 -28
  306. package/include/CFL/PEGGrammar.txt +7 -7
  307. package/include/CFL/VFG.txt +3 -3
  308. package/include/SVF-FE/BasicTypes.h +3 -0
  309. package/include/Util/BasicTypes.h +8 -101
  310. package/lib/CFL/CFLGrammar.cpp +33 -1
  311. package/lib/CFL/GrammarBuilder.cpp +1 -1
  312. package/lib/Util/BasicTypes.cpp +110 -0
  313. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar.html CHANGED
@@ -137,6 +137,8 @@ Public Member Functions</h2></td></tr>
137
137
  <tr class="separator:a3c16f37c05de31fbd2be1ae9c0961e84 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
138
138
  <tr class="memitem:a63389968c8d246a84562a8d17e08790b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
139
139
  <tr class="separator:a63389968c8d246a84562a8d17e08790b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
140
+ <tr class="memitem:a7583350e892c62a454de8a8317e4c1b8 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">insertTerminalSymbol</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
141
+ <tr class="separator:a7583350e892c62a454de8a8317e4c1b8 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
140
142
  <tr class="memitem:aa188ee22955b98c31abbf2b339b64d20 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">insertAttribute</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind, <a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> <a class="el" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>)</td></tr>
141
143
  <tr class="separator:aa188ee22955b98c31abbf2b339b64d20 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
142
144
  <tr class="memitem:a4d9770a2b935bcad74ae551389925f74"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a>&lt; <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a></td></tr>
@@ -228,7 +230,7 @@ Additional Inherited Members</h2></td></tr>
228
230
  </table>
229
231
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
230
232
  <div class="textblock">
231
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00275">275</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
233
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00277">277</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
232
234
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
233
235
  <a id="ad124b5e229216515b34b8d9b5d04e067"></a>
234
236
  <h2 class="memtitle"><span class="permalink"><a href="#ad124b5e229216515b34b8d9b5d04e067">&#9670;&nbsp;</a></span>CFLGrammar()</h2>
@@ -245,8 +247,8 @@ Additional Inherited Members</h2></td></tr>
245
247
  </table>
246
248
  </div><div class="memdoc">
247
249
 
248
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00276">276</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
249
- <div class="fragment"><div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160;{</div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a> = 0;</div><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160;}</div><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#l00383">CFLGrammar.h:383</a></div></div>
250
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00308">308</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
251
+ <div class="fragment"><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160;{</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a> = 0;</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160;}</div><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>
250
252
  </div><!-- fragment -->
251
253
  </div>
252
254
  </div>
@@ -277,8 +279,8 @@ Additional Inherited Members</h2></td></tr>
277
279
 
278
280
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
279
281
 
280
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00283">283</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
281
- <div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; {</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; }</div></div><!-- fragment -->
282
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00285">285</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
283
+ <div class="fragment"><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; {</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; }</div></div><!-- fragment -->
282
284
  </div>
283
285
  </div>
284
286
  <a id="a25b035e49e90f42a44f7f6173a4bfdaf"></a>
@@ -305,8 +307,8 @@ Additional Inherited Members</h2></td></tr>
305
307
  </table>
306
308
  </div><div class="memdoc">
307
309
 
308
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00288">288</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
309
- <div class="fragment"><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; {</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; }</div></div><!-- fragment -->
310
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00290">290</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
311
+ <div class="fragment"><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; {</div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; }</div></div><!-- fragment -->
310
312
  </div>
311
313
  </div>
312
314
  <a id="aa663563ea03e11371d67ff4673e98a54"></a>
@@ -324,8 +326,8 @@ Additional Inherited Members</h2></td></tr>
324
326
  </table>
325
327
  </div><div class="memdoc">
326
328
 
327
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00281">281</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
328
- <div class="fragment"><div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160;{</div><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; <a class="code" href="classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54">dump</a>(<span class="stringliteral">&quot;Normailized_Grammar.txt&quot;</span>);</div><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160;}</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_aa663563ea03e11371d67ff4673e98a54"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54">SVF::CFLGrammar::dump</a></div><div class="ttdeci">void dump() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00281">CFLGrammar.cpp:281</a></div></div>
329
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00313">313</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
330
+ <div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160;{</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <a class="code" href="classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54">dump</a>(<span class="stringliteral">&quot;Normailized_Grammar.txt&quot;</span>);</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160;}</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_aa663563ea03e11371d67ff4673e98a54"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54">SVF::CFLGrammar::dump</a></div><div class="ttdeci">void dump() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00313">CFLGrammar.cpp:313</a></div></div>
329
331
  </div><!-- fragment -->
330
332
  </div>
331
333
  </div>
@@ -345,12 +347,12 @@ Additional Inherited Members</h2></td></tr>
345
347
  </table>
346
348
  </div><div class="memdoc">
347
349
 
348
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00286">286</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
349
- <div class="fragment"><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160;{</div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; std::ofstream gramFile(fileName);</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; gramFile &lt;&lt; <span class="stringliteral">&quot;Start Kind:\n&quot;</span>;</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\t&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3">kind2Str</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>) &lt;&lt; <span class="charliteral">&#39;(&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a> &lt;&lt; <span class="charliteral">&#39;)&#39;</span> &lt;&lt; <span class="charliteral">&#39; &#39;</span> &lt;&lt; <span class="stringliteral">&quot;\n\n&quot;</span>;</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160;</div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; gramFile &lt;&lt; <span class="stringliteral">&quot;Epsilon Production:\n&quot;</span>;</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; std::vector&lt;std::string&gt; strV;</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: this-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a>)</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; {</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; std::stringstream ss;</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; {</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordflow">if</span> (sym == pro[1])</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; {</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; ss &lt;&lt; <span class="stringliteral">&quot;-&gt; &quot;</span>;</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; }</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; ss &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) &lt;&lt; <span class="charliteral">&#39;(&#39;</span> &lt;&lt; sym.kind &lt;&lt; <span class="charliteral">&#39;)&#39;</span> &lt;&lt; <span class="charliteral">&#39; &#39;</span>;</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; }</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; }</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; {</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\t&#39;</span>;</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; gramFile &lt;&lt; pro;</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; }</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160;</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; gramFile &lt;&lt; <span class="stringliteral">&quot;Single Production:\n&quot;</span>;</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; strV = {};</div><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>)</div><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; {</div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; {</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; std::stringstream ss;</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; {</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; i++;</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; {</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; ss &lt;&lt; <span class="stringliteral">&quot;-&gt; &quot;</span>;</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; }</div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; ss &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) &lt;&lt; <span class="charliteral">&#39;(&#39;</span> &lt;&lt; sym.kind &lt;&lt; <span class="charliteral">&#39;)&#39;</span> &lt;&lt; <span class="charliteral">&#39; &#39;</span>;</div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; }</div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; }</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; }</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; {</div><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\t&#39;</span>;</div><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; gramFile &lt;&lt; pro;</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; }</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160;</div><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; gramFile &lt;&lt; <span class="stringliteral">&quot;Binary Production:\n&quot;</span>;</div><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; strV = {};</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>)</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; {</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; {</div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; std::stringstream ss;</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; {</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; i++;</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160;</div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; {</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; ss &lt;&lt; <span class="stringliteral">&quot;-&gt; &quot;</span>;</div><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; }</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; ss &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) &lt;&lt; <span class="charliteral">&#39;(&#39;</span> &lt;&lt; sym.kind &lt;&lt; <span class="charliteral">&#39;)&#39;</span> &lt;&lt; <span class="charliteral">&#39; &#39;</span>;</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; }</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; }</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; }</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; {</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\t&#39;</span>;</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; gramFile &lt;&lt; pro;</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; }</div><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160;</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; gramFile.close();</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160;}</div><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&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00381">CFLGrammar.h:381</a></div></div>
350
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00318">318</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
351
+ <div class="fragment"><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160;{</div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; std::ofstream gramFile(fileName);</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; gramFile &lt;&lt; <span class="stringliteral">&quot;Start Kind:\n&quot;</span>;</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\t&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3">kind2Str</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>) &lt;&lt; <span class="charliteral">&#39;(&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a> &lt;&lt; <span class="charliteral">&#39;)&#39;</span> &lt;&lt; <span class="charliteral">&#39; &#39;</span> &lt;&lt; <span class="stringliteral">&quot;\n\n&quot;</span>;</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160;</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; gramFile &lt;&lt; <span class="stringliteral">&quot;Epsilon Production:\n&quot;</span>;</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; std::vector&lt;std::string&gt; strV;</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: this-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a>)</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; {</div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; std::stringstream ss;</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; {</div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; <span class="keywordflow">if</span> (sym == pro[1])</div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; {</div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; ss &lt;&lt; <span class="stringliteral">&quot;-&gt; &quot;</span>;</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; }</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; ss &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) &lt;&lt; <span class="charliteral">&#39;(&#39;</span> &lt;&lt; sym.kind &lt;&lt; <span class="charliteral">&#39;)&#39;</span> &lt;&lt; <span class="charliteral">&#39; &#39;</span>;</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; }</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; }</div><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; {</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\t&#39;</span>;</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; gramFile &lt;&lt; pro;</div><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; }</div><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160;</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; gramFile &lt;&lt; <span class="stringliteral">&quot;Single Production:\n&quot;</span>;</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; strV = {};</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>)</div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; {</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; {</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; std::stringstream ss;</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; {</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; i++;</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; {</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; ss &lt;&lt; <span class="stringliteral">&quot;-&gt; &quot;</span>;</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; }</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; ss &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) &lt;&lt; <span class="charliteral">&#39;(&#39;</span> &lt;&lt; sym.kind &lt;&lt; <span class="charliteral">&#39;)&#39;</span> &lt;&lt; <span class="charliteral">&#39; &#39;</span>;</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; }</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; }</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; }</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; {</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\t&#39;</span>;</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; gramFile &lt;&lt; pro;</div><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; }</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160;</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; gramFile &lt;&lt; <span class="stringliteral">&quot;Binary Production:\n&quot;</span>;</div><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; strV = {};</div><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>)</div><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; {</div><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; {</div><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; std::stringstream ss;</div><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordtype">int</span> i = 0;</div><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div><div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; {</div><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; i++;</div><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160;</div><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <span class="keywordflow">if</span> (i == 2)</div><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; {</div><div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; ss &lt;&lt; <span class="stringliteral">&quot;-&gt; &quot;</span>;</div><div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; }</div><div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; ss &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(sym) &lt;&lt; <span class="charliteral">&#39;(&#39;</span> &lt;&lt; sym.kind &lt;&lt; <span class="charliteral">&#39;)&#39;</span> &lt;&lt; <span class="charliteral">&#39; &#39;</span>;</div><div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; }</div><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; strV.insert(strV.begin(), ss.str());</div><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; }</div><div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; }</div><div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; std::sort(strV.begin(), strV.end());</div><div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div><div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; {</div><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\t&#39;</span>;</div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; gramFile &lt;&lt; pro;</div><div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; }</div><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; gramFile &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160;</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; gramFile.close();</div><div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160;}</div><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&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00383">CFLGrammar.h:383</a></div></div>
350
352
  <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>
351
- <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&lt; Symbol, Productions &gt; singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00380">CFLGrammar.h:380</a></div></div>
352
- <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#l00265">CFLGrammar.h:265</a></div></div>
353
- <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&lt; Production &gt; epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00379">CFLGrammar.h:379</a></div></div>
353
+ <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&lt; Symbol, Productions &gt; singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00382">CFLGrammar.h:382</a></div></div>
354
+ <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>
355
+ <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&lt; Production &gt; epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00381">CFLGrammar.h:381</a></div></div>
354
356
  <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>
355
357
  </div><!-- fragment -->
356
358
  </div>
@@ -378,8 +380,8 @@ Additional Inherited Members</h2></td></tr>
378
380
  </table>
379
381
  </div><div class="memdoc">
380
382
 
381
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00293">293</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
382
- <div class="fragment"><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; {</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a>;</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; }</div><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&lt; Production &gt; epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00379">CFLGrammar.h:379</a></div></div>
383
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00295">295</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
384
+ <div class="fragment"><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; {</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a4d9770a2b935bcad74ae551389925f74">epsilonProds</a>;</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; }</div><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&lt; Production &gt; epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00381">CFLGrammar.h:381</a></div></div>
383
385
  </div><!-- fragment -->
384
386
  </div>
385
387
  </div>
@@ -406,8 +408,8 @@ Additional Inherited Members</h2></td></tr>
406
408
  </table>
407
409
  </div><div class="memdoc">
408
410
 
409
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00303">303</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
410
- <div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; {</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>;</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; }</div><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&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00381">CFLGrammar.h:381</a></div></div>
411
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00305">305</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
412
+ <div class="fragment"><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; {</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>;</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; }</div><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&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00383">CFLGrammar.h:383</a></div></div>
411
413
  </div><!-- fragment -->
412
414
  </div>
413
415
  </div>
@@ -435,8 +437,8 @@ Additional Inherited Members</h2></td></tr>
435
437
  </table>
436
438
  </div><div class="memdoc">
437
439
 
438
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00358">358</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
439
- <div class="fragment"><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; {</div><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <span class="keywordflow">return</span> prod.at(1);</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; }</div></div><!-- fragment -->
440
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00360">360</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
441
+ <div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; {</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">return</span> prod.at(1);</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; }</div></div><!-- fragment -->
440
442
  </div>
441
443
  </div>
442
444
  <a id="a3cfce0e2282c63679d6e7835e19ad5ec"></a>
@@ -463,8 +465,8 @@ Additional Inherited Members</h2></td></tr>
463
465
  </table>
464
466
  </div><div class="memdoc">
465
467
 
466
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00353">353</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
467
- <div class="fragment"><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; {</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; <span class="keywordflow">return</span> prod.at(0);</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; }</div></div><!-- fragment -->
468
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00355">355</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
469
+ <div class="fragment"><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; {</div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; <span class="keywordflow">return</span> prod.at(0);</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; }</div></div><!-- fragment -->
468
470
  </div>
469
471
  </div>
470
472
  <a id="ac167616ad6e48161b0cb890107145ffa"></a>
@@ -491,8 +493,8 @@ Additional Inherited Members</h2></td></tr>
491
493
  </table>
492
494
  </div><div class="memdoc">
493
495
 
494
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00338">338</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
495
- <div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; {</div><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; assert(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.end() &amp;&amp; <span class="stringliteral">&quot;production (X -&gt; sym Y ) not found for sym!!&quot;</span>);</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; }</div><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&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00381">CFLGrammar.h:381</a></div></div>
496
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00340">340</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
497
+ <div class="fragment"><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; {</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; assert(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.end() &amp;&amp; <span class="stringliteral">&quot;production (X -&gt; sym Y ) not found for sym!!&quot;</span>);</div><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; }</div><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&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00383">CFLGrammar.h:383</a></div></div>
496
498
  </div><!-- fragment -->
497
499
  </div>
498
500
  </div>
@@ -520,8 +522,8 @@ Additional Inherited Members</h2></td></tr>
520
522
  </table>
521
523
  </div><div class="memdoc">
522
524
 
523
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00345">345</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
524
- <div class="fragment"><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; {</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; assert(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.end() &amp;&amp; <span class="stringliteral">&quot;production (X -&gt; Y sym) not found for sym!!&quot;</span>);</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; }</div><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&lt; Symbol, Productions &gt; secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00382">CFLGrammar.h:382</a></div></div>
525
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00347">347</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
526
+ <div class="fragment"><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; {</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; assert(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.end() &amp;&amp; <span class="stringliteral">&quot;production (X -&gt; Y sym) not found for sym!!&quot;</span>);</div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; }</div><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&lt; Symbol, Productions &gt; secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00384">CFLGrammar.h:384</a></div></div>
525
527
  </div><!-- fragment -->
526
528
  </div>
527
529
  </div>
@@ -549,8 +551,8 @@ Additional Inherited Members</h2></td></tr>
549
551
  </table>
550
552
  </div><div class="memdoc">
551
553
 
552
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00331">331</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
553
- <div class="fragment"><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; {</div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; assert(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.end() &amp;&amp; <span class="stringliteral">&quot;production (X -&gt; sym) not found for sym!!&quot;</span>);</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; }</div><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&lt; Symbol, Productions &gt; singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00380">CFLGrammar.h:380</a></div></div>
554
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00333">333</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
555
+ <div class="fragment"><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; {</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; assert(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.end() &amp;&amp; <span class="stringliteral">&quot;production (X -&gt; sym) not found for sym!!&quot;</span>);</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; }</div><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&lt; Symbol, Productions &gt; singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00382">CFLGrammar.h:382</a></div></div>
554
556
  </div><!-- fragment -->
555
557
  </div>
556
558
  </div>
@@ -577,8 +579,8 @@ Additional Inherited Members</h2></td></tr>
577
579
  </table>
578
580
  </div><div class="memdoc">
579
581
 
580
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00308">308</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
581
- <div class="fragment"><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; {</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>;</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; }</div><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&lt; Symbol, Productions &gt; secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00382">CFLGrammar.h:382</a></div></div>
582
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00310">310</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
583
+ <div class="fragment"><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; {</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>;</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; }</div><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&lt; Symbol, Productions &gt; secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00384">CFLGrammar.h:384</a></div></div>
582
584
  </div><!-- fragment -->
583
585
  </div>
584
586
  </div>
@@ -606,8 +608,8 @@ Additional Inherited Members</h2></td></tr>
606
608
  </table>
607
609
  </div><div class="memdoc">
608
610
 
609
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00363">363</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
610
- <div class="fragment"><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; {</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; <span class="keywordflow">return</span> prod.at(2);</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; }</div></div><!-- fragment -->
611
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00365">365</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
612
+ <div class="fragment"><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; {</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keywordflow">return</span> prod.at(2);</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; }</div></div><!-- fragment -->
611
613
  </div>
612
614
  </div>
613
615
  <a id="afefc9b90be5cf275f476bb7c3f1c74ce"></a>
@@ -633,8 +635,8 @@ Additional Inherited Members</h2></td></tr>
633
635
  </table>
634
636
  </div><div class="memdoc">
635
637
 
636
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00298">298</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
637
- <div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; {</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>;</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; }</div><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&lt; Symbol, Productions &gt; singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00380">CFLGrammar.h:380</a></div></div>
638
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00300">300</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
639
+ <div class="fragment"><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; {</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>;</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; }</div><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&lt; Symbol, Productions &gt; singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00382">CFLGrammar.h:382</a></div></div>
638
640
  </div><!-- fragment -->
639
641
  </div>
640
642
  </div>
@@ -662,8 +664,8 @@ Additional Inherited Members</h2></td></tr>
662
664
  </table>
663
665
  </div><div class="memdoc">
664
666
 
665
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00313">313</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
666
- <div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; {</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.end();</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div><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&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00381">CFLGrammar.h:381</a></div></div>
667
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00315">315</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
668
+ <div class="fragment"><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; {</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a>.end();</div><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; }</div><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&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00383">CFLGrammar.h:383</a></div></div>
667
669
  </div><!-- fragment -->
668
670
  </div>
669
671
  </div>
@@ -691,8 +693,8 @@ Additional Inherited Members</h2></td></tr>
691
693
  </table>
692
694
  </div><div class="memdoc">
693
695
 
694
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00325">325</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
695
- <div class="fragment"><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; {</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.end();</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; }</div><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&lt; Symbol, Productions &gt; secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00382">CFLGrammar.h:382</a></div></div>
696
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00327">327</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
697
+ <div class="fragment"><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; {</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a>.end();</div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; }</div><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&lt; Symbol, Productions &gt; secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00384">CFLGrammar.h:384</a></div></div>
696
698
  </div><!-- fragment -->
697
699
  </div>
698
700
  </div>
@@ -720,8 +722,8 @@ Additional Inherited Members</h2></td></tr>
720
722
  </table>
721
723
  </div><div class="memdoc">
722
724
 
723
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00319">319</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
724
- <div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; {</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.end();</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; }</div><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&lt; Symbol, Productions &gt; singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00380">CFLGrammar.h:380</a></div></div>
725
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00321">321</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
726
+ <div class="fragment"><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; {</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a>.end();</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; }</div><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&lt; Symbol, Productions &gt; singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00382">CFLGrammar.h:382</a></div></div>
725
727
  </div><!-- fragment -->
726
728
  </div>
727
729
  </div>
@@ -748,8 +750,8 @@ Additional Inherited Members</h2></td></tr>
748
750
  </table>
749
751
  </div><div class="memdoc">
750
752
 
751
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00373">373</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
752
- <div class="fragment"><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; {</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a>++;</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; }</div><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#l00383">CFLGrammar.h:383</a></div></div>
753
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00375">375</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
754
+ <div class="fragment"><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; {</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</a>++;</div><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; }</div><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>
753
755
  </div><!-- fragment -->
754
756
  </div>
755
757
  </div>
@@ -774,7 +776,7 @@ Additional Inherited Members</h2></td></tr>
774
776
  </table>
775
777
  </div><div class="memdoc">
776
778
 
777
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00379">379</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
779
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00381">381</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
778
780
 
779
781
  </div>
780
782
  </div>
@@ -798,7 +800,7 @@ Additional Inherited Members</h2></td></tr>
798
800
  </table>
799
801
  </div><div class="memdoc">
800
802
 
801
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00381">381</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
803
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00383">383</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
802
804
 
803
805
  </div>
804
806
  </div>
@@ -822,7 +824,7 @@ Additional Inherited Members</h2></td></tr>
822
824
  </table>
823
825
  </div><div class="memdoc">
824
826
 
825
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00383">383</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
827
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00385">385</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
826
828
 
827
829
  </div>
828
830
  </div>
@@ -846,7 +848,7 @@ Additional Inherited Members</h2></td></tr>
846
848
  </table>
847
849
  </div><div class="memdoc">
848
850
 
849
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00382">382</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
851
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00384">384</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
850
852
 
851
853
  </div>
852
854
  </div>
@@ -870,7 +872,7 @@ Additional Inherited Members</h2></td></tr>
870
872
  </table>
871
873
  </div><div class="memdoc">
872
874
 
873
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00380">380</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
875
+ <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00382">382</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
874
876
 
875
877
  </div>
876
878
  </div>