LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp - algorithm.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 58 58 100.0 %
Date: 2020-10-20 00:45:57 Functions: 57 60 95.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN7atermpp11find_all_ifINS_9term_applINS_5atermEEEN5mcrl24data6detail13is_a_variableESt15insert_iteratorISt3setINS5_8variableESt4lessISA_ESaISA_EEEEEvRKT_T0_T1_ 0
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_5atermEEET_RKS5_RKS4_S9_EUlS9_E_E5applyERKNS_9term_applIS4_EE 0
_ZZN7atermpp7replaceINS_5atermEEET_RKS2_RKS1_S6_ENKUlS6_E_clES6_ 0
_ZN7atermpp15partial_find_ifINS_9term_applINS_5atermEEE4is_f4is_gEES3_T_T0_T1_ 1
_ZN7atermpp15partial_find_ifINS_9term_applINS_5atermEEE4is_f4is_zEES3_T_T0_T1_ 1
_ZN7atermpp15partial_replaceINS_5atermE19fg_partial_replacerEET_S3_T0_ 1
_ZN7atermpp17bottom_up_replaceINS_5atermE11fg_replacerEET_S3_T0_RSt13unordered_mapINS_9term_applIS1_EES1_St4hashIS7_ESt8equal_toIS7_ESaISt4pairIKS7_S1_EEE 1
_ZN7atermpp17bottom_up_replaceINS_5atermE13index_removerEET_S3_T0_ 1
_ZN7atermpp17bottom_up_replaceINS_9term_applINS_5atermEEEEET_S4_RKS3_S6_ 1
_ZN7atermpp17bottom_up_replaceINS_9term_applINS_5atermEEEZNS_17bottom_up_replaceIS3_EET_S5_RKS3_S7_EUlRKS2_E_EES5_S5_T0_ 1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE11fg_replacerE5applyERKNS_9term_applINS_5atermEEE 1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE11fg_replacerEC2ES3_ 1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE13index_removerEC2ES3_ 1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_5atermEEET_RKS5_RKS4_S9_EUlS9_E_EC2ESA_ 1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_listINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_E5applyERKNS_9term_applIS5_EE 1
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_listINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_EC2ESC_ 1
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderE11fg_replacerEENS0_21replace_aterm_builderIT_T0_EES6_ 1
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderE13index_removerEENS0_21replace_aterm_builderIT_T0_EES6_ 1
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderEZNS_7replaceINS_5atermEEET_RKS5_RKS4_S9_EUlS9_E_EENS0_21replace_aterm_builderIT_T0_EESD_ 1
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_listINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_EENS0_21replace_aterm_builderIT_T0_EESF_ 1
_ZN7atermpp6detail29partial_replace_aterm_builderINS_7builderE19fg_partial_replacerE5applyERKNS_9term_applINS_5atermEEE 1
_ZN7atermpp6detail29partial_replace_aterm_builderINS_7builderE19fg_partial_replacerEC2ES3_ 1
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderE13index_removerEC2ES3_ 1
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderEZNS_17bottom_up_replaceINS_9term_applINS_5atermEEEEET_S7_RKS6_S9_EUlRKS5_E_EC2ESC_ 1
_ZN7atermpp6detail34make_partial_replace_aterm_builderINS_7builderE19fg_partial_replacerEENS0_29partial_replace_aterm_builderIT_T0_EES6_ 1
_ZN7atermpp6detail36make_bottom_up_replace_aterm_builderINS_7builderE13index_removerEENS0_31bottom_up_replace_aterm_builderIT_T0_EES6_ 1
_ZN7atermpp6detail36make_bottom_up_replace_aterm_builderINS_7builderEZNS_17bottom_up_replaceINS_9term_applINS_5atermEEEEET_S7_RKS6_S9_EUlRKS5_E_EENS0_31bottom_up_replace_aterm_builderIT_T0_EESF_ 1
_ZN7atermpp6detail38cached_bottom_up_replace_aterm_builderINS_7builderE11fg_replacerEC2ES3_RSt13unordered_mapINS_9term_applINS_5atermEEES7_St4hashIS8_ESt8equal_toIS8_ESaISt4pairIKS8_S7_EEE 1
_ZN7atermpp6detail43make_cached_bottom_up_replace_aterm_builderINS_7builderE11fg_replacerEENS0_38cached_bottom_up_replace_aterm_builderIT_T0_EES6_RSt13unordered_mapINS_9term_applINS_5atermEEESA_St4hashISB_ESt8equal_toISB_ESaISt4pairIKSB_SA_EEE 1
_ZN7atermpp7replaceINS_5atermE11fg_replacerEET_RKS3_T0_ 1
_ZN7atermpp7replaceINS_5atermE13index_removerEET_RKS3_T0_ 1
_ZN7atermpp7replaceINS_5atermEEET_RKS2_RKS1_S6_ 1
_ZN7atermpp7replaceINS_5atermEZNS_7replaceIS1_EET_RKS3_RKS1_S7_EUlS7_E_EES3_S5_T0_ 1
_ZN7atermpp7replaceINS_9term_listINS_5atermEEEEET_RKS4_RKS2_S8_ 1
_ZN7atermpp7replaceINS_9term_listINS_5atermEEEZNS_7replaceIS3_EET_RKS5_RKS2_S9_EUlS9_E_EES5_S7_T0_ 1
_ZN7atermpp8for_eachI13for_each_procNS_9term_applINS_5atermEEEEET_T0_S5_ 1
_ZZN7atermpp7replaceINS_9term_listINS_5atermEEEEET_RKS4_RKS2_S8_ENKUlS8_E_clES8_ 1
_ZN7atermpp11find_all_ifINS_9term_applINS_5atermEEE4is_fSt20back_insert_iteratorISt6vectorIS3_SaIS3_EEEEEvRKT_T0_T1_ 2
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE9replace_fEC2ES3_ 2
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderE9replace_fEENS0_21replace_aterm_builderIT_T0_EES6_ 2
_ZN7atermpp7replaceINS_5atermE9replace_fEET_RKS3_T0_ 2
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE13index_removerE5applyERKNS_9term_applINS_5atermEEE 3
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_applINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_EC2ESC_ 3
_ZN7atermpp6detail26make_replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_applINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_EENS0_21replace_aterm_builderIT_T0_EESF_ 3
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderEZNS_17bottom_up_replaceINS_9term_applINS_5atermEEEEET_S7_RKS6_S9_EUlRKS5_E_E5applyES9_ 3
_ZN7atermpp7find_ifINS_9term_applINS_5atermEEE4is_fEES3_RKT_T0_ 3
_ZN7atermpp7replaceINS_9term_applINS_5atermEEEEET_RKS4_RKS2_S8_ 3
_ZN7atermpp7replaceINS_9term_applINS_5atermEEEZNS_7replaceIS3_EET_RKS5_RKS2_S9_EUlS9_E_EES5_S7_T0_ 3
_ZZN7atermpp17bottom_up_replaceINS_9term_applINS_5atermEEEEET_S4_RKS3_S6_ENKUlRKS2_E_clES8_ 3
_ZN7atermpp6detail21replace_aterm_builderINS_7builderEZNS_7replaceINS_9term_applINS_5atermEEEEET_RKS7_RKS5_SB_EUlSB_E_E5applyERKS6_ 4
_ZZN7atermpp7replaceINS_9term_applINS_5atermEEEEET_RKS4_RKS2_S8_ENKUlS8_E_clES8_ 4
_ZN7atermpp6detail38cached_bottom_up_replace_aterm_builderINS_7builderE11fg_replacerE5applyERKNS_9term_applINS_5atermEEE 6
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderE13index_removerE5applyERKNS_9term_applINS_5atermEEE 8
_ZN7atermpp6detail21replace_aterm_builderINS_7builderE9replace_fE5applyERKNS_9term_applINS_5atermEEE 9
_ZN7atermpp7find_ifIN5mcrl24data15data_expressionEZNS2_6detail4Info6occursERKS3_S7_EUlRKNS_9term_applINS_5atermEEEE_EESA_RKT_T0_ 315
_ZN7atermpp7find_ifIN5mcrl24data6detail10match_treeENS3_22RewriterCompilingJitty13ImplementTree7matchesEEENS_9term_applINS_5atermEEERKT_T0_ 1046
_ZN7atermpp17bottom_up_replaceINS_5atermEPFNS_9term_applIS1_EERKS3_EEET_S8_T0_ 20008
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderEPFNS_9term_applINS_5atermEEERKS5_EEC2ES9_ 20008
_ZN7atermpp6detail36make_bottom_up_replace_aterm_builderINS_7builderEPFNS_9term_applINS_5atermEEERKS5_EEENS0_31bottom_up_replace_aterm_builderIT_T0_EESC_ 20008
_ZN7atermpp6detail31bottom_up_replace_aterm_builderINS_7builderEPFNS_9term_applINS_5atermEEERKS5_EE5applyES7_ 423452

Generated by: LCOV version 1.13