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
|
@@ -177,7 +177,7 @@ The cycle depth is as following:</h2>
|
|
|
177
177
|
<h2><a class="anchor" id="autotoc_md5"></a>
|
|
178
178
|
| 6, 7 | [1, 5] |</h2>
|
|
179
179
|
|
|
180
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
180
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00101">101</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
181
181
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
182
182
|
<a id="a375803014eebb65532a843eee6d9a690"></a>
|
|
183
183
|
<h2 class="memtitle"><span class="permalink"><a href="#a375803014eebb65532a843eee6d9a690">◆ </a></span>Iterator</h2>
|
|
@@ -193,7 +193,7 @@ template<typename GraphT > </div>
|
|
|
193
193
|
</table>
|
|
194
194
|
</div><div class="memdoc">
|
|
195
195
|
|
|
196
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
196
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00112">112</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
197
197
|
|
|
198
198
|
</div>
|
|
199
199
|
</div>
|
|
@@ -219,7 +219,7 @@ template<typename GraphT > </div>
|
|
|
219
219
|
</table>
|
|
220
220
|
</div><div class="memdoc">
|
|
221
221
|
|
|
222
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
222
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00109">109</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
223
223
|
|
|
224
224
|
</div>
|
|
225
225
|
</div>
|
|
@@ -237,7 +237,7 @@ template<typename GraphT > </div>
|
|
|
237
237
|
</table>
|
|
238
238
|
</div><div class="memdoc">
|
|
239
239
|
|
|
240
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
240
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00105">105</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
241
241
|
|
|
242
242
|
</div>
|
|
243
243
|
</div>
|
|
@@ -389,10 +389,10 @@ template<typename GraphT > </div>
|
|
|
389
389
|
|
|
390
390
|
<p>Add a cycle head in the cycleDepth. </p>
|
|
391
391
|
|
|
392
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
393
|
-
<div class="fragment"><div class="line"><a name="
|
|
394
|
-
<div class="line"><a name="
|
|
395
|
-
<div class="line"><a name="
|
|
392
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00137">137</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
393
|
+
<div class="fragment"><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  {</div>
|
|
394
|
+
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  <a class="code" href="classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8">_heads</a>.push_back(head);</div>
|
|
395
|
+
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  }</div>
|
|
396
396
|
</div><!-- fragment -->
|
|
397
397
|
</div>
|
|
398
398
|
</div>
|
|
@@ -423,10 +423,10 @@ template<typename GraphT > </div>
|
|
|
423
423
|
|
|
424
424
|
<p>Begin iterator over the head of cycles. </p>
|
|
425
425
|
|
|
426
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
427
|
-
<div class="fragment"><div class="line"><a name="
|
|
428
|
-
<div class="line"><a name="
|
|
429
|
-
<div class="line"><a name="
|
|
426
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00143">143</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
427
|
+
<div class="fragment"><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  {</div>
|
|
428
|
+
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8">_heads</a>.cbegin();</div>
|
|
429
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  }</div>
|
|
430
430
|
</div><!-- fragment -->
|
|
431
431
|
</div>
|
|
432
432
|
</div>
|
|
@@ -458,40 +458,40 @@ template<typename GraphT > </div>
|
|
|
458
458
|
|
|
459
459
|
<p>Compare the given cycle depths. </p>
|
|
460
460
|
|
|
461
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
462
|
-
<div class="fragment"><div class="line"><a name="
|
|
463
|
-
<div class="line"><a name="
|
|
464
|
-
<div class="line"><a name="
|
|
465
|
-
<div class="line"><a name="
|
|
466
|
-
<div class="line"><a name="
|
|
467
|
-
<div class="line"><a name="
|
|
468
|
-
<div class="line"><a name="
|
|
469
|
-
<div class="line"><a name="
|
|
470
|
-
<div class="line"><a name="
|
|
471
|
-
<div class="line"><a name="
|
|
472
|
-
<div class="line"><a name="
|
|
473
|
-
<div class="line"><a name="
|
|
474
|
-
<div class="line"><a name="
|
|
475
|
-
<div class="line"><a name="
|
|
476
|
-
<div class="line"><a name="
|
|
477
|
-
<div class="line"><a name="
|
|
478
|
-
<div class="line"><a name="
|
|
479
|
-
<div class="line"><a name="
|
|
480
|
-
<div class="line"><a name="
|
|
481
|
-
<div class="line"><a name="
|
|
482
|
-
<div class="line"><a name="
|
|
483
|
-
<div class="line"><a name="
|
|
484
|
-
<div class="line"><a name="
|
|
485
|
-
<div class="line"><a name="
|
|
486
|
-
<div class="line"><a name="
|
|
487
|
-
<div class="line"><a name="
|
|
488
|
-
<div class="line"><a name="
|
|
489
|
-
<div class="line"><a name="
|
|
490
|
-
<div class="line"><a name="
|
|
491
|
-
<div class="line"><a name="
|
|
492
|
-
<div class="line"><a name="
|
|
493
|
-
<div class="line"><a name="
|
|
494
|
-
<div class="line"><a name="
|
|
461
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00175">175</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
462
|
+
<div class="fragment"><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  {</div>
|
|
463
|
+
<div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  <span class="keywordflow">if</span> (<span class="keyword">this</span> == &other)</div>
|
|
464
|
+
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  {</div>
|
|
465
|
+
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  <span class="keywordflow">return</span> 0; <span class="comment">// equals</span></div>
|
|
466
|
+
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  }</div>
|
|
467
|
+
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  </div>
|
|
468
|
+
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  <span class="keyword">auto</span> this_it = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">begin</a>();</div>
|
|
469
|
+
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <span class="keyword">auto</span> other_it = other.begin();</div>
|
|
470
|
+
<div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  <span class="keywordflow">while</span> (this_it != <a class="code" href="classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade">end</a>())</div>
|
|
471
|
+
<div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  {</div>
|
|
472
|
+
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  <span class="keywordflow">if</span> (other_it == other.end())</div>
|
|
473
|
+
<div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  {</div>
|
|
474
|
+
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <span class="keywordflow">return</span> 1; <span class="comment">// `this` is nested within `other`</span></div>
|
|
475
|
+
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  }</div>
|
|
476
|
+
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (*this_it == *other_it)</div>
|
|
477
|
+
<div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  {</div>
|
|
478
|
+
<div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  ++this_it;</div>
|
|
479
|
+
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  ++other_it;</div>
|
|
480
|
+
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  }</div>
|
|
481
|
+
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  <span class="keywordflow">else</span></div>
|
|
482
|
+
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  {</div>
|
|
483
|
+
<div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  <span class="keywordflow">return</span> 2; <span class="comment">// not comparable</span></div>
|
|
484
|
+
<div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  }</div>
|
|
485
|
+
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  }</div>
|
|
486
|
+
<div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  <span class="keywordflow">if</span> (other_it == other.end())</div>
|
|
487
|
+
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  {</div>
|
|
488
|
+
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  <span class="keywordflow">return</span> 0; <span class="comment">// equals</span></div>
|
|
489
|
+
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  }</div>
|
|
490
|
+
<div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  <span class="keywordflow">else</span></div>
|
|
491
|
+
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  {</div>
|
|
492
|
+
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  <span class="keywordflow">return</span> -1; <span class="comment">// `other` is nested within `this`</span></div>
|
|
493
|
+
<div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  }</div>
|
|
494
|
+
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  }</div>
|
|
495
495
|
</div><!-- fragment -->
|
|
496
496
|
</div>
|
|
497
497
|
</div>
|
|
@@ -522,10 +522,10 @@ template<typename GraphT > </div>
|
|
|
522
522
|
|
|
523
523
|
<p>End iterator over the head of cycles. </p>
|
|
524
524
|
|
|
525
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
526
|
-
<div class="fragment"><div class="line"><a name="
|
|
527
|
-
<div class="line"><a name="
|
|
528
|
-
<div class="line"><a name="
|
|
525
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00149">149</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
526
|
+
<div class="fragment"><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  {</div>
|
|
527
|
+
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8">_heads</a>.cend();</div>
|
|
528
|
+
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  }</div>
|
|
529
529
|
</div><!-- fragment -->
|
|
530
530
|
</div>
|
|
531
531
|
</div>
|
|
@@ -555,10 +555,10 @@ 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#
|
|
559
|
-
<div class="fragment"><div class="line"><a name="
|
|
560
|
-
<div class="line"><a name="
|
|
561
|
-
<div class="line"><a name="
|
|
558
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00211">211</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
559
|
+
<div class="fragment"><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  {</div>
|
|
560
|
+
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">compare</a>(other) == -1;</div>
|
|
561
|
+
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  }</div>
|
|
562
562
|
</div><!-- fragment -->
|
|
563
563
|
</div>
|
|
564
564
|
</div>
|
|
@@ -588,10 +588,10 @@ template<typename GraphT > </div>
|
|
|
588
588
|
</table>
|
|
589
589
|
</div><div class="memdoc">
|
|
590
590
|
|
|
591
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
592
|
-
<div class="fragment"><div class="line"><a name="
|
|
593
|
-
<div class="line"><a name="
|
|
594
|
-
<div class="line"><a name="
|
|
591
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00216">216</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
592
|
+
<div class="fragment"><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  {</div>
|
|
593
|
+
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">compare</a>(other) <= 0;</div>
|
|
594
|
+
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  }</div>
|
|
595
595
|
</div><!-- fragment -->
|
|
596
596
|
</div>
|
|
597
597
|
</div>
|
|
@@ -681,10 +681,10 @@ template<typename GraphT > </div>
|
|
|
681
681
|
</table>
|
|
682
682
|
</div><div class="memdoc">
|
|
683
683
|
|
|
684
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
685
|
-
<div class="fragment"><div class="line"><a name="
|
|
686
|
-
<div class="line"><a name="
|
|
687
|
-
<div class="line"><a name="
|
|
684
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00221">221</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
685
|
+
<div class="fragment"><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  {</div>
|
|
686
|
+
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">compare</a>(other) == 0;</div>
|
|
687
|
+
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  }</div>
|
|
688
688
|
</div><!-- fragment -->
|
|
689
689
|
</div>
|
|
690
690
|
</div>
|
|
@@ -714,10 +714,10 @@ template<typename GraphT > </div>
|
|
|
714
714
|
</table>
|
|
715
715
|
</div><div class="memdoc">
|
|
716
716
|
|
|
717
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
718
|
-
<div class="fragment"><div class="line"><a name="
|
|
719
|
-
<div class="line"><a name="
|
|
720
|
-
<div class="line"><a name="
|
|
717
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00231">231</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
718
|
+
<div class="fragment"><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  {</div>
|
|
719
|
+
<div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">compare</a>(other) == 1;</div>
|
|
720
|
+
<div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  }</div>
|
|
721
721
|
</div><!-- fragment -->
|
|
722
722
|
</div>
|
|
723
723
|
</div>
|
|
@@ -747,10 +747,10 @@ template<typename GraphT > </div>
|
|
|
747
747
|
</table>
|
|
748
748
|
</div><div class="memdoc">
|
|
749
749
|
|
|
750
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
751
|
-
<div class="fragment"><div class="line"><a name="
|
|
752
|
-
<div class="line"><a name="
|
|
753
|
-
<div class="line"><a name="
|
|
750
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00226">226</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
751
|
+
<div class="fragment"><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  {</div>
|
|
752
|
+
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#a2e3c5007c3348083b51b0a4fa3e843b9">operator<=</a>(other, *<span class="keyword">this</span>);</div>
|
|
753
|
+
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  }</div>
|
|
754
754
|
</div><!-- fragment -->
|
|
755
755
|
</div>
|
|
756
756
|
</div>
|
|
@@ -782,23 +782,23 @@ template<typename GraphT > </div>
|
|
|
782
782
|
|
|
783
783
|
<p>Return the common prefix of the given cycle depths. </p>
|
|
784
784
|
|
|
785
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
786
|
-
<div class="fragment"><div class="line"><a name="
|
|
787
|
-
<div class="line"><a name="
|
|
788
|
-
<div class="line"><a name="
|
|
789
|
-
<div class="line"><a name="
|
|
790
|
-
<div class="line"><a name="
|
|
791
|
-
<div class="line"><a name="
|
|
792
|
-
<div class="line"><a name="
|
|
793
|
-
<div class="line"><a name="
|
|
794
|
-
<div class="line"><a name="
|
|
795
|
-
<div class="line"><a name="
|
|
796
|
-
<div class="line"><a name="
|
|
797
|
-
<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="
|
|
785
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00155">155</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
786
|
+
<div class="fragment"><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  {</div>
|
|
787
|
+
<div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  <a class="code" href="classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf">WTOCycleDepth</a> res;</div>
|
|
788
|
+
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> this_it = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">begin</a>(), other_it = other.begin();</div>
|
|
789
|
+
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  this_it != <a class="code" href="classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade">end</a>() && other_it != other.end(); ++this_it, ++other_it)</div>
|
|
790
|
+
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  {</div>
|
|
791
|
+
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  <span class="keywordflow">if</span> (*this_it == *other_it)</div>
|
|
792
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  {</div>
|
|
793
|
+
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  res.add(*this_it);</div>
|
|
794
|
+
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  }</div>
|
|
795
|
+
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  <span class="keywordflow">else</span></div>
|
|
796
|
+
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  {</div>
|
|
797
|
+
<div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <span class="keywordflow">break</span>;</div>
|
|
798
|
+
<div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  }</div>
|
|
799
|
+
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  }</div>
|
|
800
|
+
<div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="keywordflow">return</span> res;</div>
|
|
801
|
+
<div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  }</div>
|
|
802
802
|
</div><!-- fragment -->
|
|
803
803
|
</div>
|
|
804
804
|
</div>
|
|
@@ -829,23 +829,23 @@ template<typename GraphT > </div>
|
|
|
829
829
|
|
|
830
830
|
<p>Dump the cycleDepth, for debugging purpose. </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="
|
|
836
|
-
<div class="line"><a name="
|
|
837
|
-
<div class="line"><a name="
|
|
838
|
-
<div class="line"><a name="
|
|
839
|
-
<div class="line"><a name="
|
|
840
|
-
<div class="line"><a name="
|
|
841
|
-
<div class="line"><a name="
|
|
842
|
-
<div class="line"><a name="
|
|
843
|
-
<div class="line"><a name="
|
|
844
|
-
<div class="line"><a name="
|
|
845
|
-
<div class="line"><a name="
|
|
846
|
-
<div class="line"><a name="
|
|
847
|
-
<div class="line"><a name="
|
|
848
|
-
<div class="line"><a name="
|
|
832
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00237">237</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
833
|
+
<div class="fragment"><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>  {</div>
|
|
834
|
+
<div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
|
|
835
|
+
<div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  std::stringstream rawstr(str);</div>
|
|
836
|
+
<div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  rawstr << <span class="stringliteral">"["</span>;</div>
|
|
837
|
+
<div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">begin</a>(), et = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade">end</a>(); it != et;)</div>
|
|
838
|
+
<div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  {</div>
|
|
839
|
+
<div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  rawstr << (*it)->toString();</div>
|
|
840
|
+
<div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  ++it;</div>
|
|
841
|
+
<div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  <span class="keywordflow">if</span> (it != et)</div>
|
|
842
|
+
<div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  {</div>
|
|
843
|
+
<div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  rawstr << <span class="stringliteral">", "</span>;</div>
|
|
844
|
+
<div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  }</div>
|
|
845
|
+
<div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  }</div>
|
|
846
|
+
<div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  rawstr << <span class="stringliteral">"]"</span>;</div>
|
|
847
|
+
<div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  <span class="keywordflow">return</span> rawstr.str();</div>
|
|
848
|
+
<div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  }</div>
|
|
849
849
|
</div><!-- fragment -->
|
|
850
850
|
</div>
|
|
851
851
|
</div>
|
|
@@ -888,11 +888,11 @@ template<typename GraphT > </div>
|
|
|
888
888
|
|
|
889
889
|
<p>Overloading operator << for dumping <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node ID. </p>
|
|
890
890
|
|
|
891
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
892
|
-
<div class="fragment"><div class="line"><a name="
|
|
893
|
-
<div class="line"><a name="
|
|
894
|
-
<div class="line"><a name="
|
|
895
|
-
<div class="line"><a name="
|
|
891
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00257">257</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
892
|
+
<div class="fragment"><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  {</div>
|
|
893
|
+
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  o << wto.toString();</div>
|
|
894
|
+
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <span class="keywordflow">return</span> o;</div>
|
|
895
|
+
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  }</div>
|
|
896
896
|
</div><!-- fragment -->
|
|
897
897
|
</div>
|
|
898
898
|
</div>
|
|
@@ -919,7 +919,7 @@ template<typename GraphT > </div>
|
|
|
919
919
|
</table>
|
|
920
920
|
</div><div class="memdoc">
|
|
921
921
|
|
|
922
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
922
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00115">115</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
923
923
|
|
|
924
924
|
</div>
|
|
925
925
|
</div>
|
|
@@ -927,13 +927,13 @@ template<typename GraphT > </div>
|
|
|
927
927
|
<li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="WTO_8h_source.html">WTO.h</a></li>
|
|
928
928
|
</ul>
|
|
929
929
|
</div><!-- contents -->
|
|
930
|
-
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a2e3c5007c3348083b51b0a4fa3e843b9"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a2e3c5007c3348083b51b0a4fa3e843b9">SVF::WTOCycleDepth::operator<=</a></div><div class="ttdeci">bool operator<=(const WTOCycleDepth &other) const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
931
|
-
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a16a1c72a181571a0f131975caa929ade"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade">SVF::WTOCycleDepth::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdoc">End iterator over the head of cycles.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
932
|
-
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a05e5c2f26d21fea5197205e23fea7d3a"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">SVF::WTOCycleDepth::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdoc">Begin iterator over the head of cycles.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
930
|
+
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a2e3c5007c3348083b51b0a4fa3e843b9"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a2e3c5007c3348083b51b0a4fa3e843b9">SVF::WTOCycleDepth::operator<=</a></div><div class="ttdeci">bool operator<=(const WTOCycleDepth &other) const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00216">WTO.h:216</a></div></div>
|
|
931
|
+
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a16a1c72a181571a0f131975caa929ade"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade">SVF::WTOCycleDepth::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdoc">End iterator over the head of cycles.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00149">WTO.h:149</a></div></div>
|
|
932
|
+
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a05e5c2f26d21fea5197205e23fea7d3a"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">SVF::WTOCycleDepth::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdoc">Begin iterator over the head of cycles.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00143">WTO.h:143</a></div></div>
|
|
933
933
|
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a949e2ee782c346339a1ddaa868c8abaf"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf">SVF::WTOCycleDepth::WTOCycleDepth</a></div><div class="ttdeci">WTOCycleDepth()=default</div><div class="ttdoc">Constructor.</div></div>
|
|
934
934
|
<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>
|
|
935
|
-
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_afff8fb7472fa48b80b6e685b5f85666d"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">SVF::WTOCycleDepth::compare</a></div><div class="ttdeci">int compare(const WTOCycleDepth &other) const</div><div class="ttdoc">Compare the given cycle depths.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
936
|
-
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a6d7bd6b0da1527da8c85aab87462fba8"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8">SVF::WTOCycleDepth::_heads</a></div><div class="ttdeci">NodeRefList _heads</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
935
|
+
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_afff8fb7472fa48b80b6e685b5f85666d"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">SVF::WTOCycleDepth::compare</a></div><div class="ttdeci">int compare(const WTOCycleDepth &other) const</div><div class="ttdoc">Compare the given cycle depths.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00175">WTO.h:175</a></div></div>
|
|
936
|
+
<div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a6d7bd6b0da1527da8c85aab87462fba8"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8">SVF::WTOCycleDepth::_heads</a></div><div class="ttdeci">NodeRefList _heads</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00115">WTO.h:115</a></div></div>
|
|
937
937
|
<!-- start footer part -->
|
|
938
938
|
<hr class="footer"/><address class="footer"><small>
|
|
939
939
|
Generated by  <a href="http://www.doxygen.org/index.html">
|
|
@@ -117,7 +117,7 @@ class SVF::WTONode< GraphT ></h3>
|
|
|
117
117
|
|
|
118
118
|
<p><a class="el" href="classSVF_1_1WTO.html">WTO</a> node for GraphT </p>
|
|
119
119
|
|
|
120
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
120
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00046">46</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
121
121
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
122
122
|
<a id="a65738a32240777ce6ded22d2c4adbaf8"></a>
|
|
123
123
|
<h2 class="memtitle"><span class="permalink"><a href="#a65738a32240777ce6ded22d2c4adbaf8">◆ </a></span>NodeT</h2>
|
|
@@ -133,7 +133,7 @@ template<typename GraphT > </div>
|
|
|
133
133
|
</table>
|
|
134
134
|
</div><div class="memdoc">
|
|
135
135
|
|
|
136
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
136
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00330">330</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
137
137
|
|
|
138
138
|
</div>
|
|
139
139
|
</div>
|
|
@@ -166,10 +166,10 @@ template<typename GraphT > </div>
|
|
|
166
166
|
|
|
167
167
|
<p>Constructor. </p>
|
|
168
168
|
|
|
169
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
170
|
-
<div class="fragment"><div class="line"><a name="
|
|
171
|
-
<div class="line"><a name="
|
|
172
|
-
<div class="line"><a name="
|
|
169
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00338">338</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
170
|
+
<div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  : WTOComponent<GraphT>(<a class="code" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d">WTOComponent<GraphT>::Node</a>), <a class="code" href="classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9">_node</a>(<a class="code" href="classSVF_1_1WTONode.html#aae0fe6c5464535f41f4723c23615e5cd">node</a>)</div>
|
|
171
|
+
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  {</div>
|
|
172
|
+
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  }</div>
|
|
173
173
|
</div><!-- fragment -->
|
|
174
174
|
</div>
|
|
175
175
|
</div>
|
|
@@ -202,10 +202,10 @@ template<typename GraphT > </div>
|
|
|
202
202
|
|
|
203
203
|
<p>Accept the given visitor. </p>
|
|
204
204
|
|
|
205
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
206
|
-
<div class="fragment"><div class="line"><a name="
|
|
207
|
-
<div class="line"><a name="
|
|
208
|
-
<div class="line"><a name="
|
|
205
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00350">350</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
206
|
+
<div class="fragment"><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  {</div>
|
|
207
|
+
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  v.visit(*<span class="keyword">this</span>);</div>
|
|
208
|
+
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  }</div>
|
|
209
209
|
</div><!-- fragment -->
|
|
210
210
|
</div>
|
|
211
211
|
</div>
|
|
@@ -235,10 +235,10 @@ template<typename GraphT > </div>
|
|
|
235
235
|
</table>
|
|
236
236
|
</div><div class="memdoc">
|
|
237
237
|
|
|
238
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
239
|
-
<div class="fragment"><div class="line"><a name="
|
|
240
|
-
<div class="line"><a name="
|
|
241
|
-
<div class="line"><a name="
|
|
238
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00369">369</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
239
|
+
<div class="fragment"><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  {</div>
|
|
240
|
+
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  <span class="keywordflow">return</span> c->getKind() == <a class="code" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d">WTOComponent<GraphT>::Node</a>;</div>
|
|
241
|
+
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  }</div>
|
|
242
242
|
</div><!-- fragment -->
|
|
243
243
|
</div>
|
|
244
244
|
</div>
|
|
@@ -270,10 +270,10 @@ template<typename GraphT > </div>
|
|
|
270
270
|
|
|
271
271
|
<p>ClassOf. </p>
|
|
272
272
|
|
|
273
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
274
|
-
<div class="fragment"><div class="line"><a name="
|
|
275
|
-
<div class="line"><a name="
|
|
276
|
-
<div class="line"><a name="
|
|
273
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00364">364</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
274
|
+
<div class="fragment"><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  {</div>
|
|
275
|
+
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
|
|
276
|
+
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  }</div>
|
|
277
277
|
</div><!-- fragment -->
|
|
278
278
|
</div>
|
|
279
279
|
</div>
|
|
@@ -304,10 +304,10 @@ template<typename GraphT > </div>
|
|
|
304
304
|
|
|
305
305
|
<p>Return the graph node. </p>
|
|
306
306
|
|
|
307
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
308
|
-
<div class="fragment"><div class="line"><a name="
|
|
309
|
-
<div class="line"><a name="
|
|
310
|
-
<div class="line"><a name="
|
|
307
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00344">344</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
308
|
+
<div class="fragment"><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  {</div>
|
|
309
|
+
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9">_node</a>;</div>
|
|
310
|
+
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  }</div>
|
|
311
311
|
</div><!-- fragment -->
|
|
312
312
|
</div>
|
|
313
313
|
</div>
|
|
@@ -338,11 +338,11 @@ template<typename GraphT > </div>
|
|
|
338
338
|
|
|
339
339
|
<p>Dump the node, for debugging purpose. </p>
|
|
340
340
|
|
|
341
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
342
|
-
<div class="fragment"><div class="line"><a name="
|
|
343
|
-
<div class="line"><a name="
|
|
344
|
-
<div class="line"><a name="
|
|
345
|
-
<div class="line"><a name="
|
|
341
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00356">356</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
342
|
+
<div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  {</div>
|
|
343
|
+
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  <span class="comment">// return _node->toString();</span></div>
|
|
344
|
+
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  <span class="keywordflow">return</span> std::to_string(<a class="code" href="classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9">_node</a>->getId());</div>
|
|
345
|
+
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  }</div>
|
|
346
346
|
</div><!-- fragment -->
|
|
347
347
|
</div>
|
|
348
348
|
</div>
|
|
@@ -369,7 +369,7 @@ template<typename GraphT > </div>
|
|
|
369
369
|
</table>
|
|
370
370
|
</div><div class="memdoc">
|
|
371
371
|
|
|
372
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
372
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00334">334</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
373
373
|
|
|
374
374
|
</div>
|
|
375
375
|
</div>
|
|
@@ -377,9 +377,9 @@ template<typename GraphT > </div>
|
|
|
377
377
|
<li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="WTO_8h_source.html">WTO.h</a></li>
|
|
378
378
|
</ul>
|
|
379
379
|
</div><!-- contents -->
|
|
380
|
-
<div class="ttc" id="aclassSVF_1_1WTONode_html_aa673666e3776f7b75b341dc1695841e9"><div class="ttname"><a href="classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9">SVF::WTONode::_node</a></div><div class="ttdeci">const NodeT * _node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
381
|
-
<div class="ttc" id="aclassSVF_1_1WTOComponent_html_a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d"><div class="ttname"><a href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d">SVF::WTOComponent::Node</a></div><div class="ttdeci">@ Node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
382
|
-
<div class="ttc" id="aclassSVF_1_1WTONode_html_aae0fe6c5464535f41f4723c23615e5cd"><div class="ttname"><a href="classSVF_1_1WTONode.html#aae0fe6c5464535f41f4723c23615e5cd">SVF::WTONode::node</a></div><div class="ttdeci">const NodeT * node() const</div><div class="ttdoc">Return the graph node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
380
|
+
<div class="ttc" id="aclassSVF_1_1WTONode_html_aa673666e3776f7b75b341dc1695841e9"><div class="ttname"><a href="classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9">SVF::WTONode::_node</a></div><div class="ttdeci">const NodeT * _node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00334">WTO.h:334</a></div></div>
|
|
381
|
+
<div class="ttc" id="aclassSVF_1_1WTOComponent_html_a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d"><div class="ttname"><a href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d">SVF::WTOComponent::Node</a></div><div class="ttdeci">@ Node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00277">WTO.h:277</a></div></div>
|
|
382
|
+
<div class="ttc" id="aclassSVF_1_1WTONode_html_aae0fe6c5464535f41f4723c23615e5cd"><div class="ttname"><a href="classSVF_1_1WTONode.html#aae0fe6c5464535f41f4723c23615e5cd">SVF::WTONode::node</a></div><div class="ttdeci">const NodeT * node() const</div><div class="ttdoc">Return the graph node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00344">WTO.h:344</a></div></div>
|
|
383
383
|
<!-- start footer part -->
|
|
384
384
|
<hr class="footer"/><address class="footer"><small>
|
|
385
385
|
Generated by  <a href="http://www.doxygen.org/index.html">
|