LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - function_symbol.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 28 28 100.0 % Date: 2024-05-01 03:37:31 Functions: 20 28 71.4 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringENS0_15sort_expressionEEEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS8_13state_formulaEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS7_13state_formulaEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSC_RKNS0_15sort_expressionEEUlSH_E_EEE5applyISB_EEvRSC_RKNS0_15function_symbolEEUlRSF_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	2
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	10
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS8_15pres_expressionEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	37
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_7process23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	90
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	205
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_3lps23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	749
_ZN5mcrl24data15function_symbolaSEOS1_	1035
_ZN5mcrl24data15function_symbolC2Ev	1680
_ZN5mcrl24datalsERSoRKNS0_15function_symbolE	1883
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS8_15pbes_expressionEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	2370
_ZN5mcrl24data15function_symbolaSERKS1_	2527
_ZN5mcrl24data15function_symbolC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_15sort_expressionE	65796
_ZN5mcrl24data15function_symbolC2EOS1_	4062677
_ZN5mcrl24data15function_symbolC2ERKS1_	4688853
_ZN5mcrl24data15function_symbolC2ERKN7atermpp12aterm_stringERKNS0_15sort_expressionE	4951344
_ZN5mcrl24data20make_function_symbolIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS5_20update_apply_builderINS0_23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_15function_symbolEEUlRNS0_15sort_expressionEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	14700433
_ZNK5mcrl24data15function_symbol4nameEv	19480827
_ZNK5mcrl24data15function_symbol4sortEv	33995538
_ZN5mcrl24data15function_symbolC2ERKN7atermpp5atermE	47092413

Generated by: LCOV version 1.14