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
|
@@ -72,10 +72,10 @@ $(function() {
|
|
|
72
72
|
|
|
73
73
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a>, including all inherited members.</p>
|
|
74
74
|
<table class="directory">
|
|
75
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
76
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
75
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#afcb585bec6a86f29e9781a5e7ef21dc4">CFLSolver</a>(CFLGraph *_graph, CFGrammar *_grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
76
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">getGrammar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
77
77
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">getGraph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
78
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
78
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
79
79
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
80
80
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a5e94324ee4137610d5513ed11b36f4ba">initialize</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
81
81
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d">isInWorklist</a>(const CFLEdge *item)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
@@ -83,10 +83,10 @@ $(function() {
|
|
|
83
83
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
84
84
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">popFromWorklist</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
85
85
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a53c873a9243d2ef3e8d5eff1b8081102">processCFLEdge</a>(const CFLEdge *Y_edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
|
|
87
87
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">pushIntoWorklist</a>(const CFLEdge *item)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
88
88
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">solve</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
|
|
90
90
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
91
91
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">WorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
|
|
92
92
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a95abd86cf49d28585753ad01b8c8d934">~CFLSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
@@ -94,15 +94,15 @@ Public Types</h2></td></tr>
|
|
|
94
94
|
<tr class="memitem:a194d2c4c801799b0ba9562e33ca5b695"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>< const <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> * > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">WorkList</a></td></tr>
|
|
95
95
|
<tr class="memdesc:a194d2c4c801799b0ba9562e33ca5b695"><td class="mdescLeft"> </td><td class="mdescRight">Define worklist. <a href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">More...</a><br /></td></tr>
|
|
96
96
|
<tr class="separator:a194d2c4c801799b0ba9562e33ca5b695"><td class="memSeparator" colspan="2"> </td></tr>
|
|
97
|
-
<tr class="memitem:
|
|
98
|
-
<tr class="separator:
|
|
99
|
-
<tr class="memitem:
|
|
100
|
-
<tr class="separator:
|
|
97
|
+
<tr class="memitem:a6a0d61a71c25ed2e87c4c15c5175a77e"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">CFGrammar::Production</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a></td></tr>
|
|
98
|
+
<tr class="separator:a6a0d61a71c25ed2e87c4c15c5175a77e"><td class="memSeparator" colspan="2"> </td></tr>
|
|
99
|
+
<tr class="memitem:a6c5e6474c6dfe0a067d397ea66c24dac"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">CFGrammar::Symbol</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a></td></tr>
|
|
100
|
+
<tr class="separator:a6c5e6474c6dfe0a067d397ea66c24dac"><td class="memSeparator" colspan="2"> </td></tr>
|
|
101
101
|
</table><table class="memberdecls">
|
|
102
102
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
|
|
103
103
|
Public Member Functions</h2></td></tr>
|
|
104
|
-
<tr class="memitem:
|
|
105
|
-
<tr class="separator:
|
|
104
|
+
<tr class="memitem:afcb585bec6a86f29e9781a5e7ef21dc4"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#afcb585bec6a86f29e9781a5e7ef21dc4">CFLSolver</a> (<a class="el" href="classSVF_1_1CFLGraph.html">CFLGraph</a> *_graph, <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *_grammar)</td></tr>
|
|
105
|
+
<tr class="separator:afcb585bec6a86f29e9781a5e7ef21dc4"><td class="memSeparator" colspan="2"> </td></tr>
|
|
106
106
|
<tr class="memitem:a95abd86cf49d28585753ad01b8c8d934"><td class="memItemLeft" align="right" valign="top">virtual </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a95abd86cf49d28585753ad01b8c8d934">~CFLSolver</a> ()</td></tr>
|
|
107
107
|
<tr class="separator:a95abd86cf49d28585753ad01b8c8d934"><td class="memSeparator" colspan="2"> </td></tr>
|
|
108
108
|
<tr class="memitem:a5e94324ee4137610d5513ed11b36f4ba"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a5e94324ee4137610d5513ed11b36f4ba">initialize</a> ()</td></tr>
|
|
@@ -117,9 +117,9 @@ Public Member Functions</h2></td></tr>
|
|
|
117
117
|
<tr class="memitem:a2c6bce1f73bcf5937a26e91a7daba33c"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFLGraph.html">CFLGraph</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">getGraph</a> () const</td></tr>
|
|
118
118
|
<tr class="memdesc:a2c6bce1f73bcf5937a26e91a7daba33c"><td class="mdescLeft"> </td><td class="mdescRight">Return CFL Graph. <a href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">More...</a><br /></td></tr>
|
|
119
119
|
<tr class="separator:a2c6bce1f73bcf5937a26e91a7daba33c"><td class="memSeparator" colspan="2"> </td></tr>
|
|
120
|
-
<tr class="memitem:
|
|
121
|
-
<tr class="memdesc:
|
|
122
|
-
<tr class="separator:
|
|
120
|
+
<tr class="memitem:afec22459af0f8483ccdd77f11c981674"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">getGrammar</a> () const</td></tr>
|
|
121
|
+
<tr class="memdesc:afec22459af0f8483ccdd77f11c981674"><td class="mdescLeft"> </td><td class="mdescRight">Return CFL Grammar. <a href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">More...</a><br /></td></tr>
|
|
122
|
+
<tr class="separator:afec22459af0f8483ccdd77f11c981674"><td class="memSeparator" colspan="2"> </td></tr>
|
|
123
123
|
<tr class="memitem:aa6123d73f71b9148d7aafb2ec58bbb34"><td class="memItemLeft" align="right" valign="top">virtual bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">pushIntoWorklist</a> (const <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *<a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">item</a>)</td></tr>
|
|
124
124
|
<tr class="separator:aa6123d73f71b9148d7aafb2ec58bbb34"><td class="memSeparator" colspan="2"> </td></tr>
|
|
125
125
|
<tr class="memitem:ab17e45749a732a0ca29eecf6359e2f2f"><td class="memItemLeft" align="right" valign="top">virtual bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#ab17e45749a732a0ca29eecf6359e2f2f">isWorklistEmpty</a> ()</td></tr>
|
|
@@ -142,8 +142,8 @@ Protected Member Functions</h2></td></tr>
|
|
|
142
142
|
Protected Attributes</h2></td></tr>
|
|
143
143
|
<tr class="memitem:aedd6c605c4c381c738f4c6682c40d9f2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLGraph.html">CFLGraph</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a></td></tr>
|
|
144
144
|
<tr class="separator:aedd6c605c4c381c738f4c6682c40d9f2"><td class="memSeparator" colspan="2"> </td></tr>
|
|
145
|
-
<tr class="memitem:
|
|
146
|
-
<tr class="separator:
|
|
145
|
+
<tr class="memitem:a89781bbd0edd309b7c473ed154e7c11d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a></td></tr>
|
|
146
|
+
<tr class="separator:a89781bbd0edd309b7c473ed154e7c11d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
147
147
|
<tr class="memitem:a211bb78846886aa9ccd4b160da81e02e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">WorkList</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a></td></tr>
|
|
148
148
|
<tr class="memdesc:a211bb78846886aa9ccd4b160da81e02e"><td class="mdescLeft"> </td><td class="mdescRight">Worklist for resolution. <a href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">More...</a><br /></td></tr>
|
|
149
149
|
<tr class="separator:a211bb78846886aa9ccd4b160da81e02e"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -152,14 +152,14 @@ Protected Attributes</h2></td></tr>
|
|
|
152
152
|
<div class="textblock">
|
|
153
153
|
<p class="definition">Definition at line <a class="el" href="CFLSolver_8h_source.html#l00043">43</a> of file <a class="el" href="CFLSolver_8h_source.html">CFLSolver.h</a>.</p>
|
|
154
154
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
155
|
-
<a id="
|
|
156
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
155
|
+
<a id="a6a0d61a71c25ed2e87c4c15c5175a77e"></a>
|
|
156
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a6a0d61a71c25ed2e87c4c15c5175a77e">◆ </a></span>Production</h2>
|
|
157
157
|
|
|
158
158
|
<div class="memitem">
|
|
159
159
|
<div class="memproto">
|
|
160
160
|
<table class="memname">
|
|
161
161
|
<tr>
|
|
162
|
-
<td class="memname">typedef <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">
|
|
162
|
+
<td class="memname">typedef <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">CFGrammar::Production</a> <a class="el" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">SVF::CFLSolver::Production</a></td>
|
|
163
163
|
</tr>
|
|
164
164
|
</table>
|
|
165
165
|
</div><div class="memdoc">
|
|
@@ -168,14 +168,14 @@ Protected Attributes</h2></td></tr>
|
|
|
168
168
|
|
|
169
169
|
</div>
|
|
170
170
|
</div>
|
|
171
|
-
<a id="
|
|
172
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
171
|
+
<a id="a6c5e6474c6dfe0a067d397ea66c24dac"></a>
|
|
172
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a6c5e6474c6dfe0a067d397ea66c24dac">◆ </a></span>Symbol</h2>
|
|
173
173
|
|
|
174
174
|
<div class="memitem">
|
|
175
175
|
<div class="memproto">
|
|
176
176
|
<table class="memname">
|
|
177
177
|
<tr>
|
|
178
|
-
<td class="memname">typedef <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">
|
|
178
|
+
<td class="memname">typedef <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">CFGrammar::Symbol</a> <a class="el" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">SVF::CFLSolver::Symbol</a></td>
|
|
179
179
|
</tr>
|
|
180
180
|
</table>
|
|
181
181
|
</div><div class="memdoc">
|
|
@@ -203,8 +203,8 @@ Protected Attributes</h2></td></tr>
|
|
|
203
203
|
</div>
|
|
204
204
|
</div>
|
|
205
205
|
<h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
206
|
-
<a id="
|
|
207
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
206
|
+
<a id="afcb585bec6a86f29e9781a5e7ef21dc4"></a>
|
|
207
|
+
<h2 class="memtitle"><span class="permalink"><a href="#afcb585bec6a86f29e9781a5e7ef21dc4">◆ </a></span>CFLSolver()</h2>
|
|
208
208
|
|
|
209
209
|
<div class="memitem">
|
|
210
210
|
<div class="memproto">
|
|
@@ -221,7 +221,7 @@ Protected Attributes</h2></td></tr>
|
|
|
221
221
|
<tr>
|
|
222
222
|
<td class="paramkey"></td>
|
|
223
223
|
<td></td>
|
|
224
|
-
<td class="paramtype"><a class="el" href="
|
|
224
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
225
225
|
<td class="paramname"><em>_grammar</em> </td>
|
|
226
226
|
</tr>
|
|
227
227
|
<tr>
|
|
@@ -238,7 +238,7 @@ Protected Attributes</h2></td></tr>
|
|
|
238
238
|
</div><div class="memdoc">
|
|
239
239
|
|
|
240
240
|
<p class="definition">Definition at line <a class="el" href="CFLSolver_8h_source.html#l00054">54</a> of file <a class="el" href="CFLSolver_8h_source.html">CFLSolver.h</a>.</p>
|
|
241
|
-
<div class="fragment"><div class="line"><a name="l00054"></a><span class="lineno"> 54</span> 
|
|
241
|
+
<div class="fragment"><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  : <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>(_graph), <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>(_grammar)</div>
|
|
242
242
|
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  {</div>
|
|
243
243
|
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  }</div>
|
|
244
244
|
</div><!-- fragment -->
|
|
@@ -270,14 +270,14 @@ Protected Attributes</h2></td></tr>
|
|
|
270
270
|
<p class="definition">Definition at line <a class="el" href="CFLSolver_8h_source.html#l00058">58</a> of file <a class="el" href="CFLSolver_8h_source.html">CFLSolver.h</a>.</p>
|
|
271
271
|
<div class="fragment"><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  {</div>
|
|
272
272
|
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  <span class="keyword">delete</span> <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>;</div>
|
|
273
|
-
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  <span class="keyword">delete</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
273
|
+
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  <span class="keyword">delete</span> <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>;</div>
|
|
274
274
|
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  }</div>
|
|
275
275
|
</div><!-- fragment -->
|
|
276
276
|
</div>
|
|
277
277
|
</div>
|
|
278
278
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
279
|
-
<a id="
|
|
280
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
279
|
+
<a id="afec22459af0f8483ccdd77f11c981674"></a>
|
|
280
|
+
<h2 class="memtitle"><span class="permalink"><a href="#afec22459af0f8483ccdd77f11c981674">◆ </a></span>getGrammar()</h2>
|
|
281
281
|
|
|
282
282
|
<div class="memitem">
|
|
283
283
|
<div class="memproto">
|
|
@@ -286,7 +286,7 @@ Protected Attributes</h2></td></tr>
|
|
|
286
286
|
<td class="mlabels-left">
|
|
287
287
|
<table class="memname">
|
|
288
288
|
<tr>
|
|
289
|
-
<td class="memname">const <a class="el" href="
|
|
289
|
+
<td class="memname">const <a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a>* SVF::CFLSolver::getGrammar </td>
|
|
290
290
|
<td>(</td>
|
|
291
291
|
<td class="paramname"></td><td>)</td>
|
|
292
292
|
<td> const</td>
|
|
@@ -303,7 +303,7 @@ Protected Attributes</h2></td></tr>
|
|
|
303
303
|
|
|
304
304
|
<p class="definition">Definition at line <a class="el" href="CFLSolver_8h_source.html#l00080">80</a> of file <a class="el" href="CFLSolver_8h_source.html">CFLSolver.h</a>.</p>
|
|
305
305
|
<div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  {</div>
|
|
306
|
-
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
306
|
+
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>;</div>
|
|
307
307
|
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  }</div>
|
|
308
308
|
</div><!-- fragment -->
|
|
309
309
|
</div>
|
|
@@ -378,11 +378,11 @@ Protected Attributes</h2></td></tr>
|
|
|
378
378
|
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  }</div>
|
|
379
379
|
<div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  }</div>
|
|
380
380
|
<div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  </div>
|
|
381
|
-
<div class="line"><a name="l00048"></a><span class="lineno"> 48</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
381
|
+
<div class="line"><a name="l00048"></a><span class="lineno"> 48</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a>& prod : <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">getEpsilonProds</a>())</div>
|
|
382
382
|
<div class="line"><a name="l00049"></a><span class="lineno"> 49</span>  {</div>
|
|
383
383
|
<div class="line"><a name="l00050"></a><span class="lineno"> 50</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it!= <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it++)</div>
|
|
384
384
|
<div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  {</div>
|
|
385
|
-
<div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
385
|
+
<div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a>(prod);</div>
|
|
386
386
|
<div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* i = (*it).second;</div>
|
|
387
387
|
<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* edge = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(i, i, X))</div>
|
|
388
388
|
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  {</div>
|
|
@@ -523,11 +523,11 @@ Protected Attributes</h2></td></tr>
|
|
|
523
523
|
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* i = Y_edge-><a class="code" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>();</div>
|
|
524
524
|
<div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* j = Y_edge-><a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div>
|
|
525
525
|
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  </div>
|
|
526
|
-
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
527
|
-
<div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
528
|
-
<div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
526
|
+
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> Y = Y_edge-><a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>();</div>
|
|
527
|
+
<div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8">hasProdsFromSingleRHS</a>(Y))</div>
|
|
528
|
+
<div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a>& prod : <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a09bb0c9e5e626555273193e437de2b70">getProdsFromSingleRHS</a>(Y))</div>
|
|
529
529
|
<div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  {</div>
|
|
530
|
-
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
530
|
+
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a>(prod);</div>
|
|
531
531
|
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a>++;</div>
|
|
532
532
|
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* newEdge = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(i, j, X))</div>
|
|
533
533
|
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  {</div>
|
|
@@ -535,11 +535,11 @@ Protected Attributes</h2></td></tr>
|
|
|
535
535
|
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  }</div>
|
|
536
536
|
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  }</div>
|
|
537
537
|
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  </div>
|
|
538
|
-
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
539
|
-
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
538
|
+
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134">hasProdsFromFirstRHS</a>(Y))</div>
|
|
539
|
+
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a>& prod : <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a0c436fdc35825a0f5c244b3f3441ae1a">getProdsFromFirstRHS</a>(Y))</div>
|
|
540
540
|
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  {</div>
|
|
541
|
-
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
542
|
-
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* Z_edge : j-><a class="code" href="classSVF_1_1CFLNode.html#a0a1b7384a42cad855bddf881e0e09542">getOutEdgeWithTy</a>(<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
541
|
+
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a>(prod);</div>
|
|
542
|
+
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* Z_edge : j-><a class="code" href="classSVF_1_1CFLNode.html#a0a1b7384a42cad855bddf881e0e09542">getOutEdgeWithTy</a>(<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">getSecondRHSSymbol</a>(prod)))</div>
|
|
543
543
|
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  {</div>
|
|
544
544
|
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* k = Z_edge->getDstNode();</div>
|
|
545
545
|
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a>++;</div>
|
|
@@ -550,11 +550,11 @@ Protected Attributes</h2></td></tr>
|
|
|
550
550
|
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  }</div>
|
|
551
551
|
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  }</div>
|
|
552
552
|
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  </div>
|
|
553
|
-
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
554
|
-
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
553
|
+
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd">hasProdsFromSecondRHS</a>(Y))</div>
|
|
554
|
+
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a>& prod : <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a39ee3733b247f40ea27ddc7e17334544">getProdsFromSecondRHS</a>(Y))</div>
|
|
555
555
|
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  {</div>
|
|
556
|
-
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
557
|
-
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* Z_edge : i-><a class="code" href="classSVF_1_1CFLNode.html#a38123f7bd5e33fb085d0108bcbdc9729">getInEdgeWithTy</a>(<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
556
|
+
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a>(prod);</div>
|
|
557
|
+
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* Z_edge : i-><a class="code" href="classSVF_1_1CFLNode.html#a38123f7bd5e33fb085d0108bcbdc9729">getInEdgeWithTy</a>(<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">getFirstRHSSymbol</a>(prod)))</div>
|
|
558
558
|
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  {</div>
|
|
559
559
|
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* k = Z_edge->getSrcNode();</div>
|
|
560
560
|
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a>++;</div>
|
|
@@ -640,8 +640,8 @@ Protected Attributes</h2></td></tr>
|
|
|
640
640
|
</div>
|
|
641
641
|
</div>
|
|
642
642
|
<h2 class="groupheader">Member Data Documentation</h2>
|
|
643
|
-
<a id="
|
|
644
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
643
|
+
<a id="a89781bbd0edd309b7c473ed154e7c11d"></a>
|
|
644
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a89781bbd0edd309b7c473ed154e7c11d">◆ </a></span>grammar</h2>
|
|
645
645
|
|
|
646
646
|
<div class="memitem">
|
|
647
647
|
<div class="memproto">
|
|
@@ -650,7 +650,7 @@ Protected Attributes</h2></td></tr>
|
|
|
650
650
|
<td class="mlabels-left">
|
|
651
651
|
<table class="memname">
|
|
652
652
|
<tr>
|
|
653
|
-
<td class="memname"><a class="el" href="
|
|
653
|
+
<td class="memname"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a>* SVF::CFLSolver::grammar</td>
|
|
654
654
|
</tr>
|
|
655
655
|
</table>
|
|
656
656
|
</td>
|
|
@@ -744,39 +744,39 @@ Protected Attributes</h2></td></tr>
|
|
|
744
744
|
</ul>
|
|
745
745
|
</div><!-- contents -->
|
|
746
746
|
<div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
|
|
747
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a0c436fdc35825a0f5c244b3f3441ae1a"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a0c436fdc35825a0f5c244b3f3441ae1a">SVF::CFGrammar::getProdsFromFirstRHS</a></div><div class="ttdeci">const Productions & getProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00353">CFGrammar.h:353</a></div></div>
|
|
747
748
|
<div class="ttc" id="aclassSVF_1_1CFLNode_html_a0a1b7384a42cad855bddf881e0e09542"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a0a1b7384a42cad855bddf881e0e09542">SVF::CFLNode::getOutEdgeWithTy</a></div><div class="ttdeci">const CFLEdge::CFLEdgeSetTy & getOutEdgeWithTy(GrammarBase::Symbol s)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00099">CFLGraph.h:99</a></div></div>
|
|
748
749
|
<div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00200">WorkList.h:200</a></div></div>
|
|
749
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_a9e62f15ed28cf5f48fce44b67d8a1c89"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">SVF::CFLGrammar::getProdsFromSecondRHS</a></div><div class="ttdeci">const Productions & getProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00360">CFLGrammar.h:360</a></div></div>
|
|
750
750
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00384">GenericGraph.h:384</a></div></div>
|
|
751
751
|
<div class="ttc" id="aclassSVF_1_1CFLGraph_html_a9eea8083dbeaf898948595b1d75cfee2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">SVF::CFLGraph::addCFLEdge</a></div><div class="ttdeci">virtual const CFLEdge * addCFLEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00047">CFLGraph.cpp:47</a></div></div>
|
|
752
752
|
<div class="ttc" id="aclassSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00097">GenericGraph.h:97</a></div></div>
|
|
753
753
|
<div class="ttc" id="aclassSVF_1_1CFLEdge_html_acab367a1633d00afdafadf3f3a43e0c8"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">SVF::CFLEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00058">CFLGraph.h:58</a></div></div>
|
|
754
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_ac167616ad6e48161b0cb890107145ffa"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">SVF::CFLGrammar::getProdsFromFirstRHS</a></div><div class="ttdeci">const Productions & getProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00353">CFLGrammar.h:353</a></div></div>
|
|
755
754
|
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_aa6123d73f71b9148d7aafb2ec58bbb34"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">SVF::CFLSolver::pushIntoWorklist</a></div><div class="ttdeci">virtual bool pushIntoWorklist(const CFLEdge *item)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00084">CFLSolver.h:84</a></div></div>
|
|
756
755
|
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a46ded0b18821a2ade0ee151ac2b2d520"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">SVF::CFLSolver::numOfChecks</a></div><div class="ttdeci">static double numOfChecks</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00052">CFLSolver.h:52</a></div></div>
|
|
757
756
|
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_aedd6c605c4c381c738f4c6682c40d9f2"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">SVF::CFLSolver::graph</a></div><div class="ttdeci">CFLGraph * graph</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00108">CFLSolver.h:108</a></div></div>
|
|
758
|
-
<div class="ttc" id="
|
|
759
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_a3ccdda19bfed497ee8e14c1aaac4aa51"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51">SVF::CFLGrammar::getSecondRHSSymbol</a></div><div class="ttdeci">const Symbol & getSecondRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00378">CFLGrammar.h:378</a></div></div>
|
|
757
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a79d4babef29a8206379a0fc4017d5f29"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">SVF::CFGrammar::getEpsilonProds</a></div><div class="ttdeci">Productions & getEpsilonProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00308">CFGrammar.h:308</a></div></div>
|
|
760
758
|
<div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
|
|
759
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a48aa7267893296b066050d3b444c14e7"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">SVF::CFGrammar::getFirstRHSSymbol</a></div><div class="ttdeci">const Symbol & getFirstRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00373">CFGrammar.h:373</a></div></div>
|
|
761
760
|
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a53c873a9243d2ef3e8d5eff1b8081102"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a53c873a9243d2ef3e8d5eff1b8081102">SVF::CFLSolver::processCFLEdge</a></div><div class="ttdeci">virtual void processCFLEdge(const CFLEdge *Y_edge)</div><div class="ttdoc">Process CFLEdge.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8cpp_source.html#l00062">CFLSolver.cpp:62</a></div></div>
|
|
762
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_a8d6292a55da24336d968e20c7ac288d9"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">SVF::CFLGrammar::getEpsilonProds</a></div><div class="ttdeci">Productions & getEpsilonProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00308">CFLGrammar.h:308</a></div></div>
|
|
763
|
-
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a06e64c18559b4f311717203ac3fe1fcd"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">SVF::CFLSolver::Symbol</a></div><div class="ttdeci">CFLGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00050">CFLSolver.h:50</a></div></div>
|
|
764
761
|
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_ab17e45749a732a0ca29eecf6359e2f2f"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#ab17e45749a732a0ca29eecf6359e2f2f">SVF::CFLSolver::isWorklistEmpty</a></div><div class="ttdeci">virtual bool isWorklistEmpty()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00088">CFLSolver.h:88</a></div></div>
|
|
765
|
-
<div class="ttc" id="
|
|
766
|
-
<div class="ttc" id="
|
|
762
|
+
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a6a0d61a71c25ed2e87c4c15c5175a77e"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">SVF::CFLSolver::Production</a></div><div class="ttdeci">CFGrammar::Production Production</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00049">CFLSolver.h:49</a></div></div>
|
|
763
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a09bb0c9e5e626555273193e437de2b70"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a09bb0c9e5e626555273193e437de2b70">SVF::CFGrammar::getProdsFromSingleRHS</a></div><div class="ttdeci">const Productions & getProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00346">CFGrammar.h:346</a></div></div>
|
|
767
764
|
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a95573e91816f426ff7b45afb7b7c821e"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">SVF::CFLSolver::popFromWorklist</a></div><div class="ttdeci">const CFLEdge * popFromWorklist()</div><div class="ttdoc">Worklist operations.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00096">CFLSolver.h:96</a></div></div>
|
|
768
765
|
<div class="ttc" id="aclassSVF_1_1CFLEdge_html"><div class="ttname"><a href="classSVF_1_1CFLEdge.html">SVF::CFLEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00047">CFLGraph.h:47</a></div></div>
|
|
769
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_a2b1c91f6d33423046d3ffcb2985351ce"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">SVF::CFLGrammar::hasProdsFromSecondRHS</a></div><div class="ttdeci">const bool hasProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00340">CFLGrammar.h:340</a></div></div>
|
|
770
766
|
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a211bb78846886aa9ccd4b160da81e02e"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00111">CFLSolver.h:111</a></div></div>
|
|
771
|
-
<div class="ttc" id="
|
|
772
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_a3cfce0e2282c63679d6e7835e19ad5ec"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">SVF::CFLGrammar::getLHSSymbol</a></div><div class="ttdeci">const Symbol & getLHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00368">CFLGrammar.h:368</a></div></div>
|
|
773
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_a837d2db607e1c9403db4d3021f4e52d4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">SVF::CFLGrammar::getFirstRHSSymbol</a></div><div class="ttdeci">const Symbol & getFirstRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00373">CFLGrammar.h:373</a></div></div>
|
|
767
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_aefdae80251eaaf9be580d26a5dd268a8"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#aefdae80251eaaf9be580d26a5dd268a8">SVF::CFGrammar::hasProdsFromSingleRHS</a></div><div class="ttdeci">const bool hasProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00334">CFGrammar.h:334</a></div></div>
|
|
774
768
|
<div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_ab023f3b60ff61d6729d75f4d2942bd83"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83">SVF::FIFOWorkList::find</a></div><div class="ttdeci">bool find(const Data &data) const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00157">WorkList.h:157</a></div></div>
|
|
769
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a6a0563acf39967169d6c267387539134"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a6a0563acf39967169d6c267387539134">SVF::CFGrammar::hasProdsFromFirstRHS</a></div><div class="ttdeci">const bool hasProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00328">CFGrammar.h:328</a></div></div>
|
|
770
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_ae5219be7a1d646a0246f7dad560b4f4b"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">SVF::CFGrammar::getSecondRHSSymbol</a></div><div class="ttdeci">const Symbol & getSecondRHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00378">CFGrammar.h:378</a></div></div>
|
|
771
|
+
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a6c5e6474c6dfe0a067d397ea66c24dac"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">SVF::CFLSolver::Symbol</a></div><div class="ttdeci">CFGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00050">CFLSolver.h:50</a></div></div>
|
|
775
772
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00380">GenericGraph.h:380</a></div></div>
|
|
776
|
-
<div class="ttc" id="
|
|
773
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a6d1db255d2b526fa7fdfaa7b2146f0cd"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a6d1db255d2b526fa7fdfaa7b2146f0cd">SVF::CFGrammar::hasProdsFromSecondRHS</a></div><div class="ttdeci">const bool hasProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00340">CFGrammar.h:340</a></div></div>
|
|
774
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a5962f35418f48005240d0a467a777fcd"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a5962f35418f48005240d0a467a777fcd">SVF::CFGrammar::getLHSSymbol</a></div><div class="ttdeci">const Symbol & getLHSSymbol(const Production &prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00368">CFGrammar.h:368</a></div></div>
|
|
777
775
|
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a5e94324ee4137610d5513ed11b36f4ba"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a5e94324ee4137610d5513ed11b36f4ba">SVF::CFLSolver::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialize worklist.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8cpp_source.html#l00036">CFLSolver.cpp:36</a></div></div>
|
|
778
776
|
<div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
|
|
779
777
|
<div class="ttc" id="aclassSVF_1_1CFLNode_html"><div class="ttname"><a href="classSVF_1_1CFLNode.html">SVF::CFLNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00076">CFLGraph.h:76</a></div></div>
|
|
778
|
+
<div class="ttc" id="aclassSVF_1_1CFGrammar_html_a39ee3733b247f40ea27ddc7e17334544"><div class="ttname"><a href="classSVF_1_1CFGrammar.html#a39ee3733b247f40ea27ddc7e17334544">SVF::CFGrammar::getProdsFromSecondRHS</a></div><div class="ttdeci">const Productions & getProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00360">CFGrammar.h:360</a></div></div>
|
|
779
|
+
<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a89781bbd0edd309b7c473ed154e7c11d"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">SVF::CFLSolver::grammar</a></div><div class="ttdeci">CFGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00109">CFLSolver.h:109</a></div></div>
|
|
780
780
|
<div class="ttc" id="aclassSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00101">GenericGraph.h:101</a></div></div>
|
|
781
781
|
<div class="ttc" id="aclassSVF_1_1CFLNode_html_a38123f7bd5e33fb085d0108bcbdc9729"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a38123f7bd5e33fb085d0108bcbdc9729">SVF::CFLNode::getInEdgeWithTy</a></div><div class="ttdeci">const CFLEdge::CFLEdgeSetTy & getInEdgeWithTy(GrammarBase::Symbol s)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00094">CFLGraph.h:94</a></div></div>
|
|
782
782
|
<!-- start footer part -->
|
|
@@ -385,13 +385,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
385
385
|
</ul>
|
|
386
386
|
</div><!-- contents -->
|
|
387
387
|
<div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
|
|
388
|
-
<div class="ttc" id="aclassSVF_1_1CFLBase_html_a22ab9bbaee16e06d04817db8c394cc0b"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a22ab9bbaee16e06d04817db8c394cc0b">SVF::CFLBase::getCFLGraph</a></div><div class="ttdeci">CFLGraph * getCFLGraph()</div><div class="ttdoc">Get CFL graph.</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8cpp_source.html#
|
|
388
|
+
<div class="ttc" id="aclassSVF_1_1CFLBase_html_a22ab9bbaee16e06d04817db8c394cc0b"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a22ab9bbaee16e06d04817db8c394cc0b">SVF::CFLBase::getCFLGraph</a></div><div class="ttdeci">CFLGraph * getCFLGraph()</div><div class="ttdoc">Get CFL graph.</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8cpp_source.html#l00145">CFLBase.cpp:145</a></div></div>
|
|
389
389
|
<div class="ttc" id="aclassSVF_1_1CFLStat_html_a6fc506f947be6c9309cc8914c6a8c3e0"><div class="ttname"><a href="classSVF_1_1CFLStat.html#a6fc506f947be6c9309cc8914c6a8c3e0">SVF::CFLStat::pta</a></div><div class="ttdeci">CFLBase * pta</div><div class="ttdef"><b>Definition:</b> <a href="CFLStat_8h_source.html#l00047">CFLStat.h:47</a></div></div>
|
|
390
390
|
<div class="ttc" id="aclassSVF_1_1SVFStat_html_a11c34e8ba16769d218432d9504ba26a0"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">SVF::SVFStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00074">SVFStat.h:74</a></div></div>
|
|
391
391
|
<div class="ttc" id="aclassSVF_1_1CFLBase_html_aa807cf1b8605a463d6d68d5096f3e0e8"><div class="ttname"><a href="classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8">SVF::CFLBase::numOfIteration</a></div><div class="ttdeci">static double numOfIteration</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00103">CFLBase.h:103</a></div></div>
|
|
392
392
|
<div class="ttc" id="aclassSVF_1_1CFLGraph_html"><div class="ttname"><a href="classSVF_1_1CFLGraph.html">SVF::CFLGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00155">CFLGraph.h:155</a></div></div>
|
|
393
393
|
<div class="ttc" id="aclassSVF_1_1SVFStat_html_a730cc814fede3edb563aa9957c869e9e"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e">SVF::SVFStat::startClk</a></div><div class="ttdeci">virtual void startClk()</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00058">SVFStat.h:58</a></div></div>
|
|
394
|
-
<div class="ttc" id="aclassSVF_1_1CFLBase_html_a824da17d03599090d4e3b4c50aeccff9"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9">SVF::CFLBase::countSumEdges</a></div><div class="ttdeci">virtual void countSumEdges()</div><div class="ttdoc">Count the num of Nonterminal Edges.</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8cpp_source.html#
|
|
394
|
+
<div class="ttc" id="aclassSVF_1_1CFLBase_html_a824da17d03599090d4e3b4c50aeccff9"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9">SVF::CFLBase::countSumEdges</a></div><div class="ttdeci">virtual void countSumEdges()</div><div class="ttdoc">Count the num of Nonterminal Edges.</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8cpp_source.html#l00150">CFLBase.cpp:150</a></div></div>
|
|
395
395
|
<div class="ttc" id="aclassSVF_1_1SVFStat_html_a178fcefed6ffffc78bbe9b23e0e1babe"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVF::SVFStat::printStat</a></div><div class="ttdeci">virtual void printStat(std::string str="")</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00066">SVFStat.cpp:66</a></div></div>
|
|
396
396
|
<div class="ttc" id="aclassSVF_1_1CFLBase_html_a9453bf479ccd00bacb3b371fa6383a9c"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c">SVF::CFLBase::timeOfBuildCFLGraph</a></div><div class="ttdeci">static double timeOfBuildCFLGraph</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00097">CFLBase.h:97</a></div></div>
|
|
397
397
|
<div class="ttc" id="aclassSVF_1_1CFLStat_html_a1fbe39f511320df60f54235bd7842257"><div class="ttname"><a href="classSVF_1_1CFLStat.html#a1fbe39f511320df60f54235bd7842257">SVF::CFLStat::CFLGrammarStat</a></div><div class="ttdeci">void CFLGrammarStat()</div><div class="ttdef"><b>Definition:</b> <a href="CFLStat_8cpp_source.html#l00059">CFLStat.cpp:59</a></div></div>
|
|
@@ -178,7 +178,7 @@ $(function() {
|
|
|
178
178
|
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a4859864a4c72d5e04c10305e4579e8ee">getVersionedPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
179
179
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437">getVFnsFromCHA</a>(const CallICFGNode *cs, VFunSet &vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
180
180
|
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a011b8401f5ed5fdb6cd507053465a7a2">getVFnsFromPts</a>(const CallICFGNode *cs, const PointsTo &target, VFunSet &vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
181
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#
|
|
181
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
182
182
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f">grammarBase</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
183
183
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
184
184
|
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095">hasIndCSCallees</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|