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
|
@@ -80,35 +80,35 @@ $(function() {
|
|
|
80
80
|
Public Member Functions</h2></td></tr>
|
|
81
81
|
<tr class="memitem:ab1c19d6347ed694f52ded7defafeffe3"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">CFGNormalizer</a> ()</td></tr>
|
|
82
82
|
<tr class="separator:ab1c19d6347ed694f52ded7defafeffe3"><td class="memSeparator" colspan="2"> </td></tr>
|
|
83
|
-
<tr class="memitem:
|
|
84
|
-
<tr class="memdesc:
|
|
85
|
-
<tr class="separator:
|
|
86
|
-
<tr class="memitem:
|
|
87
|
-
<tr class="memdesc:
|
|
88
|
-
<tr class="separator:
|
|
83
|
+
<tr class="memitem:a937b65bca67692e4c6507d2b6d5fb567"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#a937b65bca67692e4c6507d2b6d5fb567">normalize</a> (<a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *generalGrammar)</td></tr>
|
|
84
|
+
<tr class="memdesc:a937b65bca67692e4c6507d2b6d5fb567"><td class="mdescLeft"> </td><td class="mdescRight">Binary Normal Form(BNF) normalization with variable attribute expanded. <a href="classSVF_1_1CFGNormalizer.html#a937b65bca67692e4c6507d2b6d5fb567">More...</a><br /></td></tr>
|
|
85
|
+
<tr class="separator:a937b65bca67692e4c6507d2b6d5fb567"><td class="memSeparator" colspan="2"> </td></tr>
|
|
86
|
+
<tr class="memitem:ae77b2be1c819e5c4f3225c64be585aa8"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#ae77b2be1c819e5c4f3225c64be585aa8">fillAttribute</a> (<a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar, const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a>, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFGrammar::Attribute</a> >> &kindToAttrsMap)</td></tr>
|
|
87
|
+
<tr class="memdesc:ae77b2be1c819e5c4f3225c64be585aa8"><td class="mdescLeft"> </td><td class="mdescRight">Expand every variable attribute in rawProductions of grammarbase. <a href="classSVF_1_1CFGNormalizer.html#ae77b2be1c819e5c4f3225c64be585aa8">More...</a><br /></td></tr>
|
|
88
|
+
<tr class="separator:ae77b2be1c819e5c4f3225c64be585aa8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
89
89
|
</table><table class="memberdecls">
|
|
90
90
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
|
|
91
91
|
Private Member Functions</h2></td></tr>
|
|
92
|
-
<tr class="memitem:
|
|
93
|
-
<tr class="memdesc:
|
|
94
|
-
<tr class="separator:
|
|
95
|
-
<tr class="memitem:
|
|
96
|
-
<tr class="separator:
|
|
97
|
-
<tr class="memitem:
|
|
98
|
-
<tr class="separator:
|
|
99
|
-
<tr class="memitem:
|
|
100
|
-
<tr class="memdesc:
|
|
101
|
-
<tr class="separator:
|
|
102
|
-
<tr class="memitem:
|
|
103
|
-
<tr class="separator:
|
|
92
|
+
<tr class="memitem:a163ded39f15b19d6d1726621ba8b83d0"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0">ebnf_bin</a> (<a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar)</td></tr>
|
|
93
|
+
<tr class="memdesc:a163ded39f15b19d6d1726621ba8b83d0"><td class="mdescLeft"> </td><td class="mdescRight">Add nonterminal to tranfer long rules to binary rules. <a href="classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0">More...</a><br /></td></tr>
|
|
94
|
+
<tr class="separator:a163ded39f15b19d6d1726621ba8b83d0"><td class="memSeparator" colspan="2"> </td></tr>
|
|
95
|
+
<tr class="memitem:a2c128a0c3f7307694f757d2dd87b09f5"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5">ebnfSignReplace</a> (char sign, <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar)</td></tr>
|
|
96
|
+
<tr class="separator:a2c128a0c3f7307694f757d2dd87b09f5"><td class="memSeparator" colspan="2"> </td></tr>
|
|
97
|
+
<tr class="memitem:a099b05cb4240787859832971f376863f"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f">barReplace</a> (<a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar)</td></tr>
|
|
98
|
+
<tr class="separator:a099b05cb4240787859832971f376863f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
99
|
+
<tr class="memitem:a676f99f3af1dfb9e118717913982120d"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d">insertToCFLGrammar</a> (<a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar, <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &prod)</td></tr>
|
|
100
|
+
<tr class="memdesc:a676f99f3af1dfb9e118717913982120d"><td class="mdescLeft"> </td><td class="mdescRight">Based on prod size to add on suitable member field of grammar. <a href="classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d">More...</a><br /></td></tr>
|
|
101
|
+
<tr class="separator:a676f99f3af1dfb9e118717913982120d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
102
|
+
<tr class="memitem:ad5711bb556e7e793841daa5a94372fcf"><td class="memItemLeft" align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf">ebnfBracketMatch</a> (<a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &prod, int i, <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar)</td></tr>
|
|
103
|
+
<tr class="separator:ad5711bb556e7e793841daa5a94372fcf"><td class="memSeparator" colspan="2"> </td></tr>
|
|
104
104
|
<tr class="memitem:afe01de5c8333e4ba436adbdc0e99e3cc"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#afe01de5c8333e4ba436adbdc0e99e3cc">check_head</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">GrammarBase::SymbolMap</a>< <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">GrammarBase::Productions</a> > &grammar, <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &rule)</td></tr>
|
|
105
105
|
<tr class="separator:afe01de5c8333e4ba436adbdc0e99e3cc"><td class="memSeparator" colspan="2"> </td></tr>
|
|
106
|
-
<tr class="memitem:
|
|
107
|
-
<tr class="separator:
|
|
108
|
-
<tr class="memitem:
|
|
109
|
-
<tr class="separator:
|
|
110
|
-
<tr class="memitem:
|
|
111
|
-
<tr class="separator:
|
|
106
|
+
<tr class="memitem:aea5ebe156b9536c617fc9c6acac00a61"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61">strTrans</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strPro, <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar, <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &normalProd)</td></tr>
|
|
107
|
+
<tr class="separator:aea5ebe156b9536c617fc9c6acac00a61"><td class="memSeparator" colspan="2"> </td></tr>
|
|
108
|
+
<tr class="memitem:ae98ed705e8e076a9e1cd8fd6f2bf9d54"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#ae98ed705e8e076a9e1cd8fd6f2bf9d54">getFilledProductions</a> (<a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &prod, const <a class="el" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a> &nodeSet, <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">GrammarBase::Productions</a> &normalProds)</td></tr>
|
|
109
|
+
<tr class="separator:ae98ed705e8e076a9e1cd8fd6f2bf9d54"><td class="memSeparator" colspan="2"> </td></tr>
|
|
110
|
+
<tr class="memitem:a711e134b6470e9cc9b337d1b0e4708a9"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9">removeFirstSymbol</a> (<a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar)</td></tr>
|
|
111
|
+
<tr class="separator:a711e134b6470e9cc9b337d1b0e4708a9"><td class="memSeparator" colspan="2"> </td></tr>
|
|
112
112
|
</table>
|
|
113
113
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
114
114
|
<div class="textblock"><p>Generate Normalized Grammar (backus naur form) from a grammarbase (Extended extended Backus–Naur form )</p>
|
|
@@ -146,8 +146,8 @@ Private Member Functions</h2></td></tr>
|
|
|
146
146
|
</div>
|
|
147
147
|
</div>
|
|
148
148
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
149
|
-
<a id="
|
|
150
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
149
|
+
<a id="a099b05cb4240787859832971f376863f"></a>
|
|
150
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a099b05cb4240787859832971f376863f">◆ </a></span>barReplace()</h2>
|
|
151
151
|
|
|
152
152
|
<div class="memitem">
|
|
153
153
|
<div class="memproto">
|
|
@@ -158,7 +158,7 @@ Private Member Functions</h2></td></tr>
|
|
|
158
158
|
<tr>
|
|
159
159
|
<td class="memname">void CFGNormalizer::barReplace </td>
|
|
160
160
|
<td>(</td>
|
|
161
|
-
<td class="paramtype"><a class="el" href="
|
|
161
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
162
162
|
<td class="paramname"><em>grammar</em></td><td>)</td>
|
|
163
163
|
<td></td>
|
|
164
164
|
</tr>
|
|
@@ -254,8 +254,8 @@ Private Member Functions</h2></td></tr>
|
|
|
254
254
|
</div><!-- fragment -->
|
|
255
255
|
</div>
|
|
256
256
|
</div>
|
|
257
|
-
<a id="
|
|
258
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
257
|
+
<a id="a163ded39f15b19d6d1726621ba8b83d0"></a>
|
|
258
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a163ded39f15b19d6d1726621ba8b83d0">◆ </a></span>ebnf_bin()</h2>
|
|
259
259
|
|
|
260
260
|
<div class="memitem">
|
|
261
261
|
<div class="memproto">
|
|
@@ -266,7 +266,7 @@ Private Member Functions</h2></td></tr>
|
|
|
266
266
|
<tr>
|
|
267
267
|
<td class="memname">void CFGNormalizer::ebnf_bin </td>
|
|
268
268
|
<td>(</td>
|
|
269
|
-
<td class="paramtype"><a class="el" href="
|
|
269
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
270
270
|
<td class="paramname"><em>grammar</em></td><td>)</td>
|
|
271
271
|
<td></td>
|
|
272
272
|
</tr>
|
|
@@ -285,7 +285,7 @@ Private Member Functions</h2></td></tr>
|
|
|
285
285
|
<div class="fragment"><div class="line"><a name="l00093"></a><span class="lineno"> 93</span> {</div>
|
|
286
286
|
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  <a class="code" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">GrammarBase::SymbolMap<GrammarBase::Symbol, GrammarBase::Productions></a> new_grammar = {};</div>
|
|
287
287
|
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> tempStr = <span class="stringliteral">""</span>;</div>
|
|
288
|
-
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
288
|
+
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9">removeFirstSymbol</a>(grammar);</div>
|
|
289
289
|
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  </div>
|
|
290
290
|
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <span class="keyword">auto</span> rawProductions = grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>();</div>
|
|
291
291
|
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  </div>
|
|
@@ -314,7 +314,7 @@ Private Member Functions</h2></td></tr>
|
|
|
314
314
|
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  {</div>
|
|
315
315
|
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  tempStr = <span class="stringliteral">"X"</span>;</div>
|
|
316
316
|
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  std::ostringstream ss;</div>
|
|
317
|
-
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  ss << grammar-><a class="code" href="
|
|
317
|
+
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  ss << grammar-><a class="code" href="classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57">num_generator</a>();</div>
|
|
318
318
|
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  tempStr.append(ss.str());</div>
|
|
319
319
|
<div class="line"><a name="l00131"></a><span class="lineno"> 131</span>  <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<GrammarBase::VariableAttribute></a> variableAttributeSet = {};</div>
|
|
320
320
|
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i < long_run.size(); i++)</div>
|
|
@@ -366,7 +366,7 @@ Private Member Functions</h2></td></tr>
|
|
|
366
366
|
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  {</div>
|
|
367
367
|
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  tempStr = <span class="stringliteral">"X"</span>;</div>
|
|
368
368
|
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  std::ostringstream ss;</div>
|
|
369
|
-
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  ss << grammar-><a class="code" href="
|
|
369
|
+
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  ss << grammar-><a class="code" href="classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57">num_generator</a>();</div>
|
|
370
370
|
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  tempStr.append(ss.str());</div>
|
|
371
371
|
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<GrammarBase::VariableAttribute></a> variableAttributeSet = {};</div>
|
|
372
372
|
<div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0; i < long_run.size(); i++)</div>
|
|
@@ -407,8 +407,8 @@ Private Member Functions</h2></td></tr>
|
|
|
407
407
|
</div><!-- fragment -->
|
|
408
408
|
</div>
|
|
409
409
|
</div>
|
|
410
|
-
<a id="
|
|
411
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
410
|
+
<a id="ad5711bb556e7e793841daa5a94372fcf"></a>
|
|
411
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ad5711bb556e7e793841daa5a94372fcf">◆ </a></span>ebnfBracketMatch()</h2>
|
|
412
412
|
|
|
413
413
|
<div class="memitem">
|
|
414
414
|
<div class="memproto">
|
|
@@ -431,7 +431,7 @@ Private Member Functions</h2></td></tr>
|
|
|
431
431
|
<tr>
|
|
432
432
|
<td class="paramkey"></td>
|
|
433
433
|
<td></td>
|
|
434
|
-
<td class="paramtype"><a class="el" href="
|
|
434
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
435
435
|
<td class="paramname"><em>grammar</em> </td>
|
|
436
436
|
</tr>
|
|
437
437
|
<tr>
|
|
@@ -463,8 +463,8 @@ Private Member Functions</h2></td></tr>
|
|
|
463
463
|
</div><!-- fragment -->
|
|
464
464
|
</div>
|
|
465
465
|
</div>
|
|
466
|
-
<a id="
|
|
467
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
466
|
+
<a id="a2c128a0c3f7307694f757d2dd87b09f5"></a>
|
|
467
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a2c128a0c3f7307694f757d2dd87b09f5">◆ </a></span>ebnfSignReplace()</h2>
|
|
468
468
|
|
|
469
469
|
<div class="memitem">
|
|
470
470
|
<div class="memproto">
|
|
@@ -481,7 +481,7 @@ Private Member Functions</h2></td></tr>
|
|
|
481
481
|
<tr>
|
|
482
482
|
<td class="paramkey"></td>
|
|
483
483
|
<td></td>
|
|
484
|
-
<td class="paramtype"><a class="el" href="
|
|
484
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
485
485
|
<td class="paramname"><em>grammar</em> </td>
|
|
486
486
|
</tr>
|
|
487
487
|
<tr>
|
|
@@ -526,7 +526,7 @@ Private Member Functions</h2></td></tr>
|
|
|
526
526
|
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  }</div>
|
|
527
527
|
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  <span class="keywordflow">else</span></div>
|
|
528
528
|
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  {</div>
|
|
529
|
-
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  signGroupStart = <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
529
|
+
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  signGroupStart = <a class="code" href="classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf">ebnfBracketMatch</a>(ebnfProduction, i, grammar);</div>
|
|
530
530
|
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  }</div>
|
|
531
531
|
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> groupString = <span class="stringliteral">""</span>;</div>
|
|
532
532
|
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  <span class="keywordflow">for</span> (<span class="keywordtype">size_t</span> j = signGroupStart; j < i; j++)</div>
|
|
@@ -553,7 +553,7 @@ Private Member Functions</h2></td></tr>
|
|
|
553
553
|
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  {</div>
|
|
554
554
|
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  tempNonterminal = <span class="stringliteral">"X"</span>;</div>
|
|
555
555
|
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  std::ostringstream ss;</div>
|
|
556
|
-
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  ss << grammar-><a class="code" href="
|
|
556
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  ss << grammar-><a class="code" href="classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57">num_generator</a>();</div>
|
|
557
557
|
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  tempNonterminal.append(ss.str());</div>
|
|
558
558
|
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a> tempSym = grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a>(tempNonterminal);</div>
|
|
559
559
|
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  productions.erase(ebnfProduction);</div>
|
|
@@ -579,7 +579,7 @@ Private Member Functions</h2></td></tr>
|
|
|
579
579
|
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  <span class="keywordflow">if</span> (sign == <span class="charliteral">'*'</span> || sign == <span class="charliteral">'?'</span>)</div>
|
|
580
580
|
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  {</div>
|
|
581
581
|
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> normalProd;</div>
|
|
582
|
-
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
582
|
+
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61">strTrans</a>(rep.first, grammar, normalProd);</div>
|
|
583
583
|
<div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> withoutSign = {};</div>
|
|
584
584
|
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  <span class="keywordflow">if</span> (sign == <span class="charliteral">'*'</span>)</div>
|
|
585
585
|
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  {</div>
|
|
@@ -610,22 +610,22 @@ Private Member Functions</h2></td></tr>
|
|
|
610
610
|
</div><!-- fragment -->
|
|
611
611
|
</div>
|
|
612
612
|
</div>
|
|
613
|
-
<a id="
|
|
614
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
613
|
+
<a id="ae77b2be1c819e5c4f3225c64be585aa8"></a>
|
|
614
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ae77b2be1c819e5c4f3225c64be585aa8">◆ </a></span>fillAttribute()</h2>
|
|
615
615
|
|
|
616
616
|
<div class="memitem">
|
|
617
617
|
<div class="memproto">
|
|
618
618
|
<table class="memname">
|
|
619
619
|
<tr>
|
|
620
|
-
<td class="memname"><a class="el" href="
|
|
620
|
+
<td class="memname"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * CFGNormalizer::fillAttribute </td>
|
|
621
621
|
<td>(</td>
|
|
622
|
-
<td class="paramtype"><a class="el" href="
|
|
622
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
623
623
|
<td class="paramname"><em>grammar</em>, </td>
|
|
624
624
|
</tr>
|
|
625
625
|
<tr>
|
|
626
626
|
<td class="paramkey"></td>
|
|
627
627
|
<td></td>
|
|
628
|
-
<td class="paramtype">const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">
|
|
628
|
+
<td class="paramtype">const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a>, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">CFGrammar::Attribute</a> >> & </td>
|
|
629
629
|
<td class="paramname"><em>kindToAttrsMap</em> </td>
|
|
630
630
|
</tr>
|
|
631
631
|
<tr>
|
|
@@ -656,10 +656,10 @@ Private Member Functions</h2></td></tr>
|
|
|
656
656
|
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> tempP = prod;</div>
|
|
657
657
|
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  tempP.insert(tempP.begin(), symProdsPair.first);</div>
|
|
658
658
|
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  <a class="code" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">GrammarBase::Productions</a> normalProds;</div>
|
|
659
|
-
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
659
|
+
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#ae98ed705e8e076a9e1cd8fd6f2bf9d54">getFilledProductions</a>(tempP, nodeSet, grammar, normalProds);</div>
|
|
660
660
|
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> filledProd : normalProds)</div>
|
|
661
661
|
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  {</div>
|
|
662
|
-
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
662
|
+
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d">insertToCFLGrammar</a>(grammar, filledProd);</div>
|
|
663
663
|
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  }</div>
|
|
664
664
|
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  }</div>
|
|
665
665
|
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  }</div>
|
|
@@ -669,8 +669,8 @@ Private Member Functions</h2></td></tr>
|
|
|
669
669
|
</div><!-- fragment -->
|
|
670
670
|
</div>
|
|
671
671
|
</div>
|
|
672
|
-
<a id="
|
|
673
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
672
|
+
<a id="ae98ed705e8e076a9e1cd8fd6f2bf9d54"></a>
|
|
673
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ae98ed705e8e076a9e1cd8fd6f2bf9d54">◆ </a></span>getFilledProductions()</h2>
|
|
674
674
|
|
|
675
675
|
<div class="memitem">
|
|
676
676
|
<div class="memproto">
|
|
@@ -693,7 +693,7 @@ Private Member Functions</h2></td></tr>
|
|
|
693
693
|
<tr>
|
|
694
694
|
<td class="paramkey"></td>
|
|
695
695
|
<td></td>
|
|
696
|
-
<td class="paramtype"><a class="el" href="
|
|
696
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
697
697
|
<td class="paramname"><em>grammar</em>, </td>
|
|
698
698
|
</tr>
|
|
699
699
|
<tr>
|
|
@@ -776,8 +776,8 @@ Private Member Functions</h2></td></tr>
|
|
|
776
776
|
</div><!-- fragment -->
|
|
777
777
|
</div>
|
|
778
778
|
</div>
|
|
779
|
-
<a id="
|
|
780
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
779
|
+
<a id="a676f99f3af1dfb9e118717913982120d"></a>
|
|
780
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a676f99f3af1dfb9e118717913982120d">◆ </a></span>insertToCFLGrammar()</h2>
|
|
781
781
|
|
|
782
782
|
<div class="memitem">
|
|
783
783
|
<div class="memproto">
|
|
@@ -788,7 +788,7 @@ Private Member Functions</h2></td></tr>
|
|
|
788
788
|
<tr>
|
|
789
789
|
<td class="memname">void CFGNormalizer::insertToCFLGrammar </td>
|
|
790
790
|
<td>(</td>
|
|
791
|
-
<td class="paramtype"><a class="el" href="
|
|
791
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
792
792
|
<td class="paramname"><em>grammar</em>, </td>
|
|
793
793
|
</tr>
|
|
794
794
|
<tr>
|
|
@@ -818,33 +818,33 @@ Private Member Functions</h2></td></tr>
|
|
|
818
818
|
<div class="line"><a name="l00477"></a><span class="lineno"> 477</span>  {</div>
|
|
819
819
|
<div class="line"><a name="l00478"></a><span class="lineno"> 478</span>  <span class="keywordflow">if</span> ((std::find(prod.begin(), prod.end(), grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">strToKind</a>(<span class="stringliteral">"epsilon"</span>)) != prod.end()))</div>
|
|
820
820
|
<div class="line"><a name="l00479"></a><span class="lineno"> 479</span>  {</div>
|
|
821
|
-
<div class="line"><a name="l00480"></a><span class="lineno"> 480</span>  <span class="keywordflow">if</span> (std::find(grammar-><a class="code" href="
|
|
821
|
+
<div class="line"><a name="l00480"></a><span class="lineno"> 480</span>  <span class="keywordflow">if</span> (std::find(grammar-><a class="code" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">getEpsilonProds</a>().begin(), grammar-><a class="code" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">getEpsilonProds</a>().end(), prod) == grammar-><a class="code" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">getEpsilonProds</a>().end())</div>
|
|
822
822
|
<div class="line"><a name="l00481"></a><span class="lineno"> 481</span>  {</div>
|
|
823
|
-
<div class="line"><a name="l00482"></a><span class="lineno"> 482</span>  grammar-><a class="code" href="
|
|
823
|
+
<div class="line"><a name="l00482"></a><span class="lineno"> 482</span>  grammar-><a class="code" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">getEpsilonProds</a>().insert(prod);</div>
|
|
824
824
|
<div class="line"><a name="l00483"></a><span class="lineno"> 483</span>  }</div>
|
|
825
825
|
<div class="line"><a name="l00484"></a><span class="lineno"> 484</span>  }</div>
|
|
826
826
|
<div class="line"><a name="l00485"></a><span class="lineno"> 485</span>  <span class="keywordflow">else</span></div>
|
|
827
827
|
<div class="line"><a name="l00486"></a><span class="lineno"> 486</span>  {</div>
|
|
828
|
-
<div class="line"><a name="l00487"></a><span class="lineno"> 487</span>  grammar-><a class="code" href="
|
|
828
|
+
<div class="line"><a name="l00487"></a><span class="lineno"> 487</span>  grammar-><a class="code" href="classSVF_1_1CFGrammar.html#a8c853ad1e1b30c3ba4efe66b1d0dddf6">getSingleRHSToProds</a>()[prod[1]].insert(prod);</div>
|
|
829
829
|
<div class="line"><a name="l00488"></a><span class="lineno"> 488</span>  }</div>
|
|
830
830
|
<div class="line"><a name="l00489"></a><span class="lineno"> 489</span>  }</div>
|
|
831
831
|
<div class="line"><a name="l00490"></a><span class="lineno"> 490</span>  <span class="keywordflow">if</span> (prod.size() == 3)</div>
|
|
832
832
|
<div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  {</div>
|
|
833
|
-
<div class="line"><a name="l00492"></a><span class="lineno"> 492</span>  grammar-><a class="code" href="
|
|
834
|
-
<div class="line"><a name="l00493"></a><span class="lineno"> 493</span>  grammar-><a class="code" href="
|
|
833
|
+
<div class="line"><a name="l00492"></a><span class="lineno"> 492</span>  grammar-><a class="code" href="classSVF_1_1CFGrammar.html#ad06bd6d1c5fb6fc02efc694c2715a27c">getFirstRHSToProds</a>()[prod[1]].insert(prod);</div>
|
|
834
|
+
<div class="line"><a name="l00493"></a><span class="lineno"> 493</span>  grammar-><a class="code" href="classSVF_1_1CFGrammar.html#a2506ec7098c676466744e87d1eb8dd3d">getSecondRHSToProds</a>()[prod[2]].insert(prod);</div>
|
|
835
835
|
<div class="line"><a name="l00494"></a><span class="lineno"> 494</span>  }</div>
|
|
836
836
|
<div class="line"><a name="l00495"></a><span class="lineno"> 495</span> }</div>
|
|
837
837
|
</div><!-- fragment -->
|
|
838
838
|
</div>
|
|
839
839
|
</div>
|
|
840
|
-
<a id="
|
|
841
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
840
|
+
<a id="a937b65bca67692e4c6507d2b6d5fb567"></a>
|
|
841
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a937b65bca67692e4c6507d2b6d5fb567">◆ </a></span>normalize()</h2>
|
|
842
842
|
|
|
843
843
|
<div class="memitem">
|
|
844
844
|
<div class="memproto">
|
|
845
845
|
<table class="memname">
|
|
846
846
|
<tr>
|
|
847
|
-
<td class="memname"><a class="el" href="
|
|
847
|
+
<td class="memname"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * CFGNormalizer::normalize </td>
|
|
848
848
|
<td>(</td>
|
|
849
849
|
<td class="paramtype"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> * </td>
|
|
850
850
|
<td class="paramname"><em>generalGrammar</em></td><td>)</td>
|
|
@@ -857,7 +857,7 @@ Private Member Functions</h2></td></tr>
|
|
|
857
857
|
|
|
858
858
|
<p class="definition">Definition at line <a class="el" href="CFGNormalizer_8cpp_source.html#l00042">42</a> of file <a class="el" href="CFGNormalizer_8cpp_source.html">CFGNormalizer.cpp</a>.</p>
|
|
859
859
|
<div class="fragment"><div class="line"><a name="l00043"></a><span class="lineno"> 43</span> {</div>
|
|
860
|
-
<div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  <a class="code" href="
|
|
860
|
+
<div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a>();</div>
|
|
861
861
|
<div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">setStartKind</a>(generalGrammar-><a class="code" href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">getStartKind</a>());</div>
|
|
862
862
|
<div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  grammar-><a class="code" href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41">setTerminals</a>(generalGrammar-><a class="code" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">getTerminals</a>());</div>
|
|
863
863
|
<div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  grammar-><a class="code" href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">setNonterminals</a>(generalGrammar-><a class="code" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">getNonterminals</a>());</div>
|
|
@@ -866,18 +866,18 @@ Private Member Functions</h2></td></tr>
|
|
|
866
866
|
<div class="line"><a name="l00050"></a><span class="lineno"> 50</span>  grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0">setAttributeKinds</a>(generalGrammar-><a class="code" href="classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e">getAttrSyms</a>());</div>
|
|
867
867
|
<div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a082342020848e545c983df4d5ec6720a">setKindToAttrsMap</a>(generalGrammar-><a class="code" href="classSVF_1_1GrammarBase.html#ad6307c28042ff43678bd7bff1cd2c7c1">getKindToAttrsMap</a>());</div>
|
|
868
868
|
<div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a">setRawProductions</a>(generalGrammar-><a class="code" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>());</div>
|
|
869
|
-
<div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
870
|
-
<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
871
|
-
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
872
|
-
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
873
|
-
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
869
|
+
<div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f">barReplace</a>(grammar);</div>
|
|
870
|
+
<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5">ebnfSignReplace</a>(<span class="charliteral">'*'</span>, grammar);</div>
|
|
871
|
+
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5">ebnfSignReplace</a>(<span class="charliteral">'?'</span>, grammar);</div>
|
|
872
|
+
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0">ebnf_bin</a>(grammar);</div>
|
|
873
|
+
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#ae77b2be1c819e5c4f3225c64be585aa8">fillAttribute</a>(grammar, grammar-><a class="code" href="classSVF_1_1GrammarBase.html#ad6307c28042ff43678bd7bff1cd2c7c1">getKindToAttrsMap</a>());</div>
|
|
874
874
|
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <span class="keywordflow">return</span> grammar;</div>
|
|
875
875
|
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span> }</div>
|
|
876
876
|
</div><!-- fragment -->
|
|
877
877
|
</div>
|
|
878
878
|
</div>
|
|
879
|
-
<a id="
|
|
880
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
879
|
+
<a id="a711e134b6470e9cc9b337d1b0e4708a9"></a>
|
|
880
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a711e134b6470e9cc9b337d1b0e4708a9">◆ </a></span>removeFirstSymbol()</h2>
|
|
881
881
|
|
|
882
882
|
<div class="memitem">
|
|
883
883
|
<div class="memproto">
|
|
@@ -888,7 +888,7 @@ Private Member Functions</h2></td></tr>
|
|
|
888
888
|
<tr>
|
|
889
889
|
<td class="memname">void CFGNormalizer::removeFirstSymbol </td>
|
|
890
890
|
<td>(</td>
|
|
891
|
-
<td class="paramtype"><a class="el" href="
|
|
891
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
892
892
|
<td class="paramname"><em>grammar</em></td><td>)</td>
|
|
893
893
|
<td></td>
|
|
894
894
|
</tr>
|
|
@@ -919,8 +919,8 @@ Private Member Functions</h2></td></tr>
|
|
|
919
919
|
</div><!-- fragment -->
|
|
920
920
|
</div>
|
|
921
921
|
</div>
|
|
922
|
-
<a id="
|
|
923
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
922
|
+
<a id="aea5ebe156b9536c617fc9c6acac00a61"></a>
|
|
923
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aea5ebe156b9536c617fc9c6acac00a61">◆ </a></span>strTrans()</h2>
|
|
924
924
|
|
|
925
925
|
<div class="memitem">
|
|
926
926
|
<div class="memproto">
|
|
@@ -937,7 +937,7 @@ Private Member Functions</h2></td></tr>
|
|
|
937
937
|
<tr>
|
|
938
938
|
<td class="paramkey"></td>
|
|
939
939
|
<td></td>
|
|
940
|
-
<td class="paramtype"><a class="el" href="
|
|
940
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
941
941
|
<td class="paramname"><em>grammar</em>, </td>
|
|
942
942
|
</tr>
|
|
943
943
|
<tr>
|
|
@@ -985,58 +985,58 @@ Private Member Functions</h2></td></tr>
|
|
|
985
985
|
<li>/home/runner/work/SVF/SVF/svf/lib/CFL/<a class="el" href="CFGNormalizer_8cpp_source.html">CFGNormalizer.cpp</a></li>
|
|
986
986
|
</ul>
|
|
987
987
|
</div><!-- contents -->
|
|
988
|
-
<div class="ttc" id="
|
|
989
|
-
<div class="ttc" id="
|
|
990
|
-
<div class="ttc" id="
|
|
991
|
-
<div class="ttc" id="
|
|
988
|
+
<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>
|
|
989
|
+
<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>
|
|
990
|
+
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_a099b05cb4240787859832971f376863f"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f">SVF::CFGNormalizer::barReplace</a></div><div class="ttdeci">void barReplace(CFGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00296">CFGNormalizer.cpp:296</a></div></div>
|
|
991
|
+
<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>
|
|
992
|
+
<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>
|
|
993
|
+
<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>
|
|
992
994
|
<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>
|
|
993
|
-
<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="
|
|
994
|
-
<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="
|
|
995
|
-
<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="
|
|
996
|
-
<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="
|
|
997
|
-
<div class="ttc" id="
|
|
998
|
-
<div class="ttc" id="
|
|
999
|
-
<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="
|
|
1000
|
-
<div class="ttc" id="
|
|
1001
|
-
<div class="ttc" id="
|
|
1002
|
-
<div class="ttc" id="
|
|
1003
|
-
<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="CFLGrammar_8cpp_source.html#l00045">CFLGrammar.cpp:45</a></div></div>
|
|
1004
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_a20c87ff839f64af0c2ab9175087bfa24"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a20c87ff839f64af0c2ab9175087bfa24">SVF::CFLGrammar::getSecondRHSToProds</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > & getSecondRHSToProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00323">CFLGrammar.h:323</a></div></div>
|
|
1005
|
-
<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="CFLGrammar_8cpp_source.html#l00050">CFLGrammar.cpp:50</a></div></div>
|
|
995
|
+
<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>
|
|
996
|
+
<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>
|
|
997
|
+
<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>
|
|
998
|
+
<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>
|
|
999
|
+
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_a163ded39f15b19d6d1726621ba8b83d0"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0">SVF::CFGNormalizer::ebnf_bin</a></div><div class="ttdeci">void ebnf_bin(CFGrammar *grammar)</div><div class="ttdoc">Add nonterminal to tranfer long rules to binary rules.</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00092">CFGNormalizer.cpp:92</a></div></div>
|
|
1000
|
+
<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>
|
|
1001
|
+
<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>
|
|
1002
|
+
<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>
|
|
1003
|
+
<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>
|
|
1004
|
+
<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>
|
|
1006
1005
|
<div class="ttc" id="acJSON_8h_html_a750b5d744c39a06bfb13e6eb010e35d0"><div class="ttname"><a href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a></div><div class="ttdeci">int index</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00170">cJSON.h:170</a></div></div>
|
|
1007
|
-
<div class="ttc" id="
|
|
1008
|
-
<div class="ttc" id="
|
|
1009
|
-
<div class="ttc" id="
|
|
1010
|
-
<div class="ttc" id="
|
|
1006
|
+
<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>
|
|
1007
|
+
<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>
|
|
1008
|
+
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_ad5711bb556e7e793841daa5a94372fcf"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf">SVF::CFGNormalizer::ebnfBracketMatch</a></div><div class="ttdeci">int ebnfBracketMatch(GrammarBase::Production &prod, int i, CFGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00282">CFGNormalizer.cpp:282</a></div></div>
|
|
1009
|
+
<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>
|
|
1010
|
+
<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>
|
|
1011
|
+
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_ae98ed705e8e076a9e1cd8fd6f2bf9d54"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ae98ed705e8e076a9e1cd8fd6f2bf9d54">SVF::CFGNormalizer::getFilledProductions</a></div><div class="ttdeci">void getFilledProductions(GrammarBase::Production &prod, const NodeSet &nodeSet, CFGrammar *grammar, GrammarBase::Productions &normalProds)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00224">CFGNormalizer.cpp:224</a></div></div>
|
|
1011
1012
|
<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>
|
|
1012
|
-
<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="
|
|
1013
|
-
<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="
|
|
1014
|
-
<div class="ttc" id="
|
|
1015
|
-
<div class="ttc" id="
|
|
1016
|
-
<div class="ttc" id="
|
|
1017
|
-
<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="
|
|
1018
|
-
<div class="ttc" id="
|
|
1019
|
-
<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="CFLGrammar_8h_source.html#l00180">CFLGrammar.h:180</a></div></div>
|
|
1013
|
+
<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>
|
|
1014
|
+
<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>
|
|
1015
|
+
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_a711e134b6470e9cc9b337d1b0e4708a9"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9">SVF::CFGNormalizer::removeFirstSymbol</a></div><div class="ttdeci">void removeFirstSymbol(CFGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00497">CFGNormalizer.cpp:497</a></div></div>
|
|
1016
|
+
<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>
|
|
1017
|
+
<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>
|
|
1018
|
+
<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>
|
|
1019
|
+
<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>
|
|
1020
1020
|
<div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
|
|
1021
|
-
<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="
|
|
1022
|
-
<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="
|
|
1023
|
-
<div class="ttc" id="
|
|
1024
|
-
<div class="ttc" id="
|
|
1025
|
-
<div class="ttc" id="
|
|
1026
|
-
<div class="ttc" id="
|
|
1027
|
-
<div class="ttc" id="
|
|
1028
|
-
<div class="ttc" id="
|
|
1029
|
-
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_ad08f183a1b8ca69201f965f224e92950"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950">SVF::CFGNormalizer::insertToCFLGrammar</a></div><div class="ttdeci">void insertToCFLGrammar(CFLGrammar *grammar, GrammarBase::Production &prod)</div><div class="ttdoc">Based on prod size to add on suitable member field of grammar.</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00474">CFGNormalizer.cpp:474</a></div></div>
|
|
1030
|
-
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_a06d53343154ade7bc1a21e424f67c7b0"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a06d53343154ade7bc1a21e424f67c7b0">SVF::CFGNormalizer::fillAttribute</a></div><div class="ttdeci">CFLGrammar * fillAttribute(CFLGrammar *grammar, const Map< CFLGrammar::Kind, Set< CFLGrammar::Attribute >> &kindToAttrsMap)</div><div class="ttdoc">Expand every variable attribute in rawProductions of grammarbase.</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00062">CFGNormalizer.cpp:62</a></div></div>
|
|
1031
|
-
<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="CFLGrammar_8h_source.html#l00215">CFLGrammar.h:215</a></div></div>
|
|
1021
|
+
<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>
|
|
1022
|
+
<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>
|
|
1023
|
+
<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>
|
|
1024
|
+
<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>
|
|
1025
|
+
<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>
|
|
1026
|
+
<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>
|
|
1027
|
+
<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>
|
|
1028
|
+
<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>
|
|
1032
1029
|
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_afe01de5c8333e4ba436adbdc0e99e3cc"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#afe01de5c8333e4ba436adbdc0e99e3cc">SVF::CFGNormalizer::check_head</a></div><div class="ttdeci">GrammarBase::Symbol check_head(GrammarBase::SymbolMap< GrammarBase::Symbol, GrammarBase::Productions > &grammar, GrammarBase::Production &rule)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00457">CFGNormalizer.cpp:457</a></div></div>
|
|
1033
|
-
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_a8eddaa57527c0e5e538b1d207da7adc0"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a8eddaa57527c0e5e538b1d207da7adc0">SVF::CFGNormalizer::ebnfBracketMatch</a></div><div class="ttdeci">int ebnfBracketMatch(GrammarBase::Production &prod, int i, CFLGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00282">CFGNormalizer.cpp:282</a></div></div>
|
|
1034
1030
|
<div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set< NodeID > NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00114">SVFType.h:114</a></div></div>
|
|
1035
|
-
<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="
|
|
1036
|
-
<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="
|
|
1031
|
+
<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>
|
|
1032
|
+
<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>
|
|
1037
1033
|
<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>
|
|
1038
|
-
<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="
|
|
1034
|
+
<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>
|
|
1039
1035
|
<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>
|
|
1036
|
+
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_aea5ebe156b9536c617fc9c6acac00a61"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61">SVF::CFGNormalizer::strTrans</a></div><div class="ttdeci">void strTrans(std::string strPro, CFGrammar *grammar, GrammarBase::Production &normalProd)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00438">CFGNormalizer.cpp:438</a></div></div>
|
|
1037
|
+
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_a2c128a0c3f7307694f757d2dd87b09f5"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5">SVF::CFGNormalizer::ebnfSignReplace</a></div><div class="ttdeci">void ebnfSignReplace(char sign, CFGrammar *grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00326">CFGNormalizer.cpp:326</a></div></div>
|
|
1038
|
+
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_a676f99f3af1dfb9e118717913982120d"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d">SVF::CFGNormalizer::insertToCFLGrammar</a></div><div class="ttdeci">void insertToCFLGrammar(CFGrammar *grammar, GrammarBase::Production &prod)</div><div class="ttdoc">Based on prod size to add on suitable member field of grammar.</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00474">CFGNormalizer.cpp:474</a></div></div>
|
|
1039
|
+
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_ae77b2be1c819e5c4f3225c64be585aa8"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#ae77b2be1c819e5c4f3225c64be585aa8">SVF::CFGNormalizer::fillAttribute</a></div><div class="ttdeci">CFGrammar * fillAttribute(CFGrammar *grammar, const Map< CFGrammar::Kind, Set< CFGrammar::Attribute >> &kindToAttrsMap)</div><div class="ttdoc">Expand every variable attribute in rawProductions of grammarbase.</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00062">CFGNormalizer.cpp:62</a></div></div>
|
|
1040
1040
|
<!-- start footer part -->
|
|
1041
1041
|
<hr class="footer"/><address class="footer"><small>
|
|
1042
1042
|
Generated by  <a href="http://www.doxygen.org/index.html">
|