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
|
@@ -112,8 +112,8 @@ Public Member Functions</h2></td></tr>
|
|
|
112
112
|
<tr class="separator:ab5cafea46af35266252f83c61a88a8dc"><td class="memSeparator" colspan="2"> </td></tr>
|
|
113
113
|
<tr class="memitem:a6d3610151daec1ffa26e6b9fccad4e91"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1POCRHybridSolver.html#a6d3610151daec1ffa26e6b9fccad4e91">meld_h</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> x, <a class="el" href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html">TreeNode</a> *uNode, <a class="el" href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html">TreeNode</a> *vNode)</td></tr>
|
|
114
114
|
<tr class="separator:a6d3610151daec1ffa26e6b9fccad4e91"><td class="memSeparator" colspan="2"> </td></tr>
|
|
115
|
-
<tr class="memitem:
|
|
116
|
-
<tr class="separator:
|
|
115
|
+
<tr class="memitem:a3b4c9694d1489abd8b2b57418670715f"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1POCRHybridSolver.html#a3b4c9694d1489abd8b2b57418670715f">POCRHybridSolver</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>
|
|
116
|
+
<tr class="separator:a3b4c9694d1489abd8b2b57418670715f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
117
117
|
<tr class="memitem:afc22dcca14f515be02b33f86ec441e95"><td class="memItemLeft" align="right" valign="top">virtual </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1POCRHybridSolver.html#afc22dcca14f515be02b33f86ec441e95">~POCRHybridSolver</a> ()</td></tr>
|
|
118
118
|
<tr class="memdesc:afc22dcca14f515be02b33f86ec441e95"><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="classSVF_1_1POCRHybridSolver.html#afc22dcca14f515be02b33f86ec441e95">More...</a><br /></td></tr>
|
|
119
119
|
<tr class="separator:afc22dcca14f515be02b33f86ec441e95"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -163,8 +163,8 @@ Public Member Functions</h2></td></tr>
|
|
|
163
163
|
<tr class="separator:a4a688b3d2bc6d9fd9ad0414e715ad4f4 inherit pub_methods_classSVF_1_1POCRSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
164
164
|
<tr class="memitem:a1c612d315cb42ea6d4722357e5869ebc inherit pub_methods_classSVF_1_1POCRSolver"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1POCRSolver.html#a1c612d315cb42ea6d4722357e5869ebc">clearEdges</a> (const <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> key)</td></tr>
|
|
165
165
|
<tr class="separator:a1c612d315cb42ea6d4722357e5869ebc inherit pub_methods_classSVF_1_1POCRSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
166
|
-
<tr class="memitem:
|
|
167
|
-
<tr class="separator:
|
|
166
|
+
<tr class="memitem:ac9a41a439655caa32c5ce15e2b9c1607 inherit pub_methods_classSVF_1_1POCRSolver"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607">POCRSolver</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>
|
|
167
|
+
<tr class="separator:ac9a41a439655caa32c5ce15e2b9c1607 inherit pub_methods_classSVF_1_1POCRSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
168
168
|
<tr class="memitem:a5149116e1dbcffcf656f5a63fa0e0c25 inherit pub_methods_classSVF_1_1POCRSolver"><td class="memItemLeft" align="right" valign="top">virtual </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1POCRSolver.html#a5149116e1dbcffcf656f5a63fa0e0c25">~POCRSolver</a> ()</td></tr>
|
|
169
169
|
<tr class="memdesc:a5149116e1dbcffcf656f5a63fa0e0c25 inherit pub_methods_classSVF_1_1POCRSolver"><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="classSVF_1_1POCRSolver.html#a5149116e1dbcffcf656f5a63fa0e0c25">More...</a><br /></td></tr>
|
|
170
170
|
<tr class="separator:a5149116e1dbcffcf656f5a63fa0e0c25 inherit pub_methods_classSVF_1_1POCRSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -172,8 +172,8 @@ Public Member Functions</h2></td></tr>
|
|
|
172
172
|
<tr class="memdesc:af69130dc2dd292890adcc91d5d50a3dc inherit pub_methods_classSVF_1_1POCRSolver"><td class="mdescLeft"> </td><td class="mdescRight">Init CFLData. <a href="classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc">More...</a><br /></td></tr>
|
|
173
173
|
<tr class="separator:af69130dc2dd292890adcc91d5d50a3dc inherit pub_methods_classSVF_1_1POCRSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
174
174
|
<tr class="inherit_header pub_methods_classSVF_1_1CFLSolver"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1CFLSolver')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td></tr>
|
|
175
|
-
<tr class="memitem:
|
|
176
|
-
<tr class="separator:
|
|
175
|
+
<tr class="memitem:afcb585bec6a86f29e9781a5e7ef21dc4 inherit pub_methods_classSVF_1_1CFLSolver"><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>
|
|
176
|
+
<tr class="separator:afcb585bec6a86f29e9781a5e7ef21dc4 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
177
177
|
<tr class="memitem:a95abd86cf49d28585753ad01b8c8d934 inherit pub_methods_classSVF_1_1CFLSolver"><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>
|
|
178
178
|
<tr class="separator:a95abd86cf49d28585753ad01b8c8d934 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
179
179
|
<tr class="memitem:a2ee3436c26ebdb2aaf790c25b1d8b5a6 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">solve</a> ()</td></tr>
|
|
@@ -182,9 +182,9 @@ Public Member Functions</h2></td></tr>
|
|
|
182
182
|
<tr class="memitem:a2c6bce1f73bcf5937a26e91a7daba33c inherit pub_methods_classSVF_1_1CFLSolver"><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>
|
|
183
183
|
<tr class="memdesc:a2c6bce1f73bcf5937a26e91a7daba33c inherit pub_methods_classSVF_1_1CFLSolver"><td class="mdescLeft"> </td><td class="mdescRight">Return CFL Graph. <a href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">More...</a><br /></td></tr>
|
|
184
184
|
<tr class="separator:a2c6bce1f73bcf5937a26e91a7daba33c inherit pub_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
185
|
-
<tr class="memitem:
|
|
186
|
-
<tr class="memdesc:
|
|
187
|
-
<tr class="separator:
|
|
185
|
+
<tr class="memitem:afec22459af0f8483ccdd77f11c981674 inherit pub_methods_classSVF_1_1CFLSolver"><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>
|
|
186
|
+
<tr class="memdesc:afec22459af0f8483ccdd77f11c981674 inherit pub_methods_classSVF_1_1CFLSolver"><td class="mdescLeft"> </td><td class="mdescRight">Return CFL Grammar. <a href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">More...</a><br /></td></tr>
|
|
187
|
+
<tr class="separator:afec22459af0f8483ccdd77f11c981674 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
188
188
|
<tr class="memitem:aa6123d73f71b9148d7aafb2ec58bbb34 inherit pub_methods_classSVF_1_1CFLSolver"><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>
|
|
189
189
|
<tr class="separator:aa6123d73f71b9148d7aafb2ec58bbb34 inherit pub_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
190
190
|
<tr class="memitem:ab17e45749a732a0ca29eecf6359e2f2f inherit pub_methods_classSVF_1_1CFLSolver"><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>
|
|
@@ -210,10 +210,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
210
210
|
<tr class="memitem:a194d2c4c801799b0ba9562e33ca5b695 inherit pub_types_classSVF_1_1CFLSolver"><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>
|
|
211
211
|
<tr class="memdesc:a194d2c4c801799b0ba9562e33ca5b695 inherit pub_types_classSVF_1_1CFLSolver"><td class="mdescLeft"> </td><td class="mdescRight">Define worklist. <a href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">More...</a><br /></td></tr>
|
|
212
212
|
<tr class="separator:a194d2c4c801799b0ba9562e33ca5b695 inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
213
|
-
<tr class="memitem:
|
|
214
|
-
<tr class="separator:
|
|
215
|
-
<tr class="memitem:
|
|
216
|
-
<tr class="separator:
|
|
213
|
+
<tr class="memitem:a6a0d61a71c25ed2e87c4c15c5175a77e inherit pub_types_classSVF_1_1CFLSolver"><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>
|
|
214
|
+
<tr class="separator:a6a0d61a71c25ed2e87c4c15c5175a77e inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
215
|
+
<tr class="memitem:a6c5e6474c6dfe0a067d397ea66c24dac inherit pub_types_classSVF_1_1CFLSolver"><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>
|
|
216
|
+
<tr class="separator:a6c5e6474c6dfe0a067d397ea66c24dac inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
217
217
|
<tr class="inherit_header pub_static_attribs_classSVF_1_1CFLSolver"><td colspan="2" onclick="javascript:toggleInherit('pub_static_attribs_classSVF_1_1CFLSolver')"><img src="closed.png" alt="-"/> Static Public Attributes inherited from <a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td></tr>
|
|
218
218
|
<tr class="memitem:a46ded0b18821a2ade0ee151ac2b2d520 inherit pub_static_attribs_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">static double </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a> = 0</td></tr>
|
|
219
219
|
<tr class="separator:a46ded0b18821a2ade0ee151ac2b2d520 inherit pub_static_attribs_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -244,8 +244,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
244
244
|
<tr class="inherit_header pro_attribs_classSVF_1_1CFLSolver"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1CFLSolver')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td></tr>
|
|
245
245
|
<tr class="memitem:aedd6c605c4c381c738f4c6682c40d9f2 inherit pro_attribs_classSVF_1_1CFLSolver"><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>
|
|
246
246
|
<tr class="separator:aedd6c605c4c381c738f4c6682c40d9f2 inherit pro_attribs_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
247
|
-
<tr class="memitem:
|
|
248
|
-
<tr class="separator:
|
|
247
|
+
<tr class="memitem:a89781bbd0edd309b7c473ed154e7c11d inherit pro_attribs_classSVF_1_1CFLSolver"><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>
|
|
248
|
+
<tr class="separator:a89781bbd0edd309b7c473ed154e7c11d inherit pro_attribs_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
249
249
|
<tr class="memitem:a211bb78846886aa9ccd4b160da81e02e inherit pro_attribs_classSVF_1_1CFLSolver"><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>
|
|
250
250
|
<tr class="memdesc:a211bb78846886aa9ccd4b160da81e02e inherit pro_attribs_classSVF_1_1CFLSolver"><td class="mdescLeft"> </td><td class="mdescRight">Worklist for resolution. <a href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">More...</a><br /></td></tr>
|
|
251
251
|
<tr class="separator:a211bb78846886aa9ccd4b160da81e02e inherit pro_attribs_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -256,8 +256,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
256
256
|
|
|
257
257
|
<p class="definition">Definition at line <a class="el" href="CFLSolver_8h_source.html#l00294">294</a> of file <a class="el" href="CFLSolver_8h_source.html">CFLSolver.h</a>.</p>
|
|
258
258
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
259
|
-
<a id="
|
|
260
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
259
|
+
<a id="a3b4c9694d1489abd8b2b57418670715f"></a>
|
|
260
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a3b4c9694d1489abd8b2b57418670715f">◆ </a></span>POCRHybridSolver()</h2>
|
|
261
261
|
|
|
262
262
|
<div class="memitem">
|
|
263
263
|
<div class="memproto">
|
|
@@ -274,7 +274,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
274
274
|
<tr>
|
|
275
275
|
<td class="paramkey"></td>
|
|
276
276
|
<td></td>
|
|
277
|
-
<td class="paramtype"><a class="el" href="
|
|
277
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> * </td>
|
|
278
278
|
<td class="paramname"><em>_grammar</em> </td>
|
|
279
279
|
</tr>
|
|
280
280
|
<tr>
|
|
@@ -291,7 +291,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
291
291
|
</div><div class="memdoc">
|
|
292
292
|
|
|
293
293
|
<p class="definition">Definition at line <a class="el" href="CFLSolver_8h_source.html#l00347">347</a> of file <a class="el" href="CFLSolver_8h_source.html">CFLSolver.h</a>.</p>
|
|
294
|
-
<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span> 
|
|
294
|
+
<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  : <a class="code" href="classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607">POCRSolver</a>(_graph, _grammar)</div>
|
|
295
295
|
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  {</div>
|
|
296
296
|
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  }</div>
|
|
297
297
|
</div><!-- fragment -->
|
|
@@ -365,7 +365,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
365
365
|
|
|
366
366
|
<p class="definition">Definition at line <a class="el" href="CFLSolver_8cpp_source.html#l00314">314</a> of file <a class="el" href="CFLSolver_8cpp_source.html">CFLSolver.cpp</a>.</p>
|
|
367
367
|
<div class="fragment"><div class="line"><a name="l00315"></a><span class="lineno"> 315</span> {</div>
|
|
368
|
-
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1POCRSolver.html#a4a688b3d2bc6d9fd9ad0414e715ad4f4">hasEdge</a>(src, dst, <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
368
|
+
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1POCRSolver.html#a4a688b3d2bc6d9fd9ad0414e715ad4f4">hasEdge</a>(src, dst, <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">strToSymbol</a>(<span class="stringliteral">"F"</span>)))</div>
|
|
369
369
|
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  <span class="keywordflow">return</span>;</div>
|
|
370
370
|
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  </div>
|
|
371
371
|
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span>& iter: <a class="code" href="classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455">indMap</a>[src])</div>
|
|
@@ -578,11 +578,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
578
578
|
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  <a class="code" href="classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b">addInd_h</a>(nId, nId);</div>
|
|
579
579
|
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  }</div>
|
|
580
580
|
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  </div>
|
|
581
|
-
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
581
|
+
<div class="line"><a name="l00299"></a><span class="lineno"> 299</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>
|
|
582
582
|
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  {</div>
|
|
583
583
|
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> IDMap : <a class="code" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>())</div>
|
|
584
584
|
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  {</div>
|
|
585
|
-
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
585
|
+
<div class="line"><a name="l00303"></a><span class="lineno"> 303</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>
|
|
586
586
|
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1POCRSolver.html#ad3c570ffdea011fd06af17571fc566af">addEdge</a>(IDMap.first, IDMap.first, X))</div>
|
|
587
587
|
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  {</div>
|
|
588
588
|
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* i = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(IDMap.first);</div>
|
|
@@ -770,11 +770,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
770
770
|
<div class="line"><a name="l00218"></a><span class="lineno"> 218</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>
|
|
771
771
|
<div class="line"><a name="l00219"></a><span class="lineno"> 219</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>
|
|
772
772
|
<div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  </div>
|
|
773
|
-
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
774
|
-
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
775
|
-
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
773
|
+
<div class="line"><a name="l00223"></a><span class="lineno"> 223</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>
|
|
774
|
+
<div class="line"><a name="l00224"></a><span class="lineno"> 224</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>
|
|
775
|
+
<div class="line"><a name="l00225"></a><span class="lineno"> 225</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>
|
|
776
776
|
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  {</div>
|
|
777
|
-
<div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
777
|
+
<div class="line"><a name="l00227"></a><span class="lineno"> 227</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>
|
|
778
778
|
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a>++;</div>
|
|
779
779
|
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1POCRSolver.html#ad3c570ffdea011fd06af17571fc566af">addEdge</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), X))</div>
|
|
780
780
|
<div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  {</div>
|
|
@@ -784,18 +784,18 @@ Additional Inherited Members</h2></td></tr>
|
|
|
784
784
|
<div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  </div>
|
|
785
785
|
<div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  }</div>
|
|
786
786
|
<div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  </div>
|
|
787
|
-
<div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
788
|
-
<div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
787
|
+
<div class="line"><a name="l00240"></a><span class="lineno"> 240</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>
|
|
788
|
+
<div class="line"><a name="l00241"></a><span class="lineno"> 241</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>
|
|
789
789
|
<div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  {</div>
|
|
790
|
-
<div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  <span class="keywordflow">if</span> ((<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
790
|
+
<div class="line"><a name="l00243"></a><span class="lineno"> 243</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#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a>(prod) == <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">strToSymbol</a>(<span class="stringliteral">"F"</span>)) && (Y == <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">strToSymbol</a>(<span class="stringliteral">"F"</span>)) && (<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">getSecondRHSSymbol</a>(prod) == <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">strToSymbol</a>(<span class="stringliteral">"F"</span>)))</div>
|
|
791
791
|
<div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  {</div>
|
|
792
792
|
<div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  <a class="code" href="classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0">addArc</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div>
|
|
793
793
|
<div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  }</div>
|
|
794
794
|
<div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  <span class="keywordflow">else</span></div>
|
|
795
795
|
<div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  {</div>
|
|
796
|
-
<div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
797
|
-
<div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> diffDsts = <a class="code" href="classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85">addEdges</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), <a class="code" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>(j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
798
|
-
<div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a> += <a class="code" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>(j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
796
|
+
<div class="line"><a name="l00249"></a><span class="lineno"> 249</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>
|
|
797
|
+
<div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> diffDsts = <a class="code" href="classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85">addEdges</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), <a class="code" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>(j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">getSecondRHSSymbol</a>(prod)], X);</div>
|
|
798
|
+
<div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a> += <a class="code" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>(j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#ae5219be7a1d646a0246f7dad560b4f4b">getSecondRHSSymbol</a>(prod)].count();</div>
|
|
799
799
|
<div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> diffDst: diffDsts)</div>
|
|
800
800
|
<div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  {</div>
|
|
801
801
|
<div class="line"><a name="l00254"></a><span class="lineno"> 254</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, <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(diffDst), X);</div>
|
|
@@ -804,18 +804,18 @@ Additional Inherited Members</h2></td></tr>
|
|
|
804
804
|
<div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  }</div>
|
|
805
805
|
<div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  }</div>
|
|
806
806
|
<div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  </div>
|
|
807
|
-
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
808
|
-
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
807
|
+
<div class="line"><a name="l00263"></a><span class="lineno"> 263</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>
|
|
808
|
+
<div class="line"><a name="l00264"></a><span class="lineno"> 264</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>
|
|
809
809
|
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  {</div>
|
|
810
|
-
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <span class="keywordflow">if</span> ((<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
810
|
+
<div class="line"><a name="l00266"></a><span class="lineno"> 266</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#a5962f35418f48005240d0a467a777fcd">getLHSSymbol</a>(prod) == <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">strToSymbol</a>(<span class="stringliteral">"F"</span>)) && (Y == <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">strToSymbol</a>(<span class="stringliteral">"F"</span>)) && (<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">getFirstRHSSymbol</a>(prod) == <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">strToSymbol</a>(<span class="stringliteral">"F"</span>)))</div>
|
|
811
811
|
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  {</div>
|
|
812
812
|
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  <a class="code" href="classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0">addArc</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div>
|
|
813
813
|
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  }</div>
|
|
814
814
|
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  <span class="keywordflow">else</span></div>
|
|
815
815
|
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  {</div>
|
|
816
|
-
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  <a class="code" href="classSVF_1_1CFLSolver.html#
|
|
817
|
-
<div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> diffSrcs = <a class="code" href="classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85">addEdges</a>(<a class="code" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">getPredMap</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
818
|
-
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a> += <a class="code" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">getPredMap</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#
|
|
816
|
+
<div class="line"><a name="l00272"></a><span class="lineno"> 272</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>
|
|
817
|
+
<div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> diffSrcs = <a class="code" href="classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85">addEdges</a>(<a class="code" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">getPredMap</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">getFirstRHSSymbol</a>(prod)], j-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), X);</div>
|
|
818
|
+
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a> += <a class="code" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">getPredMap</a>(i-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())[<a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>-><a class="code" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">getFirstRHSSymbol</a>(prod)].count();</div>
|
|
819
819
|
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> diffSrc: diffSrcs)</div>
|
|
820
820
|
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  {</div>
|
|
821
821
|
<div class="line"><a name="l00277"></a><span class="lineno"> 277</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>(<a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(diffSrc), j, X);</div>
|
|
@@ -849,49 +849,49 @@ Additional Inherited Members</h2></td></tr>
|
|
|
849
849
|
<li>/home/runner/work/SVF/SVF/svf/lib/CFL/<a class="el" href="CFLSolver_8cpp_source.html">CFLSolver.cpp</a></li>
|
|
850
850
|
</ul>
|
|
851
851
|
</div><!-- contents -->
|
|
852
|
-
<div class="ttc" id="
|
|
852
|
+
<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>
|
|
853
853
|
<div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_ac33010515cf16ff60fad0031c646382b"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b">SVF::POCRHybridSolver::addInd_h</a></div><div class="ttdeci">TreeNode * addInd_h(NodeID src, NodeID dst)</div><div class="ttdoc">Add a node dst to tree(src)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8cpp_source.html#l00349">CFLSolver.cpp:349</a></div></div>
|
|
854
854
|
<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>
|
|
855
855
|
<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>
|
|
856
856
|
<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>
|
|
857
857
|
<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>
|
|
858
|
-
<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>
|
|
859
858
|
<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>
|
|
860
859
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_aac57a7a39ba314e5f16977848417e652"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver::getSuccMap</a></div><div class="ttdeci">DataMap & getSuccMap()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00183">CFLSolver.h:183</a></div></div>
|
|
861
860
|
<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>
|
|
862
861
|
<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>
|
|
863
862
|
<div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_a92f7dab147eab44ee5e4bdf02708c9a0"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0">SVF::POCRHybridSolver::hasInd_h</a></div><div class="ttdeci">bool hasInd_h(NodeID src, NodeID dst)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8cpp_source.html#l00341">CFLSolver.cpp:341</a></div></div>
|
|
864
|
-
<div class="ttc" id="
|
|
865
|
-
<div class="ttc" id="
|
|
866
|
-
<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>
|
|
863
|
+
<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>
|
|
864
|
+
<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>
|
|
867
865
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
|
|
868
|
-
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_aacca7b776e4ff992623d28e89b3b68e6"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#aacca7b776e4ff992623d28e89b3b68e6">SVF::POCRSolver::POCRSolver</a></div><div class="ttdeci">POCRSolver(CFLGraph *_graph, CFLGrammar *_grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00269">CFLSolver.h:269</a></div></div>
|
|
869
866
|
<div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
|
|
870
|
-
<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>
|
|
871
867
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_a9cb6c06d4e9ede63c22637d9a230a584"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">SVF::POCRSolver::getPredMap</a></div><div class="ttdeci">DataMap & getPredMap()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00188">CFLSolver.h:188</a></div></div>
|
|
872
|
-
<div class="ttc" id="
|
|
873
|
-
<div class="ttc" id="
|
|
868
|
+
<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>
|
|
869
|
+
<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>
|
|
874
870
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_a828465a33f85248443937f5efaf57c85"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85">SVF::POCRSolver::addEdges</a></div><div class="ttdeci">NodeBS addEdges(const NodeID src, const NodeBS &dstData, const Label ty)</div><div class="ttdoc">add edges and return the set of added edges (dst) for src</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00222">CFLSolver.h:222</a></div></div>
|
|
875
871
|
<div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_a6a1bf7bbf1b28aa762af4b51bff10afb"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#a6a1bf7bbf1b28aa762af4b51bff10afb">SVF::POCRHybridSolver::getNode_h</a></div><div class="ttdeci">TreeNode * getNode_h(NodeID src, NodeID dst)</div><div class="ttdoc">Get the node dst in tree(src)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00331">CFLSolver.h:331</a></div></div>
|
|
876
872
|
<div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_a6d3610151daec1ffa26e6b9fccad4e91"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#a6d3610151daec1ffa26e6b9fccad4e91">SVF::POCRHybridSolver::meld_h</a></div><div class="ttdeci">void meld_h(NodeID x, TreeNode *uNode, TreeNode *vNode)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8cpp_source.html#l00370">CFLSolver.cpp:370</a></div></div>
|
|
877
873
|
<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>
|
|
878
|
-
<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>
|
|
879
874
|
<div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_a403f469326cd3066e6352bf2587f983d"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#a403f469326cd3066e6352bf2587f983d">SVF::POCRHybridSolver::meld</a></div><div class="ttdeci">void meld(NodeID x, TreeNode *uNode, TreeNode *vNode)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8cpp_source.html#l00326">CFLSolver.cpp:326</a></div></div>
|
|
880
875
|
<div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_a122025228d5ca57e287f7fe85f279765"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#a122025228d5ca57e287f7fe85f279765">SVF::POCRHybridSolver::insertEdge_h</a></div><div class="ttdeci">void insertEdge_h(TreeNode *u, TreeNode *v)</div><div class="ttdoc">add v into desc(x) as a child of u</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00337">CFLSolver.h:337</a></div></div>
|
|
881
|
-
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a4826df2851cedaa92e3ab10feee9f583"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">SVF::GrammarBase::strToSymbol</a></div><div class="ttdeci">Symbol strToSymbol(const std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="
|
|
882
|
-
<div class="ttc" id="aclassSVF_1_1CFLGrammar_html_aa6383a6a8ccd30afbedf7ff3a05d46d8"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">SVF::CFLGrammar::hasProdsFromFirstRHS</a></div><div class="ttdeci">const bool hasProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00328">CFLGrammar.h:328</a></div></div>
|
|
876
|
+
<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a4826df2851cedaa92e3ab10feee9f583"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4826df2851cedaa92e3ab10feee9f583">SVF::GrammarBase::strToSymbol</a></div><div class="ttdeci">Symbol strToSymbol(const std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00074">CFGrammar.cpp:74</a></div></div>
|
|
883
877
|
<div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_ab9dde401a28a8ac3e4da0cc74704b6e0"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0">SVF::POCRHybridSolver::addArc</a></div><div class="ttdeci">void addArc(NodeID src, NodeID dst)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8cpp_source.html#l00314">CFLSolver.cpp:314</a></div></div>
|
|
884
|
-
<div class="ttc" id="
|
|
885
|
-
<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>
|
|
878
|
+
<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>
|
|
886
879
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
|
|
880
|
+
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_ac9a41a439655caa32c5ce15e2b9c1607"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607">SVF::POCRSolver::POCRSolver</a></div><div class="ttdeci">POCRSolver(CFLGraph *_graph, CFGrammar *_grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00269">CFLSolver.h:269</a></div></div>
|
|
881
|
+
<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>
|
|
882
|
+
<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>
|
|
883
|
+
<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>
|
|
887
884
|
<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>
|
|
888
|
-
<div class="ttc" id="
|
|
885
|
+
<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>
|
|
886
|
+
<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>
|
|
889
887
|
<div class="ttc" id="acJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
|
|
890
888
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_ad3c570ffdea011fd06af17571fc566af"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ad3c570ffdea011fd06af17571fc566af">SVF::POCRSolver::addEdge</a></div><div class="ttdeci">bool addEdge(const NodeID src, const NodeID dst, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00215">CFLSolver.h:215</a></div></div>
|
|
891
889
|
<div class="ttc" id="aclassSVF_1_1CFLGraph_html_afcf910a94a3b081067f5a55599475a16"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#afcf910a94a3b081067f5a55599475a16">SVF::CFLGraph::getCFLEdges</a></div><div class="ttdeci">const CFLEdgeSet & getCFLEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00181">CFLGraph.h:181</a></div></div>
|
|
892
890
|
<div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
|
|
893
891
|
<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>
|
|
894
892
|
<div class="ttc" id="aclassSVF_1_1POCRSolver_html_a4a688b3d2bc6d9fd9ad0414e715ad4f4"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a4a688b3d2bc6d9fd9ad0414e715ad4f4">SVF::POCRSolver::hasEdge</a></div><div class="ttdeci">bool hasEdge(const NodeID src, const NodeID dst, const Label ty)</div><div class="ttdoc">find src -> find src[ty] -> find dst in set</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00248">CFLSolver.h:248</a></div></div>
|
|
893
|
+
<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>
|
|
894
|
+
<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>
|
|
895
895
|
<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>
|
|
896
896
|
<div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_acaf3ed69888f4a3862dddf0de7508455"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455">SVF::POCRHybridSolver::indMap</a></div><div class="ttdeci">Map< NodeID, std::unordered_map< NodeID, TreeNode * > > indMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00323">CFLSolver.h:323</a></div></div>
|
|
897
897
|
<!-- start footer part -->
|
|
@@ -82,7 +82,7 @@ $(function() {
|
|
|
82
82
|
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ab030e53206df7233d43037d89f97eb85">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
83
83
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a333bd9ca42aec9127148d45955c64aed">begin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
84
84
|
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc">buildCFLData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
85
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
85
|
+
<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>
|
|
86
86
|
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a5f3f6218e0934d4b3c87f2bdffe92b58">clear</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
87
87
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a1c612d315cb42ea6d4722357e5869ebc">clearEdges</a>(const NodeID key)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
88
88
|
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a08d86d5ab5fa57da6217480611f057a2">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"></td></tr>
|
|
@@ -91,7 +91,7 @@ $(function() {
|
|
|
91
91
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0">emptyData</a></td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
92
92
|
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ae85ebdc4cc4e0baf16439abdd146f5ef">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
93
93
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a022b3a247e5b014e91cca52a9308b52c">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
94
|
+
<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>
|
|
95
95
|
<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>
|
|
96
96
|
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">getPredMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
97
97
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a585aa205c1da08d33aac52552a8a1a75">getPredMap</a>(const NodeID key)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
@@ -99,7 +99,7 @@ $(function() {
|
|
|
99
99
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
100
100
|
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">getSuccMap</a>(const NodeID key)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
101
101
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">getSuccs</a>(const NodeID key, const Label ty)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
102
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
102
|
+
<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>
|
|
103
103
|
<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>
|
|
104
104
|
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a4a688b3d2bc6d9fd9ad0414e715ad4f4">hasEdge</a>(const NodeID src, const NodeID dst, const Label ty)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
105
105
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#aee3dd69ba726e194dd31e73d1a9ec8e2">initialize</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
@@ -107,15 +107,15 @@ $(function() {
|
|
|
107
107
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#ab17e45749a732a0ca29eecf6359e2f2f">isWorklistEmpty</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>
|
|
108
108
|
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a5541b15444355d6c2e1012ef8bbd34e3">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"></td></tr>
|
|
109
109
|
<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>
|
|
110
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#
|
|
110
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607">POCRSolver</a>(CFLGraph *_graph, CFGrammar *_grammar)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
111
111
|
<tr class="even"><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>
|
|
112
112
|
<tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d">predMap</a></td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
113
113
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a7222e42a006c25df112f66b346e813f1">processCFLEdge</a>(const CFLEdge *Y_edge)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
114
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
114
|
+
<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>
|
|
115
115
|
<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>
|
|
116
116
|
<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>
|
|
117
117
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#abb518bb0c0238c9fd1e04b8836f6ff36">succMap</a></td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
118
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#
|
|
118
|
+
<tr><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>
|
|
119
119
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f">TypeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"></td></tr>
|
|
120
120
|
<tr><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>
|
|
121
121
|
<tr class="even"><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>
|