LCOV - code coverage report
Current view: top level - process/include/mcrl2/process/detail - alphabet_push_block.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 64 164 39.0 %
Date: 2024-04-21 03:44:01 Functions: 13 34 38.2 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl27process16block_operations14rename_inverseERKN7atermpp9term_listINS0_17rename_expressionEEERKSt3setINS2_12aterm_stringESt4lessIS9_ESaIS9_EE 0
_ZN5mcrl27process16block_operations14set_differenceIN7atermpp9term_listINS3_12aterm_stringEEEEESt3setIS5_St4lessIS5_ESaIS5_EERKSB_RKT_ 0
_ZN5mcrl27process16block_operations9set_unionIN7atermpp9term_listINS3_12aterm_stringEEEEESt3setIS5_St4lessIS5_ESaIS5_EERKSB_RKT_ 0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_27process_instance_assignmentE 0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_4commE 0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_4hideE 0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_4syncE 0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_5blockE 0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_6renameE 0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE7derivedEv 0
_ZNK5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE14restrict_blockERKSt3setIN7atermpp12aterm_stringESt4lessIS8_ESaIS8_EERKNS7_9term_listINS0_24communication_expressionEEE 0
_ZNK5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE9restrict_ERKN7atermpp12aterm_stringERKSt3setIS7_St4lessIS7_ESaIS7_EERKNS6_9term_listINS0_24communication_expressionEEE 0
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKNS0_4commERKNS0_18process_expressionE 0
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKNS0_4hideERKSt3setIN7atermpp12aterm_stringESt4lessIS8_ESaIS8_EE 0
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKNS0_5blockERKSt3setIN7atermpp12aterm_stringESt4lessIS8_ESaIS8_EE 0
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKNS0_6renameERKSt3setIN7atermpp12aterm_stringESt4lessIS8_ESaIS8_EE 0
_ZNK5mcrl27process6detail18push_block_printer5printIN7atermpp9term_listINS0_17rename_expressionEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZNK5mcrl27process6detail18push_block_printer5printIN7atermpp9term_listINS4_12aterm_stringEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZNK5mcrl27process6detail18push_block_printer5printINS0_4commEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZNK5mcrl27process6detail18push_block_printer5printINS0_4hideEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZNK5mcrl27process6detail18push_block_printer5printINS0_5blockEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_5allowE 1
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_6actionE 1
_ZN5mcrl27process6detail18push_block_printerC2ERKSt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EE 1
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKNS0_5allowERKNS0_9allow_setE 1
_ZNK5mcrl27process6detail18push_block_printer5printB5cxx11ERKSt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EE 1
_ZNK5mcrl27process6detail18push_block_printer5printINS0_18process_expressionEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 1
_ZNK5mcrl27process6detail18push_block_printer5printINS0_5allowEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 1
_ZN5mcrl27process10push_blockERKN7atermpp9term_listINS1_12aterm_stringEEERKNS0_18process_expressionERSt6vectorINS0_16process_equationESaISB_EERNS_4data24set_identifier_generatorERSt3mapINS0_18process_identifierESt3setINS0_17multi_action_nameESt4lessISL_ESaISL_EESM_ISJ_ESaISt4pairIKSJ_SP_EEE 2
_ZN5mcrl27process16push_block_cacheC2ERSt3mapINS0_18process_identifierESt3setINS0_17multi_action_nameESt4lessIS5_ESaIS5_EES6_IS3_ESaISt4pairIKS3_S9_EEE 2
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEE5applyINS0_18process_expressionEEEvRT_RKNS0_16process_instanceE 2
_ZN5mcrl27process6detail10push_blockERKSt3setIN7atermpp12aterm_stringESt4lessIS4_ESaIS4_EERKNS0_18process_expressionERSt6vectorINS0_16process_equationESaISF_EERNS0_16push_block_cacheERNS_4data24set_identifier_generatorE 3
_ZN5mcrl27process6detail18push_block_builderINS1_24apply_push_block_builderIS2_EEEC2ERSt6vectorINS0_16process_equationESaIS7_EERNS0_16push_block_cacheERKSt3setIN7atermpp12aterm_stringESt4lessISF_ESaISF_EERNS_4data24set_identifier_generatorE 3
_ZN5mcrl27process6detail24apply_push_block_builderINS1_18push_block_builderEEC2ERSt6vectorINS0_16process_equationESaIS6_EERNS0_16push_block_cacheERKSt3setIN7atermpp12aterm_stringESt4lessISE_ESaISE_EERNS_4data24set_identifier_generatorE 3

Generated by: LCOV version 1.14