svf-tools 1.0.752 → 1.0.754

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 (374) hide show
  1. package/SVF-doxygen/html/html/BoundedZ3Expr_8cpp_source.html +3 -3
  2. package/SVF-doxygen/html/html/BoundedZ3Expr_8h.html +24 -1
  3. package/SVF-doxygen/html/html/BoundedZ3Expr_8h_source.html +373 -376
  4. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +76 -76
  5. package/SVF-doxygen/html/html/CFGNormalizer_8h.html +1 -1
  6. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +29 -29
  7. package/SVF-doxygen/html/html/CFGrammar_8cpp.html +88 -0
  8. package/SVF-doxygen/html/html/CFGrammar_8cpp_source.html +568 -0
  9. package/SVF-doxygen/html/html/CFGrammar_8h.html +108 -0
  10. package/SVF-doxygen/html/html/CFGrammar_8h_source.html +643 -0
  11. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
  12. package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +120 -127
  13. package/SVF-doxygen/html/html/CFLBase_8h_source.html +14 -14
  14. package/SVF-doxygen/html/html/CFLGramGraphChecker_8h.html +1 -1
  15. package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +12 -12
  16. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +464 -409
  17. package/SVF-doxygen/html/html/CFLGraphBuilder_8h.html +10 -2
  18. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +120 -175
  19. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +2 -2
  20. package/SVF-doxygen/html/html/CFLGraph_8h.html +1 -1
  21. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +11 -11
  22. package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +60 -60
  23. package/SVF-doxygen/html/html/CFLSolver_8h.html +1 -1
  24. package/SVF-doxygen/html/html/CFLSolver_8h_source.html +19 -19
  25. package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +2 -2
  26. package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +5 -5
  27. package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -4
  29. package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +7 -7
  30. package/SVF-doxygen/html/html/GrammarBuilder_8h.html +1 -1
  31. package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +3 -3
  32. package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +1 -1
  33. package/SVF-doxygen/html/html/GraphWriter_8h_source.html +1 -1
  34. package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +12 -12
  35. package/SVF-doxygen/html/html/PAGGrammar_8txt.html +209 -0
  36. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +11 -11
  37. package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html +4 -4
  38. package/SVF-doxygen/html/html/VFGGrammar_8txt.html +119 -0
  39. package/SVF-doxygen/html/html/annotated.html +6 -6
  40. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +21 -20
  41. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +223 -220
  42. package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr.html +291 -296
  43. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +10 -10
  44. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +119 -119
  45. package/SVF-doxygen/html/html/classSVF_1_1CFGrammar-members.html +158 -0
  46. package/SVF-doxygen/html/html/classSVF_1_1CFGrammar.html +1051 -0
  47. package/SVF-doxygen/html/html/classSVF_1_1CFGrammar.png +0 -0
  48. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +1 -1
  49. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +13 -13
  50. package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +1 -1
  51. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +108 -114
  52. package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +17 -17
  53. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph-members.html +2 -2
  54. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +16 -16
  55. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder-members.html +17 -16
  56. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +333 -280
  57. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver-members.html +5 -5
  58. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +56 -56
  59. package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +2 -2
  60. package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +1 -1
  61. package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +14 -14
  62. package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
  63. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
  64. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +76 -76
  65. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.png +0 -0
  66. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +4 -4
  67. package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +5 -5
  68. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +11 -11
  69. package/SVF-doxygen/html/html/classSVF_1_1POCRAlias-members.html +1 -1
  70. package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.html +4 -4
  71. package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid-members.html +1 -1
  72. package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid.html +4 -4
  73. package/SVF-doxygen/html/html/classSVF_1_1POCRHybridSolver-members.html +7 -7
  74. package/SVF-doxygen/html/html/classSVF_1_1POCRHybridSolver.html +53 -53
  75. package/SVF-doxygen/html/html/classSVF_1_1POCRSolver-members.html +6 -6
  76. package/SVF-doxygen/html/html/classSVF_1_1POCRSolver.html +47 -47
  77. package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html +3 -3
  78. package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder-members.html +21 -20
  79. package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.html +148 -145
  80. package/SVF-doxygen/html/html/classes.html +6 -6
  81. package/SVF-doxygen/html/html/dir_1b8e404556d3e8597ae60437f0a084bf.html +7 -2
  82. package/SVF-doxygen/html/html/dir_7de7f3d0ab1cbd78bc64b135e4cd18be.html +80 -0
  83. package/SVF-doxygen/html/html/dir_8a9c8659eb68b9cbd3fead4690588a47.html +2 -2
  84. package/SVF-doxygen/html/html/files.html +14 -13
  85. package/SVF-doxygen/html/html/functions_a.html +5 -5
  86. package/SVF-doxygen/html/html/functions_b.html +9 -7
  87. package/SVF-doxygen/html/html/functions_c.html +5 -5
  88. package/SVF-doxygen/html/html/functions_d.html +1 -1
  89. package/SVF-doxygen/html/html/functions_e.html +4 -4
  90. package/SVF-doxygen/html/html/functions_f.html +2 -2
  91. package/SVF-doxygen/html/html/functions_func.html +5 -5
  92. package/SVF-doxygen/html/html/functions_func_b.html +9 -7
  93. package/SVF-doxygen/html/html/functions_func_c.html +5 -5
  94. package/SVF-doxygen/html/html/functions_func_d.html +1 -1
  95. package/SVF-doxygen/html/html/functions_func_e.html +3 -3
  96. package/SVF-doxygen/html/html/functions_func_f.html +1 -1
  97. package/SVF-doxygen/html/html/functions_func_g.html +13 -13
  98. package/SVF-doxygen/html/html/functions_func_h.html +3 -3
  99. package/SVF-doxygen/html/html/functions_func_i.html +1 -1
  100. package/SVF-doxygen/html/html/functions_func_n.html +2 -2
  101. package/SVF-doxygen/html/html/functions_func_p.html +2 -2
  102. package/SVF-doxygen/html/html/functions_func_r.html +1 -1
  103. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  104. package/SVF-doxygen/html/html/functions_g.html +15 -15
  105. package/SVF-doxygen/html/html/functions_h.html +3 -3
  106. package/SVF-doxygen/html/html/functions_i.html +2 -2
  107. package/SVF-doxygen/html/html/functions_k.html +3 -3
  108. package/SVF-doxygen/html/html/functions_l.html +5 -5
  109. package/SVF-doxygen/html/html/functions_n.html +3 -3
  110. package/SVF-doxygen/html/html/functions_o.html +13 -13
  111. package/SVF-doxygen/html/html/functions_p.html +16 -12
  112. package/SVF-doxygen/html/html/functions_r.html +1 -1
  113. package/SVF-doxygen/html/html/functions_s.html +17 -19
  114. package/SVF-doxygen/html/html/functions_t.html +3 -3
  115. package/SVF-doxygen/html/html/functions_type_k.html +2 -2
  116. package/SVF-doxygen/html/html/functions_type_p.html +1 -1
  117. package/SVF-doxygen/html/html/functions_type_s.html +3 -3
  118. package/SVF-doxygen/html/html/functions_v.html +6 -6
  119. package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
  120. package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
  121. package/SVF-doxygen/html/html/functions_vars_g.html +2 -2
  122. package/SVF-doxygen/html/html/functions_vars_k.html +1 -1
  123. package/SVF-doxygen/html/html/functions_vars_n.html +1 -1
  124. package/SVF-doxygen/html/html/functions_vars_s.html +2 -2
  125. package/SVF-doxygen/html/html/functions_w.html +9 -9
  126. package/SVF-doxygen/html/html/globals.html +6 -4
  127. package/SVF-doxygen/html/html/globals_defs.html +7 -0
  128. package/SVF-doxygen/html/html/globals_e.html +1 -1
  129. package/SVF-doxygen/html/html/globals_g.html +3 -3
  130. package/SVF-doxygen/html/html/globals_m.html +4 -1
  131. package/SVF-doxygen/html/html/globals_s.html +1 -1
  132. package/SVF-doxygen/html/html/globals_v.html +2 -2
  133. package/SVF-doxygen/html/html/globals_vars.html +12 -10
  134. package/SVF-doxygen/html/html/hierarchy.html +1 -1
  135. package/SVF-doxygen/html/html/menudata.js +1 -0
  136. package/SVF-doxygen/html/html/namespaceSVF.html +40 -2
  137. package/SVF-doxygen/html/html/namespacemembers_b.html +3 -0
  138. package/SVF-doxygen/html/html/namespacemembers_enum.html +3 -0
  139. package/SVF-doxygen/html/html/search/all_0.js +147 -146
  140. package/SVF-doxygen/html/html/search/all_1.js +478 -478
  141. package/SVF-doxygen/html/html/search/all_10.js +327 -325
  142. package/SVF-doxygen/html/html/search/all_11.js +208 -208
  143. package/SVF-doxygen/html/html/search/all_12.js +545 -545
  144. package/SVF-doxygen/html/html/search/all_13.js +189 -189
  145. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  146. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  147. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  148. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  149. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  150. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  151. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  152. package/SVF-doxygen/html/html/search/all_2.js +159 -156
  153. package/SVF-doxygen/html/html/search/all_3.js +637 -638
  154. package/SVF-doxygen/html/html/search/all_4.js +227 -227
  155. package/SVF-doxygen/html/html/search/all_5.js +156 -156
  156. package/SVF-doxygen/html/html/search/all_6.js +223 -223
  157. package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
  158. package/SVF-doxygen/html/html/search/all_8.js +192 -192
  159. package/SVF-doxygen/html/html/search/all_9.js +597 -597
  160. package/SVF-doxygen/html/html/search/all_a.js +47 -47
  161. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  162. package/SVF-doxygen/html/html/search/all_c.js +113 -113
  163. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  164. package/SVF-doxygen/html/html/search/all_e.js +206 -206
  165. package/SVF-doxygen/html/html/search/all_f.js +122 -122
  166. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  167. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  168. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  169. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  170. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  171. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  172. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  173. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  174. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  175. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  176. package/SVF-doxygen/html/html/search/classes_4.js +10 -10
  177. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  178. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  179. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  180. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  181. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  182. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  183. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  184. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  185. package/SVF-doxygen/html/html/search/classes_d.js +19 -19
  186. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  187. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  188. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  189. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  190. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  191. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  192. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  193. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  194. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  195. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  196. package/SVF-doxygen/html/html/search/defines_8.js +13 -13
  197. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  198. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  199. package/SVF-doxygen/html/html/search/defines_b.js +1 -2
  200. package/SVF-doxygen/html/html/search/defines_c.js +2 -2
  201. package/SVF-doxygen/html/html/search/defines_d.js +2 -6
  202. package/SVF-doxygen/html/html/search/defines_e.js +6 -3
  203. package/SVF-doxygen/html/html/search/defines_f.html +6 -2
  204. package/SVF-doxygen/html/html/search/defines_f.js +3 -26
  205. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  206. package/SVF-doxygen/html/html/search/enums_1.js +2 -1
  207. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  208. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  209. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  210. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  211. package/SVF-doxygen/html/html/search/enums_4.js +4 -4
  212. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  213. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  214. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  215. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  216. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  217. package/SVF-doxygen/html/html/search/enums_a.js +2 -2
  218. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  219. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  220. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  221. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  222. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  223. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  224. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -13
  225. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  226. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  227. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  228. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  229. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  230. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  231. package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
  232. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  233. package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
  234. package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
  235. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  236. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  237. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  238. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  239. package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
  240. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  241. package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
  242. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -17
  243. package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
  244. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  245. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  246. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  247. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  248. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  249. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  250. package/SVF-doxygen/html/html/search/files_2.js +49 -50
  251. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  252. package/SVF-doxygen/html/html/search/files_4.js +4 -4
  253. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  254. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  255. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  256. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  257. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  258. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  259. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  260. package/SVF-doxygen/html/html/search/files_c.js +20 -19
  261. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  262. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  263. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  264. package/SVF-doxygen/html/html/search/functions_0.js +351 -351
  265. package/SVF-doxygen/html/html/search/functions_1.js +81 -80
  266. package/SVF-doxygen/html/html/search/functions_10.js +121 -121
  267. package/SVF-doxygen/html/html/search/functions_11.js +281 -281
  268. package/SVF-doxygen/html/html/search/functions_12.js +55 -55
  269. package/SVF-doxygen/html/html/search/functions_13.js +38 -38
  270. package/SVF-doxygen/html/html/search/functions_14.js +71 -71
  271. package/SVF-doxygen/html/html/search/functions_15.js +29 -29
  272. package/SVF-doxygen/html/html/search/functions_16.js +2 -2
  273. package/SVF-doxygen/html/html/search/functions_17.js +169 -169
  274. package/SVF-doxygen/html/html/search/functions_2.js +251 -251
  275. package/SVF-doxygen/html/html/search/functions_3.js +71 -71
  276. package/SVF-doxygen/html/html/search/functions_4.js +55 -55
  277. package/SVF-doxygen/html/html/search/functions_5.js +55 -55
  278. package/SVF-doxygen/html/html/search/functions_6.js +832 -832
  279. package/SVF-doxygen/html/html/search/functions_7.js +144 -144
  280. package/SVF-doxygen/html/html/search/functions_8.js +417 -417
  281. package/SVF-doxygen/html/html/search/functions_9.js +29 -29
  282. package/SVF-doxygen/html/html/search/functions_a.js +2 -2
  283. package/SVF-doxygen/html/html/search/functions_b.js +23 -23
  284. package/SVF-doxygen/html/html/search/functions_c.js +75 -75
  285. package/SVF-doxygen/html/html/search/functions_d.js +35 -35
  286. package/SVF-doxygen/html/html/search/functions_e.js +56 -56
  287. package/SVF-doxygen/html/html/search/functions_f.js +143 -143
  288. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  289. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  290. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  291. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  292. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  293. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  294. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  295. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  296. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  297. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  298. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  299. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  300. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  301. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  302. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  303. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  304. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  305. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  306. package/SVF-doxygen/html/html/search/searchdata.js +1 -1
  307. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  308. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  309. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  310. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  311. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  312. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  313. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  314. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  315. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  316. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  317. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  318. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  319. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  320. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  321. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  322. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  323. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  324. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  325. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  326. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  327. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  328. package/SVF-doxygen/html/html/search/variables_0.js +147 -146
  329. package/SVF-doxygen/html/html/search/variables_1.js +74 -74
  330. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  331. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  332. package/SVF-doxygen/html/html/search/variables_12.js +93 -93
  333. package/SVF-doxygen/html/html/search/variables_13.js +77 -77
  334. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  335. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  336. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  337. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  338. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  339. package/SVF-doxygen/html/html/search/variables_2.js +35 -35
  340. package/SVF-doxygen/html/html/search/variables_3.js +148 -148
  341. package/SVF-doxygen/html/html/search/variables_4.js +56 -56
  342. package/SVF-doxygen/html/html/search/variables_5.js +40 -40
  343. package/SVF-doxygen/html/html/search/variables_6.js +67 -67
  344. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  345. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  346. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  347. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  348. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  349. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  350. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  351. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  352. package/SVF-doxygen/html/html/search/variables_f.js +33 -33
  353. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +25 -25
  354. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash.html +4 -4
  355. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +5 -5
  356. package/package.json +1 -1
  357. package/svf/include/AbstractExecution/BoundedZ3Expr.h +8 -12
  358. package/svf/include/CFL/CFGNormalizer.h +11 -11
  359. package/svf/include/CFL/{CFLGrammar.h → CFGrammar.h} +5 -5
  360. package/svf/include/CFL/CFLAlias.h +2 -2
  361. package/svf/include/CFL/CFLBase.h +2 -2
  362. package/svf/include/CFL/CFLGramGraphChecker.h +1 -1
  363. package/svf/include/CFL/CFLGraphBuilder.h +30 -81
  364. package/svf/include/CFL/CFLSolver.h +8 -8
  365. package/svf/include/CFL/GrammarBuilder.h +1 -1
  366. package/svf/include/Graphs/CFLGraph.h +3 -3
  367. package/svf/lib/CFL/CFGNormalizer.cpp +11 -11
  368. package/svf/lib/CFL/{CFLGrammar.cpp → CFGrammar.cpp} +7 -7
  369. package/svf/lib/CFL/CFLBase.cpp +5 -11
  370. package/svf/lib/CFL/CFLGraphBuilder.cpp +125 -74
  371. package/svf/lib/CFL/CFLVF.cpp +2 -2
  372. /package/svf/include/CFL/{CFLGrammar.txt → grammar/PAGGrammar.txt} +0 -0
  373. /package/svf/include/CFL/{PEGGrammar.txt → grammar/PEGGrammar.txt} +0 -0
  374. /package/svf/include/CFL/{VFG.txt → grammar/VFGGrammar.txt} +0 -0
