LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps - lpsparunfoldlib.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 60 238 25.2 %
Date: 2024-03-08 02:52:28 Functions: 13 36 36.1 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lps21insert_case_functionsINS0_25stochastic_linear_processEEEvRT_RKSt5tupleIJNS_4data8variableESt3mapINS6_15sort_expressionENS6_15function_symbolESt4lessIS9_ESaISt4pairIKS9_SA_EEES7_St6vectorINS6_15data_expressionESaISJ_EEEERNS6_24set_identifier_generatorEPNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES3_E5valueEvE4typeE 0
_ZN5mcrl23lps21parunfold_replacementINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementEE19apply_case_functionERNS_4data15data_expressionERKNS6_11applicationE 0
_ZN5mcrl23lps21parunfold_replacementINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementEE5applyINS_4data15data_expressionEEEvRT_RKNS7_11applicationE 0
_ZN5mcrl23lps21parunfold_replacementINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementEEC2ERKSt5tupleIJNS_4data8variableESt3mapINS7_15sort_expressionENS7_15function_symbolESt4lessISA_ESaISt4pairIKSA_SB_EEES8_St6vectorINS7_15data_expressionESaISK_EEEERNS7_24set_identifier_generatorE 0
_ZN5mcrl23lps21parunfold_replacementINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementEEclERKNS_4data8variableE 0
_ZN5mcrl23lps35apply_parunfold_replacement_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementEEENS0_21parunfold_replacementIT_T0_EERKSt5tupleIJNS_4data8variableESt3mapINSA_15sort_expressionENSA_15function_symbolESt4lessISD_ESaISt4pairIKSD_SE_EEESB_St6vectorINSA_15data_expressionESaISN_EEEERNSA_24set_identifier_generatorE 0
_ZN5mcrl23lps6detail19unfold_data_manager12create_casesERKNS_4data15data_expressionERKSt6vectorIS4_SaIS4_EE 0
_ZN5mcrl23lps6detail19unfold_data_manager16get_constructorsERKNS_4data15sort_expressionE 0
_ZN5mcrl23lps6detail19unfold_data_manager20get_projection_funcsERKNS_4data15function_symbolE 0
_ZN5mcrl23lps6detail19unfold_data_manager6id_genEv 0
_ZN5mcrl23lps6detail22pattern_match_unfolder10can_unfoldERKNS_4data15data_expressionE 0
_ZN5mcrl23lps6detail22pattern_match_unfolder13unfolded_exprERKNS_4data15function_symbolERKSt6vectorINS3_15data_expressionESaIS8_EE 0
_ZN5mcrl23lps6detail22pattern_match_unfolder14find_equationsERKNS_4data15function_symbolE 0
_ZN5mcrl23lps6detail22pattern_match_unfolder14is_constructorERKNS_4data15function_symbolE 0
_ZN5mcrl23lps6detail22pattern_match_unfolder19is_pattern_matchingERKNS_4data15function_symbolE 0
_ZN5mcrl23lps6detail22pattern_match_unfolder21pattern_matching_argsERKNS_4data15function_symbolE 0
_ZN5mcrl23lps6detail22pattern_match_unfolder24matches_only_known_sortsERKNS_4data15function_symbolE 0
_ZN5mcrl23lps6detail22pattern_match_unfolderclINS_4data15data_expressionEEEvRT_RKNS4_11applicationE 0
_ZN5mcrl23lps6detail29replace_pattern_match_builderINS_4data23data_expression_builderEE25is_applied_to_constructorERKNS3_11applicationE 0
_ZNK5mcrl23lps6detail19unfold_data_manager14is_constructorERKNS_4data15function_symbolE 0
_ZNK5mcrl23lps6detail19unfold_data_manager9is_cachedERKNS_4data15sort_expressionE 0
_ZZN5mcrl23lps6detail22pattern_match_unfolder10can_unfoldERKNS_4data15data_expressionEENKUlRKT_E_clINS3_15function_symbolEEEDaS9_ 0
_ZZN5mcrl23lps6detail22pattern_match_unfolder19is_pattern_matchingERKNS_4data15function_symbolEENKUlRT_E_clINS3_13data_equationEEEDaS8_ 0
_ZN5mcrl23lps6detail19unfold_data_managerC2ERSt3mapINS_4data15sort_expressionENS0_20unfold_cache_elementESt4lessIS5_ESaISt4pairIKS5_S6_EEERNS4_18data_specificationEb 1
_ZN5mcrl23lps6detail22pattern_match_unfolderC2ERNS1_19unfold_data_managerE 1
_ZN5mcrl23lps6detail32data_equation_argument_generatorC2ERNS_4data24set_identifier_generatorE 1
_ZNK5mcrl23lps6detail19unfold_data_manager8dataspecEv 1
_ZN5mcrl23lps6detail19unfold_data_manager20add_used_identifiersERKSt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EE 2
_ZN5mcrl23lps6detail29replace_pattern_match_builderINS_4data23data_expression_builderEE5applyINS3_15data_expressionEEEvRT_RKNS3_11applicationE 2
_ZNK5mcrl23lps6detail22pattern_match_unfolder12is_det_or_piERKNS_4data11applicationE 2
_ZN5mcrl23lps6detail23unfold_pattern_matchingERKNS_4data15data_expressionERNS1_22pattern_match_unfolderE 3
_ZN5mcrl23lps6detail29replace_pattern_match_builderINS_4data23data_expression_builderEEC2ERNS1_22pattern_match_unfolderE 3
_ZNK5mcrl23lps6detail19unfold_data_manager25filter_illegal_charactersENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 6
_ZN5mcrl23lps6detail32data_equation_argument_generator9argumentsERKNS_4data15function_symbolE 15
_ZN5mcrl23lps6detail19unfold_data_manager19add_used_identifierERKN7atermpp12aterm_stringE 30
_ZN5mcrl23lps6detail19unfold_data_manager11char_filterEc 40

Generated by: LCOV version 1.14