svf-tools 1.0.890 → 1.0.892
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/AbstractExecution_8cpp_source.html +451 -450
- package/SVF-doxygen/html/AbstractExecution_8h_source.html +11 -11
- package/SVF-doxygen/html/AccessPath_8cpp_source.html +150 -147
- package/SVF-doxygen/html/AccessPath_8h_source.html +6 -6
- package/SVF-doxygen/html/Andersen_8cpp_source.html +1 -1
- package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +426 -425
- package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +2 -2
- package/SVF-doxygen/html/CFLAlias_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CppUtil_8cpp_source.html +4 -4
- package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
- package/SVF-doxygen/html/DCHG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/DDAClient_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ICFGSimplification_8cpp_source.html +43 -44
- package/SVF-doxygen/html/ICFGWTO_8h_source.html +4 -4
- package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +556 -556
- package/SVF-doxygen/html/LLVMModule_8h_source.html +15 -15
- package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +552 -525
- package/SVF-doxygen/html/LLVMUtil_8h.html +2 -0
- package/SVF-doxygen/html/LLVMUtil_8h_source.html +55 -52
- package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ObjTypeInference_8cpp.html +1 -1
- package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +3 -3
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +828 -827
- package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +20 -20
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +7 -7
- package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFStatements_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Steensgaard_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +9 -9
- package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +1 -1
- package/SVF-doxygen/html/WTO_8h.html +1 -0
- package/SVF-doxygen/html/WTO_8h_source.html +812 -811
- package/SVF-doxygen/html/ae_8cpp.html +46 -47
- package/SVF-doxygen/html/ae_8cpp_source.html +46 -47
- package/SVF-doxygen/html/classSVF_1_1AEAPI.html +432 -431
- package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +22 -22
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +136 -133
- package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BufOverflowCheckerAPI.html +82 -81
- package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepStmt.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFGSimplification.html +43 -44
- package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +538 -538
- package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MHP.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +792 -791
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
- package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1TCT.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1WTO.html +253 -253
- package/SVF-doxygen/html/classSVF_1_1WTOComponent.html +21 -21
- package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1WTOCycle.html +61 -61
- package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth.html +115 -115
- package/SVF-doxygen/html/classSVF_1_1WTONode.html +31 -31
- package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html +31 -31
- package/SVF-doxygen/html/globals_vars.html +3 -3
- package/SVF-doxygen/html/globals_z.html +3 -3
- package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +529 -483
- package/SVF-doxygen/html/namespaceSVF_1_1cppUtil.html +2 -2
- package/SVF-doxygen/html/namespacemembers_func_r.html +3 -0
- package/SVF-doxygen/html/namespacemembers_r.html +3 -0
- package/SVF-doxygen/html/search/all_11.js +54 -53
- package/SVF-doxygen/html/search/all_12.js +570 -570
- package/SVF-doxygen/html/search/all_13.js +207 -207
- package/SVF-doxygen/html/search/all_14.js +70 -70
- package/SVF-doxygen/html/search/all_15.js +176 -176
- package/SVF-doxygen/html/search/all_16.js +77 -77
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +26 -26
- package/SVF-doxygen/html/search/all_1a.js +180 -180
- package/SVF-doxygen/html/search/classes_0.js +29 -29
- package/SVF-doxygen/html/search/classes_1.js +12 -12
- package/SVF-doxygen/html/search/classes_10.js +74 -74
- package/SVF-doxygen/html/search/classes_11.js +14 -14
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +19 -19
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +73 -73
- package/SVF-doxygen/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/search/classes_4.js +8 -8
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/search/classes_7.js +38 -38
- package/SVF-doxygen/html/search/classes_8.js +59 -59
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +19 -19
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +3 -3
- package/SVF-doxygen/html/search/defines_10.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/search/defines_4.js +3 -3
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +4 -4
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +8 -8
- package/SVF-doxygen/html/search/defines_f.js +4 -4
- package/SVF-doxygen/html/search/enums_0.js +4 -4
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +4 -4
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_1.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +47 -47
- package/SVF-doxygen/html/search/files_0.js +16 -16
- package/SVF-doxygen/html/search/files_1.js +9 -9
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +53 -53
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +10 -10
- package/SVF-doxygen/html/search/files_7.js +17 -17
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +4 -4
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +13 -13
- package/SVF-doxygen/html/search/functions_1.js +369 -369
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +140 -139
- package/SVF-doxygen/html/search/functions_12.js +299 -299
- package/SVF-doxygen/html/search/functions_13.js +73 -73
- package/SVF-doxygen/html/search/functions_14.js +41 -41
- package/SVF-doxygen/html/search/functions_15.js +72 -72
- package/SVF-doxygen/html/search/functions_16.js +38 -38
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +180 -180
- package/SVF-doxygen/html/search/functions_2.js +95 -95
- package/SVF-doxygen/html/search/functions_3.js +261 -261
- package/SVF-doxygen/html/search/functions_4.js +84 -84
- package/SVF-doxygen/html/search/functions_5.js +57 -57
- package/SVF-doxygen/html/search/functions_6.js +65 -65
- package/SVF-doxygen/html/search/functions_7.js +863 -863
- package/SVF-doxygen/html/search/functions_8.js +162 -162
- package/SVF-doxygen/html/search/functions_9.js +439 -439
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +25 -25
- package/SVF-doxygen/html/search/functions_d.js +82 -82
- package/SVF-doxygen/html/search/functions_e.js +36 -36
- package/SVF-doxygen/html/search/functions_f.js +58 -58
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +4 -4
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +5 -5
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +2 -2
- package/SVF-doxygen/html/search/related_d.js +12 -12
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +19 -19
- package/SVF-doxygen/html/search/typedefs_1.js +27 -27
- package/SVF-doxygen/html/search/typedefs_10.js +63 -63
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +40 -40
- package/SVF-doxygen/html/search/typedefs_14.js +11 -11
- package/SVF-doxygen/html/search/typedefs_2.js +125 -125
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +42 -42
- package/SVF-doxygen/html/search/typedefs_6.js +54 -54
- package/SVF-doxygen/html/search/typedefs_7.js +47 -47
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +177 -177
- package/SVF-doxygen/html/search/variables_1.js +76 -76
- package/SVF-doxygen/html/search/variables_10.js +98 -98
- package/SVF-doxygen/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/search/variables_12.js +93 -93
- package/SVF-doxygen/html/search/variables_13.js +76 -76
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +49 -49
- package/SVF-doxygen/html/search/variables_16.js +11 -11
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +17 -17
- package/SVF-doxygen/html/search/variables_2.js +41 -41
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +51 -51
- package/SVF-doxygen/html/search/variables_5.js +39 -39
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +34 -34
- package/SVF-doxygen/html/search/variables_8.js +8 -8
- package/SVF-doxygen/html/search/variables_9.js +79 -79
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +57 -57
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +31 -31
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1has__edgetype.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1has__nodetype.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/svf-ex_8cpp.html +12 -12
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +12 -12
- package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +1 -1
- package/package.json +1 -1
- package/svf/include/Graphs/WTO.h +1 -0
- package/svf/lib/AE/Svfexe/AbstractExecution.cpp +1 -0
- package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +1 -0
- package/svf/lib/AE/Svfexe/ICFGSimplification.cpp +1 -2
- package/svf/lib/AE/Svfexe/SVFIR2ItvExeState.cpp +1 -0
- package/svf/lib/MemoryModel/AccessPath.cpp +4 -1
- package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +2 -0
- package/svf-llvm/lib/LLVMModule.cpp +3 -4
- package/svf-llvm/lib/LLVMUtil.cpp +29 -2
- package/svf-llvm/lib/SVFIRBuilder.cpp +1 -1
- package/svf-llvm/tools/AE/ae.cpp +1 -2
|
@@ -239,7 +239,7 @@ class SVF::WTO< GraphT ></h3>
|
|
|
239
239
|
|
|
240
240
|
<p>Weak topological order for GraphT </p>
|
|
241
241
|
|
|
242
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
242
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00044">44</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
243
243
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
244
244
|
<a id="a54890e9212acbff3ccd28d674f86e9e7"></a>
|
|
245
245
|
<h2 class="memtitle"><span class="permalink"><a href="#a54890e9212acbff3ccd28d674f86e9e7">◆ </a></span>CycleDepthNumber</h2>
|
|
@@ -263,7 +263,7 @@ template<typename GraphT > </div>
|
|
|
263
263
|
</table>
|
|
264
264
|
</div><div class="memdoc">
|
|
265
265
|
|
|
266
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
266
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00533">533</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
267
267
|
|
|
268
268
|
</div>
|
|
269
269
|
</div>
|
|
@@ -281,7 +281,7 @@ template<typename GraphT > </div>
|
|
|
281
281
|
</table>
|
|
282
282
|
</div><div class="memdoc">
|
|
283
283
|
|
|
284
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
284
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00519">519</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
285
285
|
|
|
286
286
|
</div>
|
|
287
287
|
</div>
|
|
@@ -299,7 +299,7 @@ template<typename GraphT > </div>
|
|
|
299
299
|
</table>
|
|
300
300
|
</div><div class="memdoc">
|
|
301
301
|
|
|
302
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
302
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00520">520</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
303
303
|
|
|
304
304
|
</div>
|
|
305
305
|
</div>
|
|
@@ -319,7 +319,7 @@ template<typename GraphT > </div>
|
|
|
319
319
|
|
|
320
320
|
<p>Iterator over the components. </p>
|
|
321
321
|
|
|
322
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
322
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00541">541</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
323
323
|
|
|
324
324
|
</div>
|
|
325
325
|
</div>
|
|
@@ -337,7 +337,7 @@ template<typename GraphT > </div>
|
|
|
337
337
|
</table>
|
|
338
338
|
</div><div class="memdoc">
|
|
339
339
|
|
|
340
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
340
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00524">524</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
341
341
|
|
|
342
342
|
</div>
|
|
343
343
|
</div>
|
|
@@ -363,7 +363,7 @@ template<typename GraphT > </div>
|
|
|
363
363
|
</table>
|
|
364
364
|
</div><div class="memdoc">
|
|
365
365
|
|
|
366
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
366
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00534">534</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
367
367
|
|
|
368
368
|
</div>
|
|
369
369
|
</div>
|
|
@@ -389,7 +389,7 @@ template<typename GraphT > </div>
|
|
|
389
389
|
</table>
|
|
390
390
|
</div><div class="memdoc">
|
|
391
391
|
|
|
392
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
392
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00531">531</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
393
393
|
|
|
394
394
|
</div>
|
|
395
395
|
</div>
|
|
@@ -415,7 +415,7 @@ template<typename GraphT > </div>
|
|
|
415
415
|
</table>
|
|
416
416
|
</div><div class="memdoc">
|
|
417
417
|
|
|
418
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
418
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00537">537</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
419
419
|
|
|
420
420
|
</div>
|
|
421
421
|
</div>
|
|
@@ -441,7 +441,7 @@ template<typename GraphT > </div>
|
|
|
441
441
|
</table>
|
|
442
442
|
</div><div class="memdoc">
|
|
443
443
|
|
|
444
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
444
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00530">530</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
445
445
|
|
|
446
446
|
</div>
|
|
447
447
|
</div>
|
|
@@ -459,7 +459,7 @@ template<typename GraphT > </div>
|
|
|
459
459
|
</table>
|
|
460
460
|
</div><div class="memdoc">
|
|
461
461
|
|
|
462
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
462
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00515">515</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
463
463
|
|
|
464
464
|
</div>
|
|
465
465
|
</div>
|
|
@@ -485,7 +485,7 @@ template<typename GraphT > </div>
|
|
|
485
485
|
</table>
|
|
486
486
|
</div><div class="memdoc">
|
|
487
487
|
|
|
488
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
488
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00535">535</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
489
489
|
|
|
490
490
|
</div>
|
|
491
491
|
</div>
|
|
@@ -511,7 +511,7 @@ template<typename GraphT > </div>
|
|
|
511
511
|
</table>
|
|
512
512
|
</div><div class="memdoc">
|
|
513
513
|
|
|
514
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
514
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00528">528</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
515
515
|
|
|
516
516
|
</div>
|
|
517
517
|
</div>
|
|
@@ -537,7 +537,7 @@ template<typename GraphT > </div>
|
|
|
537
537
|
</table>
|
|
538
538
|
</div><div class="memdoc">
|
|
539
539
|
|
|
540
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
540
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00529">529</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
541
541
|
|
|
542
542
|
</div>
|
|
543
543
|
</div>
|
|
@@ -555,7 +555,7 @@ template<typename GraphT > </div>
|
|
|
555
555
|
</table>
|
|
556
556
|
</div><div class="memdoc">
|
|
557
557
|
|
|
558
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
558
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00521">521</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
559
559
|
|
|
560
560
|
</div>
|
|
561
561
|
</div>
|
|
@@ -581,7 +581,7 @@ template<typename GraphT > </div>
|
|
|
581
581
|
</table>
|
|
582
582
|
</div><div class="memdoc">
|
|
583
583
|
|
|
584
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
584
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00536">536</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
585
585
|
|
|
586
586
|
</div>
|
|
587
587
|
</div>
|
|
@@ -599,7 +599,7 @@ template<typename GraphT > </div>
|
|
|
599
599
|
</table>
|
|
600
600
|
</div><div class="memdoc">
|
|
601
601
|
|
|
602
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
602
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00523">523</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
603
603
|
|
|
604
604
|
</div>
|
|
605
605
|
</div>
|
|
@@ -617,7 +617,7 @@ template<typename GraphT > </div>
|
|
|
617
617
|
</table>
|
|
618
618
|
</div><div class="memdoc">
|
|
619
619
|
|
|
620
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
620
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00522">522</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
621
621
|
|
|
622
622
|
</div>
|
|
623
623
|
</div>
|
|
@@ -660,10 +660,10 @@ template<typename GraphT > </div>
|
|
|
660
660
|
|
|
661
661
|
<p>Compute the weak topological order of the given graph. </p>
|
|
662
662
|
|
|
663
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
664
|
-
<div class="fragment"><div class="line"><a name="
|
|
665
|
-
<div class="line"><a name="
|
|
666
|
-
<div class="line"><a name="
|
|
663
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00557">557</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
664
|
+
<div class="fragment"><div class="line"><a name="l00557"></a><span class="lineno"> 557</span>  : <a class="code" href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">_num</a>(0), <a class="code" href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">_graph</a>(graph), <a class="code" href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">_entry</a>(entry)</div>
|
|
665
|
+
<div class="line"><a name="l00558"></a><span class="lineno"> 558</span>  {</div>
|
|
666
|
+
<div class="line"><a name="l00559"></a><span class="lineno"> 559</span>  }</div>
|
|
667
667
|
</div><!-- fragment -->
|
|
668
668
|
</div>
|
|
669
669
|
</div>
|
|
@@ -754,13 +754,13 @@ template<typename GraphT > </div>
|
|
|
754
754
|
|
|
755
755
|
<p>Destructor. </p>
|
|
756
756
|
|
|
757
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
758
|
-
<div class="fragment"><div class="line"><a name="
|
|
759
|
-
<div class="line"><a name="
|
|
760
|
-
<div class="line"><a name="
|
|
761
|
-
<div class="line"><a name="
|
|
762
|
-
<div class="line"><a name="
|
|
763
|
-
<div class="line"><a name="
|
|
757
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00574">574</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
758
|
+
<div class="fragment"><div class="line"><a name="l00575"></a><span class="lineno"> 575</span>  {</div>
|
|
759
|
+
<div class="line"><a name="l00576"></a><span class="lineno"> 576</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>& <a class="code" href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">component</a> : <a class="code" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">_allComponents</a>)</div>
|
|
760
|
+
<div class="line"><a name="l00577"></a><span class="lineno"> 577</span>  {</div>
|
|
761
|
+
<div class="line"><a name="l00578"></a><span class="lineno"> 578</span>  <span class="keyword">delete</span> <a class="code" href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">component</a>;</div>
|
|
762
|
+
<div class="line"><a name="l00579"></a><span class="lineno"> 579</span>  }</div>
|
|
763
|
+
<div class="line"><a name="l00580"></a><span class="lineno"> 580</span>  }</div>
|
|
764
764
|
</div><!-- fragment -->
|
|
765
765
|
</div>
|
|
766
766
|
</div>
|
|
@@ -793,13 +793,13 @@ template<typename GraphT > </div>
|
|
|
793
793
|
|
|
794
794
|
<p>Accept the given visitor. </p>
|
|
795
795
|
|
|
796
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
797
|
-
<div class="fragment"><div class="line"><a name="
|
|
798
|
-
<div class="line"><a name="
|
|
799
|
-
<div class="line"><a name="
|
|
800
|
-
<div class="line"><a name="
|
|
801
|
-
<div class="line"><a name="
|
|
802
|
-
<div class="line"><a name="
|
|
796
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00627">627</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
797
|
+
<div class="fragment"><div class="line"><a name="l00628"></a><span class="lineno"> 628</span>  {</div>
|
|
798
|
+
<div class="line"><a name="l00629"></a><span class="lineno"> 629</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>& c : <a class="code" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">_components</a>)</div>
|
|
799
|
+
<div class="line"><a name="l00630"></a><span class="lineno"> 630</span>  {</div>
|
|
800
|
+
<div class="line"><a name="l00631"></a><span class="lineno"> 631</span>  c->accept(v);</div>
|
|
801
|
+
<div class="line"><a name="l00632"></a><span class="lineno"> 632</span>  }</div>
|
|
802
|
+
<div class="line"><a name="l00633"></a><span class="lineno"> 633</span>  }</div>
|
|
803
803
|
</div><!-- fragment -->
|
|
804
804
|
</div>
|
|
805
805
|
</div>
|
|
@@ -829,10 +829,10 @@ template<typename GraphT > </div>
|
|
|
829
829
|
</div><div class="memdoc">
|
|
830
830
|
<p>Begin iterator over the components Begin iterator over the components </p>
|
|
831
831
|
|
|
832
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
833
|
-
<div class="fragment"><div class="line"><a name="
|
|
834
|
-
<div class="line"><a name="
|
|
835
|
-
<div class="line"><a name="
|
|
832
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00584">584</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
833
|
+
<div class="fragment"><div class="line"><a name="l00585"></a><span class="lineno"> 585</span>  {</div>
|
|
834
|
+
<div class="line"><a name="l00586"></a><span class="lineno"> 586</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">_components</a>.cbegin();</div>
|
|
835
|
+
<div class="line"><a name="l00587"></a><span class="lineno"> 587</span>  }</div>
|
|
836
836
|
</div><!-- fragment -->
|
|
837
837
|
</div>
|
|
838
838
|
</div>
|
|
@@ -863,14 +863,14 @@ template<typename GraphT > </div>
|
|
|
863
863
|
|
|
864
864
|
<p>Build the node to <a class="el" href="classSVF_1_1WTO.html">WTO</a> cycle depth table. </p>
|
|
865
865
|
|
|
866
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
867
|
-
<div class="fragment"><div class="line"><a name="
|
|
868
|
-
<div class="line"><a name="
|
|
869
|
-
<div class="line"><a name="
|
|
870
|
-
<div class="line"><a name="
|
|
871
|
-
<div class="line"><a name="
|
|
872
|
-
<div class="line"><a name="
|
|
873
|
-
<div class="line"><a name="
|
|
866
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00847">847</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
867
|
+
<div class="fragment"><div class="line"><a name="l00848"></a><span class="lineno"> 848</span>  {</div>
|
|
868
|
+
<div class="line"><a name="l00849"></a><span class="lineno"> 849</span>  WTOCycleDepthBuilder builder(<a class="code" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a>);</div>
|
|
869
|
+
<div class="line"><a name="l00850"></a><span class="lineno"> 850</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d">begin</a>(), et = <a class="code" href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">end</a>(); it != et; ++it)</div>
|
|
870
|
+
<div class="line"><a name="l00851"></a><span class="lineno"> 851</span>  {</div>
|
|
871
|
+
<div class="line"><a name="l00852"></a><span class="lineno"> 852</span>  (*it)->accept(builder);</div>
|
|
872
|
+
<div class="line"><a name="l00853"></a><span class="lineno"> 853</span>  }</div>
|
|
873
|
+
<div class="line"><a name="l00854"></a><span class="lineno"> 854</span>  }</div>
|
|
874
874
|
</div><!-- fragment -->
|
|
875
875
|
</div>
|
|
876
876
|
</div>
|
|
@@ -902,20 +902,20 @@ template<typename GraphT > </div>
|
|
|
902
902
|
|
|
903
903
|
<p>Create the cycle component for the given node. </p>
|
|
904
904
|
|
|
905
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
906
|
-
<div class="fragment"><div class="line"><a name="
|
|
907
|
-
<div class="line"><a name="
|
|
908
|
-
<div class="line"><a name="
|
|
909
|
-
<div class="line"><a name="
|
|
910
|
-
<div class="line"><a name="
|
|
911
|
-
<div class="line"><a name="
|
|
912
|
-
<div class="line"><a name="
|
|
913
|
-
<div class="line"><a name="
|
|
914
|
-
<div class="line"><a name="
|
|
915
|
-
<div class="line"><a name="
|
|
916
|
-
<div class="line"><a name="
|
|
917
|
-
<div class="line"><a name="
|
|
918
|
-
<div class="line"><a name="
|
|
905
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00777">777</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
906
|
+
<div class="fragment"><div class="line"><a name="l00778"></a><span class="lineno"> 778</span>  {</div>
|
|
907
|
+
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span>  <a class="code" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a> partition;</div>
|
|
908
|
+
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span>  <a class="code" href="classSVF_1_1WTO.html#a65d2ed9e7306392ce0b82ac018f0cdea">forEachSuccessor</a>(node, [&](<span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* succ)</div>
|
|
909
|
+
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  {</div>
|
|
910
|
+
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">getCDN</a>(succ) == 0)</div>
|
|
911
|
+
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span>  {</div>
|
|
912
|
+
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span>  <a class="code" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">visit</a>(succ, partition);</div>
|
|
913
|
+
<div class="line"><a name="l00785"></a><span class="lineno"> 785</span>  }</div>
|
|
914
|
+
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span>  });</div>
|
|
915
|
+
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a>* ptr = <a class="code" href="classSVF_1_1WTO.html#aee55e23a1994d4daa29f21a608a1ca69">newCycle</a>(node, partition);</div>
|
|
916
|
+
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span>  <a class="code" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a>.emplace(node, ptr);</div>
|
|
917
|
+
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span>  <span class="keywordflow">return</span> ptr;</div>
|
|
918
|
+
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span>  }</div>
|
|
919
919
|
</div><!-- fragment -->
|
|
920
920
|
</div>
|
|
921
921
|
</div>
|
|
@@ -947,12 +947,12 @@ template<typename GraphT > </div>
|
|
|
947
947
|
|
|
948
948
|
<p>Return the cycleDepth of the given node. </p>
|
|
949
949
|
|
|
950
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
951
|
-
<div class="fragment"><div class="line"><a name="
|
|
952
|
-
<div class="line"><a name="
|
|
953
|
-
<div class="line"><a name="
|
|
954
|
-
<div class="line"><a name="
|
|
955
|
-
<div class="line"><a name="
|
|
950
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00612">612</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
951
|
+
<div class="fragment"><div class="line"><a name="l00613"></a><span class="lineno"> 613</span>  {</div>
|
|
952
|
+
<div class="line"><a name="l00614"></a><span class="lineno"> 614</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
|
|
953
|
+
<div class="line"><a name="l00615"></a><span class="lineno"> 615</span>  assert(it != <a class="code" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a>.end() && <span class="stringliteral">"node not found"</span>);</div>
|
|
954
|
+
<div class="line"><a name="l00616"></a><span class="lineno"> 616</span>  <span class="keywordflow">return</span> *(it->second);</div>
|
|
955
|
+
<div class="line"><a name="l00617"></a><span class="lineno"> 617</span>  }</div>
|
|
956
956
|
</div><!-- fragment -->
|
|
957
957
|
</div>
|
|
958
958
|
</div>
|
|
@@ -983,10 +983,10 @@ template<typename GraphT > </div>
|
|
|
983
983
|
|
|
984
984
|
<p>End iterator over the components. </p>
|
|
985
985
|
|
|
986
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
987
|
-
<div class="fragment"><div class="line"><a name="
|
|
988
|
-
<div class="line"><a name="
|
|
989
|
-
<div class="line"><a name="
|
|
986
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00590">590</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
987
|
+
<div class="fragment"><div class="line"><a name="l00591"></a><span class="lineno"> 591</span>  {</div>
|
|
988
|
+
<div class="line"><a name="l00592"></a><span class="lineno"> 592</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">_components</a>.cend();</div>
|
|
989
|
+
<div class="line"><a name="l00593"></a><span class="lineno"> 593</span>  }</div>
|
|
990
990
|
</div><!-- fragment -->
|
|
991
991
|
</div>
|
|
992
992
|
</div>
|
|
@@ -1026,13 +1026,13 @@ template<typename GraphT > </div>
|
|
|
1026
1026
|
</table>
|
|
1027
1027
|
</div><div class="memdoc">
|
|
1028
1028
|
|
|
1029
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1030
|
-
<div class="fragment"><div class="line"><a name="
|
|
1031
|
-
<div class="line"><a name="
|
|
1032
|
-
<div class="line"><a name="
|
|
1033
|
-
<div class="line"><a name="
|
|
1034
|
-
<div class="line"><a name="
|
|
1035
|
-
<div class="line"><a name="
|
|
1029
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00713">713</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1030
|
+
<div class="fragment"><div class="line"><a name="l00714"></a><span class="lineno"> 714</span>  {</div>
|
|
1031
|
+
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>& e : node->getOutEdges())</div>
|
|
1032
|
+
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span>  {</div>
|
|
1033
|
+
<div class="line"><a name="l00717"></a><span class="lineno"> 717</span>  func(e->getDstNode());</div>
|
|
1034
|
+
<div class="line"><a name="l00718"></a><span class="lineno"> 718</span>  }</div>
|
|
1035
|
+
<div class="line"><a name="l00719"></a><span class="lineno"> 719</span>  }</div>
|
|
1036
1036
|
</div><!-- fragment -->
|
|
1037
1037
|
</div>
|
|
1038
1038
|
</div>
|
|
@@ -1064,18 +1064,18 @@ template<typename GraphT > </div>
|
|
|
1064
1064
|
|
|
1065
1065
|
<p>Return the depth-first number of the given node. </p>
|
|
1066
1066
|
|
|
1067
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1068
|
-
<div class="fragment"><div class="line"><a name="
|
|
1069
|
-
<div class="line"><a name="
|
|
1070
|
-
<div class="line"><a name="
|
|
1071
|
-
<div class="line"><a name="
|
|
1072
|
-
<div class="line"><a name="
|
|
1073
|
-
<div class="line"><a name="
|
|
1074
|
-
<div class="line"><a name="
|
|
1075
|
-
<div class="line"><a name="
|
|
1076
|
-
<div class="line"><a name="
|
|
1077
|
-
<div class="line"><a name="
|
|
1078
|
-
<div class="line"><a name="
|
|
1067
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00723">723</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1068
|
+
<div class="fragment"><div class="line"><a name="l00724"></a><span class="lineno"> 724</span>  {</div>
|
|
1069
|
+
<div class="line"><a name="l00725"></a><span class="lineno"> 725</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">_nodeToCDN</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
|
|
1070
|
+
<div class="line"><a name="l00726"></a><span class="lineno"> 726</span>  <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">_nodeToCDN</a>.end())</div>
|
|
1071
|
+
<div class="line"><a name="l00727"></a><span class="lineno"> 727</span>  {</div>
|
|
1072
|
+
<div class="line"><a name="l00728"></a><span class="lineno"> 728</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
1073
|
+
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span>  }</div>
|
|
1074
|
+
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span>  <span class="keywordflow">else</span></div>
|
|
1075
|
+
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span>  {</div>
|
|
1076
|
+
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span>  <span class="keywordflow">return</span> 0;</div>
|
|
1077
|
+
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span>  }</div>
|
|
1078
|
+
<div class="line"><a name="l00734"></a><span class="lineno"> 734</span>  }</div>
|
|
1079
1079
|
</div><!-- fragment -->
|
|
1080
1080
|
</div>
|
|
1081
1081
|
</div>
|
|
@@ -1104,10 +1104,10 @@ template<typename GraphT > </div>
|
|
|
1104
1104
|
</table>
|
|
1105
1105
|
</div><div class="memdoc">
|
|
1106
1106
|
|
|
1107
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1108
|
-
<div class="fragment"><div class="line"><a name="
|
|
1109
|
-
<div class="line"><a name="
|
|
1110
|
-
<div class="line"><a name="
|
|
1107
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00600">600</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1108
|
+
<div class="fragment"><div class="line"><a name="l00601"></a><span class="lineno"> 601</span>  {</div>
|
|
1109
|
+
<div class="line"><a name="l00602"></a><span class="lineno"> 602</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a>.cbegin();</div>
|
|
1110
|
+
<div class="line"><a name="l00603"></a><span class="lineno"> 603</span>  }</div>
|
|
1111
1111
|
</div><!-- fragment -->
|
|
1112
1112
|
</div>
|
|
1113
1113
|
</div>
|
|
@@ -1138,10 +1138,10 @@ template<typename GraphT > </div>
|
|
|
1138
1138
|
|
|
1139
1139
|
<p>End iterator over the components. </p>
|
|
1140
1140
|
|
|
1141
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1142
|
-
<div class="fragment"><div class="line"><a name="
|
|
1143
|
-
<div class="line"><a name="
|
|
1144
|
-
<div class="line"><a name="
|
|
1141
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00606">606</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1142
|
+
<div class="fragment"><div class="line"><a name="l00607"></a><span class="lineno"> 607</span>  {</div>
|
|
1143
|
+
<div class="line"><a name="l00608"></a><span class="lineno"> 608</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a>.cend();</div>
|
|
1144
|
+
<div class="line"><a name="l00609"></a><span class="lineno"> 609</span>  }</div>
|
|
1145
1145
|
</div><!-- fragment -->
|
|
1146
1146
|
</div>
|
|
1147
1147
|
</div>
|
|
@@ -1173,11 +1173,11 @@ template<typename GraphT > </div>
|
|
|
1173
1173
|
|
|
1174
1174
|
<p>Return the cycleDepth of the given node. </p>
|
|
1175
1175
|
|
|
1176
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1177
|
-
<div class="fragment"><div class="line"><a name="
|
|
1178
|
-
<div class="line"><a name="
|
|
1179
|
-
<div class="line"><a name="
|
|
1180
|
-
<div class="line"><a name="
|
|
1176
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00620">620</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1177
|
+
<div class="fragment"><div class="line"><a name="l00621"></a><span class="lineno"> 621</span>  {</div>
|
|
1178
|
+
<div class="line"><a name="l00622"></a><span class="lineno"> 622</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
|
|
1179
|
+
<div class="line"><a name="l00623"></a><span class="lineno"> 623</span>  <span class="keywordflow">return</span> it != <a class="code" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a>.end();</div>
|
|
1180
|
+
<div class="line"><a name="l00624"></a><span class="lineno"> 624</span>  }</div>
|
|
1181
1181
|
</div><!-- fragment -->
|
|
1182
1182
|
</div>
|
|
1183
1183
|
</div>
|
|
@@ -1206,13 +1206,13 @@ template<typename GraphT > </div>
|
|
|
1206
1206
|
</table>
|
|
1207
1207
|
</div><div class="memdoc">
|
|
1208
1208
|
|
|
1209
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1210
|
-
<div class="fragment"><div class="line"><a name="
|
|
1211
|
-
<div class="line"><a name="
|
|
1212
|
-
<div class="line"><a name="
|
|
1213
|
-
<div class="line"><a name="
|
|
1214
|
-
<div class="line"><a name="
|
|
1215
|
-
<div class="line"><a name="
|
|
1209
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00663">663</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1210
|
+
<div class="fragment"><div class="line"><a name="l00664"></a><span class="lineno"> 664</span>  {</div>
|
|
1211
|
+
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span>  <a class="code" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">visit</a>(<a class="code" href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">_entry</a>, <a class="code" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">_components</a>);</div>
|
|
1212
|
+
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span>  <a class="code" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">_nodeToCDN</a>.clear();</div>
|
|
1213
|
+
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span>  <a class="code" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a>.clear();</div>
|
|
1214
|
+
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  <a class="code" href="classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a">buildNodeToDepth</a>();</div>
|
|
1215
|
+
<div class="line"><a name="l00669"></a><span class="lineno"> 669</span>  }</div>
|
|
1216
1216
|
</div><!-- fragment -->
|
|
1217
1217
|
</div>
|
|
1218
1218
|
</div>
|
|
@@ -1242,10 +1242,10 @@ template<typename GraphT > </div>
|
|
|
1242
1242
|
</table>
|
|
1243
1243
|
</div><div class="memdoc">
|
|
1244
1244
|
|
|
1245
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1246
|
-
<div class="fragment"><div class="line"><a name="
|
|
1247
|
-
<div class="line"><a name="
|
|
1248
|
-
<div class="line"><a name="
|
|
1245
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00595">595</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1246
|
+
<div class="fragment"><div class="line"><a name="l00596"></a><span class="lineno"> 596</span>  {</div>
|
|
1247
|
+
<div class="line"><a name="l00597"></a><span class="lineno"> 597</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a>.find(node) != <a class="code" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a>.end();</div>
|
|
1248
|
+
<div class="line"><a name="l00598"></a><span class="lineno"> 598</span>  }</div>
|
|
1249
1249
|
</div><!-- fragment -->
|
|
1250
1250
|
</div>
|
|
1251
1251
|
</div>
|
|
@@ -1285,12 +1285,12 @@ template<typename GraphT > </div>
|
|
|
1285
1285
|
</table>
|
|
1286
1286
|
</div><div class="memdoc">
|
|
1287
1287
|
|
|
1288
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1289
|
-
<div class="fragment"><div class="line"><a name="
|
|
1290
|
-
<div class="line"><a name="
|
|
1291
|
-
<div class="line"><a name="
|
|
1292
|
-
<div class="line"><a name="
|
|
1293
|
-
<div class="line"><a name="
|
|
1288
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00768">768</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1289
|
+
<div class="fragment"><div class="line"><a name="l00770"></a><span class="lineno"> 770</span>  {</div>
|
|
1290
|
+
<div class="line"><a name="l00771"></a><span class="lineno"> 771</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a>* ptr = <span class="keyword">new</span> <a class="code" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a>(node, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(partition));</div>
|
|
1291
|
+
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span>  <a class="code" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">_allComponents</a>.insert(ptr);</div>
|
|
1292
|
+
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span>  <span class="keywordflow">return</span> ptr;</div>
|
|
1293
|
+
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span>  }</div>
|
|
1294
1294
|
</div><!-- fragment -->
|
|
1295
1295
|
</div>
|
|
1296
1296
|
</div>
|
|
@@ -1320,12 +1320,12 @@ template<typename GraphT > </div>
|
|
|
1320
1320
|
</table>
|
|
1321
1321
|
</div><div class="memdoc">
|
|
1322
1322
|
|
|
1323
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1324
|
-
<div class="fragment"><div class="line"><a name="
|
|
1325
|
-
<div class="line"><a name="
|
|
1326
|
-
<div class="line"><a name="
|
|
1327
|
-
<div class="line"><a name="
|
|
1328
|
-
<div class="line"><a name="
|
|
1323
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00761">761</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1324
|
+
<div class="fragment"><div class="line"><a name="l00762"></a><span class="lineno"> 762</span>  {</div>
|
|
1325
|
+
<div class="line"><a name="l00763"></a><span class="lineno"> 763</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a>* ptr = <span class="keyword">new</span> <a class="code" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a>(node);</div>
|
|
1326
|
+
<div class="line"><a name="l00764"></a><span class="lineno"> 764</span>  <a class="code" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">_allComponents</a>.insert(ptr);</div>
|
|
1327
|
+
<div class="line"><a name="l00765"></a><span class="lineno"> 765</span>  <span class="keywordflow">return</span> ptr;</div>
|
|
1328
|
+
<div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  }</div>
|
|
1329
1329
|
</div><!-- fragment -->
|
|
1330
1330
|
</div>
|
|
1331
1331
|
</div>
|
|
@@ -1416,13 +1416,13 @@ template<typename GraphT > </div>
|
|
|
1416
1416
|
|
|
1417
1417
|
<p>Pop a node from the stack. </p>
|
|
1418
1418
|
|
|
1419
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1420
|
-
<div class="fragment"><div class="line"><a name="
|
|
1421
|
-
<div class="line"><a name="
|
|
1422
|
-
<div class="line"><a name="
|
|
1423
|
-
<div class="line"><a name="
|
|
1424
|
-
<div class="line"><a name="
|
|
1425
|
-
<div class="line"><a name="
|
|
1419
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00747">747</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1420
|
+
<div class="fragment"><div class="line"><a name="l00748"></a><span class="lineno"> 748</span>  {</div>
|
|
1421
|
+
<div class="line"><a name="l00749"></a><span class="lineno"> 749</span>  assert(!<a class="code" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a>.empty() && <span class="stringliteral">"empty stack"</span>);</div>
|
|
1422
|
+
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* top = <a class="code" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a>.back();</div>
|
|
1423
|
+
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  <a class="code" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a>.pop_back();</div>
|
|
1424
|
+
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  <span class="keywordflow">return</span> top;</div>
|
|
1425
|
+
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span>  }</div>
|
|
1426
1426
|
</div><!-- fragment -->
|
|
1427
1427
|
</div>
|
|
1428
1428
|
</div>
|
|
@@ -1454,10 +1454,10 @@ template<typename GraphT > </div>
|
|
|
1454
1454
|
|
|
1455
1455
|
<p>Push a node on the stack. </p>
|
|
1456
1456
|
|
|
1457
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1458
|
-
<div class="fragment"><div class="line"><a name="
|
|
1459
|
-
<div class="line"><a name="
|
|
1460
|
-
<div class="line"><a name="
|
|
1457
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00756">756</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1458
|
+
<div class="fragment"><div class="line"><a name="l00757"></a><span class="lineno"> 757</span>  {</div>
|
|
1459
|
+
<div class="line"><a name="l00758"></a><span class="lineno"> 758</span>  <a class="code" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a>.push_back(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
|
|
1460
|
+
<div class="line"><a name="l00759"></a><span class="lineno"> 759</span>  }</div>
|
|
1461
1461
|
</div><!-- fragment -->
|
|
1462
1462
|
</div>
|
|
1463
1463
|
</div>
|
|
@@ -1499,14 +1499,14 @@ template<typename GraphT > </div>
|
|
|
1499
1499
|
|
|
1500
1500
|
<p>Set the depth-first number of the given node. </p>
|
|
1501
1501
|
|
|
1502
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1503
|
-
<div class="fragment"><div class="line"><a name="
|
|
1504
|
-
<div class="line"><a name="
|
|
1505
|
-
<div class="line"><a name="
|
|
1506
|
-
<div class="line"><a name="
|
|
1507
|
-
<div class="line"><a name="
|
|
1508
|
-
<div class="line"><a name="
|
|
1509
|
-
<div class="line"><a name="
|
|
1502
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00737">737</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1503
|
+
<div class="fragment"><div class="line"><a name="l00738"></a><span class="lineno"> 738</span>  {</div>
|
|
1504
|
+
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span>  <span class="keyword">auto</span> res = <a class="code" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">_nodeToCDN</a>.insert(std::make_pair(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, dfn));</div>
|
|
1505
|
+
<div class="line"><a name="l00740"></a><span class="lineno"> 740</span>  <span class="keywordflow">if</span> (!res.second)</div>
|
|
1506
|
+
<div class="line"><a name="l00741"></a><span class="lineno"> 741</span>  {</div>
|
|
1507
|
+
<div class="line"><a name="l00742"></a><span class="lineno"> 742</span>  (res.first)->second = dfn;</div>
|
|
1508
|
+
<div class="line"><a name="l00743"></a><span class="lineno"> 743</span>  }</div>
|
|
1509
|
+
<div class="line"><a name="l00744"></a><span class="lineno"> 744</span>  }</div>
|
|
1510
1510
|
</div><!-- fragment -->
|
|
1511
1511
|
</div>
|
|
1512
1512
|
</div>
|
|
@@ -1537,23 +1537,23 @@ template<typename GraphT > </div>
|
|
|
1537
1537
|
|
|
1538
1538
|
<p>Dump the order, for debugging purpose. </p>
|
|
1539
1539
|
|
|
1540
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1541
|
-
<div class="fragment"><div class="line"><a name="
|
|
1542
|
-
<div class="line"><a name="
|
|
1543
|
-
<div class="line"><a name="
|
|
1544
|
-
<div class="line"><a name="
|
|
1545
|
-
<div class="line"><a name="
|
|
1546
|
-
<div class="line"><a name="
|
|
1547
|
-
<div class="line"><a name="
|
|
1548
|
-
<div class="line"><a name="
|
|
1549
|
-
<div class="line"><a name="
|
|
1550
|
-
<div class="line"><a name="
|
|
1551
|
-
<div class="line"><a name="
|
|
1552
|
-
<div class="line"><a name="
|
|
1553
|
-
<div class="line"><a name="
|
|
1554
|
-
<div class="line"><a name="
|
|
1555
|
-
<div class="line"><a name="
|
|
1556
|
-
<div class="line"><a name="
|
|
1540
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00636">636</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1541
|
+
<div class="fragment"><div class="line"><a name="l00637"></a><span class="lineno"> 637</span>  {</div>
|
|
1542
|
+
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
|
|
1543
|
+
<div class="line"><a name="l00639"></a><span class="lineno"> 639</span>  std::stringstream rawstr(str);</div>
|
|
1544
|
+
<div class="line"><a name="l00640"></a><span class="lineno"> 640</span>  rawstr << <span class="stringliteral">"["</span>;</div>
|
|
1545
|
+
<div class="line"><a name="l00641"></a><span class="lineno"> 641</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d">begin</a>(), et = <a class="code" href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">end</a>(); it != et;)</div>
|
|
1546
|
+
<div class="line"><a name="l00642"></a><span class="lineno"> 642</span>  {</div>
|
|
1547
|
+
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span>  rawstr << (*it)->toString();</div>
|
|
1548
|
+
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span>  ++it;</div>
|
|
1549
|
+
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span>  <span class="keywordflow">if</span> (it != et)</div>
|
|
1550
|
+
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span>  {</div>
|
|
1551
|
+
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span>  rawstr << <span class="stringliteral">", "</span>;</div>
|
|
1552
|
+
<div class="line"><a name="l00648"></a><span class="lineno"> 648</span>  }</div>
|
|
1553
|
+
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span>  }</div>
|
|
1554
|
+
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span>  rawstr << <span class="stringliteral">"]"</span>;</div>
|
|
1555
|
+
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span>  <span class="keywordflow">return</span> rawstr.str();</div>
|
|
1556
|
+
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span>  }</div>
|
|
1557
1557
|
</div><!-- fragment -->
|
|
1558
1558
|
</div>
|
|
1559
1559
|
</div>
|
|
@@ -1595,55 +1595,55 @@ template<typename GraphT > </div>
|
|
|
1595
1595
|
<p>Visit the given node</p>
|
|
1596
1596
|
<p>Algorithm to build a weak topological order of a graph </p>
|
|
1597
1597
|
|
|
1598
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1599
|
-
<div class="fragment"><div class="line"><a name="
|
|
1600
|
-
<div class="line"><a name="
|
|
1601
|
-
<div class="line"><a name="
|
|
1602
|
-
<div class="line"><a name="
|
|
1603
|
-
<div class="line"><a name="
|
|
1604
|
-
<div class="line"><a name="
|
|
1605
|
-
<div class="line"><a name="
|
|
1606
|
-
<div class="line"><a name="
|
|
1607
|
-
<div class="line"><a name="
|
|
1608
|
-
<div class="line"><a name="
|
|
1609
|
-
<div class="line"><a name="
|
|
1610
|
-
<div class="line"><a name="
|
|
1611
|
-
<div class="line"><a name="
|
|
1612
|
-
<div class="line"><a name="
|
|
1613
|
-
<div class="line"><a name="
|
|
1614
|
-
<div class="line"><a name="
|
|
1615
|
-
<div class="line"><a name="
|
|
1616
|
-
<div class="line"><a name="
|
|
1617
|
-
<div class="line"><a name="
|
|
1618
|
-
<div class="line"><a name="
|
|
1619
|
-
<div class="line"><a name="
|
|
1620
|
-
<div class="line"><a name="
|
|
1621
|
-
<div class="line"><a name="
|
|
1622
|
-
<div class="line"><a name="
|
|
1623
|
-
<div class="line"><a name="
|
|
1624
|
-
<div class="line"><a name="
|
|
1625
|
-
<div class="line"><a name="
|
|
1626
|
-
<div class="line"><a name="
|
|
1627
|
-
<div class="line"><a name="
|
|
1628
|
-
<div class="line"><a name="
|
|
1629
|
-
<div class="line"><a name="
|
|
1630
|
-
<div class="line"><a name="
|
|
1631
|
-
<div class="line"><a name="
|
|
1632
|
-
<div class="line"><a name="
|
|
1633
|
-
<div class="line"><a name="
|
|
1634
|
-
<div class="line"><a name="
|
|
1635
|
-
<div class="line"><a name="
|
|
1636
|
-
<div class="line"><a name="
|
|
1637
|
-
<div class="line"><a name="
|
|
1638
|
-
<div class="line"><a name="
|
|
1639
|
-
<div class="line"><a name="
|
|
1640
|
-
<div class="line"><a name="
|
|
1641
|
-
<div class="line"><a name="
|
|
1642
|
-
<div class="line"><a name="
|
|
1643
|
-
<div class="line"><a name="
|
|
1644
|
-
<div class="line"><a name="
|
|
1645
|
-
<div class="line"><a name="
|
|
1646
|
-
<div class="line"><a name="
|
|
1598
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00795">795</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1599
|
+
<div class="fragment"><div class="line"><a name="l00797"></a><span class="lineno"> 797</span>  {</div>
|
|
1600
|
+
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span>  <a class="code" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> head(0);</div>
|
|
1601
|
+
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span>  <a class="code" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> min(0);</div>
|
|
1602
|
+
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span>  <span class="keywordtype">bool</span> loop;</div>
|
|
1603
|
+
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  </div>
|
|
1604
|
+
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span>  <a class="code" href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">push</a>(node);</div>
|
|
1605
|
+
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  <a class="code" href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">_num</a> += <a class="code" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>(1);</div>
|
|
1606
|
+
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span>  head = <a class="code" href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">_num</a>;</div>
|
|
1607
|
+
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  <a class="code" href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">setCDN</a>(node, head);</div>
|
|
1608
|
+
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  loop = <span class="keyword">false</span>;</div>
|
|
1609
|
+
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  <a class="code" href="classSVF_1_1WTO.html#a65d2ed9e7306392ce0b82ac018f0cdea">forEachSuccessor</a>(node, [&](<span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* succ)</div>
|
|
1610
|
+
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  {</div>
|
|
1611
|
+
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span>  <a class="code" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> succ_dfn = <a class="code" href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">getCDN</a>(succ);</div>
|
|
1612
|
+
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span>  <span class="keywordflow">if</span> (succ_dfn == <a class="code" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>(0))</div>
|
|
1613
|
+
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span>  {</div>
|
|
1614
|
+
<div class="line"><a name="l00812"></a><span class="lineno"> 812</span>  min = <a class="code" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">visit</a>(succ, partition);</div>
|
|
1615
|
+
<div class="line"><a name="l00813"></a><span class="lineno"> 813</span>  }</div>
|
|
1616
|
+
<div class="line"><a name="l00814"></a><span class="lineno"> 814</span>  <span class="keywordflow">else</span></div>
|
|
1617
|
+
<div class="line"><a name="l00815"></a><span class="lineno"> 815</span>  {</div>
|
|
1618
|
+
<div class="line"><a name="l00816"></a><span class="lineno"> 816</span>  min = succ_dfn;</div>
|
|
1619
|
+
<div class="line"><a name="l00817"></a><span class="lineno"> 817</span>  }</div>
|
|
1620
|
+
<div class="line"><a name="l00818"></a><span class="lineno"> 818</span>  <span class="keywordflow">if</span> (min <= head)</div>
|
|
1621
|
+
<div class="line"><a name="l00819"></a><span class="lineno"> 819</span>  {</div>
|
|
1622
|
+
<div class="line"><a name="l00820"></a><span class="lineno"> 820</span>  head = min;</div>
|
|
1623
|
+
<div class="line"><a name="l00821"></a><span class="lineno"> 821</span>  loop = <span class="keyword">true</span>;</div>
|
|
1624
|
+
<div class="line"><a name="l00822"></a><span class="lineno"> 822</span>  }</div>
|
|
1625
|
+
<div class="line"><a name="l00823"></a><span class="lineno"> 823</span>  });</div>
|
|
1626
|
+
<div class="line"><a name="l00824"></a><span class="lineno"> 824</span>  </div>
|
|
1627
|
+
<div class="line"><a name="l00825"></a><span class="lineno"> 825</span>  <span class="keywordflow">if</span> (head == <a class="code" href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">getCDN</a>(node))</div>
|
|
1628
|
+
<div class="line"><a name="l00826"></a><span class="lineno"> 826</span>  {</div>
|
|
1629
|
+
<div class="line"><a name="l00827"></a><span class="lineno"> 827</span>  <a class="code" href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">setCDN</a>(node, UINT_MAX);</div>
|
|
1630
|
+
<div class="line"><a name="l00828"></a><span class="lineno"> 828</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* element = <a class="code" href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">pop</a>();</div>
|
|
1631
|
+
<div class="line"><a name="l00829"></a><span class="lineno"> 829</span>  <span class="keywordflow">if</span> (loop)</div>
|
|
1632
|
+
<div class="line"><a name="l00830"></a><span class="lineno"> 830</span>  {</div>
|
|
1633
|
+
<div class="line"><a name="l00831"></a><span class="lineno"> 831</span>  <span class="keywordflow">while</span> (element != node)</div>
|
|
1634
|
+
<div class="line"><a name="l00832"></a><span class="lineno"> 832</span>  {</div>
|
|
1635
|
+
<div class="line"><a name="l00833"></a><span class="lineno"> 833</span>  <a class="code" href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">setCDN</a>(element, 0);</div>
|
|
1636
|
+
<div class="line"><a name="l00834"></a><span class="lineno"> 834</span>  element = <a class="code" href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">pop</a>();</div>
|
|
1637
|
+
<div class="line"><a name="l00835"></a><span class="lineno"> 835</span>  }</div>
|
|
1638
|
+
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span>  partition.push_front(<a class="code" href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">component</a>(node));</div>
|
|
1639
|
+
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span>  }</div>
|
|
1640
|
+
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span>  <span class="keywordflow">else</span></div>
|
|
1641
|
+
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span>  {</div>
|
|
1642
|
+
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span>  partition.push_front(<a class="code" href="classSVF_1_1WTO.html#a2ce51d9a57e8a353aa23d14dce933c9a">newNode</a>(node));</div>
|
|
1643
|
+
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  }</div>
|
|
1644
|
+
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span>  }</div>
|
|
1645
|
+
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span>  <span class="keywordflow">return</span> head;</div>
|
|
1646
|
+
<div class="line"><a name="l00844"></a><span class="lineno"> 844</span>  }</div>
|
|
1647
1647
|
</div><!-- fragment -->
|
|
1648
1648
|
</div>
|
|
1649
1649
|
</div>
|
|
@@ -1686,11 +1686,11 @@ template<typename GraphT > </div>
|
|
|
1686
1686
|
|
|
1687
1687
|
<p>Overloading operator << for dumping <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node ID. </p>
|
|
1688
1688
|
|
|
1689
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1690
|
-
<div class="fragment"><div class="line"><a name="
|
|
1691
|
-
<div class="line"><a name="
|
|
1692
|
-
<div class="line"><a name="
|
|
1693
|
-
<div class="line"><a name="
|
|
1689
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00656">656</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1690
|
+
<div class="fragment"><div class="line"><a name="l00657"></a><span class="lineno"> 657</span>  {</div>
|
|
1691
|
+
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span>  o << wto.toString();</div>
|
|
1692
|
+
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span>  <span class="keywordflow">return</span> o;</div>
|
|
1693
|
+
<div class="line"><a name="l00660"></a><span class="lineno"> 660</span>  }</div>
|
|
1694
1694
|
</div><!-- fragment -->
|
|
1695
1695
|
</div>
|
|
1696
1696
|
</div>
|
|
@@ -1717,7 +1717,7 @@ template<typename GraphT > </div>
|
|
|
1717
1717
|
</table>
|
|
1718
1718
|
</div><div class="memdoc">
|
|
1719
1719
|
|
|
1720
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1720
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00545">545</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1721
1721
|
|
|
1722
1722
|
</div>
|
|
1723
1723
|
</div>
|
|
@@ -1743,7 +1743,7 @@ template<typename GraphT > </div>
|
|
|
1743
1743
|
</table>
|
|
1744
1744
|
</div><div class="memdoc">
|
|
1745
1745
|
|
|
1746
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1746
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00544">544</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1747
1747
|
|
|
1748
1748
|
</div>
|
|
1749
1749
|
</div>
|
|
@@ -1769,7 +1769,7 @@ template<typename GraphT > </div>
|
|
|
1769
1769
|
</table>
|
|
1770
1770
|
</div><div class="memdoc">
|
|
1771
1771
|
|
|
1772
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1772
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00552">552</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1773
1773
|
|
|
1774
1774
|
</div>
|
|
1775
1775
|
</div>
|
|
@@ -1795,7 +1795,7 @@ template<typename GraphT > </div>
|
|
|
1795
1795
|
</table>
|
|
1796
1796
|
</div><div class="memdoc">
|
|
1797
1797
|
|
|
1798
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1798
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00551">551</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1799
1799
|
|
|
1800
1800
|
</div>
|
|
1801
1801
|
</div>
|
|
@@ -1821,7 +1821,7 @@ template<typename GraphT > </div>
|
|
|
1821
1821
|
</table>
|
|
1822
1822
|
</div><div class="memdoc">
|
|
1823
1823
|
|
|
1824
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1824
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00548">548</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1825
1825
|
|
|
1826
1826
|
</div>
|
|
1827
1827
|
</div>
|
|
@@ -1847,7 +1847,7 @@ template<typename GraphT > </div>
|
|
|
1847
1847
|
</table>
|
|
1848
1848
|
</div><div class="memdoc">
|
|
1849
1849
|
|
|
1850
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1850
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00547">547</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1851
1851
|
|
|
1852
1852
|
</div>
|
|
1853
1853
|
</div>
|
|
@@ -1873,7 +1873,7 @@ template<typename GraphT > </div>
|
|
|
1873
1873
|
</table>
|
|
1874
1874
|
</div><div class="memdoc">
|
|
1875
1875
|
|
|
1876
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1876
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00549">549</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1877
1877
|
|
|
1878
1878
|
</div>
|
|
1879
1879
|
</div>
|
|
@@ -1899,7 +1899,7 @@ template<typename GraphT > </div>
|
|
|
1899
1899
|
</table>
|
|
1900
1900
|
</div><div class="memdoc">
|
|
1901
1901
|
|
|
1902
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1902
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00550">550</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1903
1903
|
|
|
1904
1904
|
</div>
|
|
1905
1905
|
</div>
|
|
@@ -1925,7 +1925,7 @@ template<typename GraphT > </div>
|
|
|
1925
1925
|
</table>
|
|
1926
1926
|
</div><div class="memdoc">
|
|
1927
1927
|
|
|
1928
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1928
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00546">546</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1929
1929
|
|
|
1930
1930
|
</div>
|
|
1931
1931
|
</div>
|
|
@@ -1951,7 +1951,7 @@ template<typename GraphT > </div>
|
|
|
1951
1951
|
</table>
|
|
1952
1952
|
</div><div class="memdoc">
|
|
1953
1953
|
|
|
1954
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1954
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00527">527</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1955
1955
|
|
|
1956
1956
|
</div>
|
|
1957
1957
|
</div>
|
|
@@ -1959,35 +1959,35 @@ template<typename GraphT > </div>
|
|
|
1959
1959
|
<li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="WTO_8h_source.html">WTO.h</a></li>
|
|
1960
1960
|
</ul>
|
|
1961
1961
|
</div><!-- contents -->
|
|
1962
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_af3e699fe03e5072f057cf162aefe8c12"><div class="ttname"><a href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">SVF::WTO::_num</a></div><div class="ttdeci">CycleDepthNumber _num</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1963
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a56259113c30312e5052d0d8c0d4d6b77"><div class="ttname"><a href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">SVF::WTO::visit</a></div><div class="ttdeci">virtual CycleDepthNumber visit(const NodeT *node, WTOComponentRefList &partition)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1964
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_ae6655b82c9137b960eac07631897de82"><div class="ttname"><a href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">SVF::WTO::pop</a></div><div class="ttdeci">const NodeT * pop()</div><div class="ttdoc">Pop a node from the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1965
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a54890e9212acbff3ccd28d674f86e9e7"><div class="ttname"><a href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">SVF::WTO::CycleDepthNumber</a></div><div class="ttdeci">u32_t CycleDepthNumber</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1966
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a7fc78de450f2cb6cbed8aa6856638ad1"><div class="ttname"><a href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">SVF::WTO::setCDN</a></div><div class="ttdeci">void setCDN(const NodeT *n, const CycleDepthNumber &dfn)</div><div class="ttdoc">Set the depth-first number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1967
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_ab6eebbf5ab6f6c3ee157e22da10620e9"><div class="ttname"><a href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">SVF::WTO::_nodeToDepth</a></div><div class="ttdeci">NodeRefToWTOCycleDepthPtr _nodeToDepth</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1962
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_af3e699fe03e5072f057cf162aefe8c12"><div class="ttname"><a href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">SVF::WTO::_num</a></div><div class="ttdeci">CycleDepthNumber _num</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00549">WTO.h:549</a></div></div>
|
|
1963
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a56259113c30312e5052d0d8c0d4d6b77"><div class="ttname"><a href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">SVF::WTO::visit</a></div><div class="ttdeci">virtual CycleDepthNumber visit(const NodeT *node, WTOComponentRefList &partition)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00795">WTO.h:795</a></div></div>
|
|
1964
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_ae6655b82c9137b960eac07631897de82"><div class="ttname"><a href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">SVF::WTO::pop</a></div><div class="ttdeci">const NodeT * pop()</div><div class="ttdoc">Pop a node from the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00747">WTO.h:747</a></div></div>
|
|
1965
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a54890e9212acbff3ccd28d674f86e9e7"><div class="ttname"><a href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">SVF::WTO::CycleDepthNumber</a></div><div class="ttdeci">u32_t CycleDepthNumber</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00533">WTO.h:533</a></div></div>
|
|
1966
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a7fc78de450f2cb6cbed8aa6856638ad1"><div class="ttname"><a href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">SVF::WTO::setCDN</a></div><div class="ttdeci">void setCDN(const NodeT *n, const CycleDepthNumber &dfn)</div><div class="ttdoc">Set the depth-first number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00737">WTO.h:737</a></div></div>
|
|
1967
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_ab6eebbf5ab6f6c3ee157e22da10620e9"><div class="ttname"><a href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">SVF::WTO::_nodeToDepth</a></div><div class="ttdeci">NodeRefToWTOCycleDepthPtr _nodeToDepth</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00547">WTO.h:547</a></div></div>
|
|
1968
1968
|
<div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
|
|
1969
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a13e9082913aa4a14065687ccdd47642d"><div class="ttname"><a href="classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d">SVF::WTO::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1970
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_ac1a8ef3c15d484dc4f593b7d737e7de9"><div class="ttname"><a href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">SVF::WTO::WTOComponentRefList</a></div><div class="ttdeci">std::list< WTOComponentPtr > WTOComponentRefList</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1971
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a22b67a51964cb1d7882aab7e74b026f2"><div class="ttname"><a href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">SVF::WTO::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdoc">End iterator over the components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1972
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a333df66435d9c4444ff7f729ca9d0050"><div class="ttname"><a href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">SVF::WTO::_stack</a></div><div class="ttdeci">Stack _stack</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1969
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a13e9082913aa4a14065687ccdd47642d"><div class="ttname"><a href="classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d">SVF::WTO::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00584">WTO.h:584</a></div></div>
|
|
1970
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_ac1a8ef3c15d484dc4f593b7d737e7de9"><div class="ttname"><a href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">SVF::WTO::WTOComponentRefList</a></div><div class="ttdeci">std::list< WTOComponentPtr > WTOComponentRefList</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00528">WTO.h:528</a></div></div>
|
|
1971
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a22b67a51964cb1d7882aab7e74b026f2"><div class="ttname"><a href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">SVF::WTO::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdoc">End iterator over the components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00590">WTO.h:590</a></div></div>
|
|
1972
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a333df66435d9c4444ff7f729ca9d0050"><div class="ttname"><a href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">SVF::WTO::_stack</a></div><div class="ttdeci">Stack _stack</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00550">WTO.h:550</a></div></div>
|
|
1973
1973
|
<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
1974
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_aee55e23a1994d4daa29f21a608a1ca69"><div class="ttname"><a href="classSVF_1_1WTO.html#aee55e23a1994d4daa29f21a608a1ca69">SVF::WTO::newCycle</a></div><div class="ttdeci">const WTOCycleT * newCycle(const NodeT *node, const WTOComponentRefList &partition)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1975
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a2ce51d9a57e8a353aa23d14dce933c9a"><div class="ttname"><a href="classSVF_1_1WTO.html#a2ce51d9a57e8a353aa23d14dce933c9a">SVF::WTO::newNode</a></div><div class="ttdeci">const WTONodeT * newNode(const NodeT *node)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1976
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a5853e7a33044635877b8f07de05ff047"><div class="ttname"><a href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">SVF::WTO::_entry</a></div><div class="ttdeci">const NodeT * _entry</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1977
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a65d2ed9e7306392ce0b82ac018f0cdea"><div class="ttname"><a href="classSVF_1_1WTO.html#a65d2ed9e7306392ce0b82ac018f0cdea">SVF::WTO::forEachSuccessor</a></div><div class="ttdeci">virtual void forEachSuccessor(const NodeT *node, std::function< void(const NodeT *)> func) const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1978
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a78e43eb435fb7f5ee47670f10c6e67f2"><div class="ttname"><a href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">SVF::WTO::NodeT</a></div><div class="ttdeci">GraphT::NodeType NodeT</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1979
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a8dc175362f4dbbf158e1fe03745f1ce7"><div class="ttname"><a href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">SVF::WTO::component</a></div><div class="ttdeci">virtual const WTOCycleT * component(const NodeT *node)</div><div class="ttdoc">Create the cycle component for the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1980
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a9a67c7812a890ee4ff9cd470f947bf86"><div class="ttname"><a href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">SVF::WTO::push</a></div><div class="ttdeci">void push(const NodeT *n)</div><div class="ttdoc">Push a node on the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1981
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a71a0d4afca77f59db4829c7b39419429"><div class="ttname"><a href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">SVF::WTO::WTOCycleT</a></div><div class="ttdeci">WTOCycle< GraphT > WTOCycleT</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1974
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_aee55e23a1994d4daa29f21a608a1ca69"><div class="ttname"><a href="classSVF_1_1WTO.html#aee55e23a1994d4daa29f21a608a1ca69">SVF::WTO::newCycle</a></div><div class="ttdeci">const WTOCycleT * newCycle(const NodeT *node, const WTOComponentRefList &partition)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00768">WTO.h:768</a></div></div>
|
|
1975
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a2ce51d9a57e8a353aa23d14dce933c9a"><div class="ttname"><a href="classSVF_1_1WTO.html#a2ce51d9a57e8a353aa23d14dce933c9a">SVF::WTO::newNode</a></div><div class="ttdeci">const WTONodeT * newNode(const NodeT *node)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00761">WTO.h:761</a></div></div>
|
|
1976
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a5853e7a33044635877b8f07de05ff047"><div class="ttname"><a href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">SVF::WTO::_entry</a></div><div class="ttdeci">const NodeT * _entry</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00552">WTO.h:552</a></div></div>
|
|
1977
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a65d2ed9e7306392ce0b82ac018f0cdea"><div class="ttname"><a href="classSVF_1_1WTO.html#a65d2ed9e7306392ce0b82ac018f0cdea">SVF::WTO::forEachSuccessor</a></div><div class="ttdeci">virtual void forEachSuccessor(const NodeT *node, std::function< void(const NodeT *)> func) const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00713">WTO.h:713</a></div></div>
|
|
1978
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a78e43eb435fb7f5ee47670f10c6e67f2"><div class="ttname"><a href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">SVF::WTO::NodeT</a></div><div class="ttdeci">GraphT::NodeType NodeT</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00515">WTO.h:515</a></div></div>
|
|
1979
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a8dc175362f4dbbf158e1fe03745f1ce7"><div class="ttname"><a href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">SVF::WTO::component</a></div><div class="ttdeci">virtual const WTOCycleT * component(const NodeT *node)</div><div class="ttdoc">Create the cycle component for the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00777">WTO.h:777</a></div></div>
|
|
1980
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a9a67c7812a890ee4ff9cd470f947bf86"><div class="ttname"><a href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">SVF::WTO::push</a></div><div class="ttdeci">void push(const NodeT *n)</div><div class="ttdoc">Push a node on the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00756">WTO.h:756</a></div></div>
|
|
1981
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a71a0d4afca77f59db4829c7b39419429"><div class="ttname"><a href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">SVF::WTO::WTOCycleT</a></div><div class="ttdeci">WTOCycle< GraphT > WTOCycleT</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00523">WTO.h:523</a></div></div>
|
|
1982
1982
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference< T >::type && move(T &&t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
|
|
1983
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_abf8ab42831098184ce972aa6664fcb8a"><div class="ttname"><a href="classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a">SVF::WTO::buildNodeToDepth</a></div><div class="ttdeci">void buildNodeToDepth()</div><div class="ttdoc">Build the node to WTO cycle depth table.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1984
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a649f1a93b6fd51553f6e144f2fe99542"><div class="ttname"><a href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">SVF::WTO::_allComponents</a></div><div class="ttdeci">WTOComponentRefSet _allComponents</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1985
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_ae8e57cc333199bc8b5aaff0a825eed47"><div class="ttname"><a href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">SVF::WTO::_graph</a></div><div class="ttdeci">GraphT * _graph</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1986
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a92034688db3f67feb6e997d4c03f769f"><div class="ttname"><a href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">SVF::WTO::getCDN</a></div><div class="ttdeci">CycleDepthNumber getCDN(const NodeT *n) const</div><div class="ttdoc">Return the depth-first number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1987
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a96f37d843d4bd7c2b30cfc5bc59cf90d"><div class="ttname"><a href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">SVF::WTO::WTONodeT</a></div><div class="ttdeci">WTONode< GraphT > WTONodeT</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1988
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_acbc503aa22e6d9bf2f6406fc45ebbab1"><div class="ttname"><a href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">SVF::WTO::_components</a></div><div class="ttdeci">WTOComponentRefList _components</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1989
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a54d8c25df36b0c44d52369c4294a1ed8"><div class="ttname"><a href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">SVF::WTO::_nodeToCDN</a></div><div class="ttdeci">NodeRefToCycleDepthNumber _nodeToCDN</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1990
|
-
<div class="ttc" id="aclassSVF_1_1WTO_html_a5752288fb686b9ef5d6c8edc0cee6348"><div class="ttname"><a href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">SVF::WTO::headRefToCycle</a></div><div class="ttdeci">NodeRefToWTOCycleMap headRefToCycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1983
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_abf8ab42831098184ce972aa6664fcb8a"><div class="ttname"><a href="classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a">SVF::WTO::buildNodeToDepth</a></div><div class="ttdeci">void buildNodeToDepth()</div><div class="ttdoc">Build the node to WTO cycle depth table.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00847">WTO.h:847</a></div></div>
|
|
1984
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a649f1a93b6fd51553f6e144f2fe99542"><div class="ttname"><a href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">SVF::WTO::_allComponents</a></div><div class="ttdeci">WTOComponentRefSet _allComponents</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00545">WTO.h:545</a></div></div>
|
|
1985
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_ae8e57cc333199bc8b5aaff0a825eed47"><div class="ttname"><a href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">SVF::WTO::_graph</a></div><div class="ttdeci">GraphT * _graph</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00551">WTO.h:551</a></div></div>
|
|
1986
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a92034688db3f67feb6e997d4c03f769f"><div class="ttname"><a href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">SVF::WTO::getCDN</a></div><div class="ttdeci">CycleDepthNumber getCDN(const NodeT *n) const</div><div class="ttdoc">Return the depth-first number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00723">WTO.h:723</a></div></div>
|
|
1987
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a96f37d843d4bd7c2b30cfc5bc59cf90d"><div class="ttname"><a href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">SVF::WTO::WTONodeT</a></div><div class="ttdeci">WTONode< GraphT > WTONodeT</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00522">WTO.h:522</a></div></div>
|
|
1988
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_acbc503aa22e6d9bf2f6406fc45ebbab1"><div class="ttname"><a href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">SVF::WTO::_components</a></div><div class="ttdeci">WTOComponentRefList _components</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00544">WTO.h:544</a></div></div>
|
|
1989
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a54d8c25df36b0c44d52369c4294a1ed8"><div class="ttname"><a href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">SVF::WTO::_nodeToCDN</a></div><div class="ttdeci">NodeRefToCycleDepthNumber _nodeToCDN</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00548">WTO.h:548</a></div></div>
|
|
1990
|
+
<div class="ttc" id="aclassSVF_1_1WTO_html_a5752288fb686b9ef5d6c8edc0cee6348"><div class="ttname"><a href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">SVF::WTO::headRefToCycle</a></div><div class="ttdeci">NodeRefToWTOCycleMap headRefToCycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00546">WTO.h:546</a></div></div>
|
|
1991
1991
|
<!-- start footer part -->
|
|
1992
1992
|
<hr class="footer"/><address class="footer"><small>
|
|
1993
1993
|
Generated by  <a href="http://www.doxygen.org/index.html">
|