LCOV - code coverage report
Current view: top level - utilities/include/mcrl2/utilities/detail - container_utility.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 47 54 87.0 %
Date: 2024-03-08 02:52:28 Functions: 31 47 66.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl29utilities6detail12mapped_valueISt3mapImmSt4lessImESaISt4pairIKmmEEEEENT_11mapped_typeERKSB_RKNSB_8key_typeERKSC_ 0
_ZN5mcrl29utilities6detail12pick_elementISt3setINS_11pbes_system6detail26stategraph_local_algorithm19equation_label_pairESt4lessIS7_ESaIS7_EEEENT_10value_typeERSC_ 0
_ZN5mcrl29utilities6detail12pick_elementISt3setIPKNS_11pbes_system6detail32global_control_flow_graph_vertexESt4lessIS8_ESaIS8_EEEENT_10value_typeERSD_ 0
_ZN5mcrl29utilities6detail14set_differenceINS_7process12action_labelEEESt3setIT_St4lessIS6_ESaIS6_EERKSA_SC_ 0
_ZN5mcrl29utilities6detail22has_empty_intersectionISt23_Rb_tree_const_iteratorIN7atermpp9term_listINS_4data15sort_expressionEEEES9_EEbT_SA_T0_SB_ 0
_ZN5mcrl29utilities6detail22has_empty_intersectionISt3setIN7atermpp9term_listINS_4data15sort_expressionEEESt4lessIS8_ESaIS8_EESC_EEbRKT_RKT0_ 0
_ZN5mcrl29utilities6detail7has_keyIN7atermpp12aterm_stringES4_EEbRKSt3mapIT_T0_St4lessIS6_ESaISt4pairIKS6_S7_EEERSB_ 0
_ZN5mcrl29utilities6detail8containsIN7atermpp18term_balanced_treeINS_4data15data_expressionEEEEEbRKSt13unordered_setIT_St4hashIS9_ESt8equal_toIS9_ESaIS9_EERKNSt3setIS9_St4lessIS9_ESE_E10value_typeE 0
_ZN5mcrl29utilities6detail8containsIN7atermpp9term_listINS3_12aterm_stringEEEEEbRKT_RKNS7_10value_typeE 0
_ZN5mcrl29utilities6detail8containsINS_3lps12multi_actionEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE 0
_ZN5mcrl29utilities6detail8containsINS_4data15function_symbolEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE 0
_ZN5mcrl29utilities6detail8containsIPKNS_11pbes_system6detail32global_control_flow_graph_vertexEEEbRKSt3setIT_St4lessIS9_ESaIS9_EERKNSD_10value_typeE 0
_ZN5mcrl29utilities6detail8containsISt6vectorIN7atermpp18term_balanced_treeINS_4data15data_expressionEEESaIS8_EEEEbRKT_RKNSB_10value_typeE 0
_ZN5mcrl29utilities6detail8containsISt6vectorINS_4data15function_symbolESaIS5_EEEEbRKT_RKNS8_10value_typeE 0
_ZN5mcrl29utilities6detail8containsISt6vectorImSaImEEEEbRKT_RKNS6_10value_typeE 0
_ZN5mcrl29utilities6detail8containsIjEEbRKSt3setIT_St4lessIS4_ESaIS4_EERKNS8_10value_typeE 0
_ZN5mcrl29utilities6detail16set_intersectionImEESt3setIT_St4lessIS4_ESaIS4_EERKS8_SA_ 2
_ZN5mcrl29utilities6detail9remove_ifISt3setINS_4data15data_expressionESt4lessIS5_ESaIS5_EEZNKS4_6detail21equality_set_with_top11must_deleteERKN7atermpp9term_listINS4_8variableEEERKSE_RS9_EUlRKS5_E_EEvRT_RKT0_ 2
_ZN5mcrl29utilities6detail7has_keyINS_4data15function_symbolES4_EEbRKSt3mapIT_T0_St4lessIS6_ESaISt4pairIKS6_S7_EEERSB_ 3
_ZN5mcrl29utilities6detail8containsINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEEbRKSt3setIT_St4lessISA_ESaISA_EERKNSE_10value_typeE 3
_ZN5mcrl29utilities6detail12mapped_valueISt3mapImNS_4data15data_expressionESt4lessImESaISt4pairIKmS5_EEEEENT_11mapped_typeERKSD_RKNSD_8key_typeERKSE_ 4
_ZN5mcrl29utilities6detail12set_includesINS_4data8variableEEEbRKSt3setIT_St4lessIS6_ESaIS6_EESC_ 6
_ZN5mcrl29utilities6detail8containsINS_7process17multi_action_nameEEEbRKT_RKNS5_10value_typeE 7
_ZN5mcrl29utilities6detail22has_empty_intersectionISt23_Rb_tree_const_iteratorIN7atermpp12aterm_stringEES6_EEbT_S7_T0_S8_ 8
_ZN5mcrl29utilities6detail8containsIN7atermpp12aterm_stringEEEbRKSt8multisetIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE 9
_ZN5mcrl29utilities6detail8containsImEEbRKSt3setIT_St4lessIS4_ESaIS4_EERKNS8_10value_typeE 10
_ZN5mcrl29utilities6detail8containsINS_7process18process_identifierEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE 13
_ZN5mcrl29utilities6detail12pick_elementISt3setIPKNS_11pbes_system6detail31local_control_flow_graph_vertexESt4lessIS8_ESaIS8_EEEENT_10value_typeERSD_ 16
_ZN5mcrl29utilities6detail8containsISt6vectorINS_4data8variableESaIS5_EEEEbRKT_RKNS8_10value_typeE 21
_ZN5mcrl29utilities6detail9set_unionINS_4data8variableEEESt3setIT_St4lessIS6_ESaIS6_EERKSA_SC_ 43
_ZN5mcrl29utilities6detail9remove_ifISt3mapINS_4data8variableESt3setINS4_15data_expressionESt4lessIS7_ESaIS7_EES8_IS5_ESaISt4pairIKS5_SB_EEEZNS4_6detail21equality_set_with_top7delete_ERKN7atermpp9term_listIS5_EEEUlRSF_E_EEvRT_RKT0_ 52
_ZN5mcrl29utilities6detail12pick_elementISt3setImSt4lessImESaImEEEENT_10value_typeERS8_ 65
_ZN5mcrl29utilities6detail14set_differenceINS_4data8variableEEESt3setIT_St4lessIS6_ESaIS6_EERKSA_SC_ 75
_ZN5mcrl29utilities6detail12pick_elementISt3setINS_11pbes_system36propositional_variable_instantiationESt4lessIS5_ESaIS5_EEEENT_10value_typeERSA_ 90
_ZN5mcrl29utilities6detail8containsINS_11pbes_system36propositional_variable_instantiationEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE 113
_ZN5mcrl29utilities6detail8containsINS_4data8variableEEEbRKSt8multisetIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE 122
_ZN5mcrl29utilities6detail22has_empty_intersectionISt23_Rb_tree_const_iteratorINS_4data8variableEES6_EEbT_S7_T0_S8_ 132
_ZN5mcrl29utilities6detail22has_empty_intersectionISt3setINS_4data8variableESt4lessIS5_ESaIS5_EES9_EEbRKT_RKT0_ 132
_ZN5mcrl29utilities6detail8containsISt6vectorIN7atermpp12aterm_stringESaIS5_EEEEbRKT_RKNS8_10value_typeE 166
_ZN5mcrl29utilities6detail16set_intersectionINS_4data8variableEEESt3setIT_St4lessIS6_ESaIS6_EERKSA_SC_ 1079
_ZN5mcrl29utilities6detail8containsINS_7process12action_labelEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE 1830
_ZN5mcrl29utilities6detail8containsISt6vectorIjSaIjEEEEbRKT_RKNS6_10value_typeE 5819
_ZN5mcrl29utilities6detail16set_intersectionINS_4data15data_expressionEEESt3setIT_St4lessIS6_ESaIS6_EERKSA_SC_ 8337
_ZN5mcrl29utilities6detail8containsINS_4data8variableEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE 40022
_ZN5mcrl29utilities6detail8containsIN7atermpp9term_listINS_4data8variableEEEEEbRKT_RKNS8_10value_typeE 42028
_ZN5mcrl29utilities6detail8containsIN7atermpp12aterm_stringEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE 43603
_ZN5mcrl29utilities6detail9remove_ifISt3setINS_4data15sort_expressionESt4lessIS5_ESaIS5_EEZNS4_6detail10check_sortIS9_EEbRKS5_RKT_EUlSD_E_EEvRSE_RKT0_ 178003

Generated by: LCOV version 1.14