LCOV - code coverage report
Current view: top level - modal_formula/include/mcrl2/modal_formula - resolve_name_clashes.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 44 150 29.3 %
Date: 2024-04-21 03:44:01 Functions: 10 36 27.8 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl214state_formulas48resolve_state_formula_data_variable_name_clashesERKNS0_13state_formulaERKSt3setIN7atermpp12aterm_stringESt4lessIS6_ESaIS6_EE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver15apply_variablesERKN7atermpp9term_listINS_4data8variableEEE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKN7atermpp9term_listINS_4data10assignmentEEE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS0_2muE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS0_2nuE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS_4data15data_expressionE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS4_6existsE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS4_6forallE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS_4data15data_expressionE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS_15action_formulas6existsE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS_15action_formulas6forallE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS_4data15data_expressionE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_4data15data_expressionEEEvRT_RKS5_ 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5eraseERKNS_4data8variableE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver6insertERKNS_4data8variableE 0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolverC2ERNS_4data24set_identifier_generatorE 0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver15apply_variablesERKN7atermpp9term_listINS_4data8variableEEEENKUlRKS6_E0_clESB_ 0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver15apply_variablesERKN7atermpp9term_listINS_4data8variableEEEENKUlRKS6_E_clESB_ 0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKN7atermpp9term_listINS_4data10assignmentEEEENKUlRKNS5_8variableEE_clESC_ 0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKN7atermpp9term_listINS_4data10assignmentEEEENKUlRKS6_E0_clESB_ 0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS_4data15data_expressionEENKUlRKNS7_8variableEE_clESD_ 0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS_4data15data_expressionEENKUlRKNS8_8variableEE_clESE_ 0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS_4data15data_expressionEENKUlRKNS8_8variableEE_clESE_ 0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_4data15data_expressionEEEvRT_RKS5_ENKUlRKNS4_8variableEE_clESC_ 0
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuE 2
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5enterERKNS0_2nuE 2
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5leaveERKNS0_2nuE 2
_ZN5mcrl214state_formulas35resolve_state_variable_name_clashesERKNS0_13state_formulaE 8
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5applyINS0_13state_formulaEEEvRT_RKNS0_8variableE 13
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muE 14
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5enterERKNS0_2muE 14
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5leaveERKNS0_2muE 14
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE3popERKN7atermpp12aterm_stringE 16
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE4pushERKN7atermpp12aterm_stringE 16

Generated by: LCOV version 1.14