LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts - lts.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 191 194 98.5 % Date: 2024-04-19 03:43:27 Functions: 81 104 77.9 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE10add_actionERKS3_	0
_ZN5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE14add_transitionERKNS0_10transitionE	0
_ZN5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE14set_num_statesEmb	0
_ZN5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE17set_initial_stateEm	0
_ZN5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE20set_hidden_label_setERKSt3setImSt4lessImESaImEE	0
_ZN5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE9add_stateERKS2_	0
_ZN5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEEC2Ev	0
_ZN5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEEaSERKS6_	0
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE15set_state_labelEmRKS2_	0
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE15set_state_labelEmRKS2_	0
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE17clear_transitionsEm	0
_ZNK5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE10num_statesEv	0
_ZNK5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE11state_labelEm	0
_ZNK5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE12action_labelEm	0
_ZNK5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE13initial_stateEv	0
_ZNK5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE14has_state_infoEv	0
_ZNK5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE15get_transitionsEv	0
_ZNK5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE15tau_label_indexEv	0
_ZNK5mcrl23lts3ltsINS0_15state_label_dotENS0_19action_label_stringENS0_6detail12lts_dot_baseEE22apply_hidden_label_mapEm	0
_ZNK5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE15tau_label_indexEv	0
_ZNK5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE6is_tauEm	0
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE15tau_label_indexEv	0
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE6is_tauEm	0
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE20apply_hidden_actionsERKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaISD_EE	2
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE21record_hidden_actionsERKSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaISD_EE	2
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE20set_hidden_label_setERKSt3setImSt4lessImESaImEE	4
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE13rename_labelsERKSt3mapImmSt4lessImESaISt4pairIKmmEEE	4
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE13action_labelsEv	4
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE15get_transitionsEv	5
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE4swapERS6_	7
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEEeqERKS6_	7
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE32store_action_label_to_be_renamedERKS3_mRSt3mapImmSt4lessImESaISt4pairIKmmEEE	11
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE15get_transitionsEv	54
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE4swapERS6_	54
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEEaSERKS6_	54
_ZNK5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE13initial_stateEv	54
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE20set_hidden_label_setERKSt3setImSt4lessImESaImEE	58
_ZNK5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE15num_transitionsEv	58
_ZNK5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE17num_action_labelsEv	58
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE15num_transitionsEv	58
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE16hidden_label_setEv	58
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE13clear_actionsEv	61
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE17clear_transitionsEm	61
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE18clear_state_labelsEv	61
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE5clearEv	61
_ZNK5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE15get_transitionsEv	61
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE21set_num_action_labelsEm	66
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE9add_stateERKS2_	80
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE16hidden_label_setEv	91
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE12state_labelsEv	116
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE21set_num_action_labelsEm	116
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE15get_transitionsEv	125
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE13initial_stateEv	126
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE13clear_actionsEv	156
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE5clearEv	156
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE14set_num_statesEmb	183
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE17set_initial_stateEm	188
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEEC2Ev	188
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE14has_state_infoEv	195
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEEC2Ev	227
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE17set_initial_stateEm	231
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEEaSERKS6_	264
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEEC2ERKS6_	322
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE14set_num_statesEmb	405
_ZNK5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE11state_labelEm	414
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE9add_stateERKS2_	449
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE10add_actionERKS3_	474
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE18clear_state_labelsEv	497
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE16num_state_labelsEv	505
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE16set_action_labelEmRKS3_	522
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE10num_statesEv	562
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEEC2Ev	612
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE17num_action_labelsEv	624
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE16hidden_label_setEv	631
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE15tau_label_indexEv	650
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE22apply_hidden_label_mapEm	826
_ZNK5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE12action_labelEm	837
_ZNK5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE22apply_hidden_label_mapEm	837
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE9add_stateERKS2_	846
_ZNK5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE14has_state_infoEv	846
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE11state_labelEm	882
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE10add_actionERKS3_	966
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE14has_state_infoEv	1009
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE16set_action_labelEmRKS3_	1016
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE15set_state_labelEmRKS2_	1182
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE13initial_stateEv	1318
_ZNK5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE12action_labelEm	1340
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE17set_initial_stateEm	1377
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE14set_num_statesEmb	1585
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE17clear_transitionsEm	1639
_ZN5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE14add_transitionERKNS0_10transitionE	1657
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE10add_actionERKS3_	1735
_ZNK5mcrl23lts3ltsINS0_15state_label_fsmENS0_19action_label_stringENS0_6detail12lts_fsm_baseEE10num_statesEv	1892
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE11state_labelEm	2116
_ZN5mcrl23lts3ltsINS0_15state_label_ltsENS0_16action_label_ltsENS0_6detail12lts_lts_baseEE14add_transitionERKNS0_10transitionE	2497
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE15num_transitionsEv	2536
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE15get_transitionsEv	2781
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE12action_labelEm	4844
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE15get_transitionsEv	6319
_ZN5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE14add_transitionERKNS0_10transitionE	12579
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE17num_action_labelsEv	12658
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE10num_statesEv	30455
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE6is_tauEm	46635
_ZNK5mcrl23lts3ltsINS0_17state_label_emptyENS0_19action_label_stringENS0_6detail12lts_aut_baseEE22apply_hidden_label_mapEm	67503

Generated by: LCOV version 1.14