LCOV - code coverage report
Current view: top level - modal_formula/include/mcrl2/modal_formula - regular_formula.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 78 102 76.5 %
Date: 2024-05-01 03:37:31 Functions: 32 56 57.1 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl216regular_formulas10make_transIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEEUlRSA_E_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas10make_transIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEEUlRSF_E_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas10make_transIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEEUlRS9_E_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas10make_transIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEEUlRSF_E_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas10make_transIJZNS0_31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_5transEEUlRS8_E_EEEvRN7atermpp9term_applINSG_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas15regular_formulaC2ERKNS_4data15data_expressionE 0
_ZN5mcrl216regular_formulas17make_trans_or_nilIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEEUlRSA_E_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas17make_trans_or_nilIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEEUlRS9_E_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas28make_untyped_regular_formulaIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEEUlRSC_E_ZNSB_ISC_EEvSE_SH_EUlSI_E0_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas28make_untyped_regular_formulaIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEEUlRSH_E_ZNSG_ISH_EEvSJ_SM_EUlSN_E0_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas28make_untyped_regular_formulaIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas5transC2ERKN7atermpp5atermE 0
_ZN5mcrl216regular_formulas5transC2ERKNS0_15regular_formulaE 0
_ZN5mcrl216regular_formulas8make_altIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEEUlRSA_E_ZNS9_ISA_EEvSC_SF_EUlSG_E0_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas8make_altIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas8make_altIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEEUlRS9_E_ZNS8_IS9_EEvSB_SE_EUlSF_E0_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas8make_altIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas8make_altIJZNS0_31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3altEEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas8make_seqIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_14state_formulas6detail47state_formula_data_variable_name_clash_resolverEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEEUlRSA_E_ZNS9_ISA_EEvSC_SF_EUlSG_E0_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas8make_seqIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas8make_seqIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEEUlRS9_E_ZNS8_IS9_EEvSB_SE_EUlSF_E0_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas8make_seqIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_ 0
_ZN5mcrl216regular_formulas8make_seqIJZNS0_31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_3seqEEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_ 0
_ZNK5mcrl216regular_formulas5trans7operandEv 0
_ZN5mcrl216regular_formulas18is_regular_formulaERKN7atermpp9term_applINS1_5atermEEE 1
_ZN5mcrl216regular_formulas17make_trans_or_nilIJZNS0_20add_data_expressionsINS_15action_formulas23data_expression_builderENS_4core20update_apply_builderINS_14state_formulas23data_expression_builderENS_4data6detail32translate_user_notation_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEEUlRSF_E_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_ 2
_ZN5mcrl216regular_formulas3seqC2ERKNS0_15regular_formulaES4_ 3
_ZN5mcrl216regular_formulas3altC2ERKNS0_15regular_formulaES4_ 4
_ZN5mcrl216regular_formulas23untyped_regular_formulaC2ERKN7atermpp12aterm_stringERKNS0_15regular_formulaES8_ 5
_ZN5mcrl216regular_formulas28make_untyped_regular_formulaIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaEEUlRSH_E_ZNSG_ISH_EEvSJ_SM_EUlSN_E0_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_ 5
_ZNK5mcrl216regular_formulas3alt4leftEv 8
_ZNK5mcrl216regular_formulas3alt5rightEv 8
_ZNK5mcrl216regular_formulas3seq4leftEv 9
_ZNK5mcrl216regular_formulas3seq5rightEv 9
_ZN5mcrl216regular_formulas23untyped_regular_formulaC2ERKN7atermpp5atermE 10
_ZN5mcrl216regular_formulas26is_untyped_regular_formulaERKN7atermpp9term_applINS1_5atermEEE 10
_ZN5mcrl216regular_formulas3altC2ERKN7atermpp5atermE 10
_ZNK5mcrl216regular_formulas23untyped_regular_formula4leftEv 10
_ZNK5mcrl216regular_formulas23untyped_regular_formula4nameEv 10
_ZNK5mcrl216regular_formulas23untyped_regular_formula5rightEv 10
_ZN5mcrl216regular_formulas3seqC2ERKN7atermpp5atermE 12
_ZN5mcrl216regular_formulas17make_trans_or_nilIJZNS0_20add_sort_expressionsINS_15action_formulas23sort_expression_builderENS_4core20update_apply_builderINS_14state_formulas23sort_expression_builderENS_4data6detail24normalize_sorts_functionEEEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEEUlRSF_E_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_ 33
_ZN5mcrl216regular_formulas17make_trans_or_nilIJZNS0_31add_regular_formula_expressionsINS0_28regular_formula_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15regular_formulaEEEvRT_RKNS0_12trans_or_nilEEUlRS8_E_EEEvRN7atermpp9term_applINSG_5atermEEEDpRKT_ 33
_ZN5mcrl216regular_formulas15regular_formulaC2EOS1_ 40
_ZN5mcrl216regular_formulas12trans_or_nilC2ERKNS0_15regular_formulaE 41
_ZNK5mcrl216regular_formulas12trans_or_nil7operandEv 174
_ZN5mcrl216regular_formulas12trans_or_nilC2ERKN7atermpp5atermE 176
_ZN5mcrl216regular_formulas15regular_formulaC2Ev 235
_ZN5mcrl216regular_formulas15regular_formulaC2ERKS1_ 297
_ZN5mcrl216regular_formulas15is_trans_or_nilERKN7atermpp9term_applINS1_5atermEEE 415
_ZN5mcrl216regular_formulas8is_transERKN7atermpp9term_applINS1_5atermEEE 415
_ZN5mcrl216regular_formulas6is_altERKN7atermpp9term_applINS1_5atermEEE 423
_ZN5mcrl216regular_formulas6is_seqERKN7atermpp9term_applINS1_5atermEEE 432
_ZN5mcrl216regular_formulas15regular_formulaaSEOS1_ 604
_ZN5mcrl216regular_formulas15regular_formulaC2ERKNS_15action_formulas14action_formulaE 842
_ZN5mcrl216regular_formulas15regular_formulaC2ERKN7atermpp5atermE 4231

Generated by: LCOV version 1.14