svf-tools 1.0.752 → 1.0.754
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/BoundedZ3Expr_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h.html +24 -1
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h_source.html +373 -376
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +76 -76
- package/SVF-doxygen/html/html/CFGNormalizer_8h.html +1 -1
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +29 -29
- package/SVF-doxygen/html/html/CFGrammar_8cpp.html +88 -0
- package/SVF-doxygen/html/html/CFGrammar_8cpp_source.html +568 -0
- package/SVF-doxygen/html/html/CFGrammar_8h.html +108 -0
- package/SVF-doxygen/html/html/CFGrammar_8h_source.html +643 -0
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
- package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +120 -127
- package/SVF-doxygen/html/html/CFLBase_8h_source.html +14 -14
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h.html +1 -1
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +12 -12
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +464 -409
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h.html +10 -2
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +120 -175
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CFLGraph_8h.html +1 -1
- package/SVF-doxygen/html/html/CFLGraph_8h_source.html +11 -11
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +60 -60
- package/SVF-doxygen/html/html/CFLSolver_8h.html +1 -1
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +19 -19
- package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/GrammarBuilder_8h.html +1 -1
- package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +3 -3
- package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/GraphWriter_8h_source.html +1 -1
- package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +12 -12
- package/SVF-doxygen/html/html/PAGGrammar_8txt.html +209 -0
- package/SVF-doxygen/html/html/PEGGrammar_8txt.html +11 -11
- package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html +4 -4
- package/SVF-doxygen/html/html/VFGGrammar_8txt.html +119 -0
- package/SVF-doxygen/html/html/annotated.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +21 -20
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +223 -220
- package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr.html +291 -296
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +119 -119
- package/SVF-doxygen/html/html/classSVF_1_1CFGrammar-members.html +158 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFGrammar.html +1051 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFGrammar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +108 -114
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder-members.html +17 -16
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +333 -280
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +56 -56
- package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +76 -76
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1POCRAlias-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybridSolver-members.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1POCRHybridSolver.html +53 -53
- package/SVF-doxygen/html/html/classSVF_1_1POCRSolver-members.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1POCRSolver.html +47 -47
- package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder-members.html +21 -20
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.html +148 -145
- package/SVF-doxygen/html/html/classes.html +6 -6
- package/SVF-doxygen/html/html/dir_1b8e404556d3e8597ae60437f0a084bf.html +7 -2
- package/SVF-doxygen/html/html/dir_7de7f3d0ab1cbd78bc64b135e4cd18be.html +80 -0
- package/SVF-doxygen/html/html/dir_8a9c8659eb68b9cbd3fead4690588a47.html +2 -2
- package/SVF-doxygen/html/html/files.html +14 -13
- package/SVF-doxygen/html/html/functions_a.html +5 -5
- package/SVF-doxygen/html/html/functions_b.html +9 -7
- package/SVF-doxygen/html/html/functions_c.html +5 -5
- package/SVF-doxygen/html/html/functions_d.html +1 -1
- package/SVF-doxygen/html/html/functions_e.html +4 -4
- package/SVF-doxygen/html/html/functions_f.html +2 -2
- package/SVF-doxygen/html/html/functions_func.html +5 -5
- package/SVF-doxygen/html/html/functions_func_b.html +9 -7
- package/SVF-doxygen/html/html/functions_func_c.html +5 -5
- package/SVF-doxygen/html/html/functions_func_d.html +1 -1
- package/SVF-doxygen/html/html/functions_func_e.html +3 -3
- package/SVF-doxygen/html/html/functions_func_f.html +1 -1
- package/SVF-doxygen/html/html/functions_func_g.html +13 -13
- package/SVF-doxygen/html/html/functions_func_h.html +3 -3
- package/SVF-doxygen/html/html/functions_func_i.html +1 -1
- package/SVF-doxygen/html/html/functions_func_n.html +2 -2
- package/SVF-doxygen/html/html/functions_func_p.html +2 -2
- package/SVF-doxygen/html/html/functions_func_r.html +1 -1
- package/SVF-doxygen/html/html/functions_func_s.html +1 -1
- package/SVF-doxygen/html/html/functions_g.html +15 -15
- package/SVF-doxygen/html/html/functions_h.html +3 -3
- package/SVF-doxygen/html/html/functions_i.html +2 -2
- package/SVF-doxygen/html/html/functions_k.html +3 -3
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +13 -13
- package/SVF-doxygen/html/html/functions_p.html +16 -12
- package/SVF-doxygen/html/html/functions_r.html +1 -1
- package/SVF-doxygen/html/html/functions_s.html +17 -19
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_type_k.html +2 -2
- package/SVF-doxygen/html/html/functions_type_p.html +1 -1
- package/SVF-doxygen/html/html/functions_type_s.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +6 -6
- package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_g.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_k.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_n.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_s.html +2 -2
- package/SVF-doxygen/html/html/functions_w.html +9 -9
- package/SVF-doxygen/html/html/globals.html +6 -4
- package/SVF-doxygen/html/html/globals_defs.html +7 -0
- package/SVF-doxygen/html/html/globals_e.html +1 -1
- package/SVF-doxygen/html/html/globals_g.html +3 -3
- package/SVF-doxygen/html/html/globals_m.html +4 -1
- package/SVF-doxygen/html/html/globals_s.html +1 -1
- package/SVF-doxygen/html/html/globals_v.html +2 -2
- package/SVF-doxygen/html/html/globals_vars.html +12 -10
- package/SVF-doxygen/html/html/hierarchy.html +1 -1
- package/SVF-doxygen/html/html/menudata.js +1 -0
- package/SVF-doxygen/html/html/namespaceSVF.html +40 -2
- package/SVF-doxygen/html/html/namespacemembers_b.html +3 -0
- package/SVF-doxygen/html/html/namespacemembers_enum.html +3 -0
- package/SVF-doxygen/html/html/search/all_0.js +147 -146
- package/SVF-doxygen/html/html/search/all_1.js +478 -478
- package/SVF-doxygen/html/html/search/all_10.js +327 -325
- package/SVF-doxygen/html/html/search/all_11.js +208 -208
- package/SVF-doxygen/html/html/search/all_12.js +545 -545
- package/SVF-doxygen/html/html/search/all_13.js +189 -189
- package/SVF-doxygen/html/html/search/all_14.js +66 -66
- package/SVF-doxygen/html/html/search/all_15.js +170 -170
- package/SVF-doxygen/html/html/search/all_16.js +60 -60
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/html/search/all_19.js +10 -10
- package/SVF-doxygen/html/html/search/all_1a.js +169 -169
- package/SVF-doxygen/html/html/search/all_2.js +159 -156
- package/SVF-doxygen/html/html/search/all_3.js +637 -638
- package/SVF-doxygen/html/html/search/all_4.js +227 -227
- package/SVF-doxygen/html/html/search/all_5.js +156 -156
- package/SVF-doxygen/html/html/search/all_6.js +223 -223
- package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
- package/SVF-doxygen/html/html/search/all_8.js +192 -192
- package/SVF-doxygen/html/html/search/all_9.js +597 -597
- package/SVF-doxygen/html/html/search/all_a.js +47 -47
- package/SVF-doxygen/html/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/html/search/all_c.js +113 -113
- package/SVF-doxygen/html/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/html/search/all_e.js +206 -206
- package/SVF-doxygen/html/html/search/all_f.js +122 -122
- package/SVF-doxygen/html/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/html/search/classes_2.js +76 -76
- package/SVF-doxygen/html/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/html/search/classes_4.js +10 -10
- package/SVF-doxygen/html/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/html/search/classes_d.js +19 -19
- package/SVF-doxygen/html/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/html/search/defines_4.js +3 -3
- package/SVF-doxygen/html/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/html/search/defines_8.js +13 -13
- package/SVF-doxygen/html/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/html/search/defines_b.js +1 -2
- package/SVF-doxygen/html/html/search/defines_c.js +2 -2
- package/SVF-doxygen/html/html/search/defines_d.js +2 -6
- package/SVF-doxygen/html/html/search/defines_e.js +6 -3
- package/SVF-doxygen/html/html/search/defines_f.html +6 -2
- package/SVF-doxygen/html/html/search/defines_f.js +3 -26
- package/SVF-doxygen/html/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/html/search/enums_1.js +2 -1
- package/SVF-doxygen/html/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/html/search/enums_4.js +4 -4
- package/SVF-doxygen/html/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/html/search/enums_a.js +2 -2
- package/SVF-doxygen/html/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -13
- package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
- package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
- package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
- package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
- package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -17
- package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/html/search/files_2.js +49 -50
- package/SVF-doxygen/html/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/html/search/files_4.js +4 -4
- package/SVF-doxygen/html/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/html/search/files_c.js +20 -19
- package/SVF-doxygen/html/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/html/search/functions_0.js +351 -351
- package/SVF-doxygen/html/html/search/functions_1.js +81 -80
- package/SVF-doxygen/html/html/search/functions_10.js +121 -121
- package/SVF-doxygen/html/html/search/functions_11.js +281 -281
- package/SVF-doxygen/html/html/search/functions_12.js +55 -55
- package/SVF-doxygen/html/html/search/functions_13.js +38 -38
- package/SVF-doxygen/html/html/search/functions_14.js +71 -71
- package/SVF-doxygen/html/html/search/functions_15.js +29 -29
- package/SVF-doxygen/html/html/search/functions_16.js +2 -2
- package/SVF-doxygen/html/html/search/functions_17.js +169 -169
- package/SVF-doxygen/html/html/search/functions_2.js +251 -251
- package/SVF-doxygen/html/html/search/functions_3.js +71 -71
- package/SVF-doxygen/html/html/search/functions_4.js +55 -55
- package/SVF-doxygen/html/html/search/functions_5.js +55 -55
- package/SVF-doxygen/html/html/search/functions_6.js +832 -832
- package/SVF-doxygen/html/html/search/functions_7.js +144 -144
- package/SVF-doxygen/html/html/search/functions_8.js +417 -417
- package/SVF-doxygen/html/html/search/functions_9.js +29 -29
- package/SVF-doxygen/html/html/search/functions_a.js +2 -2
- package/SVF-doxygen/html/html/search/functions_b.js +23 -23
- package/SVF-doxygen/html/html/search/functions_c.js +75 -75
- package/SVF-doxygen/html/html/search/functions_d.js +35 -35
- package/SVF-doxygen/html/html/search/functions_e.js +56 -56
- package/SVF-doxygen/html/html/search/functions_f.js +143 -143
- package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/html/search/related_1.js +1 -1
- package/SVF-doxygen/html/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/html/search/searchdata.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
- package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
- package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
- package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
- package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
- package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
- package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/html/search/variables_0.js +147 -146
- package/SVF-doxygen/html/html/search/variables_1.js +74 -74
- package/SVF-doxygen/html/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/html/search/variables_12.js +93 -93
- package/SVF-doxygen/html/html/search/variables_13.js +77 -77
- package/SVF-doxygen/html/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/html/search/variables_2.js +35 -35
- package/SVF-doxygen/html/html/search/variables_3.js +148 -148
- package/SVF-doxygen/html/html/search/variables_4.js +56 -56
- package/SVF-doxygen/html/html/search/variables_5.js +40 -40
- package/SVF-doxygen/html/html/search/variables_6.js +67 -67
- package/SVF-doxygen/html/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/html/search/variables_9.js +77 -77
- package/SVF-doxygen/html/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/html/search/variables_f.js +33 -33
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +25 -25
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash.html +4 -4
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +5 -5
- package/package.json +1 -1
- package/svf/include/AbstractExecution/BoundedZ3Expr.h +8 -12
- package/svf/include/CFL/CFGNormalizer.h +11 -11
- package/svf/include/CFL/{CFLGrammar.h → CFGrammar.h} +5 -5
- package/svf/include/CFL/CFLAlias.h +2 -2
- package/svf/include/CFL/CFLBase.h +2 -2
- package/svf/include/CFL/CFLGramGraphChecker.h +1 -1
- package/svf/include/CFL/CFLGraphBuilder.h +30 -81
- package/svf/include/CFL/CFLSolver.h +8 -8
- package/svf/include/CFL/GrammarBuilder.h +1 -1
- package/svf/include/Graphs/CFLGraph.h +3 -3
- package/svf/lib/CFL/CFGNormalizer.cpp +11 -11
- package/svf/lib/CFL/{CFLGrammar.cpp → CFGrammar.cpp} +7 -7
- package/svf/lib/CFL/CFLBase.cpp +5 -11
- package/svf/lib/CFL/CFLGraphBuilder.cpp +125 -74
- package/svf/lib/CFL/CFLVF.cpp +2 -2
- /package/svf/include/CFL/{CFLGrammar.txt → grammar/PAGGrammar.txt} +0 -0
- /package/svf/include/CFL/{PEGGrammar.txt → grammar/PEGGrammar.txt} +0 -0
- /package/svf/include/CFL/{VFG.txt → grammar/VFGGrammar.txt} +0 -0
|
@@ -0,0 +1,1051 @@
|
|
|
1
|
+
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
2
|
+
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
3
|
+
<head>
|
|
4
|
+
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
|
|
5
|
+
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
|
|
6
|
+
<meta name="generator" content="Doxygen 1.8.17"/>
|
|
7
|
+
<meta name="viewport" content="width=device-width, initial-scale=1"/>
|
|
8
|
+
<title>Static Value-Flow Analysis: SVF::CFGrammar Class Reference</title>
|
|
9
|
+
<link href="tabs.css" rel="stylesheet" type="text/css"/>
|
|
10
|
+
<script type="text/javascript" src="jquery.js"></script>
|
|
11
|
+
<script type="text/javascript" src="dynsections.js"></script>
|
|
12
|
+
<link href="search/search.css" rel="stylesheet" type="text/css"/>
|
|
13
|
+
<script type="text/javascript" src="search/searchdata.js"></script>
|
|
14
|
+
<script type="text/javascript" src="search/search.js"></script>
|
|
15
|
+
<link href="doxygen.css" rel="stylesheet" type="text/css" />
|
|
16
|
+
</head>
|
|
17
|
+
<body>
|
|
18
|
+
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
|
|
19
|
+
<div id="titlearea">
|
|
20
|
+
<table cellspacing="0" cellpadding="0">
|
|
21
|
+
<tbody>
|
|
22
|
+
<tr style="height: 56px;">
|
|
23
|
+
<td id="projectalign" style="padding-left: 0.5em;">
|
|
24
|
+
<div id="projectname">Static Value-Flow Analysis
|
|
25
|
+
</div>
|
|
26
|
+
</td>
|
|
27
|
+
</tr>
|
|
28
|
+
</tbody>
|
|
29
|
+
</table>
|
|
30
|
+
</div>
|
|
31
|
+
<!-- end header part -->
|
|
32
|
+
<!-- Generated by Doxygen 1.8.17 -->
|
|
33
|
+
<script type="text/javascript">
|
|
34
|
+
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
|
|
35
|
+
var searchBox = new SearchBox("searchBox", "search",false,'Search');
|
|
36
|
+
/* @license-end */
|
|
37
|
+
</script>
|
|
38
|
+
<script type="text/javascript" src="menudata.js"></script>
|
|
39
|
+
<script type="text/javascript" src="menu.js"></script>
|
|
40
|
+
<script type="text/javascript">
|
|
41
|
+
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
|
|
42
|
+
$(function() {
|
|
43
|
+
initMenu('',true,false,'search.php','Search');
|
|
44
|
+
$(document).ready(function() { init_search(); });
|
|
45
|
+
});
|
|
46
|
+
/* @license-end */</script>
|
|
47
|
+
<div id="main-nav"></div>
|
|
48
|
+
<!-- window showing the filter options -->
|
|
49
|
+
<div id="MSearchSelectWindow"
|
|
50
|
+
onmouseover="return searchBox.OnSearchSelectShow()"
|
|
51
|
+
onmouseout="return searchBox.OnSearchSelectHide()"
|
|
52
|
+
onkeydown="return searchBox.OnSearchSelectKey(event)">
|
|
53
|
+
</div>
|
|
54
|
+
|
|
55
|
+
<!-- iframe showing the search results (closed by default) -->
|
|
56
|
+
<div id="MSearchResultsWindow">
|
|
57
|
+
<iframe src="javascript:void(0)" frameborder="0"
|
|
58
|
+
name="MSearchResults" id="MSearchResults">
|
|
59
|
+
</iframe>
|
|
60
|
+
</div>
|
|
61
|
+
|
|
62
|
+
<div id="nav-path" class="navpath">
|
|
63
|
+
<ul>
|
|
64
|
+
<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a></li> </ul>
|
|
65
|
+
</div>
|
|
66
|
+
</div><!-- top -->
|
|
67
|
+
<div class="header">
|
|
68
|
+
<div class="summary">
|
|
69
|
+
<a href="#pub-methods">Public Member Functions</a> |
|
|
70
|
+
<a href="#pub-static-methods">Static Public Member Functions</a> |
|
|
71
|
+
<a href="#pri-attribs">Private Attributes</a> |
|
|
72
|
+
<a href="classSVF_1_1CFGrammar-members.html">List of all members</a> </div>
|
|
73
|
+
<div class="headertitle">
|
|
74
|
+
<div class="title">SVF::CFGrammar Class Reference</div> </div>
|
|
75
|
+
</div><!--header-->
|
|
76
|
+
<div class="contents">
|
|
77
|
+
|
|
78
|
+
<p><code>#include <<a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>></code></p>
|
|
79
|
+
<div class="dynheader">
|
|
80
|
+
Inheritance diagram for SVF::CFGrammar:</div>
|
|
81
|
+
<div class="dyncontent">
|
|
82
|
+
<div class="center">
|
|
83
|
+
<img src="classSVF_1_1CFGrammar.png" usemap="#SVF::CFGrammar_map" alt=""/>
|
|
84
|
+
<map id="SVF::CFGrammar_map" name="SVF::CFGrammar_map">
|
|
85
|
+
<area href="classSVF_1_1GrammarBase.html" alt="SVF::GrammarBase" shape="rect" coords="0,0,122,24"/>
|
|
86
|
+
</map>
|
|
87
|
+
</div></div>
|
|
88
|
+
<table class="memberdecls">
|
|
89
|
+
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
|
|
90
|
+
Public Member Functions</h2></td></tr>
|
|
91
|
+
<tr class="memitem:a6955bde4faa1d7b5d1f092c242a11a1b"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a6955bde4faa1d7b5d1f092c242a11a1b">CFGrammar</a> ()</td></tr>
|
|
92
|
+
<tr class="separator:a6955bde4faa1d7b5d1f092c242a11a1b"><td class="memSeparator" colspan="2"> </td></tr>
|
|
93
|
+
<tr class="memitem:a79d4babef29a8206379a0fc4017d5f29"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">getEpsilonProds</a> ()</td></tr>
|
|
94
|
+
<tr class="separator:a79d4babef29a8206379a0fc4017d5f29"><td class="memSeparator" colspan="2"> </td></tr>
|
|
95
|
+
<tr class="memitem:a8c853ad1e1b30c3ba4efe66b1d0dddf6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a8c853ad1e1b30c3ba4efe66b1d0dddf6">getSingleRHSToProds</a> ()</td></tr>
|
|
96
|
+
<tr class="separator:a8c853ad1e1b30c3ba4efe66b1d0dddf6"><td class="memSeparator" colspan="2"> </td></tr>
|
|
97
|
+
<tr class="memitem:ad06bd6d1c5fb6fc02efc694c2715a27c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#ad06bd6d1c5fb6fc02efc694c2715a27c">getFirstRHSToProds</a> ()</td></tr>
|
|
98
|
+
<tr class="separator:ad06bd6d1c5fb6fc02efc694c2715a27c"><td class="memSeparator" colspan="2"> </td></tr>
|
|
99
|
+
<tr class="memitem:a2506ec7098c676466744e87d1eb8dd3d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a2506ec7098c676466744e87d1eb8dd3d">getSecondRHSToProds</a> ()</td></tr>
|
|
100
|
+
<tr class="separator:a2506ec7098c676466744e87d1eb8dd3d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
101
|
+
<tr class="memitem:a6a0563acf39967169d6c267387539134"><td class="memItemLeft" align="right" valign="top">const bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134">hasProdsFromFirstRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> sym) const</td></tr>
|
|
102
|
+
<tr class="separator:a6a0563acf39967169d6c267387539134"><td class="memSeparator" colspan="2"> </td></tr>
|
|
103
|
+
<tr class="memitem:aefdae80251eaaf9be580d26a5dd268a8"><td class="memItemLeft" align="right" valign="top">const bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8">hasProdsFromSingleRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> sym) const</td></tr>
|
|
104
|
+
<tr class="separator:aefdae80251eaaf9be580d26a5dd268a8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
105
|
+
<tr class="memitem:a6d1db255d2b526fa7fdfaa7b2146f0cd"><td class="memItemLeft" align="right" valign="top">const bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd">hasProdsFromSecondRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> sym) const</td></tr>
|
|
106
|
+
<tr class="separator:a6d1db255d2b526fa7fdfaa7b2146f0cd"><td class="memSeparator" colspan="2"> </td></tr>
|
|
107
|
+
<tr class="memitem:a09bb0c9e5e626555273193e437de2b70"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a09bb0c9e5e626555273193e437de2b70">getProdsFromSingleRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> sym) const</td></tr>
|
|
108
|
+
<tr class="separator:a09bb0c9e5e626555273193e437de2b70"><td class="memSeparator" colspan="2"> </td></tr>
|
|
109
|
+
<tr class="memitem:a0c436fdc35825a0f5c244b3f3441ae1a"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a0c436fdc35825a0f5c244b3f3441ae1a">getProdsFromFirstRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> sym) const</td></tr>
|
|
110
|
+
<tr class="separator:a0c436fdc35825a0f5c244b3f3441ae1a"><td class="memSeparator" colspan="2"> </td></tr>
|
|
111
|
+
<tr class="memitem:a39ee3733b247f40ea27ddc7e17334544"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a39ee3733b247f40ea27ddc7e17334544">getProdsFromSecondRHS</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> sym) const</td></tr>
|
|
112
|
+
<tr class="separator:a39ee3733b247f40ea27ddc7e17334544"><td class="memSeparator" colspan="2"> </td></tr>
|
|
113
|
+
<tr class="memitem:a5962f35418f48005240d0a467a777fcd"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &prod) const</td></tr>
|
|
114
|
+
<tr class="separator:a5962f35418f48005240d0a467a777fcd"><td class="memSeparator" colspan="2"> </td></tr>
|
|
115
|
+
<tr class="memitem:a48aa7267893296b066050d3b444c14e7"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">getFirstRHSSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &prod) const</td></tr>
|
|
116
|
+
<tr class="separator:a48aa7267893296b066050d3b444c14e7"><td class="memSeparator" colspan="2"> </td></tr>
|
|
117
|
+
<tr class="memitem:ae5219be7a1d646a0246f7dad560b4f4b"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">getSecondRHSSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &prod) const</td></tr>
|
|
118
|
+
<tr class="separator:ae5219be7a1d646a0246f7dad560b4f4b"><td class="memSeparator" colspan="2"> </td></tr>
|
|
119
|
+
<tr class="memitem:a032e6a1ccff5444f0c849309ac2ad23f"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f">dump</a> () const</td></tr>
|
|
120
|
+
<tr class="separator:a032e6a1ccff5444f0c849309ac2ad23f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
121
|
+
<tr class="memitem:ab417de2cfd096477e288742b2967cded"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#ab417de2cfd096477e288742b2967cded">dump</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> fileName) const</td></tr>
|
|
122
|
+
<tr class="separator:ab417de2cfd096477e288742b2967cded"><td class="memSeparator" colspan="2"> </td></tr>
|
|
123
|
+
<tr class="memitem:a4d98bd2fee3d88558ed2b59c3d0d0d57"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57">num_generator</a> ()</td></tr>
|
|
124
|
+
<tr class="separator:a4d98bd2fee3d88558ed2b59c3d0d0d57"><td class="memSeparator" colspan="2"> </td></tr>
|
|
125
|
+
<tr class="inherit_header pub_methods_classSVF_1_1GrammarBase"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GrammarBase')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td></tr>
|
|
126
|
+
<tr class="memitem:a04140ef06feee613506529fd8c23665e inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">getNonterminals</a> ()</td></tr>
|
|
127
|
+
<tr class="separator:a04140ef06feee613506529fd8c23665e inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
128
|
+
<tr class="memitem:afc9635e14b5871df457bf64fae6ad8cf inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">setNonterminals</a> (<a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> > &<a class="el" href="classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b">nonterminals</a>)</td></tr>
|
|
129
|
+
<tr class="separator:afc9635e14b5871df457bf64fae6ad8cf inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
130
|
+
<tr class="memitem:a44232dfc5b9a13dfe9b72ff18634ab37 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">getTerminals</a> ()</td></tr>
|
|
131
|
+
<tr class="separator:a44232dfc5b9a13dfe9b72ff18634ab37 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
132
|
+
<tr class="memitem:ae79b973ec24ba034e831a90285737a41 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41">setTerminals</a> (<a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> > &<a class="el" href="classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a">terminals</a>)</td></tr>
|
|
133
|
+
<tr class="separator:ae79b973ec24ba034e831a90285737a41 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
134
|
+
<tr class="memitem:a51b55df841ae449ecf0888325c6e8c6a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a51b55df841ae449ecf0888325c6e8c6a">getEBNFSigns</a> ()</td></tr>
|
|
135
|
+
<tr class="separator:a51b55df841ae449ecf0888325c6e8c6a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
136
|
+
<tr class="memitem:ad87ca88d62e7bc3a189652c707a72e12 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12">setEBNFSigns</a> (<a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> > &<a class="el" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">EBNFSigns</a>)</td></tr>
|
|
137
|
+
<tr class="separator:ad87ca88d62e7bc3a189652c707a72e12 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
138
|
+
<tr class="memitem:a4561438149716c91178ea013686f66ae inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a> ()</td></tr>
|
|
139
|
+
<tr class="separator:a4561438149716c91178ea013686f66ae inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
140
|
+
<tr class="memitem:ad6307c28042ff43678bd7bff1cd2c7c1 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a>, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> > > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ad6307c28042ff43678bd7bff1cd2c7c1">getKindToAttrsMap</a> () const</td></tr>
|
|
141
|
+
<tr class="separator:ad6307c28042ff43678bd7bff1cd2c7c1 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
142
|
+
<tr class="memitem:a76e0969670709e24532756e56aafab19 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19">getTotalKind</a> ()</td></tr>
|
|
143
|
+
<tr class="separator:a76e0969670709e24532756e56aafab19 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
144
|
+
<tr class="memitem:a8921a7d7a006e31f13d88b8c808c931b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">getStartKind</a> ()</td></tr>
|
|
145
|
+
<tr class="separator:a8921a7d7a006e31f13d88b8c808c931b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
146
|
+
<tr class="memitem:a1de2b9f6c39936afa8f821ca262deadd inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">setStartKind</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="el" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>)</td></tr>
|
|
147
|
+
<tr class="separator:a1de2b9f6c39936afa8f821ca262deadd inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
148
|
+
<tr class="memitem:a37a31f03501a11e7951d56dbf1cb146a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">setTotalKind</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> <a class="el" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">totalKind</a>)</td></tr>
|
|
149
|
+
<tr class="separator:a37a31f03501a11e7951d56dbf1cb146a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
150
|
+
<tr class="memitem:a333aa14f1f969ff9cf60c23b35535074 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074">extractKindStrFromSymbolStr</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &symbolStr) const</td></tr>
|
|
151
|
+
<tr class="separator:a333aa14f1f969ff9cf60c23b35535074 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
152
|
+
<tr class="memitem:a0e99f099b675baae8d1e84b453ee05e0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0">extractAttributeStrFromSymbolStr</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &symbolStr) const</td></tr>
|
|
153
|
+
<tr class="separator:a0e99f099b675baae8d1e84b453ee05e0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
154
|
+
<tr class="memitem:a2eb6ab294093710ca1dc119836adff5a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a">setRawProductions</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > &<a class="el" href="classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd">rawProductions</a>)</td></tr>
|
|
155
|
+
<tr class="separator:a2eb6ab294093710ca1dc119836adff5a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
156
|
+
<tr class="memitem:a082342020848e545c983df4d5ec6720a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a082342020848e545c983df4d5ec6720a">setKindToAttrsMap</a> (const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a>, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< <a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> >> &<a class="el" href="classSVF_1_1GrammarBase.html#a7707662599fe848ae6526802be4f7b6c">kindToAttrsMap</a>)</td></tr>
|
|
157
|
+
<tr class="separator:a082342020848e545c983df4d5ec6720a inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
158
|
+
<tr class="memitem:a1e1bf1e32bcd7c68ce789c2f9f6327c0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0">setAttributeKinds</a> (const <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> > &attributeKind)</td></tr>
|
|
159
|
+
<tr class="separator:a1e1bf1e32bcd7c68ce789c2f9f6327c0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
160
|
+
<tr class="memitem:a3aae4b70e2ee0238808a2126265a2e24 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">strToKind</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> str) const</td></tr>
|
|
161
|
+
<tr class="separator:a3aae4b70e2ee0238808a2126265a2e24 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
162
|
+
<tr class="memitem:a4826df2851cedaa92e3ab10feee9f583 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">strToSymbol</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> str) const</td></tr>
|
|
163
|
+
<tr class="separator:a4826df2851cedaa92e3ab10feee9f583 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
164
|
+
<tr class="memitem:acf42a1921b3af3fbb3d358736518f7b3 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3">kindToStr</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind) const</td></tr>
|
|
165
|
+
<tr class="separator:acf42a1921b3af3fbb3d358736518f7b3 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
166
|
+
<tr class="memitem:a49aad1a3620735a2929795df3d23ba38 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38">symToStrDump</a> (<a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> sym) const</td></tr>
|
|
167
|
+
<tr class="separator:a49aad1a3620735a2929795df3d23ba38 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
168
|
+
<tr class="memitem:afb21efe07e3451ad8284cab384963f06 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">getSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &prod, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos)</td></tr>
|
|
169
|
+
<tr class="separator:afb21efe07e3451ad8284cab384963f06 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
170
|
+
<tr class="memitem:a2620ded7573ebdb8b4595e199105ef0e inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e">getAttrSyms</a> () const</td></tr>
|
|
171
|
+
<tr class="separator:a2620ded7573ebdb8b4595e199105ef0e inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
172
|
+
<tr class="memitem:ac15b20ef3698ddab09c4c60e302ea4a0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">insertNonterminalKind</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> const kindStr)</td></tr>
|
|
173
|
+
<tr class="memdesc:ac15b20ef3698ddab09c4c60e302ea4a0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="mdescLeft"> </td><td class="mdescRight">Insert kind to nonterminal and return kind. <a href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">More...</a><br /></td></tr>
|
|
174
|
+
<tr class="separator:ac15b20ef3698ddab09c4c60e302ea4a0 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
175
|
+
<tr class="memitem:ad2f1a578ba72a2b600014b21b6f2d542 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">insertTerminalKind</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
|
|
176
|
+
<tr class="separator:ad2f1a578ba72a2b600014b21b6f2d542 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
177
|
+
<tr class="memitem:a3c16f37c05de31fbd2be1ae9c0961e84 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">insertSymbol</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
|
|
178
|
+
<tr class="separator:a3c16f37c05de31fbd2be1ae9c0961e84 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
179
|
+
<tr class="memitem:a63389968c8d246a84562a8d17e08790b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
|
|
180
|
+
<tr class="separator:a63389968c8d246a84562a8d17e08790b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
181
|
+
<tr class="memitem:a7583350e892c62a454de8a8317e4c1b8 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">insertTerminalSymbol</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
|
|
182
|
+
<tr class="separator:a7583350e892c62a454de8a8317e4c1b8 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
183
|
+
<tr class="memitem:a2af19122bccb7ca0c7ab44a07a1bdfb1 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1">insertEBNFSigns</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> strLit)</td></tr>
|
|
184
|
+
<tr class="separator:a2af19122bccb7ca0c7ab44a07a1bdfb1 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
185
|
+
<tr class="memitem:aa188ee22955b98c31abbf2b339b64d20 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">insertAttribute</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind, <a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> <a class="el" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>)</td></tr>
|
|
186
|
+
<tr class="separator:aa188ee22955b98c31abbf2b339b64d20 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
187
|
+
</table><table class="memberdecls">
|
|
188
|
+
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
|
|
189
|
+
Static Public Member Functions</h2></td></tr>
|
|
190
|
+
<tr class="memitem:ac004251a16c0af22fe6775b7908d2a33"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#ac004251a16c0af22fe6775b7908d2a33">classof</a> (const <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *)</td></tr>
|
|
191
|
+
<tr class="memdesc:ac004251a16c0af22fe6775b7908d2a33"><td class="mdescLeft"> </td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast: <a href="classSVF_1_1CFGrammar.html#ac004251a16c0af22fe6775b7908d2a33">More...</a><br /></td></tr>
|
|
192
|
+
<tr class="separator:ac004251a16c0af22fe6775b7908d2a33"><td class="memSeparator" colspan="2"> </td></tr>
|
|
193
|
+
<tr class="memitem:ab5ec52098ce63b94c2b63bf28fa27942"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#ab5ec52098ce63b94c2b63bf28fa27942">classof</a> (const <a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *node)</td></tr>
|
|
194
|
+
<tr class="separator:ab5ec52098ce63b94c2b63bf28fa27942"><td class="memSeparator" colspan="2"> </td></tr>
|
|
195
|
+
<tr class="inherit_header pub_static_methods_classSVF_1_1GrammarBase"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1GrammarBase')"><img src="closed.png" alt="-"/> Static Public Member Functions inherited from <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td></tr>
|
|
196
|
+
<tr class="memitem:af418e1033618da75e974a04ee1d7e275 inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">getAttributedKind</a> (<a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a> attribute, <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind)</td></tr>
|
|
197
|
+
<tr class="separator:af418e1033618da75e974a04ee1d7e275 inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
198
|
+
<tr class="memitem:ad7321168f53baa55098f7c714ec53f1e inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">getVariabledKind</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">VariableAttribute</a> variableAttribute, <a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> kind)</td></tr>
|
|
199
|
+
<tr class="separator:ad7321168f53baa55098f7c714ec53f1e inherit pub_static_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
200
|
+
</table><table class="memberdecls">
|
|
201
|
+
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
|
|
202
|
+
Private Attributes</h2></td></tr>
|
|
203
|
+
<tr class="memitem:a66a41e0f9a4c6112a686584e7d48d1e6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a>< <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6">epsilonProds</a></td></tr>
|
|
204
|
+
<tr class="separator:a66a41e0f9a4c6112a686584e7d48d1e6"><td class="memSeparator" colspan="2"> </td></tr>
|
|
205
|
+
<tr class="memitem:a727061855e5c86525e7ea1a165b97346"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a></td></tr>
|
|
206
|
+
<tr class="separator:a727061855e5c86525e7ea1a165b97346"><td class="memSeparator" colspan="2"> </td></tr>
|
|
207
|
+
<tr class="memitem:a02117195df31a99b3fa3250ba33425c5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a></td></tr>
|
|
208
|
+
<tr class="separator:a02117195df31a99b3fa3250ba33425c5"><td class="memSeparator" colspan="2"> </td></tr>
|
|
209
|
+
<tr class="memitem:acc33ac845314730a896c0c3459088e4f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a>< <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a></td></tr>
|
|
210
|
+
<tr class="separator:acc33ac845314730a896c0c3459088e4f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
211
|
+
<tr class="memitem:ae2648458abb2ead76191a0a65394a95c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c">newTerminalSubscript</a></td></tr>
|
|
212
|
+
<tr class="separator:ae2648458abb2ead76191a0a65394a95c"><td class="memSeparator" colspan="2"> </td></tr>
|
|
213
|
+
</table><table class="memberdecls">
|
|
214
|
+
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
215
|
+
Additional Inherited Members</h2></td></tr>
|
|
216
|
+
<tr class="inherit_header pub_types_classSVF_1_1GrammarBase"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GrammarBase')"><img src="closed.png" alt="-"/> Public Types inherited from <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td></tr>
|
|
217
|
+
<tr class="memitem:a7aef5c42fbd8a62dd4a541cc0e8e8187 inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a></td></tr>
|
|
218
|
+
<tr class="separator:a7aef5c42fbd8a62dd4a541cc0e8e8187 inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
219
|
+
<tr class="memitem:ab070e5449d26e347b957d8b994d0303f inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">Attribute</a></td></tr>
|
|
220
|
+
<tr class="separator:ab070e5449d26e347b957d8b994d0303f inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
221
|
+
<tr class="memitem:a716ce662e6a3f2febf3ab378c4217759 inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">VariableAttribute</a></td></tr>
|
|
222
|
+
<tr class="separator:a716ce662e6a3f2febf3ab378c4217759 inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
223
|
+
<tr class="memitem:a760208fb9737e766deb79d593ab86a3c inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a></td></tr>
|
|
224
|
+
<tr class="separator:a760208fb9737e766deb79d593ab86a3c inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
225
|
+
<tr class="memitem:a4405933cc8ed8cf30b98ee16fc14c112 inherit pub_types_classSVF_1_1GrammarBase"><td class="memTemplParams" colspan="2">template<typename Key , typename Value , typename Hash = SymbolHash, typename KeyEqual = std::equal_to<Key>, typename Allocator = std::allocator<std::pair<const Key, Value>>> </td></tr>
|
|
226
|
+
<tr class="memitem:a4405933cc8ed8cf30b98ee16fc14c112 inherit pub_types_classSVF_1_1GrammarBase"><td class="memTemplItemLeft" align="right" valign="top">using </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a> = std::unordered_map< Key, <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>, <a class="el" href="structSVF_1_1Hash.html">Hash</a>, KeyEqual, Allocator ></td></tr>
|
|
227
|
+
<tr class="separator:a4405933cc8ed8cf30b98ee16fc14c112 inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
228
|
+
<tr class="memitem:a8687586451b07458d591120cdee9f6a3 inherit pub_types_classSVF_1_1GrammarBase"><td class="memTemplParams" colspan="2">template<typename Key , typename Hash = SymbolVectorHash, typename KeyEqual = std::equal_to<Key>, typename Allocator = std::allocator<Key>> </td></tr>
|
|
229
|
+
<tr class="memitem:a8687586451b07458d591120cdee9f6a3 inherit pub_types_classSVF_1_1GrammarBase"><td class="memTemplItemLeft" align="right" valign="top">using </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a> = std::unordered_set< Key, <a class="el" href="structSVF_1_1Hash.html">Hash</a>, KeyEqual, Allocator ></td></tr>
|
|
230
|
+
<tr class="separator:a8687586451b07458d591120cdee9f6a3 inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
231
|
+
<tr class="memitem:af384c960a5edc576cbfb60a869e346ec inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef std::vector< <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a></td></tr>
|
|
232
|
+
<tr class="separator:af384c960a5edc576cbfb60a869e346ec inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
233
|
+
<tr class="memitem:a755024745a77509d2f07867be8245a4d inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a>< <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a></td></tr>
|
|
234
|
+
<tr class="separator:a755024745a77509d2f07867be8245a4d inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
235
|
+
<tr class="inherit_header pro_attribs_classSVF_1_1GrammarBase"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1GrammarBase')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td></tr>
|
|
236
|
+
<tr class="memitem:a604cb7d4850cfd12d3b8730e0cab84af inherit pro_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a></td></tr>
|
|
237
|
+
<tr class="separator:a604cb7d4850cfd12d3b8730e0cab84af inherit pro_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
238
|
+
<tr class="inherit_header pro_static_attribs_classSVF_1_1GrammarBase"><td colspan="2" onclick="javascript:toggleInherit('pro_static_attribs_classSVF_1_1GrammarBase')"><img src="closed.png" alt="-"/> Static Protected Attributes inherited from <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td></tr>
|
|
239
|
+
<tr class="memitem:adc1413dc2e875a6e74bdb5b985cdd39f inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static constexpr unsigned char </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a> = 8</td></tr>
|
|
240
|
+
<tr class="memdesc:adc1413dc2e875a6e74bdb5b985cdd39f inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="mdescLeft"> </td><td class="mdescRight">We use the lower 8 bits to denote edge kind. <a href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">More...</a><br /></td></tr>
|
|
241
|
+
<tr class="separator:adc1413dc2e875a6e74bdb5b985cdd39f inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
242
|
+
<tr class="memitem:a2dcb7647b5be7b3ab1dad2c494828854 inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static constexpr unsigned char </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">AttributedKindMaskBits</a> = 24</td></tr>
|
|
243
|
+
<tr class="memdesc:a2dcb7647b5be7b3ab1dad2c494828854 inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="mdescLeft"> </td><td class="mdescRight">We use the lower 24 bits to denote attributed kind. <a href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">More...</a><br /></td></tr>
|
|
244
|
+
<tr class="separator:a2dcb7647b5be7b3ab1dad2c494828854 inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
245
|
+
<tr class="memitem:a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">static constexpr <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d">EdgeKindMask</a> = (~0ULL) >> (64 - <a class="el" href="classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f">EdgeKindMaskBits</a>)</td></tr>
|
|
246
|
+
<tr class="separator:a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d inherit pro_static_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2"> </td></tr>
|
|
247
|
+
</table>
|
|
248
|
+
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
249
|
+
<div class="textblock">
|
|
250
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00290">290</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
251
|
+
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
252
|
+
<a id="a6955bde4faa1d7b5d1f092c242a11a1b"></a>
|
|
253
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a6955bde4faa1d7b5d1f092c242a11a1b">◆ </a></span>CFGrammar()</h2>
|
|
254
|
+
|
|
255
|
+
<div class="memitem">
|
|
256
|
+
<div class="memproto">
|
|
257
|
+
<table class="memname">
|
|
258
|
+
<tr>
|
|
259
|
+
<td class="memname">CFGrammar::CFGrammar </td>
|
|
260
|
+
<td>(</td>
|
|
261
|
+
<td class="paramname"></td><td>)</td>
|
|
262
|
+
<td></td>
|
|
263
|
+
</tr>
|
|
264
|
+
</table>
|
|
265
|
+
</div><div class="memdoc">
|
|
266
|
+
|
|
267
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00341">341</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
|
|
268
|
+
<div class="fragment"><div class="line"><a name="l00342"></a><span class="lineno"> 342</span> {</div>
|
|
269
|
+
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  <a class="code" href="classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c">newTerminalSubscript</a> = 0;</div>
|
|
270
|
+
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span> }</div>
|
|
271
|
+
</div><!-- fragment -->
|
|
272
|
+
</div>
|
|
273
|
+
</div>
|
|
274
|
+
<h2 class="groupheader">Member Function Documentation</h2>
|
|
275
|
+
<a id="ac004251a16c0af22fe6775b7908d2a33"></a>
|
|
276
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ac004251a16c0af22fe6775b7908d2a33">◆ </a></span>classof() <span class="overload">[1/2]</span></h2>
|
|
277
|
+
|
|
278
|
+
<div class="memitem">
|
|
279
|
+
<div class="memproto">
|
|
280
|
+
<table class="mlabels">
|
|
281
|
+
<tr>
|
|
282
|
+
<td class="mlabels-left">
|
|
283
|
+
<table class="memname">
|
|
284
|
+
<tr>
|
|
285
|
+
<td class="memname">static bool SVF::CFGrammar::classof </td>
|
|
286
|
+
<td>(</td>
|
|
287
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
288
|
+
<td class="paramname"></td><td>)</td>
|
|
289
|
+
<td></td>
|
|
290
|
+
</tr>
|
|
291
|
+
</table>
|
|
292
|
+
</td>
|
|
293
|
+
<td class="mlabels-right">
|
|
294
|
+
<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
|
|
295
|
+
</tr>
|
|
296
|
+
</table>
|
|
297
|
+
</div><div class="memdoc">
|
|
298
|
+
|
|
299
|
+
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
300
|
+
|
|
301
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00298">298</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
302
|
+
<div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  {</div>
|
|
303
|
+
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
304
|
+
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  }</div>
|
|
305
|
+
</div><!-- fragment -->
|
|
306
|
+
</div>
|
|
307
|
+
</div>
|
|
308
|
+
<a id="ab5ec52098ce63b94c2b63bf28fa27942"></a>
|
|
309
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ab5ec52098ce63b94c2b63bf28fa27942">◆ </a></span>classof() <span class="overload">[2/2]</span></h2>
|
|
310
|
+
|
|
311
|
+
<div class="memitem">
|
|
312
|
+
<div class="memproto">
|
|
313
|
+
<table class="mlabels">
|
|
314
|
+
<tr>
|
|
315
|
+
<td class="mlabels-left">
|
|
316
|
+
<table class="memname">
|
|
317
|
+
<tr>
|
|
318
|
+
<td class="memname">static bool SVF::CFGrammar::classof </td>
|
|
319
|
+
<td>(</td>
|
|
320
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> * </td>
|
|
321
|
+
<td class="paramname"><em>node</em></td><td>)</td>
|
|
322
|
+
<td></td>
|
|
323
|
+
</tr>
|
|
324
|
+
</table>
|
|
325
|
+
</td>
|
|
326
|
+
<td class="mlabels-right">
|
|
327
|
+
<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
|
|
328
|
+
</tr>
|
|
329
|
+
</table>
|
|
330
|
+
</div><div class="memdoc">
|
|
331
|
+
|
|
332
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00303">303</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
333
|
+
<div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  {</div>
|
|
334
|
+
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
335
|
+
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  }</div>
|
|
336
|
+
</div><!-- fragment -->
|
|
337
|
+
</div>
|
|
338
|
+
</div>
|
|
339
|
+
<a id="a032e6a1ccff5444f0c849309ac2ad23f"></a>
|
|
340
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a032e6a1ccff5444f0c849309ac2ad23f">◆ </a></span>dump() <span class="overload">[1/2]</span></h2>
|
|
341
|
+
|
|
342
|
+
<div class="memitem">
|
|
343
|
+
<div class="memproto">
|
|
344
|
+
<table class="memname">
|
|
345
|
+
<tr>
|
|
346
|
+
<td class="memname">void CFGrammar::dump </td>
|
|
347
|
+
<td>(</td>
|
|
348
|
+
<td class="paramname"></td><td>)</td>
|
|
349
|
+
<td> const</td>
|
|
350
|
+
</tr>
|
|
351
|
+
</table>
|
|
352
|
+
</div><div class="memdoc">
|
|
353
|
+
|
|
354
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00346">346</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
|
|
355
|
+
<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span> {</div>
|
|
356
|
+
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  <a class="code" href="classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f">dump</a>(<span class="stringliteral">"Normailized_Grammar.txt"</span>);</div>
|
|
357
|
+
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span> }</div>
|
|
358
|
+
</div><!-- fragment -->
|
|
359
|
+
</div>
|
|
360
|
+
</div>
|
|
361
|
+
<a id="ab417de2cfd096477e288742b2967cded"></a>
|
|
362
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ab417de2cfd096477e288742b2967cded">◆ </a></span>dump() <span class="overload">[2/2]</span></h2>
|
|
363
|
+
|
|
364
|
+
<div class="memitem">
|
|
365
|
+
<div class="memproto">
|
|
366
|
+
<table class="memname">
|
|
367
|
+
<tr>
|
|
368
|
+
<td class="memname">void CFGrammar::dump </td>
|
|
369
|
+
<td>(</td>
|
|
370
|
+
<td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td>
|
|
371
|
+
<td class="paramname"><em>fileName</em></td><td>)</td>
|
|
372
|
+
<td> const</td>
|
|
373
|
+
</tr>
|
|
374
|
+
</table>
|
|
375
|
+
</div><div class="memdoc">
|
|
376
|
+
|
|
377
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8cpp_source.html#l00351">351</a> of file <a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a>.</p>
|
|
378
|
+
<div class="fragment"><div class="line"><a name="l00352"></a><span class="lineno"> 352</span> {</div>
|
|
379
|
+
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  std::ofstream gramFile(fileName);</div>
|
|
380
|
+
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  gramFile << <span class="stringliteral">"Start Kind:\n"</span>;</div>
|
|
381
|
+
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  gramFile << <span class="charliteral">'\t'</span> << <a class="code" href="classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3">kindToStr</a>(<a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a>) << <span class="charliteral">'('</span> << <a class="code" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a> << <span class="charliteral">')'</span> << <span class="charliteral">' '</span> << <span class="stringliteral">"\n\n"</span>;</div>
|
|
382
|
+
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  </div>
|
|
383
|
+
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  gramFile << <span class="stringliteral">"Epsilon Production:\n"</span>;</div>
|
|
384
|
+
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  std::vector<std::string> strV;</div>
|
|
385
|
+
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: this-><a class="code" href="classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6">epsilonProds</a>)</div>
|
|
386
|
+
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  {</div>
|
|
387
|
+
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  std::stringstream ss;</div>
|
|
388
|
+
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div>
|
|
389
|
+
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  {</div>
|
|
390
|
+
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  <span class="keywordflow">if</span> (sym == pro[1])</div>
|
|
391
|
+
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  {</div>
|
|
392
|
+
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  ss << <span class="stringliteral">"-> "</span>;</div>
|
|
393
|
+
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  }</div>
|
|
394
|
+
<div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38">symToStrDump</a>(sym) << <span class="charliteral">'('</span> << sym.kind << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div>
|
|
395
|
+
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  }</div>
|
|
396
|
+
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  strV.insert(strV.begin(), ss.str());</div>
|
|
397
|
+
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  }</div>
|
|
398
|
+
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  std::sort(strV.begin(), strV.end());</div>
|
|
399
|
+
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div>
|
|
400
|
+
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  {</div>
|
|
401
|
+
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  gramFile << <span class="charliteral">'\t'</span>;</div>
|
|
402
|
+
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  gramFile << pro;</div>
|
|
403
|
+
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  gramFile << <span class="charliteral">'\n'</span>;</div>
|
|
404
|
+
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  }</div>
|
|
405
|
+
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  gramFile << <span class="charliteral">'\n'</span>;</div>
|
|
406
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  </div>
|
|
407
|
+
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  gramFile << <span class="stringliteral">"Single Production:\n"</span>;</div>
|
|
408
|
+
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  strV = {};</div>
|
|
409
|
+
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>)</div>
|
|
410
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  {</div>
|
|
411
|
+
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div>
|
|
412
|
+
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  {</div>
|
|
413
|
+
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  std::stringstream ss;</div>
|
|
414
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <span class="keywordtype">int</span> i = 0;</div>
|
|
415
|
+
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div>
|
|
416
|
+
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  {</div>
|
|
417
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  i++;</div>
|
|
418
|
+
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  <span class="keywordflow">if</span> (i == 2)</div>
|
|
419
|
+
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  {</div>
|
|
420
|
+
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  ss << <span class="stringliteral">"-> "</span>;</div>
|
|
421
|
+
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  }</div>
|
|
422
|
+
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38">symToStrDump</a>(sym) << <span class="charliteral">'('</span> << sym.kind << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div>
|
|
423
|
+
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  }</div>
|
|
424
|
+
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  strV.insert(strV.begin(), ss.str());</div>
|
|
425
|
+
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  }</div>
|
|
426
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  }</div>
|
|
427
|
+
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  std::sort(strV.begin(), strV.end());</div>
|
|
428
|
+
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div>
|
|
429
|
+
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  {</div>
|
|
430
|
+
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span>  gramFile << <span class="charliteral">'\t'</span>;</div>
|
|
431
|
+
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  gramFile << pro;</div>
|
|
432
|
+
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  gramFile << <span class="charliteral">'\n'</span>;</div>
|
|
433
|
+
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  }</div>
|
|
434
|
+
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  gramFile << <span class="charliteral">'\n'</span>;</div>
|
|
435
|
+
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  </div>
|
|
436
|
+
<div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  gramFile << <span class="stringliteral">"Binary Production:\n"</span>;</div>
|
|
437
|
+
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  strV = {};</div>
|
|
438
|
+
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> symProPair: <a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>)</div>
|
|
439
|
+
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  {</div>
|
|
440
|
+
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: symProPair.second)</div>
|
|
441
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  {</div>
|
|
442
|
+
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  std::stringstream ss;</div>
|
|
443
|
+
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  <span class="keywordtype">int</span> i = 0;</div>
|
|
444
|
+
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> sym : pro)</div>
|
|
445
|
+
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  {</div>
|
|
446
|
+
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  i++;</div>
|
|
447
|
+
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  </div>
|
|
448
|
+
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  <span class="keywordflow">if</span> (i == 2)</div>
|
|
449
|
+
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  {</div>
|
|
450
|
+
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  ss << <span class="stringliteral">"-> "</span>;</div>
|
|
451
|
+
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  }</div>
|
|
452
|
+
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  ss << <a class="code" href="classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38">symToStrDump</a>(sym) << <span class="charliteral">'('</span> << sym.kind << <span class="charliteral">')'</span> << <span class="charliteral">' '</span>;</div>
|
|
453
|
+
<div class="line"><a name="l00427"></a><span class="lineno"> 427</span>  }</div>
|
|
454
|
+
<div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  strV.insert(strV.begin(), ss.str());</div>
|
|
455
|
+
<div class="line"><a name="l00429"></a><span class="lineno"> 429</span>  }</div>
|
|
456
|
+
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  }</div>
|
|
457
|
+
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  std::sort(strV.begin(), strV.end());</div>
|
|
458
|
+
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> pro: strV)</div>
|
|
459
|
+
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  {</div>
|
|
460
|
+
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  gramFile << <span class="charliteral">'\t'</span>;</div>
|
|
461
|
+
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  gramFile << pro;</div>
|
|
462
|
+
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  gramFile << <span class="charliteral">'\n'</span>;</div>
|
|
463
|
+
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  }</div>
|
|
464
|
+
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  gramFile << <span class="charliteral">'\n'</span>;</div>
|
|
465
|
+
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  </div>
|
|
466
|
+
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  gramFile.close();</div>
|
|
467
|
+
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span> }</div>
|
|
468
|
+
</div><!-- fragment -->
|
|
469
|
+
</div>
|
|
470
|
+
</div>
|
|
471
|
+
<a id="a79d4babef29a8206379a0fc4017d5f29"></a>
|
|
472
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a79d4babef29a8206379a0fc4017d5f29">◆ </a></span>getEpsilonProds()</h2>
|
|
473
|
+
|
|
474
|
+
<div class="memitem">
|
|
475
|
+
<div class="memproto">
|
|
476
|
+
<table class="mlabels">
|
|
477
|
+
<tr>
|
|
478
|
+
<td class="mlabels-left">
|
|
479
|
+
<table class="memname">
|
|
480
|
+
<tr>
|
|
481
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& SVF::CFGrammar::getEpsilonProds </td>
|
|
482
|
+
<td>(</td>
|
|
483
|
+
<td class="paramname"></td><td>)</td>
|
|
484
|
+
<td></td>
|
|
485
|
+
</tr>
|
|
486
|
+
</table>
|
|
487
|
+
</td>
|
|
488
|
+
<td class="mlabels-right">
|
|
489
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
490
|
+
</tr>
|
|
491
|
+
</table>
|
|
492
|
+
</div><div class="memdoc">
|
|
493
|
+
|
|
494
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00308">308</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
495
|
+
<div class="fragment"><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  {</div>
|
|
496
|
+
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6">epsilonProds</a>;</div>
|
|
497
|
+
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  }</div>
|
|
498
|
+
</div><!-- fragment -->
|
|
499
|
+
</div>
|
|
500
|
+
</div>
|
|
501
|
+
<a id="a48aa7267893296b066050d3b444c14e7"></a>
|
|
502
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a48aa7267893296b066050d3b444c14e7">◆ </a></span>getFirstRHSSymbol()</h2>
|
|
503
|
+
|
|
504
|
+
<div class="memitem">
|
|
505
|
+
<div class="memproto">
|
|
506
|
+
<table class="mlabels">
|
|
507
|
+
<tr>
|
|
508
|
+
<td class="mlabels-left">
|
|
509
|
+
<table class="memname">
|
|
510
|
+
<tr>
|
|
511
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>& SVF::CFGrammar::getFirstRHSSymbol </td>
|
|
512
|
+
<td>(</td>
|
|
513
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> & </td>
|
|
514
|
+
<td class="paramname"><em>prod</em></td><td>)</td>
|
|
515
|
+
<td> const</td>
|
|
516
|
+
</tr>
|
|
517
|
+
</table>
|
|
518
|
+
</td>
|
|
519
|
+
<td class="mlabels-right">
|
|
520
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
521
|
+
</tr>
|
|
522
|
+
</table>
|
|
523
|
+
</div><div class="memdoc">
|
|
524
|
+
|
|
525
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00373">373</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
526
|
+
<div class="fragment"><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  {</div>
|
|
527
|
+
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <span class="keywordflow">return</span> prod.at(1);</div>
|
|
528
|
+
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  }</div>
|
|
529
|
+
</div><!-- fragment -->
|
|
530
|
+
</div>
|
|
531
|
+
</div>
|
|
532
|
+
<a id="ad06bd6d1c5fb6fc02efc694c2715a27c"></a>
|
|
533
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ad06bd6d1c5fb6fc02efc694c2715a27c">◆ </a></span>getFirstRHSToProds()</h2>
|
|
534
|
+
|
|
535
|
+
<div class="memitem">
|
|
536
|
+
<div class="memproto">
|
|
537
|
+
<table class="mlabels">
|
|
538
|
+
<tr>
|
|
539
|
+
<td class="mlabels-left">
|
|
540
|
+
<table class="memname">
|
|
541
|
+
<tr>
|
|
542
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>>& SVF::CFGrammar::getFirstRHSToProds </td>
|
|
543
|
+
<td>(</td>
|
|
544
|
+
<td class="paramname"></td><td>)</td>
|
|
545
|
+
<td></td>
|
|
546
|
+
</tr>
|
|
547
|
+
</table>
|
|
548
|
+
</td>
|
|
549
|
+
<td class="mlabels-right">
|
|
550
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
551
|
+
</tr>
|
|
552
|
+
</table>
|
|
553
|
+
</div><div class="memdoc">
|
|
554
|
+
|
|
555
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00318">318</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
556
|
+
<div class="fragment"><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  {</div>
|
|
557
|
+
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>;</div>
|
|
558
|
+
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  }</div>
|
|
559
|
+
</div><!-- fragment -->
|
|
560
|
+
</div>
|
|
561
|
+
</div>
|
|
562
|
+
<a id="a5962f35418f48005240d0a467a777fcd"></a>
|
|
563
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a5962f35418f48005240d0a467a777fcd">◆ </a></span>getLHSSymbol()</h2>
|
|
564
|
+
|
|
565
|
+
<div class="memitem">
|
|
566
|
+
<div class="memproto">
|
|
567
|
+
<table class="mlabels">
|
|
568
|
+
<tr>
|
|
569
|
+
<td class="mlabels-left">
|
|
570
|
+
<table class="memname">
|
|
571
|
+
<tr>
|
|
572
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>& SVF::CFGrammar::getLHSSymbol </td>
|
|
573
|
+
<td>(</td>
|
|
574
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> & </td>
|
|
575
|
+
<td class="paramname"><em>prod</em></td><td>)</td>
|
|
576
|
+
<td> const</td>
|
|
577
|
+
</tr>
|
|
578
|
+
</table>
|
|
579
|
+
</td>
|
|
580
|
+
<td class="mlabels-right">
|
|
581
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
582
|
+
</tr>
|
|
583
|
+
</table>
|
|
584
|
+
</div><div class="memdoc">
|
|
585
|
+
|
|
586
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00368">368</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
587
|
+
<div class="fragment"><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  {</div>
|
|
588
|
+
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  <span class="keywordflow">return</span> prod.at(0);</div>
|
|
589
|
+
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  }</div>
|
|
590
|
+
</div><!-- fragment -->
|
|
591
|
+
</div>
|
|
592
|
+
</div>
|
|
593
|
+
<a id="a0c436fdc35825a0f5c244b3f3441ae1a"></a>
|
|
594
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a0c436fdc35825a0f5c244b3f3441ae1a">◆ </a></span>getProdsFromFirstRHS()</h2>
|
|
595
|
+
|
|
596
|
+
<div class="memitem">
|
|
597
|
+
<div class="memproto">
|
|
598
|
+
<table class="mlabels">
|
|
599
|
+
<tr>
|
|
600
|
+
<td class="mlabels-left">
|
|
601
|
+
<table class="memname">
|
|
602
|
+
<tr>
|
|
603
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& SVF::CFGrammar::getProdsFromFirstRHS </td>
|
|
604
|
+
<td>(</td>
|
|
605
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> </td>
|
|
606
|
+
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
607
|
+
<td> const</td>
|
|
608
|
+
</tr>
|
|
609
|
+
</table>
|
|
610
|
+
</td>
|
|
611
|
+
<td class="mlabels-right">
|
|
612
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
613
|
+
</tr>
|
|
614
|
+
</table>
|
|
615
|
+
</div><div class="memdoc">
|
|
616
|
+
|
|
617
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00353">353</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
618
|
+
<div class="fragment"><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  {</div>
|
|
619
|
+
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>.find(sym);</div>
|
|
620
|
+
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  assert(it!=<a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>.end() && <span class="stringliteral">"production (X -> sym Y ) not found for sym!!"</span>);</div>
|
|
621
|
+
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
622
|
+
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  }</div>
|
|
623
|
+
</div><!-- fragment -->
|
|
624
|
+
</div>
|
|
625
|
+
</div>
|
|
626
|
+
<a id="a39ee3733b247f40ea27ddc7e17334544"></a>
|
|
627
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a39ee3733b247f40ea27ddc7e17334544">◆ </a></span>getProdsFromSecondRHS()</h2>
|
|
628
|
+
|
|
629
|
+
<div class="memitem">
|
|
630
|
+
<div class="memproto">
|
|
631
|
+
<table class="mlabels">
|
|
632
|
+
<tr>
|
|
633
|
+
<td class="mlabels-left">
|
|
634
|
+
<table class="memname">
|
|
635
|
+
<tr>
|
|
636
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& SVF::CFGrammar::getProdsFromSecondRHS </td>
|
|
637
|
+
<td>(</td>
|
|
638
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> </td>
|
|
639
|
+
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
640
|
+
<td> const</td>
|
|
641
|
+
</tr>
|
|
642
|
+
</table>
|
|
643
|
+
</td>
|
|
644
|
+
<td class="mlabels-right">
|
|
645
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
646
|
+
</tr>
|
|
647
|
+
</table>
|
|
648
|
+
</div><div class="memdoc">
|
|
649
|
+
|
|
650
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00360">360</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
651
|
+
<div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  {</div>
|
|
652
|
+
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a>.find(sym);</div>
|
|
653
|
+
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  assert(it!=<a class="code" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a>.end() && <span class="stringliteral">"production (X -> Y sym) not found for sym!!"</span>);</div>
|
|
654
|
+
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
655
|
+
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  }</div>
|
|
656
|
+
</div><!-- fragment -->
|
|
657
|
+
</div>
|
|
658
|
+
</div>
|
|
659
|
+
<a id="a09bb0c9e5e626555273193e437de2b70"></a>
|
|
660
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a09bb0c9e5e626555273193e437de2b70">◆ </a></span>getProdsFromSingleRHS()</h2>
|
|
661
|
+
|
|
662
|
+
<div class="memitem">
|
|
663
|
+
<div class="memproto">
|
|
664
|
+
<table class="mlabels">
|
|
665
|
+
<tr>
|
|
666
|
+
<td class="mlabels-left">
|
|
667
|
+
<table class="memname">
|
|
668
|
+
<tr>
|
|
669
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>& SVF::CFGrammar::getProdsFromSingleRHS </td>
|
|
670
|
+
<td>(</td>
|
|
671
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> </td>
|
|
672
|
+
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
673
|
+
<td> const</td>
|
|
674
|
+
</tr>
|
|
675
|
+
</table>
|
|
676
|
+
</td>
|
|
677
|
+
<td class="mlabels-right">
|
|
678
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
679
|
+
</tr>
|
|
680
|
+
</table>
|
|
681
|
+
</div><div class="memdoc">
|
|
682
|
+
|
|
683
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00346">346</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
684
|
+
<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  {</div>
|
|
685
|
+
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>.find(sym);</div>
|
|
686
|
+
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  assert(it!=<a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>.end() && <span class="stringliteral">"production (X -> sym) not found for sym!!"</span>);</div>
|
|
687
|
+
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
688
|
+
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  }</div>
|
|
689
|
+
</div><!-- fragment -->
|
|
690
|
+
</div>
|
|
691
|
+
</div>
|
|
692
|
+
<a id="ae5219be7a1d646a0246f7dad560b4f4b"></a>
|
|
693
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ae5219be7a1d646a0246f7dad560b4f4b">◆ </a></span>getSecondRHSSymbol()</h2>
|
|
694
|
+
|
|
695
|
+
<div class="memitem">
|
|
696
|
+
<div class="memproto">
|
|
697
|
+
<table class="mlabels">
|
|
698
|
+
<tr>
|
|
699
|
+
<td class="mlabels-left">
|
|
700
|
+
<table class="memname">
|
|
701
|
+
<tr>
|
|
702
|
+
<td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>& SVF::CFGrammar::getSecondRHSSymbol </td>
|
|
703
|
+
<td>(</td>
|
|
704
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> & </td>
|
|
705
|
+
<td class="paramname"><em>prod</em></td><td>)</td>
|
|
706
|
+
<td> const</td>
|
|
707
|
+
</tr>
|
|
708
|
+
</table>
|
|
709
|
+
</td>
|
|
710
|
+
<td class="mlabels-right">
|
|
711
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
712
|
+
</tr>
|
|
713
|
+
</table>
|
|
714
|
+
</div><div class="memdoc">
|
|
715
|
+
|
|
716
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00378">378</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
717
|
+
<div class="fragment"><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  {</div>
|
|
718
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  <span class="keywordflow">return</span> prod.at(2);</div>
|
|
719
|
+
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  }</div>
|
|
720
|
+
</div><!-- fragment -->
|
|
721
|
+
</div>
|
|
722
|
+
</div>
|
|
723
|
+
<a id="a2506ec7098c676466744e87d1eb8dd3d"></a>
|
|
724
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a2506ec7098c676466744e87d1eb8dd3d">◆ </a></span>getSecondRHSToProds()</h2>
|
|
725
|
+
|
|
726
|
+
<div class="memitem">
|
|
727
|
+
<div class="memproto">
|
|
728
|
+
<table class="mlabels">
|
|
729
|
+
<tr>
|
|
730
|
+
<td class="mlabels-left">
|
|
731
|
+
<table class="memname">
|
|
732
|
+
<tr>
|
|
733
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>>& SVF::CFGrammar::getSecondRHSToProds </td>
|
|
734
|
+
<td>(</td>
|
|
735
|
+
<td class="paramname"></td><td>)</td>
|
|
736
|
+
<td></td>
|
|
737
|
+
</tr>
|
|
738
|
+
</table>
|
|
739
|
+
</td>
|
|
740
|
+
<td class="mlabels-right">
|
|
741
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
742
|
+
</tr>
|
|
743
|
+
</table>
|
|
744
|
+
</div><div class="memdoc">
|
|
745
|
+
|
|
746
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00323">323</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
747
|
+
<div class="fragment"><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  {</div>
|
|
748
|
+
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a>;</div>
|
|
749
|
+
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  }</div>
|
|
750
|
+
</div><!-- fragment -->
|
|
751
|
+
</div>
|
|
752
|
+
</div>
|
|
753
|
+
<a id="a8c853ad1e1b30c3ba4efe66b1d0dddf6"></a>
|
|
754
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a8c853ad1e1b30c3ba4efe66b1d0dddf6">◆ </a></span>getSingleRHSToProds()</h2>
|
|
755
|
+
|
|
756
|
+
<div class="memitem">
|
|
757
|
+
<div class="memproto">
|
|
758
|
+
<table class="mlabels">
|
|
759
|
+
<tr>
|
|
760
|
+
<td class="mlabels-left">
|
|
761
|
+
<table class="memname">
|
|
762
|
+
<tr>
|
|
763
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>>& SVF::CFGrammar::getSingleRHSToProds </td>
|
|
764
|
+
<td>(</td>
|
|
765
|
+
<td class="paramname"></td><td>)</td>
|
|
766
|
+
<td></td>
|
|
767
|
+
</tr>
|
|
768
|
+
</table>
|
|
769
|
+
</td>
|
|
770
|
+
<td class="mlabels-right">
|
|
771
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
772
|
+
</tr>
|
|
773
|
+
</table>
|
|
774
|
+
</div><div class="memdoc">
|
|
775
|
+
|
|
776
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00313">313</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
777
|
+
<div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  {</div>
|
|
778
|
+
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>;</div>
|
|
779
|
+
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  }</div>
|
|
780
|
+
</div><!-- fragment -->
|
|
781
|
+
</div>
|
|
782
|
+
</div>
|
|
783
|
+
<a id="a6a0563acf39967169d6c267387539134"></a>
|
|
784
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a6a0563acf39967169d6c267387539134">◆ </a></span>hasProdsFromFirstRHS()</h2>
|
|
785
|
+
|
|
786
|
+
<div class="memitem">
|
|
787
|
+
<div class="memproto">
|
|
788
|
+
<table class="mlabels">
|
|
789
|
+
<tr>
|
|
790
|
+
<td class="mlabels-left">
|
|
791
|
+
<table class="memname">
|
|
792
|
+
<tr>
|
|
793
|
+
<td class="memname">const bool SVF::CFGrammar::hasProdsFromFirstRHS </td>
|
|
794
|
+
<td>(</td>
|
|
795
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> </td>
|
|
796
|
+
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
797
|
+
<td> const</td>
|
|
798
|
+
</tr>
|
|
799
|
+
</table>
|
|
800
|
+
</td>
|
|
801
|
+
<td class="mlabels-right">
|
|
802
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
803
|
+
</tr>
|
|
804
|
+
</table>
|
|
805
|
+
</div><div class="memdoc">
|
|
806
|
+
|
|
807
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00328">328</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
808
|
+
<div class="fragment"><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  {</div>
|
|
809
|
+
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>.find(sym);</div>
|
|
810
|
+
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">firstRHSToProds</a>.end();</div>
|
|
811
|
+
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  }</div>
|
|
812
|
+
</div><!-- fragment -->
|
|
813
|
+
</div>
|
|
814
|
+
</div>
|
|
815
|
+
<a id="a6d1db255d2b526fa7fdfaa7b2146f0cd"></a>
|
|
816
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a6d1db255d2b526fa7fdfaa7b2146f0cd">◆ </a></span>hasProdsFromSecondRHS()</h2>
|
|
817
|
+
|
|
818
|
+
<div class="memitem">
|
|
819
|
+
<div class="memproto">
|
|
820
|
+
<table class="mlabels">
|
|
821
|
+
<tr>
|
|
822
|
+
<td class="mlabels-left">
|
|
823
|
+
<table class="memname">
|
|
824
|
+
<tr>
|
|
825
|
+
<td class="memname">const bool SVF::CFGrammar::hasProdsFromSecondRHS </td>
|
|
826
|
+
<td>(</td>
|
|
827
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> </td>
|
|
828
|
+
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
829
|
+
<td> const</td>
|
|
830
|
+
</tr>
|
|
831
|
+
</table>
|
|
832
|
+
</td>
|
|
833
|
+
<td class="mlabels-right">
|
|
834
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
835
|
+
</tr>
|
|
836
|
+
</table>
|
|
837
|
+
</div><div class="memdoc">
|
|
838
|
+
|
|
839
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00340">340</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
840
|
+
<div class="fragment"><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  {</div>
|
|
841
|
+
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a>.find(sym);</div>
|
|
842
|
+
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">secondRHSToProds</a>.end();</div>
|
|
843
|
+
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  }</div>
|
|
844
|
+
</div><!-- fragment -->
|
|
845
|
+
</div>
|
|
846
|
+
</div>
|
|
847
|
+
<a id="aefdae80251eaaf9be580d26a5dd268a8"></a>
|
|
848
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aefdae80251eaaf9be580d26a5dd268a8">◆ </a></span>hasProdsFromSingleRHS()</h2>
|
|
849
|
+
|
|
850
|
+
<div class="memitem">
|
|
851
|
+
<div class="memproto">
|
|
852
|
+
<table class="mlabels">
|
|
853
|
+
<tr>
|
|
854
|
+
<td class="mlabels-left">
|
|
855
|
+
<table class="memname">
|
|
856
|
+
<tr>
|
|
857
|
+
<td class="memname">const bool SVF::CFGrammar::hasProdsFromSingleRHS </td>
|
|
858
|
+
<td>(</td>
|
|
859
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a> </td>
|
|
860
|
+
<td class="paramname"><em>sym</em></td><td>)</td>
|
|
861
|
+
<td> const</td>
|
|
862
|
+
</tr>
|
|
863
|
+
</table>
|
|
864
|
+
</td>
|
|
865
|
+
<td class="mlabels-right">
|
|
866
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
867
|
+
</tr>
|
|
868
|
+
</table>
|
|
869
|
+
</div><div class="memdoc">
|
|
870
|
+
|
|
871
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00334">334</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
872
|
+
<div class="fragment"><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  {</div>
|
|
873
|
+
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>.find(sym);</div>
|
|
874
|
+
<div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">singleRHSToProds</a>.end();</div>
|
|
875
|
+
<div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  }</div>
|
|
876
|
+
</div><!-- fragment -->
|
|
877
|
+
</div>
|
|
878
|
+
</div>
|
|
879
|
+
<a id="a4d98bd2fee3d88558ed2b59c3d0d0d57"></a>
|
|
880
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a4d98bd2fee3d88558ed2b59c3d0d0d57">◆ </a></span>num_generator()</h2>
|
|
881
|
+
|
|
882
|
+
<div class="memitem">
|
|
883
|
+
<div class="memproto">
|
|
884
|
+
<table class="mlabels">
|
|
885
|
+
<tr>
|
|
886
|
+
<td class="mlabels-left">
|
|
887
|
+
<table class="memname">
|
|
888
|
+
<tr>
|
|
889
|
+
<td class="memname">const <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::CFGrammar::num_generator </td>
|
|
890
|
+
<td>(</td>
|
|
891
|
+
<td class="paramname"></td><td>)</td>
|
|
892
|
+
<td></td>
|
|
893
|
+
</tr>
|
|
894
|
+
</table>
|
|
895
|
+
</td>
|
|
896
|
+
<td class="mlabels-right">
|
|
897
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
898
|
+
</tr>
|
|
899
|
+
</table>
|
|
900
|
+
</div><div class="memdoc">
|
|
901
|
+
|
|
902
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00388">388</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
903
|
+
<div class="fragment"><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  {</div>
|
|
904
|
+
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c">newTerminalSubscript</a>++;</div>
|
|
905
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  }</div>
|
|
906
|
+
</div><!-- fragment -->
|
|
907
|
+
</div>
|
|
908
|
+
</div>
|
|
909
|
+
<h2 class="groupheader">Member Data Documentation</h2>
|
|
910
|
+
<a id="a66a41e0f9a4c6112a686584e7d48d1e6"></a>
|
|
911
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a66a41e0f9a4c6112a686584e7d48d1e6">◆ </a></span>epsilonProds</h2>
|
|
912
|
+
|
|
913
|
+
<div class="memitem">
|
|
914
|
+
<div class="memproto">
|
|
915
|
+
<table class="mlabels">
|
|
916
|
+
<tr>
|
|
917
|
+
<td class="mlabels-left">
|
|
918
|
+
<table class="memname">
|
|
919
|
+
<tr>
|
|
920
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a><<a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a>> SVF::CFGrammar::epsilonProds</td>
|
|
921
|
+
</tr>
|
|
922
|
+
</table>
|
|
923
|
+
</td>
|
|
924
|
+
<td class="mlabels-right">
|
|
925
|
+
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
926
|
+
</tr>
|
|
927
|
+
</table>
|
|
928
|
+
</div><div class="memdoc">
|
|
929
|
+
|
|
930
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00394">394</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
931
|
+
|
|
932
|
+
</div>
|
|
933
|
+
</div>
|
|
934
|
+
<a id="a02117195df31a99b3fa3250ba33425c5"></a>
|
|
935
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a02117195df31a99b3fa3250ba33425c5">◆ </a></span>firstRHSToProds</h2>
|
|
936
|
+
|
|
937
|
+
<div class="memitem">
|
|
938
|
+
<div class="memproto">
|
|
939
|
+
<table class="mlabels">
|
|
940
|
+
<tr>
|
|
941
|
+
<td class="mlabels-left">
|
|
942
|
+
<table class="memname">
|
|
943
|
+
<tr>
|
|
944
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>> SVF::CFGrammar::firstRHSToProds</td>
|
|
945
|
+
</tr>
|
|
946
|
+
</table>
|
|
947
|
+
</td>
|
|
948
|
+
<td class="mlabels-right">
|
|
949
|
+
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
950
|
+
</tr>
|
|
951
|
+
</table>
|
|
952
|
+
</div><div class="memdoc">
|
|
953
|
+
|
|
954
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00396">396</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
955
|
+
|
|
956
|
+
</div>
|
|
957
|
+
</div>
|
|
958
|
+
<a id="ae2648458abb2ead76191a0a65394a95c"></a>
|
|
959
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ae2648458abb2ead76191a0a65394a95c">◆ </a></span>newTerminalSubscript</h2>
|
|
960
|
+
|
|
961
|
+
<div class="memitem">
|
|
962
|
+
<div class="memproto">
|
|
963
|
+
<table class="mlabels">
|
|
964
|
+
<tr>
|
|
965
|
+
<td class="mlabels-left">
|
|
966
|
+
<table class="memname">
|
|
967
|
+
<tr>
|
|
968
|
+
<td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::CFGrammar::newTerminalSubscript</td>
|
|
969
|
+
</tr>
|
|
970
|
+
</table>
|
|
971
|
+
</td>
|
|
972
|
+
<td class="mlabels-right">
|
|
973
|
+
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
974
|
+
</tr>
|
|
975
|
+
</table>
|
|
976
|
+
</div><div class="memdoc">
|
|
977
|
+
|
|
978
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00398">398</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
979
|
+
|
|
980
|
+
</div>
|
|
981
|
+
</div>
|
|
982
|
+
<a id="acc33ac845314730a896c0c3459088e4f"></a>
|
|
983
|
+
<h2 class="memtitle"><span class="permalink"><a href="#acc33ac845314730a896c0c3459088e4f">◆ </a></span>secondRHSToProds</h2>
|
|
984
|
+
|
|
985
|
+
<div class="memitem">
|
|
986
|
+
<div class="memproto">
|
|
987
|
+
<table class="mlabels">
|
|
988
|
+
<tr>
|
|
989
|
+
<td class="mlabels-left">
|
|
990
|
+
<table class="memname">
|
|
991
|
+
<tr>
|
|
992
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>> SVF::CFGrammar::secondRHSToProds</td>
|
|
993
|
+
</tr>
|
|
994
|
+
</table>
|
|
995
|
+
</td>
|
|
996
|
+
<td class="mlabels-right">
|
|
997
|
+
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
998
|
+
</tr>
|
|
999
|
+
</table>
|
|
1000
|
+
</div><div class="memdoc">
|
|
1001
|
+
|
|
1002
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00397">397</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
1003
|
+
|
|
1004
|
+
</div>
|
|
1005
|
+
</div>
|
|
1006
|
+
<a id="a727061855e5c86525e7ea1a165b97346"></a>
|
|
1007
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a727061855e5c86525e7ea1a165b97346">◆ </a></span>singleRHSToProds</h2>
|
|
1008
|
+
|
|
1009
|
+
<div class="memitem">
|
|
1010
|
+
<div class="memproto">
|
|
1011
|
+
<table class="mlabels">
|
|
1012
|
+
<tr>
|
|
1013
|
+
<td class="mlabels-left">
|
|
1014
|
+
<table class="memname">
|
|
1015
|
+
<tr>
|
|
1016
|
+
<td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a><<a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a>> SVF::CFGrammar::singleRHSToProds</td>
|
|
1017
|
+
</tr>
|
|
1018
|
+
</table>
|
|
1019
|
+
</td>
|
|
1020
|
+
<td class="mlabels-right">
|
|
1021
|
+
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
1022
|
+
</tr>
|
|
1023
|
+
</table>
|
|
1024
|
+
</div><div class="memdoc">
|
|
1025
|
+
|
|
1026
|
+
<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00395">395</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
|
|
1027
|
+
|
|
1028
|
+
</div>
|
|
1029
|
+
</div>
|
|
1030
|
+
<hr/>The documentation for this class was generated from the following files:<ul>
|
|
1031
|
+
<li>/home/runner/work/SVF/SVF/svf/include/CFL/<a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a></li>
|
|
1032
|
+
<li>/home/runner/work/SVF/SVF/svf/lib/CFL/<a class="el" href="CFGrammar_8cpp_source.html">CFGrammar.cpp</a></li>
|
|
1033
|
+
</ul>
|
|
1034
|
+
</div><!-- contents -->
|
|
1035
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a604cb7d4850cfd12d3b8730e0cab84af"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">SVF::GrammarBase::startKind</a></div><div class="ttdeci">Kind startKind</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00279">CFGrammar.h:279</a></div></div>
|
|
1036
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a66a41e0f9a4c6112a686584e7d48d1e6"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6">SVF::CFGrammar::epsilonProds</a></div><div class="ttdeci">SymbolSet< Production > epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00394">CFGrammar.h:394</a></div></div>
|
|
1037
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a49aad1a3620735a2929795df3d23ba38"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38">SVF::GrammarBase::symToStrDump</a></div><div class="ttdeci">std::string symToStrDump(Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00139">CFGrammar.cpp:139</a></div></div>
|
|
1038
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_acc33ac845314730a896c0c3459088e4f"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f">SVF::CFGrammar::secondRHSToProds</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > secondRHSToProds</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00397">CFGrammar.h:397</a></div></div>
|
|
1039
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a02117195df31a99b3fa3250ba33425c5"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a02117195df31a99b3fa3250ba33425c5">SVF::CFGrammar::firstRHSToProds</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > firstRHSToProds</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00396">CFGrammar.h:396</a></div></div>
|
|
1040
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a032e6a1ccff5444f0c849309ac2ad23f"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a032e6a1ccff5444f0c849309ac2ad23f">SVF::CFGrammar::dump</a></div><div class="ttdeci">void dump() const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00346">CFGrammar.cpp:346</a></div></div>
|
|
1041
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a727061855e5c86525e7ea1a165b97346"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346">SVF::CFGrammar::singleRHSToProds</a></div><div class="ttdeci">SymbolMap< Symbol, Productions > singleRHSToProds</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00395">CFGrammar.h:395</a></div></div>
|
|
1042
|
+
<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>
|
|
1043
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_ae2648458abb2ead76191a0a65394a95c"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c">SVF::CFGrammar::newTerminalSubscript</a></div><div class="ttdeci">u32_t newTerminalSubscript</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00398">CFGrammar.h:398</a></div></div>
|
|
1044
|
+
<!-- start footer part -->
|
|
1045
|
+
<hr class="footer"/><address class="footer"><small>
|
|
1046
|
+
Generated by  <a href="http://www.doxygen.org/index.html">
|
|
1047
|
+
<img class="footer" src="doxygen.png" alt="doxygen"/>
|
|
1048
|
+
</a> 1.8.17
|
|
1049
|
+
</small></address>
|
|
1050
|
+
</body>
|
|
1051
|
+
</html>
|