LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - replace_capture_avoiding_with_an_identifier_generator.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 46 48 95.8 % Date: 2024-05-01 03:37:31 Functions: 9 9 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS0_23data_expression_builderENS_4data6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS3_S2_NS4_25maintain_variables_in_rhsINS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS4_24set_identifier_generatorEEESK_SL_E5applyINS0_18process_expressionEEEvRT_RKNS0_19stochastic_operatorE	7
_ZN5mcrl27process6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS0_23data_expression_builderENS_4data6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS3_S2_NS4_25maintain_variables_in_rhsINS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS4_24set_identifier_generatorEEESK_SL_E5applyINS0_18process_expressionEEEvRT_RKNS0_3sumE	7
_ZN5mcrl27process63replace_variables_capture_avoiding_with_an_identifier_generatorINS0_18process_expressionENS_4data25maintain_variables_in_rhsINS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS7_ESaISt4pairIKS7_S8_EEEEEEENS3_24set_identifier_generatorEEET_RKSJ_RT0_RT1_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESJ_E5valueEvE4typeE	58
_ZN5mcrl27process6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS0_23data_expression_builderENS_4data6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS3_S2_NS4_25maintain_variables_in_rhsINS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS4_24set_identifier_generatorEEESK_SL_E5applyINS0_18process_expressionEEEvRT_RKNS0_27process_instance_assignmentE	163
_ZNK5mcrl27process6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS0_23data_expression_builderENS_4data6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS3_S2_NS4_25maintain_variables_in_rhsINS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS4_24set_identifier_generatorEEESK_SL_E13find_variableERKN7atermpp9term_listINS4_10assignmentEEERSF_	210
_ZN5mcrl27process6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS_4data6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS5_25maintain_variables_in_rhsINS5_24mutable_map_substitutionISt3mapINS5_8variableENS5_15data_expressionESt4lessISD_ESaISt4pairIKSD_SE_EEEEEEENS5_24set_identifier_generatorEEESN_SO_EC2ERSN_RSO_	5223
_ZN5mcrl27process63replace_variables_capture_avoiding_with_an_identifier_generatorIN7atermpp9term_listINS_4data15data_expressionEEENS4_25maintain_variables_in_rhsINS4_24mutable_map_substitutionISt3mapINS4_8variableES5_St4lessISA_ESaISt4pairIKSA_S5_EEEEEEENS4_24set_identifier_generatorEEET_RKSL_RT0_RT1_PNSt9enable_ifIXsrSt10is_base_ofINS2_5atermESL_E5valueEvE4typeE	8068
_ZN5mcrl27process63replace_variables_capture_avoiding_with_an_identifier_generatorINS_4data15data_expressionENS2_25maintain_variables_in_rhsINS2_24mutable_map_substitutionISt3mapINS2_8variableES3_St4lessIS7_ESaISt4pairIKS7_S3_EEEEEEENS2_24set_identifier_generatorEEET_RKSI_RT0_RT1_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermESI_E5valueEvE4typeE	42483
_ZN5mcrl27process6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS0_23data_expression_builderENS_4data6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS3_S2_NS4_25maintain_variables_in_rhsINS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS4_24set_identifier_generatorEEESK_SL_EC2ERSK_RSL_	50609

Generated by: LCOV version 1.14