LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps - add_binding.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 50 56 89.3 %
Date: 2024-05-04 03:44:52 Functions: 38 40 95.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lps35add_data_variable_traverser_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_S1_St15insert_iteratorISt3setINS3_8variableESt4lessIS8_ESaIS8_EEEEEE5applyERKNS3_12where_clauseE 0
_ZN5mcrl23lps35add_data_variable_traverser_bindingINS0_25data_expression_traverserENS_4data6detail30search_free_variable_traverserIS2_S1_EEE5applyERKNS3_12where_clauseE 0
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail30search_free_variable_traverserIS2_NS0_35add_data_variable_traverser_bindingEEEE5enterERKNS0_14action_summandE 3
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail30search_free_variable_traverserIS2_NS0_35add_data_variable_traverser_bindingEEEE5leaveERKNS0_14action_summandE 3
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_13specificationE 18
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_13specificationE 18
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_16deadlock_summandE 20
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_16deadlock_summandE 20
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_25stochastic_linear_processE 30
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_30stochastic_process_initializerE 30
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_25stochastic_linear_processE 30
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_30stochastic_process_initializerE 30
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_13specificationE 33
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_14linear_processE 33
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_13specificationE 33
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_14linear_processE 33
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_14linear_processE 53
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_14linear_processE 53
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_16deadlock_summandE 73
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_16deadlock_summandE 73
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_14action_summandE 87
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_14action_summandE 87
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_25stochastic_action_summandE 135
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_25stochastic_action_summandE 135
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_14action_summandE 145
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_14action_summandE 145
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_14linear_processE 173
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_14linear_processE 173
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_14action_summandE 362
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_14action_summandE 362
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_24stochastic_specificationE 617
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_30stochastic_process_initializerE 617
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_24stochastic_specificationE 617
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_30stochastic_process_initializerE 617
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_25stochastic_linear_processE 618
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_25stochastic_linear_processE 618
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_16deadlock_summandE 1224
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_16deadlock_summandE 1224
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_25stochastic_action_summandE 2685
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_25stochastic_action_summandE 2685

Generated by: LCOV version 1.14