package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html CHANGED
@@ -79,14 +79,14 @@ $(function() {
79
79
  </div><!--header-->
80
80
  <div class="contents">
81
81
 
82
- <p><code>#include &lt;<a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>&gt;</code></p>
82
+ <p><code>#include &lt;<a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>&gt;</code></p>
83
83
  <div class="dynheader">
84
84
  Inheritance diagram for SVF::GrammarBase:</div>
85
85
  <div class="dyncontent">
86
86
  <div class="center">
87
87
  <img src="classSVF_1_1GrammarBase.png" usemap="#SVF::GrammarBase_map" alt=""/>
88
88
  <map id="SVF::GrammarBase_map" name="SVF::GrammarBase_map">
89
- <area href="classSVF_1_1CFLGrammar.html" alt="SVF::CFLGrammar" shape="rect" coords="0,56,122,80"/>
89
+ <area href="classSVF_1_1CFGrammar.html" alt="SVF::CFGrammar" shape="rect" coords="0,56,122,80"/>
90
90
  </map>
91
91
  </div></div>
92
92
  <table class="memberdecls">
@@ -227,7 +227,7 @@ Private Attributes</h2></td></tr>
227
227
  </table>
228
228
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
229
229
  <div class="textblock">
230
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00036">36</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
230
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00036">36</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
231
231
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
232
232
  <a id="ab070e5449d26e347b957d8b994d0303f"></a>
233
233
  <h2 class="memtitle"><span class="permalink"><a href="#ab070e5449d26e347b957d8b994d0303f">&#9670;&nbsp;</a></span>Attribute</h2>
@@ -241,7 +241,7 @@ Private Attributes</h2></td></tr>
241
241
  </table>
242
242
  </div><div class="memdoc">
243
243
 
244
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00040">40</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
244
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00040">40</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
245
245
 
246
246
  </div>
247
247
  </div>
@@ -257,7 +257,7 @@ Private Attributes</h2></td></tr>
257
257
  </table>
258
258
  </div><div class="memdoc">
259
259
 
260
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00039">39</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
260
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00039">39</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
261
261
 
262
262
  </div>
263
263
  </div>
@@ -273,7 +273,7 @@ Private Attributes</h2></td></tr>
273
273
  </table>
274
274
  </div><div class="memdoc">
275
275
 
276
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00156">156</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
276
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00156">156</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
277
277
 
278
278
  </div>
279
279
  </div>
@@ -289,7 +289,7 @@ Private Attributes</h2></td></tr>
289
289
  </table>
290
290
  </div><div class="memdoc">
291
291
 
292
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00157">157</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
292
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00157">157</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
293
293
 
294
294
  </div>
295
295
  </div>
@@ -321,7 +321,7 @@ template&lt;typename Key , typename Value , typename Hash = SymbolHash, typenam
321
321
  </table>
322
322
  </div><div class="memdoc">
323
323
 
324
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00150">150</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
324
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00150">150</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
325
325
 
326
326
  </div>
327
327
  </div>
@@ -339,7 +339,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
339
339
  </table>
340
340
  </div><div class="memdoc">
341
341
 
342
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00154">154</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
342
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00154">154</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
343
343
 
344
344
  </div>
345
345
  </div>
@@ -355,7 +355,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
355
355
  </table>
356
356
  </div><div class="memdoc">
357
357
 
358
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00041">41</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
358
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00041">41</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
359
359
 
360
360
  </div>
361
361
  </div>
@@ -376,7 +376,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
376
376
  </table>
377
377
  </div><div class="memdoc">
378
378
 
379
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00219">219</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
379
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00219">219</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
380
380
  <div class="fragment"><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160;{</div>
381
381
  <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> attributeStr;</div>
382
382
  <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="comment">// symbolStr end with &#39;_&#39;, the whole symbolStr treat as kind, not with attribute.</span></div>
@@ -406,7 +406,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
406
406
  </table>
407
407
  </div><div class="memdoc">
408
408
 
409
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00207">207</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
409
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00207">207</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
410
410
  <div class="fragment"><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160;{</div>
411
411
  <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> kindStr;</div>
412
412
  <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="comment">// symbolStr end with &#39;_&#39;, the whole symbolStr treat as kind, not with attribute.</span></div>
@@ -454,7 +454,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
454
454
  </table>
455
455
  </div><div class="memdoc">
456
456
 
457
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00265">265</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
457
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00265">265</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
458
458
  <div class="fragment"><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; {</div>
459
459
  <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keywordflow">return</span> ((attribute &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a>)| kind );</div>
460
460
  <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; }</div>
@@ -484,7 +484,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
484
484
  </table>
485
485
  </div><div class="memdoc">
486
486
 
487
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00243">243</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
487
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00243">243</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
488
488
  <div class="fragment"><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; {</div>
489
489
  <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">attributeKinds</a>;</div>
490
490
  <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; }</div>
@@ -514,7 +514,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
514
514
  </table>
515
515
  </div><div class="memdoc">
516
516
 
517
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00180">180</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
517
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00180">180</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
518
518
  <div class="fragment"><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; {</div>
519
519
  <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">EBNFSigns</a>;</div>
520
520
  <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; }</div>
@@ -544,7 +544,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
544
544
  </table>
545
545
  </div><div class="memdoc">
546
546
 
547
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00195">195</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
547
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00195">195</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
548
548
  <div class="fragment"><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; {</div>
549
549
  <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">kindToAttrsMap</a>;</div>
550
550
  <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div>
@@ -574,7 +574,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
574
574
  </table>
575
575
  </div><div class="memdoc">
576
576
 
577
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00160">160</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
577
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00160">160</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
578
578
  <div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; {</div>
579
579
  <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>;</div>
580
580
  <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; }</div>
@@ -604,7 +604,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
604
604
  </table>
605
605
  </div><div class="memdoc">
606
606
 
607
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00190">190</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
607
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00190">190</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
608
608
  <div class="fragment"><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; {</div>
609
609
  <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>;</div>
610
610
  <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; }</div>
@@ -634,7 +634,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
634
634
  </table>
635
635
  </div><div class="memdoc">
636
636
 
637
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00205">205</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
637
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00205">205</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
638
638
  <div class="fragment"><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; {</div>
639
639
  <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>;</div>
640
640
  <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; }</div>
@@ -675,7 +675,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
675
675
  </table>
676
676
  </div><div class="memdoc">
677
677
 
678
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00238">238</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
678
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00238">238</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
679
679
  <div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; {</div>
680
680
  <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordflow">return</span> prod.at(pos);</div>
681
681
  <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; }</div>
@@ -705,7 +705,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
705
705
  </table>
706
706
  </div><div class="memdoc">
707
707
 
708
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00170">170</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
708
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00170">170</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
709
709
  <div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div>
710
710
  <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>;</div>
711
711
  <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div>
@@ -735,7 +735,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
735
735
  </table>
736
736
  </div><div class="memdoc">
737
737
 
738
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00200">200</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
738
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00200">200</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
739
739
  <div class="fragment"><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; {</div>
740
740
  <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>;</div>
741
741
  <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; }</div>
@@ -776,7 +776,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
776
776
  </table>
777
777
  </div><div class="memdoc">
778
778
 
779
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00270">270</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="CFGrammar_8h_source.html#l00270">270</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
780
780
  <div class="fragment"><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; {</div>
781
781
  <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="keywordflow">return</span> ((variableAttribute &lt;&lt; <a class="code" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a>) | kind);</div>
782
782
  <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; }</div>
@@ -809,7 +809,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
809
809
  </table>
810
810
  </div><div class="memdoc">
811
811
 
812
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00327">327</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
812
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00327">327</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
813
813
  <div class="fragment"><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160;{</div>
814
814
  <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">attributeKinds</a>.insert(kind);</div>
815
815
  <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">kindToAttrsMap</a>.find(kind)!= <a class="code" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">kindToAttrsMap</a>.end())</div>
@@ -818,7 +818,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
818
818
  <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; }</div>
819
819
  <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <span class="keywordflow">else</span></div>
820
820
  <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; {</div>
821
- <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;CFLGrammar::Attribute&gt;</a> attrs {attribute};</div>
821
+ <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;CFGrammar::Attribute&gt;</a> attrs {attribute};</div>
822
822
  <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">kindToAttrsMap</a>.insert(make_pair(kind, attrs));</div>
823
823
  <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; }</div>
824
824
  <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160;}</div>
@@ -841,7 +841,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
841
841
  </table>
842
842
  </div><div class="memdoc">
843
843
 
844
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00311">311</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
844
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00311">311</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
845
845
  <div class="fragment"><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160;{</div>
846
846
  <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> sign;</div>
847
847
  <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">EBNFSigns</a>.find(symbolStr) == <a class="code" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">EBNFSigns</a>.end())</div>
@@ -885,7 +885,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
885
885
 
886
886
  <p>Insert kind to nonterminal and return kind. </p>
887
887
 
888
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00192">192</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
888
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00192">192</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
889
889
  <div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160;{</div>
890
890
  <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind;</div>
891
891
  <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>.find(kindStr) == <a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>.end())</div>
@@ -918,7 +918,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
918
918
  </table>
919
919
  </div><div class="memdoc">
920
920
 
921
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00249">249</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
921
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00249">249</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
922
922
  <div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160;{</div>
923
923
  <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> symbol;</div>
924
924
  <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> kindStr = <a class="code" href="classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074">extractKindStrFromSymbolStr</a>(symbolStr);</div>
@@ -967,7 +967,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
967
967
  </table>
968
968
  </div><div class="memdoc">
969
969
 
970
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00231">231</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
970
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00231">231</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
971
971
  <div class="fragment"><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160;{</div>
972
972
  <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> symbol;</div>
973
973
  <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">if</span> ((symbolStr.size() == 1) &amp;&amp; (!isalpha(symbolStr[0])))</div>
@@ -1004,7 +1004,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1004
1004
  </div><div class="memdoc">
1005
1005
  <p>From SymbolStr extract kind to inserted in nonterminal symbolStr = &lt;kindStr&gt; [_] [ attributeStr | variableattributeStr ] </p>
1006
1006
 
1007
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00177">177</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
1007
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00177">177</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
1008
1008
  <div class="fragment"><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160;{</div>
1009
1009
  <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind;</div>
1010
1010
  <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>.find(kindStr) == <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>.end())</div>
@@ -1037,7 +1037,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1037
1037
  </table>
1038
1038
  </div><div class="memdoc">
1039
1039
 
1040
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00280">280</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
1040
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00280">280</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
1041
1041
  <div class="fragment"><div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160;{</div>
1042
1042
  <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> symbol;</div>
1043
1043
  <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> kindStr = <a class="code" href="classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074">extractKindStrFromSymbolStr</a>(symbolStr);</div>
@@ -1086,7 +1086,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1086
1086
  </table>
1087
1087
  </div><div class="memdoc">
1088
1088
 
1089
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00103">103</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
1089
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00103">103</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
1090
1090
  <div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160;{</div>
1091
1091
  <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; </div>
1092
1092
  <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> key = <span class="stringliteral">&quot;&quot;</span>;</div>
@@ -1140,7 +1140,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1140
1140
  </table>
1141
1141
  </div><div class="memdoc">
1142
1142
 
1143
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00050">50</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
1143
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00050">50</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
1144
1144
  <div class="fragment"><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160;{</div>
1145
1145
  <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">attributeKinds</a> = <a class="code" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">attributeKinds</a>;</div>
1146
1146
  <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160;}</div>
@@ -1171,7 +1171,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1171
1171
  </table>
1172
1172
  </div><div class="memdoc">
1173
1173
 
1174
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00185">185</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1174
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00185">185</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1175
1175
  <div class="fragment"><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; {</div>
1176
1176
  <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">EBNFSigns</a> = <a class="code" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">EBNFSigns</a>;</div>
1177
1177
  <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div>
@@ -1194,7 +1194,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1194
1194
  </table>
1195
1195
  </div><div class="memdoc">
1196
1196
 
1197
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00045">45</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
1197
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00045">45</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
1198
1198
  <div class="fragment"><div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;{</div>
1199
1199
  <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160; this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">kindToAttrsMap</a> = <a class="code" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">kindToAttrsMap</a>;</div>
1200
1200
  <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160;}</div>
@@ -1225,7 +1225,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1225
1225
  </table>
1226
1226
  </div><div class="memdoc">
1227
1227
 
1228
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00165">165</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1228
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00165">165</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1229
1229
  <div class="fragment"><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div>
1230
1230
  <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a> = <a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>;</div>
1231
1231
  <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; }</div>
@@ -1248,7 +1248,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1248
1248
  </table>
1249
1249
  </div><div class="memdoc">
1250
1250
 
1251
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00040">40</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
1251
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00040">40</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
1252
1252
  <div class="fragment"><div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;{</div>
1253
1253
  <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a> = <a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>;</div>
1254
1254
  <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160;}</div>
@@ -1279,7 +1279,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1279
1279
  </table>
1280
1280
  </div><div class="memdoc">
1281
1281
 
1282
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00210">210</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1282
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00210">210</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1283
1283
  <div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div>
1284
1284
  <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a> = <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>;</div>
1285
1285
  <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; }</div>
@@ -1310,7 +1310,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1310
1310
  </table>
1311
1311
  </div><div class="memdoc">
1312
1312
 
1313
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00175">175</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1313
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00175">175</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1314
1314
  <div class="fragment"><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div>
1315
1315
  <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a> = <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>;</div>
1316
1316
  <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; }</div>
@@ -1341,7 +1341,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1341
1341
  </table>
1342
1342
  </div><div class="memdoc">
1343
1343
 
1344
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00215">215</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1344
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00215">215</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1345
1345
  <div class="fragment"><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; {</div>
1346
1346
  <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; this-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a> = <a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>;</div>
1347
1347
  <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; }</div>
@@ -1364,7 +1364,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1364
1364
  </table>
1365
1365
  </div><div class="memdoc">
1366
1366
 
1367
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00055">55</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
1367
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00055">55</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
1368
1368
  <div class="fragment"><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160;{</div>
1369
1369
  <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; </div>
1370
1370
  <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; <span class="keyword">auto</span> tit = <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>.find(str);</div>
@@ -1401,7 +1401,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1401
1401
  </table>
1402
1402
  </div><div class="memdoc">
1403
1403
 
1404
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00074">74</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
1404
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00074">74</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
1405
1405
  <div class="fragment"><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160;{</div>
1406
1406
  <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> symbol;</div>
1407
1407
  <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> attributeStr = <a class="code" href="classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0">extractAttributeStrFromSymbolStr</a>(str);</div>
@@ -1448,7 +1448,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1448
1448
  </table>
1449
1449
  </div><div class="memdoc">
1450
1450
 
1451
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00139">139</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
1451
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00139">139</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
1452
1452
  <div class="fragment"><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160;{</div>
1453
1453
  <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind = sym.kind;</div>
1454
1454
  <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> attribute = sym.attribute;</div>
@@ -1511,7 +1511,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1511
1511
 
1512
1512
  <p>We use the lower 24 bits to denote attributed kind. </p>
1513
1513
 
1514
- <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>
1514
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00277">277</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1515
1515
 
1516
1516
  </div>
1517
1517
  </div>
@@ -1537,7 +1537,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1537
1537
 
1538
1538
  <p>Map contains Signs' String and associated Symbols. </p>
1539
1539
 
1540
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00284">284</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1540
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00284">284</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1541
1541
 
1542
1542
  </div>
1543
1543
  </div>
@@ -1561,7 +1561,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1561
1561
  </table>
1562
1562
  </div><div class="memdoc">
1563
1563
 
1564
- <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>
1564
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00283">283</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1565
1565
 
1566
1566
  </div>
1567
1567
  </div>
@@ -1585,7 +1585,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1585
1585
  </table>
1586
1586
  </div><div class="memdoc">
1587
1587
 
1588
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00278">278</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1588
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00278">278</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1589
1589
 
1590
1590
  </div>
1591
1591
  </div>
@@ -1611,7 +1611,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1611
1611
 
1612
1612
  <p>We use the lower 8 bits to denote edge kind. </p>
1613
1613
 
1614
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00276">276</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1614
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00276">276</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1615
1615
 
1616
1616
  </div>
1617
1617
  </div>
@@ -1635,7 +1635,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1635
1635
  </table>
1636
1636
  </div><div class="memdoc">
1637
1637
 
1638
- <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>
1638
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00285">285</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1639
1639
 
1640
1640
  </div>
1641
1641
  </div>
@@ -1659,7 +1659,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1659
1659
  </table>
1660
1660
  </div><div class="memdoc">
1661
1661
 
1662
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00281">281</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1662
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00281">281</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1663
1663
 
1664
1664
  </div>
1665
1665
  </div>
@@ -1683,7 +1683,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1683
1683
  </table>
1684
1684
  </div><div class="memdoc">
1685
1685
 
1686
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00286">286</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1686
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00286">286</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1687
1687
 
1688
1688
  </div>
1689
1689
  </div>
@@ -1707,7 +1707,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1707
1707
  </table>
1708
1708
  </div><div class="memdoc">
1709
1709
 
1710
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00279">279</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1710
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00279">279</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1711
1711
 
1712
1712
  </div>
1713
1713
  </div>
@@ -1731,7 +1731,7 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1731
1731
  </table>
1732
1732
  </div><div class="memdoc">
1733
1733
 
1734
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00282">282</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1734
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00282">282</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1735
1735
 
1736
1736
  </div>
1737
1737
  </div>
@@ -1755,40 +1755,40 @@ template&lt;typename Key , typename Hash = SymbolVectorHash, typename KeyEqual
1755
1755
  </table>
1756
1756
  </div><div class="memdoc">
1757
1757
 
1758
- <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00287">287</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
1758
+ <p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00287">287</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
1759
1759
 
1760
1760
  </div>
1761
1761
  </div>
1762
1762
  <hr/>The documentation for this class was generated from the following files:<ul>
1763
- <li>/home/runner/work/SVF/SVF/svf/include/CFL/<a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a></li>
1764
- <li>/home/runner/work/SVF/SVF/svf/lib/CFL/<a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a></li>
1763
+ <li>/home/runner/work/SVF/SVF/svf/include/CFL/<a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a></li>
1764
+ <li>/home/runner/work/SVF/SVF/svf/lib/CFL/<a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a></li>
1765
1765
  </ul>
1766
1766
  </div><!-- contents -->
1767
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ac3324324d2146cf04680cc4a4e444a2d"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">SVF::GrammarBase::attributeKinds</a></div><div class="ttdeci">Set&lt; Kind &gt; attributeKinds</div><div class="ttdoc">Map contains Signs' String and associated Symbols.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00284">CFLGrammar.h:284</a></div></div>
1767
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ac3324324d2146cf04680cc4a4e444a2d"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">SVF::GrammarBase::attributeKinds</a></div><div class="ttdeci">Set&lt; Kind &gt; attributeKinds</div><div class="ttdoc">Map contains Signs' String and associated Symbols.</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00284">CFGrammar.h:284</a></div></div>
1768
1768
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a7655b13bbfe720ca2b8a25e0a72528e6"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7655b13bbfe720ca2b8a25e0a72528e6">SVF::SVFUtil::errMsg</a></div><div class="ttdeci">std::string errMsg(const std::string &amp;msg)</div><div class="ttdoc">Print error message by converting a string into red string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00076">SVFUtil.cpp:76</a></div></div>
1769
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ac15b20ef3698ddab09c4c60e302ea4a0"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">SVF::GrammarBase::insertNonterminalKind</a></div><div class="ttdeci">Kind insertNonterminalKind(std::string const kindStr)</div><div class="ttdoc">Insert kind to nonterminal and return kind.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00192">CFLGrammar.cpp:192</a></div></div>
1770
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a333aa14f1f969ff9cf60c23b35535074"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074">SVF::GrammarBase::extractKindStrFromSymbolStr</a></div><div class="ttdeci">std::string extractKindStrFromSymbolStr(const std::string &amp;symbolStr) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00207">CFLGrammar.cpp:207</a></div></div>
1771
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ad2f1a578ba72a2b600014b21b6f2d542"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">SVF::GrammarBase::insertTerminalKind</a></div><div class="ttdeci">Kind insertTerminalKind(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00177">CFLGrammar.cpp:177</a></div></div>
1769
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ac15b20ef3698ddab09c4c60e302ea4a0"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">SVF::GrammarBase::insertNonterminalKind</a></div><div class="ttdeci">Kind insertNonterminalKind(std::string const kindStr)</div><div class="ttdoc">Insert kind to nonterminal and return kind.</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00192">CFGrammar.cpp:192</a></div></div>
1770
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a333aa14f1f969ff9cf60c23b35535074"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074">SVF::GrammarBase::extractKindStrFromSymbolStr</a></div><div class="ttdeci">std::string extractKindStrFromSymbolStr(const std::string &amp;symbolStr) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00207">CFGrammar.cpp:207</a></div></div>
1771
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ad2f1a578ba72a2b600014b21b6f2d542"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">SVF::GrammarBase::insertTerminalKind</a></div><div class="ttdeci">Kind insertTerminalKind(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00177">CFGrammar.cpp:177</a></div></div>
1772
1772
  <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
1773
1773
  <div class="ttc" id="acJSON_8cpp_html_a65e9886d74aaee76545e83dd09011727"><div class="ttname"><a href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></div><div class="ttdeci">#define false</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00070">cJSON.cpp:70</a></div></div>
1774
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7583350e892c62a454de8a8317e4c1b8"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">SVF::GrammarBase::insertTerminalSymbol</a></div><div class="ttdeci">Symbol insertTerminalSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00280">CFLGrammar.cpp:280</a></div></div>
1775
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a63389968c8d246a84562a8d17e08790b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">SVF::GrammarBase::insertNonTerminalSymbol</a></div><div class="ttdeci">Symbol insertNonTerminalSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00249">CFLGrammar.cpp:249</a></div></div>
1774
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7583350e892c62a454de8a8317e4c1b8"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">SVF::GrammarBase::insertTerminalSymbol</a></div><div class="ttdeci">Symbol insertTerminalSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00280">CFGrammar.cpp:280</a></div></div>
1775
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a63389968c8d246a84562a8d17e08790b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">SVF::GrammarBase::insertNonTerminalSymbol</a></div><div class="ttdeci">Symbol insertNonTerminalSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00249">CFGrammar.cpp:249</a></div></div>
1776
1776
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
1777
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7909a5f90ed1678a178f18259f0b66a9"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">SVF::GrammarBase::EBNFSigns</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; EBNFSigns</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00283">CFLGrammar.h:283</a></div></div>
1778
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_adc1413dc2e875a6e74bdb5b985cdd39f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">SVF::GrammarBase::EdgeKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char EdgeKindMaskBits</div><div class="ttdoc">We use the lower 8 bits to denote edge kind.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00276">CFLGrammar.h:276</a></div></div>
1779
- <div class="ttc" id="aclassSVF_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#l00279">CFLGrammar.h:279</a></div></div>
1777
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7909a5f90ed1678a178f18259f0b66a9"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">SVF::GrammarBase::EBNFSigns</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; EBNFSigns</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00283">CFGrammar.h:283</a></div></div>
1778
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_adc1413dc2e875a6e74bdb5b985cdd39f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">SVF::GrammarBase::EdgeKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char EdgeKindMaskBits</div><div class="ttdoc">We use the lower 8 bits to denote edge kind.</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00276">CFGrammar.h:276</a></div></div>
1779
+ <div class="ttc" id="aclassSVF_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="CFGrammar_8h_source.html#l00279">CFGrammar.h:279</a></div></div>
1780
1780
  <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a760208fb9737e766deb79d593ab86a3c"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">SVF::GrammarBase::Symbol</a></div><div class="ttdeci">struct SVF::GrammarBase::Symbol Symbol</div></div>
1781
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ac9f86b0861e93eee2548aa7f5f3b7b7f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">SVF::GrammarBase::totalKind</a></div><div class="ttdeci">u32_t totalKind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00287">CFLGrammar.h:287</a></div></div>
1782
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00039">CFLGrammar.h:39</a></div></div>
1783
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7707662599fe848ae6526802be4f7b6c"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">SVF::GrammarBase::kindToAttrsMap</a></div><div class="ttdeci">Map&lt; Kind, Set&lt; Attribute &gt; &gt; kindToAttrsMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00285">CFLGrammar.h:285</a></div></div>
1784
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ab070e5449d26e347b957d8b994d0303f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">SVF::GrammarBase::Attribute</a></div><div class="ttdeci">u32_t Attribute</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00040">CFLGrammar.h:40</a></div></div>
1785
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a0e99f099b675baae8d1e84b453ee05e0"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0">SVF::GrammarBase::extractAttributeStrFromSymbolStr</a></div><div class="ttdeci">std::string extractAttributeStrFromSymbolStr(const std::string &amp;symbolStr) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00219">CFLGrammar.cpp:219</a></div></div>
1786
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a3aae4b70e2ee0238808a2126265a2e24"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">SVF::GrammarBase::strToKind</a></div><div class="ttdeci">Kind strToKind(std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00055">CFLGrammar.cpp:55</a></div></div>
1787
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a079915fce4eb8e63433b06d79127261a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">SVF::GrammarBase::terminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; terminals</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00282">CFLGrammar.h:282</a></div></div>
1788
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ac0e54c6a5e87f9d91a5296504914849b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">SVF::GrammarBase::nonterminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; nonterminals</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00281">CFLGrammar.h:281</a></div></div>
1789
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a5ba80e2f28d7b7a722a24901fcaf4ffd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">SVF::GrammarBase::rawProductions</a></div><div class="ttdeci">SymbolMap&lt; Symbol, Productions &gt; rawProductions</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00286">CFLGrammar.h:286</a></div></div>
1790
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a2dcb7647b5be7b3ab1dad2c494828854"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">SVF::GrammarBase::AttributedKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char AttributedKindMaskBits</div><div class="ttdoc">We use the lower 24 bits to denote attributed kind.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00277">CFLGrammar.h:277</a></div></div>
1791
- <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a2af19122bccb7ca0c7ab44a07a1bdfb1"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1">SVF::GrammarBase::insertEBNFSigns</a></div><div class="ttdeci">Symbol insertEBNFSigns(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00311">CFLGrammar.cpp:311</a></div></div>
1781
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ac9f86b0861e93eee2548aa7f5f3b7b7f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">SVF::GrammarBase::totalKind</a></div><div class="ttdeci">u32_t totalKind</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00287">CFGrammar.h:287</a></div></div>
1782
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00039">CFGrammar.h:39</a></div></div>
1783
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7707662599fe848ae6526802be4f7b6c"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">SVF::GrammarBase::kindToAttrsMap</a></div><div class="ttdeci">Map&lt; Kind, Set&lt; Attribute &gt; &gt; kindToAttrsMap</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00285">CFGrammar.h:285</a></div></div>
1784
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ab070e5449d26e347b957d8b994d0303f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">SVF::GrammarBase::Attribute</a></div><div class="ttdeci">u32_t Attribute</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00040">CFGrammar.h:40</a></div></div>
1785
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a0e99f099b675baae8d1e84b453ee05e0"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0">SVF::GrammarBase::extractAttributeStrFromSymbolStr</a></div><div class="ttdeci">std::string extractAttributeStrFromSymbolStr(const std::string &amp;symbolStr) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00219">CFGrammar.cpp:219</a></div></div>
1786
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a3aae4b70e2ee0238808a2126265a2e24"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">SVF::GrammarBase::strToKind</a></div><div class="ttdeci">Kind strToKind(std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00055">CFGrammar.cpp:55</a></div></div>
1787
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a079915fce4eb8e63433b06d79127261a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">SVF::GrammarBase::terminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; terminals</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00282">CFGrammar.h:282</a></div></div>
1788
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_ac0e54c6a5e87f9d91a5296504914849b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">SVF::GrammarBase::nonterminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; nonterminals</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00281">CFGrammar.h:281</a></div></div>
1789
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a5ba80e2f28d7b7a722a24901fcaf4ffd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">SVF::GrammarBase::rawProductions</a></div><div class="ttdeci">SymbolMap&lt; Symbol, Productions &gt; rawProductions</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00286">CFGrammar.h:286</a></div></div>
1790
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a2dcb7647b5be7b3ab1dad2c494828854"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">SVF::GrammarBase::AttributedKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char AttributedKindMaskBits</div><div class="ttdoc">We use the lower 24 bits to denote attributed kind.</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00277">CFGrammar.h:277</a></div></div>
1791
+ <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a2af19122bccb7ca0c7ab44a07a1bdfb1"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1">SVF::GrammarBase::insertEBNFSigns</a></div><div class="ttdeci">Symbol insertEBNFSigns(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00311">CFGrammar.cpp:311</a></div></div>
1792
1792
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
1793
1793
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream &amp; errs()</div><div class="ttdoc">Overwrite llvm::errs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00056">SVFUtil.h:56</a></div></div>
1794
1794
  <!-- start footer part -->