LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - untyped_data_parameter.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 17 20 85.0 % Date: 2024-05-04 03:44:52 Functions: 11 47 23.4 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data22untyped_data_parameterC2Ev	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENS9_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISE_ESaISt4pairIKSE_SF_EEEEEEEE5applyINS9_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listISF_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENS9_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEEE5applyINS9_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listISE_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENS9_33add_data_variable_builder_bindingENS9_6detail37variable_data_expression_substitutionEEEE5applyINS9_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENS9_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISE_ESaISt4pairIKSE_SF_EEEEEEEE5applyINS9_15pres_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listISF_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENS9_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEEE5applyINS9_15pres_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listISE_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINS9_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pbes_system23data_expression_builderENS9_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISF_ESaISt4pairIKSF_SG_EEEEEEEE5applyINS9_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listISG_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_11pres_system23data_expression_builderENS9_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISF_ESaISt4pairIKSF_SG_EEEEEEEE5applyINS9_15pres_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listISG_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_15action_formulas23data_expression_builderENS9_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISF_ESaISt4pairIKSF_SG_EEEEEEEE5applyINS0_22untyped_data_parameterEEEvRT_RKSS_EUlRNS2_9term_listISG_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_15action_formulas23data_expression_builderENS9_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISF_ESaISt4pairIKSF_SG_EEEEEEEE5applyINS9_14action_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listISG_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail42replace_capture_avoiding_variables_builderINS_7process23data_expression_builderENS9_6detail32add_capture_avoiding_replacementENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISF_ESaISt4pairIKSF_SG_EEEEEEEE5applyINS9_18process_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listISG_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail71replace_capture_avoiding_variables_builder_with_an_identifier_generatorINS_7process23data_expression_builderENS9_6detail61add_capture_avoiding_replacement_with_an_identifier_generatorENS0_25maintain_variables_in_rhsINS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISG_ESaISt4pairIKSG_SH_EEEEEEENS0_24set_identifier_generatorEEEE5applyINS9_18process_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listISH_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS5_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINS8_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS5_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS8_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listISD_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS5_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_6detail32translate_user_notation_functionEEEE5applyINS8_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS5_20update_apply_builderINS_11pres_system23data_expression_builderENS0_6detail32translate_user_notation_functionEEEE5applyINS8_15pres_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23data_expression_builderENS0_6detail32translate_user_notation_functionEEEE5applyINS0_22untyped_data_parameterEEEvRT_RKSF_EUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23data_expression_builderENS0_6detail32translate_user_notation_functionEEEE5applyINS8_13state_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23data_expression_builderENS0_6detail32translate_user_notation_functionEEEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23data_expression_builderENS0_6detail32translate_user_notation_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS5_20update_apply_builderINS_7process23data_expression_builderENS0_6detail32translate_user_notation_functionEEEE5applyINS8_18process_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS_11pbes_system6detail18if_rewrite_builderEE5applyINS7_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS_11pbes_system6detail33quantifiers_inside_forall_builderEE5applyINS7_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS_11pres_system6detail34quantifiers_inside_infimum_builderEE5applyINS7_15pres_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_22untyped_data_parameterEEEvRT_RKSC_EUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS7_13state_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4core7builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS7_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_22untyped_data_parameterEEEvRT_RKSB_EUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS7_13state_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS8_15pres_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	25
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS8_13state_formulaEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	143
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_22untyped_data_parameterEEEvRT_RKSF_EUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	171
_ZN5mcrl24data22untyped_data_parameterC2EOS1_	189
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS8_15pbes_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	787
_ZN5mcrl24data27make_untyped_data_parameterIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_7process23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS8_18process_expressionEEEvRT_RKNS0_22untyped_data_parameterEEUlRNS2_9term_listINS0_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	5010
_ZN5mcrl24data22untyped_data_parameterC2ERKN7atermpp12aterm_stringERKNS2_9term_listINS0_15data_expressionEEE	6157
_ZN5mcrl24data22untyped_data_parameterC2ERKN7atermpp5atermE	11931
_ZNK5mcrl24data22untyped_data_parameter9argumentsEv	13277
_ZNK5mcrl24data22untyped_data_parameter4nameEv	19606
_ZN5mcrl24data25is_untyped_data_parameterERKN7atermpp9term_applINS1_5atermEEE	267847

Generated by: LCOV version 1.14