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
|
@@ -110,9 +110,9 @@ $(function() {
|
|
|
110
110
|
<div class="line"><a name="l00039"></a><span class="lineno"> 39</span>  </div>
|
|
111
111
|
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span> <span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div>
|
|
112
112
|
<div class="line"><a name="l00041"></a><span class="lineno"> 41</span>  </div>
|
|
113
|
-
<div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#
|
|
113
|
+
<div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#a937b65bca67692e4c6507d2b6d5fb567"> 42</a></span> <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a>* <a class="code" href="classSVF_1_1CFGNormalizer.html#a937b65bca67692e4c6507d2b6d5fb567">CFGNormalizer::normalize</a>(<a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *generalGrammar)</div>
|
|
114
114
|
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span> {</div>
|
|
115
|
-
<div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  <a class="code" href="
|
|
115
|
+
<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>
|
|
116
116
|
<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>
|
|
117
117
|
<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>
|
|
118
118
|
<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>
|
|
@@ -121,16 +121,16 @@ $(function() {
|
|
|
121
121
|
<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>
|
|
122
122
|
<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>
|
|
123
123
|
<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>
|
|
124
|
-
<div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
125
|
-
<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
126
|
-
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
127
|
-
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
128
|
-
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
124
|
+
<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>
|
|
125
|
+
<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>
|
|
126
|
+
<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>
|
|
127
|
+
<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>
|
|
128
|
+
<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>
|
|
129
129
|
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <span class="keywordflow">return</span> grammar;</div>
|
|
130
130
|
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span> }</div>
|
|
131
131
|
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  </div>
|
|
132
132
|
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  </div>
|
|
133
|
-
<div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#
|
|
133
|
+
<div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#ae77b2be1c819e5c4f3225c64be585aa8"> 62</a></span> <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a>* <a class="code" href="classSVF_1_1CFGNormalizer.html#ae77b2be1c819e5c4f3225c64be585aa8">CFGNormalizer::fillAttribute</a>(<a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a><<a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a>, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set<CFGrammar::Attribute></a>>& kindToAttrsMap)</div>
|
|
134
134
|
<div class="line"><a name="l00063"></a><span class="lineno"> 63</span> {</div>
|
|
135
135
|
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a> nodeSet = {};</div>
|
|
136
136
|
<div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pair: kindToAttrsMap)</div>
|
|
@@ -147,10 +147,10 @@ $(function() {
|
|
|
147
147
|
<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>
|
|
148
148
|
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  tempP.insert(tempP.begin(), symProdsPair.first);</div>
|
|
149
149
|
<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>
|
|
150
|
-
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
150
|
+
<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>
|
|
151
151
|
<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>
|
|
152
152
|
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  {</div>
|
|
153
|
-
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
153
|
+
<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>
|
|
154
154
|
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  }</div>
|
|
155
155
|
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  }</div>
|
|
156
156
|
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  }</div>
|
|
@@ -158,11 +158,11 @@ $(function() {
|
|
|
158
158
|
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keywordflow">return</span> grammar;</div>
|
|
159
159
|
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span> }</div>
|
|
160
160
|
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  </div>
|
|
161
|
-
<div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#
|
|
161
|
+
<div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0"> 92</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0">CFGNormalizer::ebnf_bin</a>(<a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar)</div>
|
|
162
162
|
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span> {</div>
|
|
163
163
|
<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>
|
|
164
164
|
<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>
|
|
165
|
-
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
165
|
+
<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>
|
|
166
166
|
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  </div>
|
|
167
167
|
<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>
|
|
168
168
|
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  </div>
|
|
@@ -191,7 +191,7 @@ $(function() {
|
|
|
191
191
|
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  {</div>
|
|
192
192
|
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  tempStr = <span class="stringliteral">"X"</span>;</div>
|
|
193
193
|
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  std::ostringstream ss;</div>
|
|
194
|
-
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  ss << grammar-><a class="code" href="
|
|
194
|
+
<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>
|
|
195
195
|
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  tempStr.append(ss.str());</div>
|
|
196
196
|
<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>
|
|
197
197
|
<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>
|
|
@@ -243,7 +243,7 @@ $(function() {
|
|
|
243
243
|
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  {</div>
|
|
244
244
|
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  tempStr = <span class="stringliteral">"X"</span>;</div>
|
|
245
245
|
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  std::ostringstream ss;</div>
|
|
246
|
-
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  ss << grammar-><a class="code" href="
|
|
246
|
+
<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>
|
|
247
247
|
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  tempStr.append(ss.str());</div>
|
|
248
248
|
<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>
|
|
249
249
|
<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>
|
|
@@ -282,7 +282,7 @@ $(function() {
|
|
|
282
282
|
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  }</div>
|
|
283
283
|
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span> }</div>
|
|
284
284
|
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  </div>
|
|
285
|
-
<div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#
|
|
285
|
+
<div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#ae98ed705e8e076a9e1cd8fd6f2bf9d54"> 224</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#ae98ed705e8e076a9e1cd8fd6f2bf9d54">CFGNormalizer::getFilledProductions</a>(<a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &prod, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a>& nodeSet, <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar, <a class="code" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">GrammarBase::Productions</a>& normalProds)</div>
|
|
286
286
|
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span> {</div>
|
|
287
287
|
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  normalProds.clear();</div>
|
|
288
288
|
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  <a class="code" href="classSVF_1_1CFLFIFOWorkList.html">CFLFIFOWorkList<GrammarBase::Production></a> worklist;</div>
|
|
@@ -338,7 +338,7 @@ $(function() {
|
|
|
338
338
|
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  }</div>
|
|
339
339
|
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span> }</div>
|
|
340
340
|
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  </div>
|
|
341
|
-
<div class="line"><a name="l00282"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#
|
|
341
|
+
<div class="line"><a name="l00282"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf"> 282</a></span> <span class="keywordtype">int</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf">CFGNormalizer::ebnfBracketMatch</a>(<a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &prod, <span class="keywordtype">int</span> i, <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar)</div>
|
|
342
342
|
<div class="line"><a name="l00283"></a><span class="lineno"> 283</span> {</div>
|
|
343
343
|
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  <span class="keywordtype">int</span> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = i;</div>
|
|
344
344
|
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  <span class="keywordflow">while</span> (<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> >= 0)</div>
|
|
@@ -352,7 +352,7 @@ $(function() {
|
|
|
352
352
|
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  <span class="keywordflow">return</span> 0;</div>
|
|
353
353
|
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span> }</div>
|
|
354
354
|
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  </div>
|
|
355
|
-
<div class="line"><a name="l00296"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#
|
|
355
|
+
<div class="line"><a name="l00296"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f"> 296</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#a099b05cb4240787859832971f376863f">CFGNormalizer::barReplace</a>(<a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar)</div>
|
|
356
356
|
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span> {</div>
|
|
357
357
|
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> &symbolToProductionsPair : grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>())</div>
|
|
358
358
|
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  {</div>
|
|
@@ -382,7 +382,7 @@ $(function() {
|
|
|
382
382
|
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  }</div>
|
|
383
383
|
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span> }</div>
|
|
384
384
|
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  </div>
|
|
385
|
-
<div class="line"><a name="l00326"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#
|
|
385
|
+
<div class="line"><a name="l00326"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5"> 326</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5">CFGNormalizer::ebnfSignReplace</a>(<span class="keywordtype">char</span> sign, <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar)</div>
|
|
386
386
|
<div class="line"><a name="l00327"></a><span class="lineno"> 327</span> {</div>
|
|
387
387
|
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map<std::string, std::string></a> newProductions;</div>
|
|
388
388
|
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> tempNonterminal = <span class="stringliteral">"X"</span>;</div>
|
|
@@ -405,7 +405,7 @@ $(function() {
|
|
|
405
405
|
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  }</div>
|
|
406
406
|
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  <span class="keywordflow">else</span></div>
|
|
407
407
|
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  {</div>
|
|
408
|
-
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  signGroupStart = <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
408
|
+
<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>
|
|
409
409
|
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  }</div>
|
|
410
410
|
<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>
|
|
411
411
|
<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>
|
|
@@ -432,7 +432,7 @@ $(function() {
|
|
|
432
432
|
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  {</div>
|
|
433
433
|
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  tempNonterminal = <span class="stringliteral">"X"</span>;</div>
|
|
434
434
|
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  std::ostringstream ss;</div>
|
|
435
|
-
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  ss << grammar-><a class="code" href="
|
|
435
|
+
<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>
|
|
436
436
|
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  tempNonterminal.append(ss.str());</div>
|
|
437
437
|
<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>
|
|
438
438
|
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  productions.erase(ebnfProduction);</div>
|
|
@@ -458,7 +458,7 @@ $(function() {
|
|
|
458
458
|
<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>
|
|
459
459
|
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  {</div>
|
|
460
460
|
<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>
|
|
461
|
-
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  <a class="code" href="classSVF_1_1CFGNormalizer.html#
|
|
461
|
+
<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>
|
|
462
462
|
<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>
|
|
463
463
|
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  <span class="keywordflow">if</span> (sign == <span class="charliteral">'*'</span>)</div>
|
|
464
464
|
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  {</div>
|
|
@@ -487,7 +487,7 @@ $(function() {
|
|
|
487
487
|
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  }</div>
|
|
488
488
|
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span> }</div>
|
|
489
489
|
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  </div>
|
|
490
|
-
<div class="line"><a name="l00438"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#
|
|
490
|
+
<div class="line"><a name="l00438"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61"> 438</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61">CFGNormalizer::strTrans</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> LHS, <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar, <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a>& normalProd)</div>
|
|
491
491
|
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span> {</div>
|
|
492
492
|
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  std::smatch matches;</div>
|
|
493
493
|
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  std::regex LHSReg(<span class="stringliteral">"\\s*(.*)"</span>);</div>
|
|
@@ -522,30 +522,30 @@ $(function() {
|
|
|
522
522
|
<div class="line"><a name="l00470"></a><span class="lineno"> 470</span>  <span class="keywordflow">return</span> symbol;</div>
|
|
523
523
|
<div class="line"><a name="l00471"></a><span class="lineno"> 471</span> }</div>
|
|
524
524
|
<div class="line"><a name="l00472"></a><span class="lineno"> 472</span>  </div>
|
|
525
|
-
<div class="line"><a name="l00474"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#
|
|
525
|
+
<div class="line"><a name="l00474"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d"> 474</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#a676f99f3af1dfb9e118717913982120d">CFGNormalizer::insertToCFLGrammar</a>(<a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar, <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> &prod)</div>
|
|
526
526
|
<div class="line"><a name="l00475"></a><span class="lineno"> 475</span> {</div>
|
|
527
527
|
<div class="line"><a name="l00476"></a><span class="lineno"> 476</span>  <span class="keywordflow">if</span> (prod.size() == 2)</div>
|
|
528
528
|
<div class="line"><a name="l00477"></a><span class="lineno"> 477</span>  {</div>
|
|
529
529
|
<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>
|
|
530
530
|
<div class="line"><a name="l00479"></a><span class="lineno"> 479</span>  {</div>
|
|
531
|
-
<div class="line"><a name="l00480"></a><span class="lineno"> 480</span>  <span class="keywordflow">if</span> (std::find(grammar-><a class="code" href="
|
|
531
|
+
<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>
|
|
532
532
|
<div class="line"><a name="l00481"></a><span class="lineno"> 481</span>  {</div>
|
|
533
|
-
<div class="line"><a name="l00482"></a><span class="lineno"> 482</span>  grammar-><a class="code" href="
|
|
533
|
+
<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>
|
|
534
534
|
<div class="line"><a name="l00483"></a><span class="lineno"> 483</span>  }</div>
|
|
535
535
|
<div class="line"><a name="l00484"></a><span class="lineno"> 484</span>  }</div>
|
|
536
536
|
<div class="line"><a name="l00485"></a><span class="lineno"> 485</span>  <span class="keywordflow">else</span></div>
|
|
537
537
|
<div class="line"><a name="l00486"></a><span class="lineno"> 486</span>  {</div>
|
|
538
|
-
<div class="line"><a name="l00487"></a><span class="lineno"> 487</span>  grammar-><a class="code" href="
|
|
538
|
+
<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>
|
|
539
539
|
<div class="line"><a name="l00488"></a><span class="lineno"> 488</span>  }</div>
|
|
540
540
|
<div class="line"><a name="l00489"></a><span class="lineno"> 489</span>  }</div>
|
|
541
541
|
<div class="line"><a name="l00490"></a><span class="lineno"> 490</span>  <span class="keywordflow">if</span> (prod.size() == 3)</div>
|
|
542
542
|
<div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  {</div>
|
|
543
|
-
<div class="line"><a name="l00492"></a><span class="lineno"> 492</span>  grammar-><a class="code" href="
|
|
544
|
-
<div class="line"><a name="l00493"></a><span class="lineno"> 493</span>  grammar-><a class="code" href="
|
|
543
|
+
<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>
|
|
544
|
+
<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>
|
|
545
545
|
<div class="line"><a name="l00494"></a><span class="lineno"> 494</span>  }</div>
|
|
546
546
|
<div class="line"><a name="l00495"></a><span class="lineno"> 495</span> }</div>
|
|
547
547
|
<div class="line"><a name="l00496"></a><span class="lineno"> 496</span>  </div>
|
|
548
|
-
<div class="line"><a name="l00497"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#
|
|
548
|
+
<div class="line"><a name="l00497"></a><span class="lineno"><a class="line" href="classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9"> 497</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFGNormalizer.html#a711e134b6470e9cc9b337d1b0e4708a9">CFGNormalizer::removeFirstSymbol</a>(<a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *grammar)</div>
|
|
549
549
|
<div class="line"><a name="l00498"></a><span class="lineno"> 498</span> {</div>
|
|
550
550
|
<div class="line"><a name="l00499"></a><span class="lineno"> 499</span>  <span class="comment">// Remove First Terminal</span></div>
|
|
551
551
|
<div class="line"><a name="l00500"></a><span class="lineno"> 500</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> head : grammar-><a class="code" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>())</div>
|
|
@@ -562,66 +562,66 @@ $(function() {
|
|
|
562
562
|
<div class="line"><a name="l00511"></a><span class="lineno"> 511</span>  }</div>
|
|
563
563
|
<div class="line"><a name="l00512"></a><span class="lineno"> 512</span> }</div>
|
|
564
564
|
</div><!-- fragment --></div><!-- contents -->
|
|
565
|
-
<div class="ttc" id="
|
|
566
|
-
<div class="ttc" id="
|
|
567
|
-
<div class="ttc" id="
|
|
568
|
-
<div class="ttc" id="
|
|
565
|
+
<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>
|
|
566
|
+
<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>
|
|
567
|
+
<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>
|
|
568
|
+
<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>
|
|
569
|
+
<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>
|
|
570
|
+
<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>
|
|
569
571
|
<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>
|
|
570
|
-
<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="
|
|
571
|
-
<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="
|
|
572
|
-
<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="
|
|
572
|
+
<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>
|
|
573
|
+
<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>
|
|
574
|
+
<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>
|
|
573
575
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
574
|
-
<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="
|
|
575
|
-
<div class="ttc" id="
|
|
576
|
-
<div class="ttc" id="
|
|
577
|
-
<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="
|
|
578
|
-
<div class="ttc" id="
|
|
579
|
-
<div class="ttc" id="
|
|
580
|
-
<div class="ttc" id="
|
|
581
|
-
<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>
|
|
582
|
-
<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>
|
|
583
|
-
<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>
|
|
576
|
+
<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>
|
|
577
|
+
<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>
|
|
578
|
+
<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>
|
|
579
|
+
<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>
|
|
580
|
+
<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>
|
|
581
|
+
<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>
|
|
582
|
+
<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>
|
|
584
583
|
<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>
|
|
585
|
-
<div class="ttc" id="
|
|
586
|
-
<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="CFLGrammar_8h_source.html#l00170">CFLGrammar.h:170</a></div></div>
|
|
584
|
+
<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>
|
|
587
585
|
<div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
|
|
588
|
-
<div class="ttc" id="
|
|
589
|
-
<div class="ttc" id="
|
|
586
|
+
<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>
|
|
587
|
+
<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>
|
|
588
|
+
<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>
|
|
589
|
+
<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>
|
|
590
|
+
<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>
|
|
590
591
|
<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>
|
|
591
|
-
<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="
|
|
592
|
-
<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="
|
|
592
|
+
<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>
|
|
593
|
+
<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>
|
|
593
594
|
<div class="ttc" id="aCFGNormalizer_8h_html"><div class="ttname"><a href="CFGNormalizer_8h.html">CFGNormalizer.h</a></div></div>
|
|
594
|
-
<div class="ttc" id="
|
|
595
|
-
<div class="ttc" id="
|
|
596
|
-
<div class="ttc" id="
|
|
597
|
-
<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="
|
|
598
|
-
<div class="ttc" id="
|
|
599
|
-
<div class="ttc" id="
|
|
600
|
-
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00039">CFLGrammar.h:39</a></div></div>
|
|
595
|
+
<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>
|
|
596
|
+
<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>
|
|
597
|
+
<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>
|
|
598
|
+
<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>
|
|
599
|
+
<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>
|
|
600
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00039">CFGrammar.h:39</a></div></div>
|
|
601
601
|
<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>
|
|
602
|
-
<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="
|
|
603
|
-
<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="
|
|
604
|
-
<div class="ttc" id="
|
|
605
|
-
<div class="ttc" id="
|
|
606
|
-
<div class="ttc" id="aclassSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00036">CFLGrammar.h:36</a></div></div>
|
|
607
|
-
<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="CFLGrammar_8h_source.html#l00165">CFLGrammar.h:165</a></div></div>
|
|
608
|
-
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_a8906f8bfe0a4a431f355b825f15efbe0"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a8906f8bfe0a4a431f355b825f15efbe0">SVF::CFGNormalizer::ebnf_bin</a></div><div class="ttdeci">void ebnf_bin(CFLGrammar *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>
|
|
602
|
+
<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>
|
|
603
|
+
<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>
|
|
604
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00036">CFGrammar.h:36</a></div></div>
|
|
605
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_afc9635e14b5871df457bf64fae6ad8cf"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">SVF::GrammarBase::setNonterminals</a></div><div class="ttdeci">void setNonterminals(Map< std::string, Kind > &nonterminals)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00165">CFGrammar.h:165</a></div></div>
|
|
609
606
|
<div class="ttc" id="aWorkList_8h_html"><div class="ttname"><a href="WorkList_8h.html">WorkList.h</a></div></div>
|
|
610
|
-
<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="
|
|
611
|
-
<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="
|
|
612
|
-
<div class="ttc" id="
|
|
613
|
-
<div class="ttc" id="
|
|
614
|
-
<div class="ttc" id="
|
|
615
|
-
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a37a31f03501a11e7951d56dbf1cb146a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">SVF::GrammarBase::setTotalKind</a></div><div class="ttdeci">void setTotalKind(Kind totalKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00215">CFLGrammar.h:215</a></div></div>
|
|
607
|
+
<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>
|
|
608
|
+
<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>
|
|
609
|
+
<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>
|
|
610
|
+
<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>
|
|
611
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a37a31f03501a11e7951d56dbf1cb146a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">SVF::GrammarBase::setTotalKind</a></div><div class="ttdeci">void setTotalKind(Kind totalKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00215">CFGrammar.h:215</a></div></div>
|
|
616
612
|
<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>
|
|
617
|
-
<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>
|
|
618
613
|
<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>
|
|
619
|
-
<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="
|
|
620
|
-
<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="
|
|
614
|
+
<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>
|
|
615
|
+
<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>
|
|
621
616
|
<div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
|
|
622
617
|
<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>
|
|
623
|
-
<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="
|
|
618
|
+
<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>
|
|
619
|
+
<div class="ttc" id="aclassSVF_1_1CFGNormalizer_html_a937b65bca67692e4c6507d2b6d5fb567"><div class="ttname"><a href="classSVF_1_1CFGNormalizer.html#a937b65bca67692e4c6507d2b6d5fb567">SVF::CFGNormalizer::normalize</a></div><div class="ttdeci">CFGrammar * normalize(GrammarBase *generalGrammar)</div><div class="ttdoc">Binary Normal Form(BNF) normalization with variable attribute expanded.</div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8cpp_source.html#l00042">CFGNormalizer.cpp:42</a></div></div>
|
|
624
620
|
<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>
|
|
621
|
+
<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>
|
|
622
|
+
<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>
|
|
623
|
+
<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>
|
|
624
|
+
<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>
|
|
625
625
|
<!-- start footer part -->
|
|
626
626
|
<hr class="footer"/><address class="footer"><small>
|
|
627
627
|
Generated by  <a href="http://www.doxygen.org/index.html">
|
|
@@ -72,7 +72,7 @@ $(function() {
|
|
|
72
72
|
<div class="title">CFGNormalizer.h File Reference</div> </div>
|
|
73
73
|
</div><!--header-->
|
|
74
74
|
<div class="contents">
|
|
75
|
-
<div class="textblock"><code>#include "<a class="el" href="
|
|
75
|
+
<div class="textblock"><code>#include "<a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>"</code><br />
|
|
76
76
|
</div>
|
|
77
77
|
<p><a href="CFGNormalizer_8h_source.html">Go to the source code of this file.</a></p>
|
|
78
78
|
<table class="memberdecls">
|