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.
- package/SVF-doxygen/html/html/BoundedZ3Expr_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h.html +24 -1
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h_source.html +373 -376
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +76 -76
- package/SVF-doxygen/html/html/CFGNormalizer_8h.html +1 -1
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +29 -29
- package/SVF-doxygen/html/html/CFGrammar_8cpp.html +88 -0
- package/SVF-doxygen/html/html/CFGrammar_8cpp_source.html +568 -0
- package/SVF-doxygen/html/html/CFGrammar_8h.html +108 -0
- package/SVF-doxygen/html/html/CFGrammar_8h_source.html +643 -0
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
- package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +120 -127
- package/SVF-doxygen/html/html/CFLBase_8h_source.html +14 -14
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h.html +1 -1
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +12 -12
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +464 -409
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h.html +10 -2
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +120 -175
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CFLGraph_8h.html +1 -1
- package/SVF-doxygen/html/html/CFLGraph_8h_source.html +11 -11
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +60 -60
- package/SVF-doxygen/html/html/CFLSolver_8h.html +1 -1
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +19 -19
- package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/GrammarBuilder_8h.html +1 -1
- package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +3 -3
- package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/GraphWriter_8h_source.html +1 -1
- package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +12 -12
- package/SVF-doxygen/html/html/PAGGrammar_8txt.html +209 -0
- package/SVF-doxygen/html/html/PEGGrammar_8txt.html +11 -11
- package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html +4 -4
- package/SVF-doxygen/html/html/VFGGrammar_8txt.html +119 -0
- package/SVF-doxygen/html/html/annotated.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +21 -20
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +223 -220
- package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr.html +291 -296
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +119 -119
- package/SVF-doxygen/html/html/classSVF_1_1CFGrammar-members.html +158 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFGrammar.html +1051 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFGrammar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +108 -114
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder-members.html +17 -16
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +333 -280
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +56 -56
- package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +76 -76
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1POCRAlias-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybridSolver-members.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybridSolver.html +53 -53
- package/SVF-doxygen/html/html/classSVF_1_1POCRSolver-members.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1POCRSolver.html +47 -47
- package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder-members.html +21 -20
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.html +148 -145
- package/SVF-doxygen/html/html/classes.html +6 -6
- package/SVF-doxygen/html/html/dir_1b8e404556d3e8597ae60437f0a084bf.html +7 -2
- package/SVF-doxygen/html/html/dir_7de7f3d0ab1cbd78bc64b135e4cd18be.html +80 -0
- package/SVF-doxygen/html/html/dir_8a9c8659eb68b9cbd3fead4690588a47.html +2 -2
- package/SVF-doxygen/html/html/files.html +14 -13
- package/SVF-doxygen/html/html/functions_a.html +5 -5
- package/SVF-doxygen/html/html/functions_b.html +9 -7
- package/SVF-doxygen/html/html/functions_c.html +5 -5
- package/SVF-doxygen/html/html/functions_d.html +1 -1
- package/SVF-doxygen/html/html/functions_e.html +4 -4
- package/SVF-doxygen/html/html/functions_f.html +2 -2
- package/SVF-doxygen/html/html/functions_func.html +5 -5
- package/SVF-doxygen/html/html/functions_func_b.html +9 -7
- package/SVF-doxygen/html/html/functions_func_c.html +5 -5
- package/SVF-doxygen/html/html/functions_func_d.html +1 -1
- package/SVF-doxygen/html/html/functions_func_e.html +3 -3
- package/SVF-doxygen/html/html/functions_func_f.html +1 -1
- package/SVF-doxygen/html/html/functions_func_g.html +13 -13
- package/SVF-doxygen/html/html/functions_func_h.html +3 -3
- package/SVF-doxygen/html/html/functions_func_i.html +1 -1
- package/SVF-doxygen/html/html/functions_func_n.html +2 -2
- package/SVF-doxygen/html/html/functions_func_p.html +2 -2
- package/SVF-doxygen/html/html/functions_func_r.html +1 -1
- package/SVF-doxygen/html/html/functions_func_s.html +1 -1
- package/SVF-doxygen/html/html/functions_g.html +15 -15
- package/SVF-doxygen/html/html/functions_h.html +3 -3
- package/SVF-doxygen/html/html/functions_i.html +2 -2
- package/SVF-doxygen/html/html/functions_k.html +3 -3
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +13 -13
- package/SVF-doxygen/html/html/functions_p.html +16 -12
- package/SVF-doxygen/html/html/functions_r.html +1 -1
- package/SVF-doxygen/html/html/functions_s.html +17 -19
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_type_k.html +2 -2
- package/SVF-doxygen/html/html/functions_type_p.html +1 -1
- package/SVF-doxygen/html/html/functions_type_s.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +6 -6
- package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_g.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_k.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_n.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_s.html +2 -2
- package/SVF-doxygen/html/html/functions_w.html +9 -9
- package/SVF-doxygen/html/html/globals.html +6 -4
- package/SVF-doxygen/html/html/globals_defs.html +7 -0
- package/SVF-doxygen/html/html/globals_e.html +1 -1
- package/SVF-doxygen/html/html/globals_g.html +3 -3
- package/SVF-doxygen/html/html/globals_m.html +4 -1
- package/SVF-doxygen/html/html/globals_s.html +1 -1
- package/SVF-doxygen/html/html/globals_v.html +2 -2
- package/SVF-doxygen/html/html/globals_vars.html +12 -10
- package/SVF-doxygen/html/html/hierarchy.html +1 -1
- package/SVF-doxygen/html/html/menudata.js +1 -0
- package/SVF-doxygen/html/html/namespaceSVF.html +40 -2
- package/SVF-doxygen/html/html/namespacemembers_b.html +3 -0
- package/SVF-doxygen/html/html/namespacemembers_enum.html +3 -0
- package/SVF-doxygen/html/html/search/all_0.js +147 -146
- package/SVF-doxygen/html/html/search/all_1.js +478 -478
- package/SVF-doxygen/html/html/search/all_10.js +327 -325
- package/SVF-doxygen/html/html/search/all_11.js +208 -208
- package/SVF-doxygen/html/html/search/all_12.js +545 -545
- package/SVF-doxygen/html/html/search/all_13.js +189 -189
- package/SVF-doxygen/html/html/search/all_14.js +66 -66
- package/SVF-doxygen/html/html/search/all_15.js +170 -170
- package/SVF-doxygen/html/html/search/all_16.js +60 -60
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/html/search/all_19.js +10 -10
- package/SVF-doxygen/html/html/search/all_1a.js +169 -169
- package/SVF-doxygen/html/html/search/all_2.js +159 -156
- package/SVF-doxygen/html/html/search/all_3.js +637 -638
- package/SVF-doxygen/html/html/search/all_4.js +227 -227
- package/SVF-doxygen/html/html/search/all_5.js +156 -156
- package/SVF-doxygen/html/html/search/all_6.js +223 -223
- package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
- package/SVF-doxygen/html/html/search/all_8.js +192 -192
- package/SVF-doxygen/html/html/search/all_9.js +597 -597
- package/SVF-doxygen/html/html/search/all_a.js +47 -47
- package/SVF-doxygen/html/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/html/search/all_c.js +113 -113
- package/SVF-doxygen/html/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/html/search/all_e.js +206 -206
- package/SVF-doxygen/html/html/search/all_f.js +122 -122
- package/SVF-doxygen/html/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/html/search/classes_2.js +76 -76
- package/SVF-doxygen/html/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/html/search/classes_4.js +10 -10
- package/SVF-doxygen/html/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/html/search/classes_d.js +19 -19
- package/SVF-doxygen/html/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/html/search/defines_4.js +3 -3
- package/SVF-doxygen/html/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/html/search/defines_8.js +13 -13
- package/SVF-doxygen/html/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/html/search/defines_b.js +1 -2
- package/SVF-doxygen/html/html/search/defines_c.js +2 -2
- package/SVF-doxygen/html/html/search/defines_d.js +2 -6
- package/SVF-doxygen/html/html/search/defines_e.js +6 -3
- package/SVF-doxygen/html/html/search/defines_f.html +6 -2
- package/SVF-doxygen/html/html/search/defines_f.js +3 -26
- package/SVF-doxygen/html/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/html/search/enums_1.js +2 -1
- package/SVF-doxygen/html/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/html/search/enums_4.js +4 -4
- package/SVF-doxygen/html/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/html/search/enums_a.js +2 -2
- package/SVF-doxygen/html/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -13
- package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
- package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
- package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
- package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
- package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -17
- package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/html/search/files_2.js +49 -50
- package/SVF-doxygen/html/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/html/search/files_4.js +4 -4
- package/SVF-doxygen/html/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/html/search/files_c.js +20 -19
- package/SVF-doxygen/html/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/html/search/functions_0.js +351 -351
- package/SVF-doxygen/html/html/search/functions_1.js +81 -80
- package/SVF-doxygen/html/html/search/functions_10.js +121 -121
- package/SVF-doxygen/html/html/search/functions_11.js +281 -281
- package/SVF-doxygen/html/html/search/functions_12.js +55 -55
- package/SVF-doxygen/html/html/search/functions_13.js +38 -38
- package/SVF-doxygen/html/html/search/functions_14.js +71 -71
- package/SVF-doxygen/html/html/search/functions_15.js +29 -29
- package/SVF-doxygen/html/html/search/functions_16.js +2 -2
- package/SVF-doxygen/html/html/search/functions_17.js +169 -169
- package/SVF-doxygen/html/html/search/functions_2.js +251 -251
- package/SVF-doxygen/html/html/search/functions_3.js +71 -71
- package/SVF-doxygen/html/html/search/functions_4.js +55 -55
- package/SVF-doxygen/html/html/search/functions_5.js +55 -55
- package/SVF-doxygen/html/html/search/functions_6.js +832 -832
- package/SVF-doxygen/html/html/search/functions_7.js +144 -144
- package/SVF-doxygen/html/html/search/functions_8.js +417 -417
- package/SVF-doxygen/html/html/search/functions_9.js +29 -29
- package/SVF-doxygen/html/html/search/functions_a.js +2 -2
- package/SVF-doxygen/html/html/search/functions_b.js +23 -23
- package/SVF-doxygen/html/html/search/functions_c.js +75 -75
- package/SVF-doxygen/html/html/search/functions_d.js +35 -35
- package/SVF-doxygen/html/html/search/functions_e.js +56 -56
- package/SVF-doxygen/html/html/search/functions_f.js +143 -143
- package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/html/search/related_1.js +1 -1
- package/SVF-doxygen/html/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/html/search/searchdata.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
- package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
- package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
- package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
- package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
- package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
- package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/html/search/variables_0.js +147 -146
- package/SVF-doxygen/html/html/search/variables_1.js +74 -74
- package/SVF-doxygen/html/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/html/search/variables_12.js +93 -93
- package/SVF-doxygen/html/html/search/variables_13.js +77 -77
- package/SVF-doxygen/html/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/html/search/variables_2.js +35 -35
- package/SVF-doxygen/html/html/search/variables_3.js +148 -148
- package/SVF-doxygen/html/html/search/variables_4.js +56 -56
- package/SVF-doxygen/html/html/search/variables_5.js +40 -40
- package/SVF-doxygen/html/html/search/variables_6.js +67 -67
- package/SVF-doxygen/html/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/html/search/variables_9.js +77 -77
- package/SVF-doxygen/html/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/html/search/variables_f.js +33 -33
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +25 -25
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash.html +4 -4
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +5 -5
- package/package.json +1 -1
- package/svf/include/AbstractExecution/BoundedZ3Expr.h +8 -12
- package/svf/include/CFL/CFGNormalizer.h +11 -11
- package/svf/include/CFL/{CFLGrammar.h → CFGrammar.h} +5 -5
- package/svf/include/CFL/CFLAlias.h +2 -2
- package/svf/include/CFL/CFLBase.h +2 -2
- package/svf/include/CFL/CFLGramGraphChecker.h +1 -1
- package/svf/include/CFL/CFLGraphBuilder.h +30 -81
- package/svf/include/CFL/CFLSolver.h +8 -8
- package/svf/include/CFL/GrammarBuilder.h +1 -1
- package/svf/include/Graphs/CFLGraph.h +3 -3
- package/svf/lib/CFL/CFGNormalizer.cpp +11 -11
- package/svf/lib/CFL/{CFLGrammar.cpp → CFGrammar.cpp} +7 -7
- package/svf/lib/CFL/CFLBase.cpp +5 -11
- package/svf/lib/CFL/CFLGraphBuilder.cpp +125 -74
- package/svf/lib/CFL/CFLVF.cpp +2 -2
- /package/svf/include/CFL/{CFLGrammar.txt → grammar/PAGGrammar.txt} +0 -0
- /package/svf/include/CFL/{PEGGrammar.txt → grammar/PEGGrammar.txt} +0 -0
- /package/svf/include/CFL/{VFG.txt → grammar/VFGGrammar.txt} +0 -0
|
@@ -0,0 +1,643 @@
|
|
|
1
|
+
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
2
|
+
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
3
|
+
<head>
|
|
4
|
+
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
|
|
5
|
+
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
|
|
6
|
+
<meta name="generator" content="Doxygen 1.8.17"/>
|
|
7
|
+
<meta name="viewport" content="width=device-width, initial-scale=1"/>
|
|
8
|
+
<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/CFL/CFGrammar.h Source File</title>
|
|
9
|
+
<link href="tabs.css" rel="stylesheet" type="text/css"/>
|
|
10
|
+
<script type="text/javascript" src="jquery.js"></script>
|
|
11
|
+
<script type="text/javascript" src="dynsections.js"></script>
|
|
12
|
+
<link href="search/search.css" rel="stylesheet" type="text/css"/>
|
|
13
|
+
<script type="text/javascript" src="search/searchdata.js"></script>
|
|
14
|
+
<script type="text/javascript" src="search/search.js"></script>
|
|
15
|
+
<link href="doxygen.css" rel="stylesheet" type="text/css" />
|
|
16
|
+
</head>
|
|
17
|
+
<body>
|
|
18
|
+
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
|
|
19
|
+
<div id="titlearea">
|
|
20
|
+
<table cellspacing="0" cellpadding="0">
|
|
21
|
+
<tbody>
|
|
22
|
+
<tr style="height: 56px;">
|
|
23
|
+
<td id="projectalign" style="padding-left: 0.5em;">
|
|
24
|
+
<div id="projectname">Static Value-Flow Analysis
|
|
25
|
+
</div>
|
|
26
|
+
</td>
|
|
27
|
+
</tr>
|
|
28
|
+
</tbody>
|
|
29
|
+
</table>
|
|
30
|
+
</div>
|
|
31
|
+
<!-- end header part -->
|
|
32
|
+
<!-- Generated by Doxygen 1.8.17 -->
|
|
33
|
+
<script type="text/javascript">
|
|
34
|
+
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
|
|
35
|
+
var searchBox = new SearchBox("searchBox", "search",false,'Search');
|
|
36
|
+
/* @license-end */
|
|
37
|
+
</script>
|
|
38
|
+
<script type="text/javascript" src="menudata.js"></script>
|
|
39
|
+
<script type="text/javascript" src="menu.js"></script>
|
|
40
|
+
<script type="text/javascript">
|
|
41
|
+
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
|
|
42
|
+
$(function() {
|
|
43
|
+
initMenu('',true,false,'search.php','Search');
|
|
44
|
+
$(document).ready(function() { init_search(); });
|
|
45
|
+
});
|
|
46
|
+
/* @license-end */</script>
|
|
47
|
+
<div id="main-nav"></div>
|
|
48
|
+
<!-- window showing the filter options -->
|
|
49
|
+
<div id="MSearchSelectWindow"
|
|
50
|
+
onmouseover="return searchBox.OnSearchSelectShow()"
|
|
51
|
+
onmouseout="return searchBox.OnSearchSelectHide()"
|
|
52
|
+
onkeydown="return searchBox.OnSearchSelectKey(event)">
|
|
53
|
+
</div>
|
|
54
|
+
|
|
55
|
+
<!-- iframe showing the search results (closed by default) -->
|
|
56
|
+
<div id="MSearchResultsWindow">
|
|
57
|
+
<iframe src="javascript:void(0)" frameborder="0"
|
|
58
|
+
name="MSearchResults" id="MSearchResults">
|
|
59
|
+
</iframe>
|
|
60
|
+
</div>
|
|
61
|
+
|
|
62
|
+
<div id="nav-path" class="navpath">
|
|
63
|
+
<ul>
|
|
64
|
+
<li class="navelem"><a class="el" href="dir_f984cfbe93434e3daf67f2a9bd6d521f.html">svf</a></li><li class="navelem"><a class="el" href="dir_390f2a6be5eff59a6919ecbd9cc9f31d.html">include</a></li><li class="navelem"><a class="el" href="dir_1b8e404556d3e8597ae60437f0a084bf.html">CFL</a></li> </ul>
|
|
65
|
+
</div>
|
|
66
|
+
</div><!-- top -->
|
|
67
|
+
<div class="header">
|
|
68
|
+
<div class="headertitle">
|
|
69
|
+
<div class="title">CFGrammar.h</div> </div>
|
|
70
|
+
</div><!--header-->
|
|
71
|
+
<div class="contents">
|
|
72
|
+
<a href="CFGrammar_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="comment">//===----- CFGrammar.h -- Context-free grammar --------------------------//</span></div>
|
|
73
|
+
<div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="comment">//</span></div>
|
|
74
|
+
<div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="comment">// SVF: Static Value-Flow Analysis</span></div>
|
|
75
|
+
<div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="comment">//</span></div>
|
|
76
|
+
<div class="line"><a name="l00005"></a><span class="lineno"> 5</span> <span class="comment">// Copyright (C) <2013-> <Yulei Sui></span></div>
|
|
77
|
+
<div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="comment">//</span></div>
|
|
78
|
+
<div class="line"><a name="l00007"></a><span class="lineno"> 7</span>  </div>
|
|
79
|
+
<div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="comment">// This program is free software: you can redistribute it and/or modify</span></div>
|
|
80
|
+
<div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="comment">// it under the terms of the GNU Affero General Public License as published by</span></div>
|
|
81
|
+
<div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div>
|
|
82
|
+
<div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="comment">// (at your option) any later version.</span></div>
|
|
83
|
+
<div class="line"><a name="l00012"></a><span class="lineno"> 12</span>  </div>
|
|
84
|
+
<div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <span class="comment">// This program is distributed in the hope that it will be useful,</span></div>
|
|
85
|
+
<div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div>
|
|
86
|
+
<div class="line"><a name="l00015"></a><span class="lineno"> 15</span> <span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span></div>
|
|
87
|
+
<div class="line"><a name="l00016"></a><span class="lineno"> 16</span> <span class="comment">// GNU Affero General Public License for more details.</span></div>
|
|
88
|
+
<div class="line"><a name="l00017"></a><span class="lineno"> 17</span>  </div>
|
|
89
|
+
<div class="line"><a name="l00018"></a><span class="lineno"> 18</span> <span class="comment">// You should have received a copy of the GNU Affero General Public License</span></div>
|
|
90
|
+
<div class="line"><a name="l00019"></a><span class="lineno"> 19</span> <span class="comment">// along with this program. If not, see <http://www.gnu.org/licenses/>.</span></div>
|
|
91
|
+
<div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="comment">//</span></div>
|
|
92
|
+
<div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="comment">//===----------------------------------------------------------------------===//</span></div>
|
|
93
|
+
<div class="line"><a name="l00022"></a><span class="lineno"> 22</span>  </div>
|
|
94
|
+
<div class="line"><a name="l00023"></a><span class="lineno"> 23</span> <span class="comment">/*</span></div>
|
|
95
|
+
<div class="line"><a name="l00024"></a><span class="lineno"> 24</span> <span class="comment"> * CFGrammar.h</span></div>
|
|
96
|
+
<div class="line"><a name="l00025"></a><span class="lineno"> 25</span> <span class="comment"> *</span></div>
|
|
97
|
+
<div class="line"><a name="l00026"></a><span class="lineno"> 26</span> <span class="comment"> * Created on: March 5, 2022</span></div>
|
|
98
|
+
<div class="line"><a name="l00027"></a><span class="lineno"> 27</span> <span class="comment"> * Author: Yulei Sui</span></div>
|
|
99
|
+
<div class="line"><a name="l00028"></a><span class="lineno"> 28</span> <span class="comment"> */</span></div>
|
|
100
|
+
<div class="line"><a name="l00029"></a><span class="lineno"> 29</span> <span class="preprocessor">#ifndef CFLGrammar_H_</span></div>
|
|
101
|
+
<div class="line"><a name="l00030"></a><span class="lineno"> 30</span> <span class="preprocessor">#define CFLGrammar_H_</span></div>
|
|
102
|
+
<div class="line"><a name="l00031"></a><span class="lineno"> 31</span> <span class="preprocessor">#include "<a class="code" href="SVFType_8h.html">SVFIR/SVFType.h</a>"</span></div>
|
|
103
|
+
<div class="line"><a name="l00032"></a><span class="lineno"> 32</span>  </div>
|
|
104
|
+
<div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
|
|
105
|
+
<div class="line"><a name="l00034"></a><span class="lineno"> 34</span> {</div>
|
|
106
|
+
<div class="line"><a name="l00035"></a><span class="lineno"> 35</span>  </div>
|
|
107
|
+
<div class="line"><a name="l00036"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html"> 36</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a></div>
|
|
108
|
+
<div class="line"><a name="l00037"></a><span class="lineno"> 37</span> {</div>
|
|
109
|
+
<div class="line"><a name="l00038"></a><span class="lineno"> 38</span> <span class="keyword">public</span>:</div>
|
|
110
|
+
<div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187"> 39</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a>;</div>
|
|
111
|
+
<div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f"> 40</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a>;</div>
|
|
112
|
+
<div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759"> 41</a></span>  <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">VariableAttribute</a>;</div>
|
|
113
|
+
<div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html"> 42</a></span>  <span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a></div>
|
|
114
|
+
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  {</div>
|
|
115
|
+
<div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71"> 44</a></span>  <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>: 8;</div>
|
|
116
|
+
<div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d"> 45</a></span>  <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>: 16;</div>
|
|
117
|
+
<div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942"> 46</a></span>  <a class="code" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">VariableAttribute</a> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>: 8;</div>
|
|
118
|
+
<div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  </div>
|
|
119
|
+
<div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf"> 49</a></span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">Symbol</a>() : <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>(0), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>(0), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>(0) {}</div>
|
|
120
|
+
<div class="line"><a name="l00050"></a><span class="lineno"> 50</span>  </div>
|
|
121
|
+
<div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767"> 52</a></span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">Symbol</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>& num) : <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>(num & 0xFF), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>((num >> 8 ) & 0xFFFF), <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>((num >> 24)) {}</div>
|
|
122
|
+
<div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  </div>
|
|
123
|
+
<div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a7ba35f7585b191a29573a9e116aa927f"> 55</a></span>  <span class="keyword">operator</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>()</div>
|
|
124
|
+
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  {</div>
|
|
125
|
+
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  static_assert(<span class="keyword">sizeof</span>(<span class="keyword">struct</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>)==<span class="keyword">sizeof</span>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>), <span class="stringliteral">"sizeof(struct Symbol)!=sizeof(u32_t)"</span>);</div>
|
|
126
|
+
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = 0;</div>
|
|
127
|
+
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> << 24;</div>
|
|
128
|
+
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> << 8;</div>
|
|
129
|
+
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>;</div>
|
|
130
|
+
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="keywordflow">return</span> num;</div>
|
|
131
|
+
<div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  }</div>
|
|
132
|
+
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  </div>
|
|
133
|
+
<div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#ada693de7fbe70e37120eed8dca3c143f"> 65</a></span>  <span class="keyword">operator</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>()<span class="keyword"> const</span></div>
|
|
134
|
+
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span> <span class="keyword"> </span>{</div>
|
|
135
|
+
<div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  static_assert(<span class="keyword">sizeof</span>(<span class="keyword">struct</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>)==<span class="keyword">sizeof</span>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>), <span class="stringliteral">"sizeof(struct Symbol)!=sizeof(u32_t)"</span>);</div>
|
|
136
|
+
<div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = 0;</div>
|
|
137
|
+
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> << 24;</div>
|
|
138
|
+
<div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> << 8;</div>
|
|
139
|
+
<div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  num += this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>;</div>
|
|
140
|
+
<div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  <span class="keywordflow">return</span> num;</div>
|
|
141
|
+
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  }</div>
|
|
142
|
+
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  </div>
|
|
143
|
+
<div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8"> 75</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8">operator<</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& rhs)</div>
|
|
144
|
+
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  {</div>
|
|
145
|
+
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(*<span class="keyword">this</span>) < <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(rhs);</div>
|
|
146
|
+
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  }</div>
|
|
147
|
+
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  </div>
|
|
148
|
+
<div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181"> 80</a></span>  <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181">operator=</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>& i)</div>
|
|
149
|
+
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  {</div>
|
|
150
|
+
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> = <a class="code" href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d">EdgeKindMask</a> & i;</div>
|
|
151
|
+
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> = i >> <a class="code" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a>;</div>
|
|
152
|
+
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> = i >> <a class="code" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a>;</div>
|
|
153
|
+
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  }</div>
|
|
154
|
+
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  </div>
|
|
155
|
+
<div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a"> 87</a></span>  <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a">operator=</a>(<span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <span class="keywordtype">long</span> num)</div>
|
|
156
|
+
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  {</div>
|
|
157
|
+
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> = num & 0xFF;</div>
|
|
158
|
+
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> = (num >> 8 ) & 0xFFFF;</div>
|
|
159
|
+
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> = num >> 24;</div>
|
|
160
|
+
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  }</div>
|
|
161
|
+
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  </div>
|
|
162
|
+
<div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53"> 94</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">operator==</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& s)</div>
|
|
163
|
+
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  {</div>
|
|
164
|
+
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <span class="keywordflow">return</span> ((this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>) && (this->attribute == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>) && (this->variableAttribute == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>));</div>
|
|
165
|
+
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  }</div>
|
|
166
|
+
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  </div>
|
|
167
|
+
<div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461"> 99</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461">operator==</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& s)<span class="keyword"> const</span></div>
|
|
168
|
+
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span> <span class="keyword"> </span>{</div>
|
|
169
|
+
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  <span class="keywordflow">return</span> ((<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>) && (<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a>) && (<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> == s.<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a>));</div>
|
|
170
|
+
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  }</div>
|
|
171
|
+
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  </div>
|
|
172
|
+
<div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136"> 104</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136">operator!=</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& s)<span class="keyword"> const</span></div>
|
|
173
|
+
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span> <span class="keyword"> </span>{</div>
|
|
174
|
+
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="keywordflow">return</span> ! (*<span class="keyword">this</span> == s) ;</div>
|
|
175
|
+
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  }</div>
|
|
176
|
+
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  </div>
|
|
177
|
+
<div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9"> 109</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9">operator==</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>& i)</div>
|
|
178
|
+
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  {</div>
|
|
179
|
+
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(*<span class="keyword">this</span>) == <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(i);</div>
|
|
180
|
+
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  }</div>
|
|
181
|
+
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  </div>
|
|
182
|
+
<div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9"> 114</a></span>  <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9">operator==</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a>& k)<span class="keyword"> const</span></div>
|
|
183
|
+
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span> <span class="keyword"> </span>{</div>
|
|
184
|
+
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <span class="keywordflow">return</span> (this-><a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a> == k);</div>
|
|
185
|
+
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  }</div>
|
|
186
|
+
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  } <a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>;</div>
|
|
187
|
+
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  </div>
|
|
188
|
+
<div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase_1_1SymbolHash.html"> 120</a></span>  <span class="keyword">class </span><a class="code" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SymbolHash</a></div>
|
|
189
|
+
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  {</div>
|
|
190
|
+
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  <span class="keyword">public</span>:</div>
|
|
191
|
+
<div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54"> 123</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54">operator()</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> &s)<span class="keyword"> const</span></div>
|
|
192
|
+
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span> <span class="keyword"> </span>{</div>
|
|
193
|
+
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  std::hash<u32_t> h;</div>
|
|
194
|
+
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="keywordflow">return</span> h(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(s));</div>
|
|
195
|
+
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  }</div>
|
|
196
|
+
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  };</div>
|
|
197
|
+
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  </div>
|
|
198
|
+
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  </div>
|
|
199
|
+
<div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html"> 131</a></span>  <span class="keyword">struct </span><a class="code" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html">SymbolVectorHash</a></div>
|
|
200
|
+
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  {</div>
|
|
201
|
+
<div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e"> 133</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e">operator()</a>(<span class="keyword">const</span> std::vector<Symbol> &v)<span class="keyword"> const</span></div>
|
|
202
|
+
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span> <span class="keyword"> </span>{</div>
|
|
203
|
+
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="keywordtype">size_t</span> h = v.size();</div>
|
|
204
|
+
<div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  </div>
|
|
205
|
+
<div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  <a class="code" href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SymbolHash</a> hf;</div>
|
|
206
|
+
<div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> &t : v)</div>
|
|
207
|
+
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  {</div>
|
|
208
|
+
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  h ^= hf(t) + 0x9e3779b9 + (h << 6) + (h >> 2);</div>
|
|
209
|
+
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  }</div>
|
|
210
|
+
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  </div>
|
|
211
|
+
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="keywordflow">return</span> h;</div>
|
|
212
|
+
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  }</div>
|
|
213
|
+
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  };</div>
|
|
214
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  </div>
|
|
215
|
+
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="keyword">template</span><<span class="keyword">typename</span> Key, <span class="keyword">typename</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>, <span class="keyword">typename</span> <a class="code" href="structSVF_1_1Hash.html">Hash</a> = SymbolHash,</div>
|
|
216
|
+
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  <span class="keyword">typename</span> KeyEqual = std::equal_to<Key>,</div>
|
|
217
|
+
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  <span class="keyword">typename</span> Allocator = std::allocator<std::pair<const Key, Value>>></div>
|
|
218
|
+
<div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112"> 150</a></span>  <span class="keyword">using</span> <a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a> = std::unordered_map<Key, Value, Hash, KeyEqual, Allocator>;</div>
|
|
219
|
+
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  </div>
|
|
220
|
+
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  <span class="keyword">template</span> <<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Hash = SymbolVectorHash, <span class="keyword">typename</span> KeyEqual = std::equal_to<Key>,</div>
|
|
221
|
+
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <span class="keyword">typename</span> Allocator = std::allocator<Key>></div>
|
|
222
|
+
<div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3"> 154</a></span>  <span class="keyword">using</span> <a class="code" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a> = std::unordered_set<Key, Hash, KeyEqual, Allocator>;</div>
|
|
223
|
+
<div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  </div>
|
|
224
|
+
<div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec"> 156</a></span>  <span class="keyword">typedef</span> std::vector<Symbol> <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a>;</div>
|
|
225
|
+
<div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d"> 157</a></span>  <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet<Production></a> <a class="code" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>;</div>
|
|
226
|
+
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  </div>
|
|
227
|
+
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  </div>
|
|
228
|
+
<div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e"> 160</a></span>  <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">getNonterminals</a>()</div>
|
|
229
|
+
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  {</div>
|
|
230
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>;</div>
|
|
231
|
+
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  }</div>
|
|
232
|
+
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  </div>
|
|
233
|
+
<div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf"> 165</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">setNonterminals</a>(<a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>)</div>
|
|
234
|
+
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  {</div>
|
|
235
|
+
<div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  this->nonterminals = <a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>;</div>
|
|
236
|
+
<div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  }</div>
|
|
237
|
+
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  </div>
|
|
238
|
+
<div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37"> 170</a></span>  <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">getTerminals</a>()</div>
|
|
239
|
+
<div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  {</div>
|
|
240
|
+
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>;</div>
|
|
241
|
+
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  }</div>
|
|
242
|
+
<div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  </div>
|
|
243
|
+
<div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41"> 175</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41">setTerminals</a>(<a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>)</div>
|
|
244
|
+
<div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  {</div>
|
|
245
|
+
<div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  this->terminals = <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>;</div>
|
|
246
|
+
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  }</div>
|
|
247
|
+
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  </div>
|
|
248
|
+
<div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a51b55df841ae449ecf0888325c6e8c6a"> 180</a></span>  <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a51b55df841ae449ecf0888325c6e8c6a">getEBNFSigns</a>()</div>
|
|
249
|
+
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  {</div>
|
|
250
|
+
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">EBNFSigns</a>;</div>
|
|
251
|
+
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  }</div>
|
|
252
|
+
<div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  </div>
|
|
253
|
+
<div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12"> 185</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12">setEBNFSigns</a>(<a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">EBNFSigns</a>)</div>
|
|
254
|
+
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  {</div>
|
|
255
|
+
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  this->EBNFSigns = <a class="code" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">EBNFSigns</a>;</div>
|
|
256
|
+
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  }</div>
|
|
257
|
+
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  </div>
|
|
258
|
+
<div class="line"><a name="l00190"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae"> 190</a></span>  <span class="keyword">inline</span> <a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap<Symbol, Productions></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>()</div>
|
|
259
|
+
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  {</div>
|
|
260
|
+
<div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>;</div>
|
|
261
|
+
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  }</div>
|
|
262
|
+
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  </div>
|
|
263
|
+
<div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ad6307c28042ff43678bd7bff1cd2c7c1"> 195</a></span>  <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, Set<Attribute></a>>& <a class="code" href="classSVF_1_1GrammarBase.html#ad6307c28042ff43678bd7bff1cd2c7c1">getKindToAttrsMap</a>()<span class="keyword"> const</span></div>
|
|
264
|
+
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span> <span class="keyword"> </span>{</div>
|
|
265
|
+
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">kindToAttrsMap</a>;</div>
|
|
266
|
+
<div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  }</div>
|
|
267
|
+
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  </div>
|
|
268
|
+
<div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19"> 200</a></span>  <span class="keyword">inline</span> Kind <a class="code" href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19">getTotalKind</a>()</div>
|
|
269
|
+
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  {</div>
|
|
270
|
+
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>;</div>
|
|
271
|
+
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  }</div>
|
|
272
|
+
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  </div>
|
|
273
|
+
<div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b"> 205</a></span>  <span class="keyword">inline</span> Kind <a class="code" href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">getStartKind</a>()</div>
|
|
274
|
+
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  {</div>
|
|
275
|
+
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>;</div>
|
|
276
|
+
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  }</div>
|
|
277
|
+
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  </div>
|
|
278
|
+
<div class="line"><a name="l00210"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd"> 210</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">setStartKind</a>(Kind <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>)</div>
|
|
279
|
+
<div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  {</div>
|
|
280
|
+
<div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  this->startKind = <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>;</div>
|
|
281
|
+
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  }</div>
|
|
282
|
+
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  </div>
|
|
283
|
+
<div class="line"><a name="l00215"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a"> 215</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">setTotalKind</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>)</div>
|
|
284
|
+
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  {</div>
|
|
285
|
+
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  this->totalKind = <a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>;</div>
|
|
286
|
+
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  }</div>
|
|
287
|
+
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  </div>
|
|
288
|
+
<div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074">extractKindStrFromSymbolStr</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>& symbolStr) <span class="keyword">const</span>;</div>
|
|
289
|
+
<div class="line"><a name="l00221"></a><span class="lineno"> 221</span>  </div>
|
|
290
|
+
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0">extractAttributeStrFromSymbolStr</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>& symbolStr) <span class="keyword">const</span>;</div>
|
|
291
|
+
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  </div>
|
|
292
|
+
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a">setRawProductions</a>(SymbolMap<Symbol, Productions>& <a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>);</div>
|
|
293
|
+
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  </div>
|
|
294
|
+
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a082342020848e545c983df4d5ec6720a">setKindToAttrsMap</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a><<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a>, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Attribute></a>>& <a class="code" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">kindToAttrsMap</a>);</div>
|
|
295
|
+
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  </div>
|
|
296
|
+
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0">setAttributeKinds</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Kind></a>& attributeKind);</div>
|
|
297
|
+
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  </div>
|
|
298
|
+
<div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="code" href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">strToKind</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str) <span class="keyword">const</span>;</div>
|
|
299
|
+
<div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  </div>
|
|
300
|
+
<div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  <a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">strToSymbol</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str) <span class="keyword">const</span>;</div>
|
|
301
|
+
<div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  </div>
|
|
302
|
+
<div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3">kindToStr</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind) <span class="keyword">const</span>;</div>
|
|
303
|
+
<div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  </div>
|
|
304
|
+
<div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38">symToStrDump</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> sym) <span class="keyword">const</span>;</div>
|
|
305
|
+
<div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  </div>
|
|
306
|
+
<div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06"> 238</a></span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">getSymbol</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a>& prod, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos)</div>
|
|
307
|
+
<div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  {</div>
|
|
308
|
+
<div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  <span class="keywordflow">return</span> prod.at(pos);</div>
|
|
309
|
+
<div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  }</div>
|
|
310
|
+
<div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  </div>
|
|
311
|
+
<div class="line"><a name="l00243"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e"> 243</a></span>  <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Kind></a>& <a class="code" href="classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e">getAttrSyms</a>()<span class="keyword"> const</span></div>
|
|
312
|
+
<div class="line"><a name="l00244"></a><span class="lineno"> 244</span> <span class="keyword"> </span>{</div>
|
|
313
|
+
<div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">attributeKinds</a>;</div>
|
|
314
|
+
<div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  }</div>
|
|
315
|
+
<div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  </div>
|
|
316
|
+
<div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  Kind <a class="code" href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">insertNonterminalKind</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <span class="keyword">const</span> kindStr);</div>
|
|
317
|
+
<div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  </div>
|
|
318
|
+
<div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="code" href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">insertTerminalKind</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div>
|
|
319
|
+
<div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  </div>
|
|
320
|
+
<div class="line"><a name="l00255"></a><span class="lineno"> 255</span>  <a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">insertSymbol</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div>
|
|
321
|
+
<div class="line"><a name="l00256"></a><span class="lineno"> 256</span>  </div>
|
|
322
|
+
<div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  <a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div>
|
|
323
|
+
<div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  </div>
|
|
324
|
+
<div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  <a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">insertTerminalSymbol</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div>
|
|
325
|
+
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  </div>
|
|
326
|
+
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <a class="code" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> <a class="code" href="classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1">insertEBNFSigns</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> strLit);</div>
|
|
327
|
+
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  </div>
|
|
328
|
+
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">insertAttribute</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind, <a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>);</div>
|
|
329
|
+
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  </div>
|
|
330
|
+
<div class="line"><a name="l00265"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275"> 265</a></span>  <span class="keyword">inline</span> <span class="keyword">static</span> <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="code" href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">getAttributedKind</a>(<a class="code" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> attribute, <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind)</div>
|
|
331
|
+
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  {</div>
|
|
332
|
+
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  <span class="keywordflow">return</span> ((attribute << <a class="code" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a>)| kind );</div>
|
|
333
|
+
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  }</div>
|
|
334
|
+
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  </div>
|
|
335
|
+
<div class="line"><a name="l00270"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e"> 270</a></span>  <span class="keyword">inline</span> <span class="keyword">static</span> <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="code" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">getVariabledKind</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">VariableAttribute</a> variableAttribute, <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind)</div>
|
|
336
|
+
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  {</div>
|
|
337
|
+
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  <span class="keywordflow">return</span> ((variableAttribute << <a class="code" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a>) | kind);</div>
|
|
338
|
+
<div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  }</div>
|
|
339
|
+
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  </div>
|
|
340
|
+
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span> <span class="keyword">protected</span>:</div>
|
|
341
|
+
<div class="line"><a name="l00276"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f"> 276</a></span>  <span class="keyword">static</span> constexpr <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> <a class="code" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a> = 8; </div>
|
|
342
|
+
<div class="line"><a name="l00277"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854"> 277</a></span>  <span class="keyword">static</span> constexpr <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> <a class="code" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a> = 24; </div>
|
|
343
|
+
<div class="line"><a name="l00278"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d"> 278</a></span>  <span class="keyword">static</span> constexpr <a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d">EdgeKindMask</a> = (~0ULL) >> (64 - <a class="code" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a>);</div>
|
|
344
|
+
<div class="line"><a name="l00279"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af"> 279</a></span>  <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>;</div>
|
|
345
|
+
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span> <span class="keyword">private</span>:</div>
|
|
346
|
+
<div class="line"><a name="l00281"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b"> 281</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a> <a class="code" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>;</div>
|
|
347
|
+
<div class="line"><a name="l00282"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a"> 282</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a> <a class="code" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>;</div>
|
|
348
|
+
<div class="line"><a name="l00283"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9"> 283</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<std::string, Kind></a> <a class="code" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">EBNFSigns</a>; </div>
|
|
349
|
+
<div class="line"><a name="l00284"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d"> 284</a></span>  <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<Kind></a> <a class="code" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">attributeKinds</a>;</div>
|
|
350
|
+
<div class="line"><a name="l00285"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c"> 285</a></span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<Kind, Set<Attribute></a>> <a class="code" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">kindToAttrsMap</a>;</div>
|
|
351
|
+
<div class="line"><a name="l00286"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd"> 286</a></span>  <a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap<Symbol, Productions></a> <a class="code" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>;</div>
|
|
352
|
+
<div class="line"><a name="l00287"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f"> 287</a></span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>;</div>
|
|
353
|
+
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span> };</div>
|
|
354
|
+
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  </div>
|
|
355
|
+
<div class="line"><a name="l00290"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html"> 290</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a></div>
|
|
356
|
+
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span> {</div>
|
|
357
|
+
<div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  </div>
|
|
358
|
+
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span> <span class="keyword">public</span>:</div>
|
|
359
|
+
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  <a class="code" href="classSVF_1_1CFGrammar.html#a6955bde4faa1d7b5d1f092c242a11a1b">CFGrammar</a>();</div>
|
|
360
|
+
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  </div>
|
|
361
|
+
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  </div>
|
|
362
|
+
<div class="line"><a name="l00298"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#ac004251a16c0af22fe6775b7908d2a33"> 298</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFGrammar.html#ac004251a16c0af22fe6775b7908d2a33">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *)</div>
|
|
363
|
+
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  {</div>
|
|
364
|
+
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
365
|
+
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  }</div>
|
|
366
|
+
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  </div>
|
|
367
|
+
<div class="line"><a name="l00303"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#ab5ec52098ce63b94c2b63bf28fa27942"> 303</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFGrammar.html#ab5ec52098ce63b94c2b63bf28fa27942">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *node)</div>
|
|
368
|
+
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  {</div>
|
|
369
|
+
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
370
|
+
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div>
|
|
371
|
+
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  </div>
|
|
372
|
+
<div class="line"><a name="l00308"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29"> 308</a></span>  <a class="code" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& <a class="code" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">getEpsilonProds</a>()</div>
|
|
373
|
+
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  {</div>
|
|
374
|
+
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6">epsilonProds</a>;</div>
|
|
375
|
+
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  }</div>
|
|
376
|
+
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  </div>
|
|
377
|
+
<div class="line"><a name="l00313"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a8c853ad1e1b30c3ba4efe66b1d0dddf6"> 313</a></span>  SymbolMap<Symbol, Productions>& <a class="code" href="classSVF_1_1CFGrammar.html#a8c853ad1e1b30c3ba4efe66b1d0dddf6">getSingleRHSToProds</a>()</div>
|
|
378
|
+
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  {</div>
|
|
379
|
+
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>;</div>
|
|
380
|
+
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  }</div>
|
|
381
|
+
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  </div>
|
|
382
|
+
<div class="line"><a name="l00318"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#ad06bd6d1c5fb6fc02efc694c2715a27c"> 318</a></span>  SymbolMap<Symbol, Productions>& <a class="code" href="classSVF_1_1CFGrammar.html#ad06bd6d1c5fb6fc02efc694c2715a27c">getFirstRHSToProds</a>()</div>
|
|
383
|
+
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  {</div>
|
|
384
|
+
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>;</div>
|
|
385
|
+
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  }</div>
|
|
386
|
+
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  </div>
|
|
387
|
+
<div class="line"><a name="l00323"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a2506ec7098c676466744e87d1eb8dd3d"> 323</a></span>  SymbolMap<Symbol, Productions>& <a class="code" href="classSVF_1_1CFGrammar.html#a2506ec7098c676466744e87d1eb8dd3d">getSecondRHSToProds</a>()</div>
|
|
388
|
+
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  {</div>
|
|
389
|
+
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a>;</div>
|
|
390
|
+
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  }</div>
|
|
391
|
+
<div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  </div>
|
|
392
|
+
<div class="line"><a name="l00328"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134"> 328</a></span>  <span class="keyword">const</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134">hasProdsFromFirstRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div>
|
|
393
|
+
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span> <span class="keyword"> </span>{</div>
|
|
394
|
+
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>.find(sym);</div>
|
|
395
|
+
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>.end();</div>
|
|
396
|
+
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  }</div>
|
|
397
|
+
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  </div>
|
|
398
|
+
<div class="line"><a name="l00334"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8"> 334</a></span>  <span class="keyword">const</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8">hasProdsFromSingleRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div>
|
|
399
|
+
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span> <span class="keyword"> </span>{</div>
|
|
400
|
+
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>.find(sym);</div>
|
|
401
|
+
<div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>.end();</div>
|
|
402
|
+
<div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  }</div>
|
|
403
|
+
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  </div>
|
|
404
|
+
<div class="line"><a name="l00340"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd"> 340</a></span>  <span class="keyword">const</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd">hasProdsFromSecondRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div>
|
|
405
|
+
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span> <span class="keyword"> </span>{</div>
|
|
406
|
+
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a>.find(sym);</div>
|
|
407
|
+
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a>.end();</div>
|
|
408
|
+
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  }</div>
|
|
409
|
+
<div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  </div>
|
|
410
|
+
<div class="line"><a name="l00346"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a09bb0c9e5e626555273193e437de2b70"> 346</a></span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& <a class="code" href="classSVF_1_1CFGrammar.html#a09bb0c9e5e626555273193e437de2b70">getProdsFromSingleRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div>
|
|
411
|
+
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span> <span class="keyword"> </span>{</div>
|
|
412
|
+
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>.find(sym);</div>
|
|
413
|
+
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  assert(it!=<a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>.end() && <span class="stringliteral">"production (X -> sym) not found for sym!!"</span>);</div>
|
|
414
|
+
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
415
|
+
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  }</div>
|
|
416
|
+
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  </div>
|
|
417
|
+
<div class="line"><a name="l00353"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a0c436fdc35825a0f5c244b3f3441ae1a"> 353</a></span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& <a class="code" href="classSVF_1_1CFGrammar.html#a0c436fdc35825a0f5c244b3f3441ae1a">getProdsFromFirstRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div>
|
|
418
|
+
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span> <span class="keyword"> </span>{</div>
|
|
419
|
+
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>.find(sym);</div>
|
|
420
|
+
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  assert(it!=<a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>.end() && <span class="stringliteral">"production (X -> sym Y ) not found for sym!!"</span>);</div>
|
|
421
|
+
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
422
|
+
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  }</div>
|
|
423
|
+
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  </div>
|
|
424
|
+
<div class="line"><a name="l00360"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a39ee3733b247f40ea27ddc7e17334544"> 360</a></span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& <a class="code" href="classSVF_1_1CFGrammar.html#a39ee3733b247f40ea27ddc7e17334544">getProdsFromSecondRHS</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym)<span class="keyword"> const</span></div>
|
|
425
|
+
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span> <span class="keyword"> </span>{</div>
|
|
426
|
+
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a>.find(sym);</div>
|
|
427
|
+
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  assert(it!=<a class="code" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a>.end() && <span class="stringliteral">"production (X -> Y sym) not found for sym!!"</span>);</div>
|
|
428
|
+
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
429
|
+
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  }</div>
|
|
430
|
+
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  </div>
|
|
431
|
+
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  </div>
|
|
432
|
+
<div class="line"><a name="l00368"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd"> 368</a></span>  <span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& <a class="code" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a>& prod)<span class="keyword"> const</span></div>
|
|
433
|
+
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span> <span class="keyword"> </span>{</div>
|
|
434
|
+
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  <span class="keywordflow">return</span> prod.at(0);</div>
|
|
435
|
+
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  }</div>
|
|
436
|
+
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  </div>
|
|
437
|
+
<div class="line"><a name="l00373"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7"> 373</a></span>  <span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& <a class="code" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">getFirstRHSSymbol</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a>& prod)<span class="keyword"> const</span></div>
|
|
438
|
+
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span> <span class="keyword"> </span>{</div>
|
|
439
|
+
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <span class="keywordflow">return</span> prod.at(1);</div>
|
|
440
|
+
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  }</div>
|
|
441
|
+
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  </div>
|
|
442
|
+
<div class="line"><a name="l00378"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b"> 378</a></span>  <span class="keyword">const</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>& <a class="code" href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">getSecondRHSSymbol</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a>& prod)<span class="keyword"> const</span></div>
|
|
443
|
+
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span> <span class="keyword"> </span>{</div>
|
|
444
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  <span class="keywordflow">return</span> prod.at(2);</div>
|
|
445
|
+
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  }</div>
|
|
446
|
+
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  </div>
|
|
447
|
+
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f">dump</a>() <span class="keyword">const</span>;</div>
|
|
448
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  </div>
|
|
449
|
+
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f">dump</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> fileName) <span class="keyword">const</span>;</div>
|
|
450
|
+
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  </div>
|
|
451
|
+
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  </div>
|
|
452
|
+
<div class="line"><a name="l00388"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57"> 388</a></span>  <span class="keyword">const</span> <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57">num_generator</a>()</div>
|
|
453
|
+
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  {</div>
|
|
454
|
+
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c">newTerminalSubscript</a>++;</div>
|
|
455
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  }</div>
|
|
456
|
+
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  </div>
|
|
457
|
+
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span> <span class="keyword">private</span>:</div>
|
|
458
|
+
<div class="line"><a name="l00394"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6"> 394</a></span>  SymbolSet<Production> <a class="code" href="classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6">epsilonProds</a>;</div>
|
|
459
|
+
<div class="line"><a name="l00395"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346"> 395</a></span>  SymbolMap<Symbol, Productions> <a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>;</div>
|
|
460
|
+
<div class="line"><a name="l00396"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5"> 396</a></span>  SymbolMap<Symbol, Productions> <a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>;</div>
|
|
461
|
+
<div class="line"><a name="l00397"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f"> 397</a></span>  SymbolMap<Symbol, Productions> <a class="code" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a>;</div>
|
|
462
|
+
<div class="line"><a name="l00398"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c"> 398</a></span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c">newTerminalSubscript</a>;</div>
|
|
463
|
+
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span> };</div>
|
|
464
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  </div>
|
|
465
|
+
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span> <span class="keyword">template</span><<span class="keyword">class</span> Data></div>
|
|
466
|
+
<div class="line"><a name="l00407"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html"> 407</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1CFLFIFOWorkList.html">CFLFIFOWorkList</a></div>
|
|
467
|
+
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span> {</div>
|
|
468
|
+
<div class="line"><a name="l00409"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85"> 409</a></span>  <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">GrammarBase::SymbolSet<Data></a> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85">DataSet</a>;</div>
|
|
469
|
+
<div class="line"><a name="l00410"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7"> 410</a></span>  <span class="keyword">typedef</span> std::deque<Data> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7">DataDeque</a>;</div>
|
|
470
|
+
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span> <span class="keyword">public</span>:</div>
|
|
471
|
+
<div class="line"><a name="l00412"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511"> 412</a></span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511">CFLFIFOWorkList</a>() {}</div>
|
|
472
|
+
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  </div>
|
|
473
|
+
<div class="line"><a name="l00414"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a1dadae237fbfb576ddb60cad60530b9e"> 414</a></span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a1dadae237fbfb576ddb60cad60530b9e">~CFLFIFOWorkList</a>() {}</div>
|
|
474
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  </div>
|
|
475
|
+
<div class="line"><a name="l00416"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f"> 416</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">empty</a>()<span class="keyword"> const</span></div>
|
|
476
|
+
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span> <span class="keyword"> </span>{</div>
|
|
477
|
+
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.empty();</div>
|
|
478
|
+
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  }</div>
|
|
479
|
+
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  </div>
|
|
480
|
+
<div class="line"><a name="l00421"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8"> 421</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8">find</a>(Data data)<span class="keyword"> const</span></div>
|
|
481
|
+
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span> <span class="keyword"> </span>{</div>
|
|
482
|
+
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.find(data) == <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.end() ? <span class="keyword">false</span> : <span class="keyword">true</span>);</div>
|
|
483
|
+
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  }</div>
|
|
484
|
+
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  </div>
|
|
485
|
+
<div class="line"><a name="l00429"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a"> 429</a></span>  <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a">push</a>(Data data)</div>
|
|
486
|
+
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  {</div>
|
|
487
|
+
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.find(data) == <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.end())</div>
|
|
488
|
+
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  {</div>
|
|
489
|
+
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.push_back(data);</div>
|
|
490
|
+
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.insert(data);</div>
|
|
491
|
+
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
492
|
+
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  }</div>
|
|
493
|
+
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  <span class="keywordflow">else</span></div>
|
|
494
|
+
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
|
|
495
|
+
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  }</div>
|
|
496
|
+
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  </div>
|
|
497
|
+
<div class="line"><a name="l00444"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff"> 444</a></span>  <span class="keyword">inline</span> Data <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff">pop</a>()</div>
|
|
498
|
+
<div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  {</div>
|
|
499
|
+
<div class="line"><a name="l00446"></a><span class="lineno"> 446</span>  assert(!<a class="code" href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">empty</a>() && <span class="stringliteral">"work list is empty"</span>);</div>
|
|
500
|
+
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  Data data = <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.front();</div>
|
|
501
|
+
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.pop_front();</div>
|
|
502
|
+
<div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.erase(data);</div>
|
|
503
|
+
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  <span class="keywordflow">return</span> data;</div>
|
|
504
|
+
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  }</div>
|
|
505
|
+
<div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  </div>
|
|
506
|
+
<div class="line"><a name="l00456"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56"> 456</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56">clear</a>()</div>
|
|
507
|
+
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span>  {</div>
|
|
508
|
+
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.clear();</div>
|
|
509
|
+
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.clear();</div>
|
|
510
|
+
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span>  }</div>
|
|
511
|
+
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span>  </div>
|
|
512
|
+
<div class="line"><a name="l00462"></a><span class="lineno"> 462</span> <span class="keyword">private</span>:</div>
|
|
513
|
+
<div class="line"><a name="l00463"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0"> 463</a></span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85">DataSet</a> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>; </div>
|
|
514
|
+
<div class="line"><a name="l00464"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0"> 464</a></span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7">DataDeque</a> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>; </div>
|
|
515
|
+
<div class="line"><a name="l00465"></a><span class="lineno"> 465</span> };</div>
|
|
516
|
+
<div class="line"><a name="l00466"></a><span class="lineno"> 466</span>  </div>
|
|
517
|
+
<div class="line"><a name="l00467"></a><span class="lineno"> 467</span> }</div>
|
|
518
|
+
<div class="line"><a name="l00468"></a><span class="lineno"> 468</span> <span class="preprocessor">#endif </span><span class="comment">/* CFLGrammar_H_ */</span><span class="preprocessor"></span></div>
|
|
519
|
+
</div><!-- fragment --></div><!-- contents -->
|
|
520
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_ad06bd6d1c5fb6fc02efc694c2715a27c"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#ad06bd6d1c5fb6fc02efc694c2715a27c">SVF::CFGrammar::getFirstRHSToProds</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getFirstRHSToProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00318">CFGrammar.h:318</a></div></div>
|
|
521
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a0c436fdc35825a0f5c244b3f3441ae1a"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a0c436fdc35825a0f5c244b3f3441ae1a">SVF::CFGrammar::getProdsFromFirstRHS</a></div><div class="ttdeci">const Productions & getProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00353">CFGrammar.h:353</a></div></div>
|
|
522
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a4561438149716c91178ea013686f66ae"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase::getRawProductions</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getRawProductions()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00190">CFGrammar.h:190</a></div></div>
|
|
523
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html_a62ef55a46552652e20f8e3bfc2b72bd0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">SVF::CFLFIFOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list.</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00463">CFGrammar.h:463</a></div></div>
|
|
524
|
+
<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< Kind > 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>
|
|
525
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_a09f8568b3cdca65069b38879cfe57a53"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">SVF::GrammarBase::Symbol::operator==</a></div><div class="ttdeci">bool operator==(const Symbol &s)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00094">CFGrammar.h:94</a></div></div>
|
|
526
|
+
<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>
|
|
527
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00042">CFGrammar.h:42</a></div></div>
|
|
528
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a8921a7d7a006e31f13d88b8c808c931b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">SVF::GrammarBase::getStartKind</a></div><div class="ttdeci">Kind getStartKind()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00205">CFGrammar.h:205</a></div></div>
|
|
529
|
+
<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 &symbolStr) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00207">CFGrammar.cpp:207</a></div></div>
|
|
530
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a4d98bd2fee3d88558ed2b59c3d0d0d57"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57">SVF::CFGrammar::num_generator</a></div><div class="ttdeci">const u32_t num_generator()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00388">CFGrammar.h:388</a></div></div>
|
|
531
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a3c16f37c05de31fbd2be1ae9c0961e84"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">SVF::GrammarBase::insertSymbol</a></div><div class="ttdeci">Symbol insertSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00231">CFGrammar.cpp:231</a></div></div>
|
|
532
|
+
<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>
|
|
533
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_af26cd32a0c3b88aec053bec17519f942"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">SVF::GrammarBase::Symbol::variableAttribute</a></div><div class="ttdeci">VariableAttribute variableAttribute</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00046">CFGrammar.h:46</a></div></div>
|
|
534
|
+
<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< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
|
|
535
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html_aa0ce832f5eeae74d52260fd8954d545f"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">SVF::CFLFIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00416">CFGrammar.h:416</a></div></div>
|
|
536
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1SymbolVectorHash_html_a321f570e916c56fc0b9789662069481e"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e">SVF::GrammarBase::SymbolVectorHash::operator()</a></div><div class="ttdeci">size_t operator()(const std::vector< Symbol > &v) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00133">CFGrammar.h:133</a></div></div>
|
|
537
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a04140ef06feee613506529fd8c23665e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">SVF::GrammarBase::getNonterminals</a></div><div class="ttdeci">Map< std::string, Kind > & getNonterminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00160">CFGrammar.h:160</a></div></div>
|
|
538
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a755024745a77509d2f07867be8245a4d"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">SVF::GrammarBase::Productions</a></div><div class="ttdeci">SymbolSet< Production > Productions</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00157">CFGrammar.h:157</a></div></div>
|
|
539
|
+
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
540
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_a0c53c26afedc5ada95b32fa2d3b6e136"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136">SVF::GrammarBase::Symbol::operator!=</a></div><div class="ttdeci">bool operator!=(const Symbol &s) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00104">CFGrammar.h:104</a></div></div>
|
|
541
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a716ce662e6a3f2febf3ab378c4217759"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">SVF::GrammarBase::VariableAttribute</a></div><div class="ttdeci">u32_t VariableAttribute</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00041">CFGrammar.h:41</a></div></div>
|
|
542
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_a95c544fcb78fd49a7fc753486a71e461"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461">SVF::GrammarBase::Symbol::operator==</a></div><div class="ttdeci">bool operator==(const Symbol &s) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00099">CFGrammar.h:99</a></div></div>
|
|
543
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html_af043947e65b5a900df799825f140f75a"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a">SVF::CFLFIFOWorkList::push</a></div><div class="ttdeci">bool push(Data data)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00429">CFGrammar.h:429</a></div></div>
|
|
544
|
+
<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>
|
|
545
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_a065e31f186f058b9339cd4c162cddeb8"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8">SVF::GrammarBase::Symbol::operator<</a></div><div class="ttdeci">bool operator<(const Symbol &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00075">CFGrammar.h:75</a></div></div>
|
|
546
|
+
<div class="ttc" id="anamespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00080">BasicTypes.h:80</a></div></div>
|
|
547
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_ad7321168f53baa55098f7c714ec53f1e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">SVF::GrammarBase::getVariabledKind</a></div><div class="ttdeci">static Kind getVariabledKind(VariableAttribute variableAttribute, Kind kind)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00270">CFGrammar.h:270</a></div></div>
|
|
548
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a2eb6ab294093710ca1dc119836adff5a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a">SVF::GrammarBase::setRawProductions</a></div><div class="ttdeci">void setRawProductions(SymbolMap< Symbol, Productions > &rawProductions)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00040">CFGrammar.cpp:40</a></div></div>
|
|
549
|
+
<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00067">SVFType.h:67</a></div></div>
|
|
550
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a79d4babef29a8206379a0fc4017d5f29"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">SVF::CFGrammar::getEpsilonProds</a></div><div class="ttdeci">Productions & getEpsilonProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00308">CFGrammar.h:308</a></div></div>
|
|
551
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a48aa7267893296b066050d3b444c14e7"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">SVF::CFGrammar::getFirstRHSSymbol</a></div><div class="ttdeci">const Symbol & getFirstRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00373">CFGrammar.h:373</a></div></div>
|
|
552
|
+
<div class="ttc" id="anamespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00053">SVFType.h:53</a></div></div>
|
|
553
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a082342020848e545c983df4d5ec6720a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a082342020848e545c983df4d5ec6720a">SVF::GrammarBase::setKindToAttrsMap</a></div><div class="ttdeci">void setKindToAttrsMap(const Map< Kind, Set< Attribute >> &kindToAttrsMap)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00045">CFGrammar.cpp:45</a></div></div>
|
|
554
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_aa188ee22955b98c31abbf2b339b64d20"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">SVF::GrammarBase::insertAttribute</a></div><div class="ttdeci">void insertAttribute(Kind kind, Attribute a)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00327">CFGrammar.cpp:327</a></div></div>
|
|
555
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a1e1bf1e32bcd7c68ce789c2f9f6327c0"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0">SVF::GrammarBase::setAttributeKinds</a></div><div class="ttdeci">void setAttributeKinds(const Set< Kind > &attributeKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00050">CFGrammar.cpp:50</a></div></div>
|
|
556
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html_a1246a16c404664f0f17e8333eaae2511"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511">SVF::CFLFIFOWorkList::CFLFIFOWorkList</a></div><div class="ttdeci">CFLFIFOWorkList()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00412">CFGrammar.h:412</a></div></div>
|
|
557
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html_a1dadae237fbfb576ddb60cad60530b9e"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a1dadae237fbfb576ddb60cad60530b9e">SVF::CFLFIFOWorkList::~CFLFIFOWorkList</a></div><div class="ttdeci">~CFLFIFOWorkList()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00414">CFGrammar.h:414</a></div></div>
|
|
558
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a44232dfc5b9a13dfe9b72ff18634ab37"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">SVF::GrammarBase::getTerminals</a></div><div class="ttdeci">Map< std::string, Kind > & getTerminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00170">CFGrammar.h:170</a></div></div>
|
|
559
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a09bb0c9e5e626555273193e437de2b70"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a09bb0c9e5e626555273193e437de2b70">SVF::CFGrammar::getProdsFromSingleRHS</a></div><div class="ttdeci">const Productions & getProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00346">CFGrammar.h:346</a></div></div>
|
|
560
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html_a0db15ca0ec5a14aee493ccfe54d34d85"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85">SVF::CFLFIFOWorkList::DataSet</a></div><div class="ttdeci">GrammarBase::SymbolSet< Data > DataSet</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00409">CFGrammar.h:409</a></div></div>
|
|
561
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a2506ec7098c676466744e87d1eb8dd3d"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a2506ec7098c676466744e87d1eb8dd3d">SVF::CFGrammar::getSecondRHSToProds</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getSecondRHSToProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00323">CFGrammar.h:323</a></div></div>
|
|
562
|
+
<div class="ttc" id="aSVFType_8h_html"><div class="ttname"><a href="SVFType_8h.html">SVFType.h</a></div></div>
|
|
563
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a8c853ad1e1b30c3ba4efe66b1d0dddf6"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a8c853ad1e1b30c3ba4efe66b1d0dddf6">SVF::CFGrammar::getSingleRHSToProds</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getSingleRHSToProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00313">CFGrammar.h:313</a></div></div>
|
|
564
|
+
<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>
|
|
565
|
+
<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>
|
|
566
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_ad87ca88d62e7bc3a189652c707a72e12"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12">SVF::GrammarBase::setEBNFSigns</a></div><div class="ttdeci">void setEBNFSigns(Map< std::string, Kind > &EBNFSigns)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00185">CFGrammar.h:185</a></div></div>
|
|
567
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html">SVF::CFLFIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00407">CFGrammar.h:407</a></div></div>
|
|
568
|
+
<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< std::string, Kind > EBNFSigns</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00283">CFGrammar.h:283</a></div></div>
|
|
569
|
+
<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>
|
|
570
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a4826df2851cedaa92e3ab10feee9f583"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">SVF::GrammarBase::strToSymbol</a></div><div class="ttdeci">Symbol strToSymbol(const std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00074">CFGrammar.cpp:74</a></div></div>
|
|
571
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_ad6307c28042ff43678bd7bff1cd2c7c1"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad6307c28042ff43678bd7bff1cd2c7c1">SVF::GrammarBase::getKindToAttrsMap</a></div><div class="ttdeci">const Map< Kind, Set< Attribute > > & getKindToAttrsMap() const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00195">CFGrammar.h:195</a></div></div>
|
|
572
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a4405933cc8ed8cf30b98ee16fc14c112"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SVF::GrammarBase::SymbolMap</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > SymbolMap</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00150">CFGrammar.h:150</a></div></div>
|
|
573
|
+
<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>
|
|
574
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_aa37072e1a6c0875305260c7c2414d767"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol::Symbol</a></div><div class="ttdeci">Symbol(const u32_t &num)</div><div class="ttdoc">Contruct from u32_t move the bit to right field.</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00052">CFGrammar.h:52</a></div></div>
|
|
575
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_a756bed7c50c6d3251cc4832247c8691d"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">SVF::GrammarBase::Symbol::attribute</a></div><div class="ttdeci">Attribute attribute</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00045">CFGrammar.h:45</a></div></div>
|
|
576
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a51b55df841ae449ecf0888325c6e8c6a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a51b55df841ae449ecf0888325c6e8c6a">SVF::GrammarBase::getEBNFSigns</a></div><div class="ttdeci">Map< std::string, Kind > & getEBNFSigns()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00180">CFGrammar.h:180</a></div></div>
|
|
577
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a66a41e0f9a4c6112a686584e7d48d1e6"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6">SVF::CFGrammar::epsilonProds</a></div><div class="ttdeci">SymbolSet< Production > epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00394">CFGrammar.h:394</a></div></div>
|
|
578
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_aefdae80251eaaf9be580d26a5dd268a8"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8">SVF::CFGrammar::hasProdsFromSingleRHS</a></div><div class="ttdeci">const bool hasProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00334">CFGrammar.h:334</a></div></div>
|
|
579
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_1_1SymbolHash_html_a9213c70ec0cb74fbd7559db8fb45fd54"><div class="ttname"><a href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54">SVF::GrammarBase::SymbolHash::operator()</a></div><div class="ttdeci">size_t operator()(const Symbol &s) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00123">CFGrammar.h:123</a></div></div>
|
|
580
|
+
<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>
|
|
581
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a49aad1a3620735a2929795df3d23ba38"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38">SVF::GrammarBase::symToStrDump</a></div><div class="ttdeci">std::string symToStrDump(Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00139">CFGrammar.cpp:139</a></div></div>
|
|
582
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1SymbolVectorHash_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html">SVF::GrammarBase::SymbolVectorHash</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00131">CFGrammar.h:131</a></div></div>
|
|
583
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_a61e31daf8b0bc18d69c3e7f5df1eb181"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181">SVF::GrammarBase::Symbol::operator=</a></div><div class="ttdeci">void operator=(const u32_t &i)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00080">CFGrammar.h:80</a></div></div>
|
|
584
|
+
<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>
|
|
585
|
+
<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>
|
|
586
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_1_1SymbolHash_html"><div class="ttname"><a href="classSVF_1_1GrammarBase_1_1SymbolHash.html">SVF::GrammarBase::SymbolHash</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00120">CFGrammar.h:120</a></div></div>
|
|
587
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a1de2b9f6c39936afa8f821ca262deadd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">SVF::GrammarBase::setStartKind</a></div><div class="ttdeci">void setStartKind(Kind startKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00210">CFGrammar.h:210</a></div></div>
|
|
588
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html_aa2ac3edad97017817899d081dc6f1df7"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7">SVF::CFLFIFOWorkList::DataDeque</a></div><div class="ttdeci">std::deque< Data > DataDeque</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00410">CFGrammar.h:410</a></div></div>
|
|
589
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a6a0563acf39967169d6c267387539134"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134">SVF::CFGrammar::hasProdsFromFirstRHS</a></div><div class="ttdeci">const bool hasProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00328">CFGrammar.h:328</a></div></div>
|
|
590
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_acc33ac845314730a896c0c3459088e4f"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">SVF::CFGrammar::secondRHSToProds</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > secondRHSToProds</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00397">CFGrammar.h:397</a></div></div>
|
|
591
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_ac004251a16c0af22fe6775b7908d2a33"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#ac004251a16c0af22fe6775b7908d2a33">SVF::CFGrammar::classof</a></div><div class="ttdeci">static bool classof(const CFGrammar *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00298">CFGrammar.h:298</a></div></div>
|
|
592
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a76e0969670709e24532756e56aafab19"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19">SVF::GrammarBase::getTotalKind</a></div><div class="ttdeci">Kind getTotalKind()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00200">CFGrammar.h:200</a></div></div>
|
|
593
|
+
<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< Kind, Set< Attribute > > kindToAttrsMap</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00285">CFGrammar.h:285</a></div></div>
|
|
594
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_ae5219be7a1d646a0246f7dad560b4f4b"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">SVF::CFGrammar::getSecondRHSSymbol</a></div><div class="ttdeci">const Symbol & getSecondRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00378">CFGrammar.h:378</a></div></div>
|
|
595
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_aaa1569c56bbef8ba8fb36bbc1363a77a"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a">SVF::GrammarBase::Symbol::operator=</a></div><div class="ttdeci">void operator=(unsigned long long num)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00087">CFGrammar.h:87</a></div></div>
|
|
596
|
+
<div class="ttc" id="acJSON_8cpp_html_a8a1a0a26c50cc4becfc754bb68d1dc6b"><div class="ttname"><a href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a></div><div class="ttdeci">cJSON * a</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02560">cJSON.cpp:2560</a></div></div>
|
|
597
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_ab5ec52098ce63b94c2b63bf28fa27942"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#ab5ec52098ce63b94c2b63bf28fa27942">SVF::CFGrammar::classof</a></div><div class="ttdeci">static bool classof(const GrammarBase *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00303">CFGrammar.h:303</a></div></div>
|
|
598
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d">SVF::GrammarBase::EdgeKindMask</a></div><div class="ttdeci">static constexpr u64_t EdgeKindMask</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00278">CFGrammar.h:278</a></div></div>
|
|
599
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a6d1db255d2b526fa7fdfaa7b2146f0cd"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd">SVF::CFGrammar::hasProdsFromSecondRHS</a></div><div class="ttdeci">const bool hasProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00340">CFGrammar.h:340</a></div></div>
|
|
600
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a02117195df31a99b3fa3250ba33425c5"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">SVF::CFGrammar::firstRHSToProds</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > firstRHSToProds</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00396">CFGrammar.h:396</a></div></div>
|
|
601
|
+
<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>
|
|
602
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a032e6a1ccff5444f0c849309ac2ad23f"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f">SVF::CFGrammar::dump</a></div><div class="ttdeci">void dump() const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00346">CFGrammar.cpp:346</a></div></div>
|
|
603
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00036">CFGrammar.h:36</a></div></div>
|
|
604
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a5962f35418f48005240d0a467a777fcd"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">SVF::CFGrammar::getLHSSymbol</a></div><div class="ttdeci">const Symbol & getLHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00368">CFGrammar.h:368</a></div></div>
|
|
605
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_afc9635e14b5871df457bf64fae6ad8cf"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">SVF::GrammarBase::setNonterminals</a></div><div class="ttdeci">void setNonterminals(Map< std::string, Kind > &nonterminals)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00165">CFGrammar.h:165</a></div></div>
|
|
606
|
+
<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 &symbolStr) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00219">CFGrammar.cpp:219</a></div></div>
|
|
607
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a727061855e5c86525e7ea1a165b97346"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">SVF::CFGrammar::singleRHSToProds</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > singleRHSToProds</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00395">CFGrammar.h:395</a></div></div>
|
|
608
|
+
<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>
|
|
609
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html_a8ccf884ed6bc0d172f3c2999717f9cff"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff">SVF::CFLFIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00444">CFGrammar.h:444</a></div></div>
|
|
610
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a6955bde4faa1d7b5d1f092c242a11a1b"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a6955bde4faa1d7b5d1f092c242a11a1b">SVF::CFGrammar::CFGrammar</a></div><div class="ttdeci">CFGrammar()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00341">CFGrammar.cpp:341</a></div></div>
|
|
611
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html"><div class="ttname"><a href="classSVF_1_1CFGrammar.html">SVF::CFGrammar</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00290">CFGrammar.h:290</a></div></div>
|
|
612
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a2620ded7573ebdb8b4595e199105ef0e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e">SVF::GrammarBase::getAttrSyms</a></div><div class="ttdeci">const Set< Kind > & getAttrSyms() const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00243">CFGrammar.h:243</a></div></div>
|
|
613
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a8687586451b07458d591120cdee9f6a3"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SVF::GrammarBase::SymbolSet</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > SymbolSet</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00154">CFGrammar.h:154</a></div></div>
|
|
614
|
+
<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< std::string, Kind > terminals</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00282">CFGrammar.h:282</a></div></div>
|
|
615
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a37a31f03501a11e7951d56dbf1cb146a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">SVF::GrammarBase::setTotalKind</a></div><div class="ttdeci">void setTotalKind(Kind totalKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00215">CFGrammar.h:215</a></div></div>
|
|
616
|
+
<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< std::string, Kind > nonterminals</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00281">CFGrammar.h:281</a></div></div>
|
|
617
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html_a0899c25a81dfad2d134785c31ab6ad56"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56">SVF::CFLFIFOWorkList::clear</a></div><div class="ttdeci">void clear()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00456">CFGrammar.h:456</a></div></div>
|
|
618
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html_a34d1d61f300a3c9e3b445764f3a316a8"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8">SVF::CFLFIFOWorkList::find</a></div><div class="ttdeci">bool find(Data data) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00421">CFGrammar.h:421</a></div></div>
|
|
619
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_ad8268060892644d15b13f84124bc1eaf"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol::Symbol</a></div><div class="ttdeci">Symbol()</div><div class="ttdoc">Default Value for Symbol is 0.</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00049">CFGrammar.h:49</a></div></div>
|
|
620
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_af384c960a5edc576cbfb60a869e346ec"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase::Production</a></div><div class="ttdeci">std::vector< Symbol > Production</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00156">CFGrammar.h:156</a></div></div>
|
|
621
|
+
<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< Symbol, Productions > rawProductions</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00286">CFGrammar.h:286</a></div></div>
|
|
622
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_acf42a1921b3af3fbb3d358736518f7b3"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3">SVF::GrammarBase::kindToStr</a></div><div class="ttdeci">std::string kindToStr(Kind kind) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00103">CFGrammar.cpp:103</a></div></div>
|
|
623
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a39ee3733b247f40ea27ddc7e17334544"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a39ee3733b247f40ea27ddc7e17334544">SVF::CFGrammar::getProdsFromSecondRHS</a></div><div class="ttdeci">const Productions & getProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00360">CFGrammar.h:360</a></div></div>
|
|
624
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_af418e1033618da75e974a04ee1d7e275"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">SVF::GrammarBase::getAttributedKind</a></div><div class="ttdeci">static Kind getAttributedKind(Attribute attribute, Kind kind)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00265">CFGrammar.h:265</a></div></div>
|
|
625
|
+
<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
|
|
626
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_ae79b973ec24ba034e831a90285737a41"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41">SVF::GrammarBase::setTerminals</a></div><div class="ttdeci">void setTerminals(Map< std::string, Kind > &terminals)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00175">CFGrammar.h:175</a></div></div>
|
|
627
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_aa60ddaabcb38b277d56b41bc9133ef71"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">SVF::GrammarBase::Symbol::kind</a></div><div class="ttdeci">Kind kind</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00044">CFGrammar.h:44</a></div></div>
|
|
628
|
+
<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>
|
|
629
|
+
<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>
|
|
630
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_ab888c449c25947a0082ca0e7136ef1e9"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9">SVF::GrammarBase::Symbol::operator==</a></div><div class="ttdeci">bool operator==(const u32_t &i)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00109">CFGrammar.h:109</a></div></div>
|
|
631
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_afb21efe07e3451ad8284cab384963f06"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">SVF::GrammarBase::getSymbol</a></div><div class="ttdeci">Symbol getSymbol(const Production &prod, u32_t pos)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00238">CFGrammar.h:238</a></div></div>
|
|
632
|
+
<div class="ttc" id="aclassSVF_1_1CFLFIFOWorkList_html_a5a5caa556bf8023b4b0b525179efd1b0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">SVF::CFLFIFOWorkList::data_list</a></div><div class="ttdeci">DataDeque data_list</div><div class="ttdoc">work list using std::vector.</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00464">CFGrammar.h:464</a></div></div>
|
|
633
|
+
<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>
|
|
634
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_ae2648458abb2ead76191a0a65394a95c"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c">SVF::CFGrammar::newTerminalSubscript</a></div><div class="ttdeci">u32_t newTerminalSubscript</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00398">CFGrammar.h:398</a></div></div>
|
|
635
|
+
<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html_a6e3dbf40c2169becf680ed77b381f6f9"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9">SVF::GrammarBase::Symbol::operator==</a></div><div class="ttdeci">bool operator==(const Kind &k) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00114">CFGrammar.h:114</a></div></div>
|
|
636
|
+
<!-- start footer part -->
|
|
637
|
+
<hr class="footer"/><address class="footer"><small>
|
|
638
|
+
Generated by  <a href="http://www.doxygen.org/index.html">
|
|
639
|
+
<img class="footer" src="doxygen.png" alt="doxygen"/>
|
|
640
|
+
</a> 1.8.17
|
|
641
|
+
</small></address>
|
|
642
|
+
</body>
|
|
643
|
+
</html>
|