LCOV - code coverage report
Current view: top level - data/include/mcrl2/data - replace_capture_avoiding_with_an_identifier_generator.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 45 78 57.7 %
Date: 2024-05-01 03:37:31 Functions: 15 24 62.5 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE3popISt6vectorIS6_SaIS6_EEEEvRKT_ 0
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE4pushISt6vectorIS6_SaIS6_EEEET_RKSN_ 0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_12where_clauseE 0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6existsE 0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6forallE 0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6lambdaE 0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_12where_clauseE 0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6existsE 0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6forallE 0
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RKNS0_6lambdaE 86
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE3popERSB_ 100
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE3popIN7atermpp9term_listIS6_EEEEvRKT_ 100
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE4bindERSB_ 100
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE4pushIN7atermpp9term_listIS6_EEEET_RKSN_ 100
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RSG_ 3086
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_3lps23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_EC2ERSL_RSM_ 5223
_ZN5mcrl24data6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_3lps23data_expression_builderENS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS0_24set_identifier_generatorEEC2ERSK_RSL_ 5223
_ZN5mcrl24data6detail77apply_replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_3lps23data_expression_builderENS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS0_24set_identifier_generatorEEENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIT_T0_T1_T2_EERSP_RSQ_ 5223
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_EC2ERSL_RSM_ 50609
_ZN5mcrl24data6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_7process23data_expression_builderENS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS0_24set_identifier_generatorEEC2ERSK_RSL_ 50609
_ZN5mcrl24data6detail77apply_replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_7process23data_expression_builderENS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEENS0_24set_identifier_generatorEEENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIT_T0_T1_T2_EERSP_RSQ_ 50609
_ZN5mcrl24data6detail61add_capture_avoiding_replacement_with_an_identifier_generatorINS_7process23data_expression_builderENS1_71replace_capture_avoiding_variables_builder_with_an_identifier_generatorIS4_NS3_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEENS0_24set_identifier_generatorEEESL_SM_E5applyISC_EEvRT_RSG_ 54266
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEEC2ERSG_RSH_ 55832
_ZN5mcrl24data6detail49substitution_updater_with_an_identifier_generatorINS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEENS0_24set_identifier_generatorEE12substitutionEv 57352

Generated by: LCOV version 1.14