LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts/detail - liblts_bisim_dnj.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1682 1925 87.4 %
Date: 2024-03-08 02:52:28 Functions: 132 144 91.7 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE14const_iteratormmEv 0
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE8iteratormmEv 0
_ZNK5mcrl23lts6detail9bisim_dnj10pred_entry14debug_id_shortINS0_9lts_aut_tEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_21bisim_partitioner_dnjIT_EE 0
_ZNK5mcrl23lts6detail9bisim_dnj10pred_entry8debug_idINS0_9lts_aut_tEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_21bisim_partitioner_dnjIT_EE 0
_ZNK5mcrl23lts6detail9bisim_dnj12part_state_t11print_blockINS0_9lts_aut_tEEEvPKNS2_7block_tEPKcPKNS2_17permutation_entryESD_RKNS1_21bisim_partitioner_dnjIT_EE 0
_ZNK5mcrl23lts6detail9bisim_dnj16state_info_entry14debug_id_shortINS0_9lts_aut_tEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_21bisim_partitioner_dnjIT_EE 0
_ZNK5mcrl23lts6detail9bisim_dnj16state_info_entry8debug_idINS0_9lts_aut_tEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_21bisim_partitioner_dnjIT_EE 0
_ZNK5mcrl23lts6detail9bisim_dnj19block_bunch_slice_t8debug_idINS0_9lts_aut_tEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_21bisim_partitioner_dnjIT_EE 0
_ZNK5mcrl23lts6detail9bisim_dnj7block_t8debug_idINS0_9lts_aut_tEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_21bisim_partitioner_dnjIT_EE 0
_ZNK5mcrl23lts6detail9bisim_dnj7bunch_t14debug_id_shortINS0_9lts_aut_tEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_21bisim_partitioner_dnjIT_EE 0
_ZNK5mcrl23lts6detail9bisim_dnj7bunch_t8debug_idINS0_9lts_aut_tEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_21bisim_partitioner_dnjIT_EE 0
_ZZNK5mcrl23lts6detail9bisim_dnj19block_bunch_slice_t8debug_idINS0_9lts_aut_tEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS1_21bisim_partitioner_dnjIT_EEENKUt_clERKNS2_17block_bunch_entryEPKS3_ 0
_ZN5mcrl23lts6detail9bisim_dnj10succ_entry21add_work_to_out_sliceINS0_9lts_aut_tEEEvRKNS1_21bisim_partitioner_dnjIT_EEPKS3_NS1_10bisim_gjkw16check_complexity12counter_typeEj 14
_ZN5mcrl23lts6detail36destructive_bisimulation_compare_dnjINS0_9lts_aut_tEEEbRT_S5_bbbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb 16
_ZNK5mcrl23lts6detail21bisim_partitioner_dnjINS0_9lts_aut_tEE13in_same_classEmm 16
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE16iterator_or_nullneERKNS5_14const_iteratorE 76
_ZN5mcrl23lts6detail21bisim_partitioner_dnjINS0_9lts_aut_tEE27handle_new_noninert_transnsEPNS1_9bisim_dnj7block_tENS5_11simple_listINS5_19block_bunch_slice_tEE14const_iteratorE 115
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE12emplace_backIJRPNS2_17block_bunch_entryERPNS2_7bunch_tEbEEENS5_8iteratorERNS2_7my_poolINS5_5entryELm1000EEEDpOT_ 115
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE18construct_samesizeIS7_JPNS6_11empty_entryERSB_RPNS2_17block_bunch_entryERPNS2_7bunch_tEbEEEPT_DpOT0_ 115
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE9constructIS7_JPNS6_11empty_entryERSB_RPNS2_17block_bunch_entryERPNS2_7bunch_tEbEEEPT_DpOT0_ 115
_ZNK5mcrl23lts6detail9bisim_dnj19block_bunch_slice_t26add_work_to_bottom_transnsINS0_9lts_aut_tEEEbNS1_10bisim_gjkw16check_complexity12counter_typeEjRKNS1_21bisim_partitioner_dnjIT_EE 121
_ZNK5mcrl23lts6detail9bisim_dnj10._anon_494clENS2_19iterator_or_counterIPNS2_18action_block_entryEEEPKS5_ 252
_ZN5mcrl23lts6detail23bisimulation_reduce_dnjINS0_9lts_aut_tEEEvRT_bb 261
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_t13make_noninertEPNS2_10pred_entryEPNS2_11simple_listINS2_19block_bunch_slice_tEE16iterator_or_nullE 264
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE8iteratorppEv 303
_ZNK5mcrl23lts6detail9bisim_dnj7block_t11bottom_sizeEv 313
_ZN5mcrl23lts6detail21bisim_partitioner_dnjINS0_9lts_aut_tEE22finalize_minimized_LTSEv 317
_ZN5mcrl23lts6detail21bisim_partitioner_dnjINS0_9lts_aut_tEE24create_initial_partitionEv 333
_ZN5mcrl23lts6detail21bisim_partitioner_dnjINS0_9lts_aut_tEE40refine_partition_until_it_becomes_stableEv 333
_ZN5mcrl23lts6detail21bisim_partitioner_dnjINS0_9lts_aut_tEEC2ERS3_bb 333
_ZN5mcrl23lts6detail9bisim_dnj12part_state_tC2Em 333
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_tC2Emm 333
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_tD2Ev 333
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE19construct_othersizeINS2_7block_tEJPNS2_17permutation_entryESC_mEEEPT_DpOT0_ 333
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE9constructINS2_7block_tEJPNS2_17permutation_entryESC_mEEEPT_DpOT0_ 333
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EEC2Ev 333
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EED2Ev 333
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE12pool_block_tC2EPS9_ 469
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_t12make_trivialEPNS2_7bunch_tE 470
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_t15make_nontrivialEPNS2_7bunch_tE 470
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE13emplace_frontIJRPNS2_17block_bunch_entryERPNS2_7bunch_tEbEEENS5_8iteratorERNS2_7my_poolINS5_5entryELm1000EEEDpOT_ 533
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE18construct_samesizeIS7_JRPNS6_11empty_entryESB_RPNS2_17block_bunch_entryERPNS2_7bunch_tEbEEEPT_DpOT0_ 533
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE9constructIS7_JRPNS6_11empty_entryESB_RPNS2_17block_bunch_entryERPNS2_7bunch_tEbEEEPT_DpOT0_ 533
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE19construct_othersizeINS2_7block_tEJRKPNS2_17permutation_entryERSC_RKmEEEPT_DpOT0_ 568
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE9constructINS2_7block_tEJRKPNS2_17permutation_entryERSC_RKmEEEPT_DpOT0_ 568
_ZN5mcrl23lts6detail9bisim_dnjL21finalise_R_is_smallerINS0_9lts_aut_tEEEvPKNS2_7block_tES7_RKNS1_21bisim_partitioner_dnjIT_EE 568
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE5eraseERNS2_7my_poolINS5_5entryELm1000EEENS5_8iteratorE 581
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE7destroyIS7_EEvPT_ 581
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE19construct_othersizeINS2_7block_tEJRPNS2_17permutation_entryERKSC_RKmEEEPT_DpOT0_ 593
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE9constructINS2_7block_tEJRPNS2_17permutation_entryERKSC_RKmEEEPT_DpOT0_ 593
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE13emplace_afterIJRPNS2_17block_bunch_entryERPNS2_7bunch_tEbEEENS5_8iteratorERNS2_7my_poolINS5_5entryELm1000EEESD_DpOT_ 612
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE18construct_samesizeIS7_JRPNS6_11empty_entryESC_RPNS2_17block_bunch_entryERPNS2_7bunch_tEbEEEPT_DpOT0_ 612
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE9constructIS7_JRPNS6_11empty_entryESC_RPNS2_17block_bunch_entryERPNS2_7bunch_tEbEEEPT_DpOT0_ 612
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE10deref_voidEPv 651
_ZN5mcrl23lts6detail9bisim_dnj7block_t14mark_nonbottomEPNS2_17permutation_entryE 772
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE19construct_othersizeINS2_7bunch_tEJRKPNS2_18action_block_entryERSC_EEEPT_DpOT0_ 821
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE9constructINS2_7bunch_tEJRKPNS2_18action_block_entryERSC_EEEPT_DpOT0_ 821
_ZN5mcrl23lts6detail9bisim_dnjL21finalise_U_is_smallerINS0_9lts_aut_tEEEvPKNS2_7block_tES7_RKNS1_21bisim_partitioner_dnjIT_EE 982
_ZNK5mcrl23lts6detail9bisim_dnj12part_state_t10state_sizeEv 999
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE19construct_othersizeINS2_7bunch_tEJRPNS2_18action_block_entryERKSC_EEEPT_DpOT0_ 1049
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE9constructINS2_7bunch_tEJRPNS2_18action_block_entryERKSC_EEEPT_DpOT0_ 1049
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_t31adapt_transitions_for_new_blockINS0_9lts_aut_tEEEvPNS2_7block_tES7_RKNS1_21bisim_partitioner_dnjIT_EEbNS2_11simple_listINS2_19block_bunch_slice_tEE8iteratorENS2_16new_block_mode_tE 1161
_ZN5mcrl23lts6detail9bisim_dnj7block_t15split_off_blockINS0_9lts_aut_tEEEPS3_NS2_16new_block_mode_tERKNS1_21bisim_partitioner_dnjIT_EERNS2_7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EEEm 1161
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE5entryC2IJRPNS2_17block_bunch_entryERPNS2_7bunch_tEbEEEPNS5_11empty_entryESF_DpOT_ 1260
_ZN5mcrl23lts6detail9bisim_dnj19iterator_or_counterIPNS2_18action_block_entryEE19convert_to_iteratorES5_ 1284
_ZN5mcrl23lts6detail9bisim_dnj19iterator_or_counterIPNS2_18action_block_entryEEC2Ev 1284
_ZNK5mcrl23lts6detail21bisim_partitioner_dnjINS0_9lts_aut_tEE14num_eq_classesEv 1416
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE16iterator_or_nullC2EDn 1424
_ZN5mcrl23lts6detail9bisim_dnj7bunch_t34split_off_small_action_block_sliceERNS2_12part_trans_tE 1424
_ZN5mcrl23lts6detail9bisim_dnj7block_tC2EPNS2_17permutation_entryES5_m 1494
_ZN5mcrl23lts6detail21bisim_partitioner_dnjINS0_9lts_aut_tEE5splitEPNS1_9bisim_dnj7block_tENS5_11simple_listINS5_19block_bunch_slice_tEE8iteratorENS4_13refine_mode_tE 1550
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE12emplace_backIJPNS2_17block_bunch_entryERKPNS2_7bunch_tEbEEENS5_8iteratorERNS2_7my_poolINS5_5entryELm1000EEEDpOT_ 1573
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE5entryC2IJPNS2_17block_bunch_entryERKPNS2_7bunch_tEbEEEPNS5_11empty_entryESF_DpOT_ 1573
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE18construct_samesizeIS7_JPNS6_11empty_entryERSB_PNS2_17block_bunch_entryERKPNS2_7bunch_tEbEEEPT_DpOT0_ 1573
_ZN5mcrl23lts6detail9bisim_dnj7my_poolINS2_11simple_listINS2_19block_bunch_slice_tEE5entryELm1000EE9constructIS7_JPNS6_11empty_entryERSB_PNS2_17block_bunch_entryERKPNS2_7bunch_tEbEEEPT_DpOT0_ 1573
_ZNK5mcrl23lts6detail21bisim_partitioner_dnjINS0_9lts_aut_tEE12get_eq_classEm 1605
_ZNK5mcrl23lts6detail9bisim_dnj12part_state_t5blockEm 1637
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE16iterator_or_nullaSEDn 1748
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_t19get_some_nontrivialEv 1757
_ZNK5mcrl23lts6detail21bisim_partitioner_dnjINS0_9lts_aut_tEE16assert_stabilityEv 1757
_ZNK5mcrl23lts6detail9bisim_dnj12part_state_t18assert_consistencyINS0_9lts_aut_tEEEvRKNS1_21bisim_partitioner_dnjIT_EE 1757
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEEC2Ev 1827
_ZN5mcrl23lts6detail9bisim_dnj7bunch_t27next_nontrivial_and_label_tC2Ev 1870
_ZN5mcrl23lts6detail9bisim_dnj7bunch_tC2EPNS2_18action_block_entryES5_ 1870
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_t27move_out_slice_to_new_blockINS0_9lts_aut_tEEEPNS2_10succ_entryES7_RKNS1_21bisim_partitioner_dnjIT_EENS2_11simple_listINS2_19block_bunch_slice_tEE14const_iteratorE 1876
_ZNK5mcrl23lts6detail9bisim_dnj12part_state_t10print_partINS0_9lts_aut_tEEEvRKNS1_21bisim_partitioner_dnjIT_EE 2088
_ZNK5mcrl23lts6detail9bisim_dnj12part_trans_t11print_transINS0_9lts_aut_tEEEvRKNS1_21bisim_partitioner_dnjIT_EE 2088
_ZN5mcrl23lts6detail9bisim_dnj10succ_entry15out_slice_beginERKNS1_10bisim_gjkw12fixed_vectorIS3_EE 2141
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_t34first_move_transition_to_new_bunchEPNS2_18action_block_entryEPNS2_7bunch_tEb 2141
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_t35second_move_transition_to_new_bunchINS0_9lts_aut_tEEEvPNS2_18action_block_entryERKNS1_21bisim_partitioner_dnjIT_EEPNS2_7bunch_tESE_ 2141
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE8iteratordeEv 2258
_ZN5mcrl23lts6detail9bisim_dnj19iterator_or_counterIPNS2_10pred_entryEE19convert_to_iteratorES5_ 2318
_ZN5mcrl23lts6detail9bisim_dnj19iterator_or_counterIPNS2_10pred_entryEEC2Ev 2318
_ZN5mcrl23lts6detail9bisim_dnj19iterator_or_counterIPNS2_10pred_entryEED2Ev 2318
_ZNK5mcrl23lts6detail9bisim_dnj7block_t23unmarked_nonbottom_sizeEv 2322
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_t41first_move_transition_to_new_action_blockEPNS2_10pred_entryE 2481
_ZN5mcrl23lts6detail9bisim_dnj12part_trans_t42second_move_transition_to_new_action_blockEPNS2_10pred_entryE 2481
_ZN5mcrl23lts6detail9bisim_dnj18action_block_entry24action_block_slice_beginEPKS3_S5_ 2481
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE5frontEv 2643
_ZN5mcrl23lts6detail9bisim_dnj19block_bunch_slice_tC2EPNS2_17block_bunch_entryEPNS2_7bunch_tEb 2833
_ZN5mcrl23lts6detail9bisim_dnj19block_bunch_slice_t11make_stableEv 3665
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE16iterator_or_nullC2Ev 3690
_ZN5mcrl23lts6detail9bisim_dnj7block_t4markEPNS2_17permutation_entryE 4122
_ZN5mcrl23lts6detail9bisim_dnj19block_bunch_slice_t13make_unstableEv 4214
_ZNK5mcrl23lts6detail9bisim_dnj7block_t20unmarked_bottom_sizeEv 4278
_ZN5mcrl23lts6detail9bisim_dnj19iterator_or_counterIPNS2_10succ_entryEE19convert_to_iteratorES5_ 4636
_ZN5mcrl23lts6detail9bisim_dnj19iterator_or_counterIPNS2_10succ_entryEEC2Ev 4636
_ZN5mcrl23lts6detail9bisim_dnj19iterator_or_counterIPNS2_10succ_entryEED2Ev 4636
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE11empty_entryC2EPS6_S7_ 4660
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE6spliceENS5_8iteratorERS5_S6_ 5817
_ZN5mcrl23lts6detail9bisim_dnj17permutation_entryC2EOKS3_ 5946
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE5beginEv 6340
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE3endEv 6458
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE16iterator_or_nullC2ERKNS5_8iteratorE 7138
_ZN5mcrl23lts6detail9bisim_dnj17permutation_entryaSEOKS3_ 11934
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE5emptyEv 12810
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE3endEv 12987
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE5beginEv 12987
_ZNK5mcrl23lts6detail9bisim_dnj7block_t11marked_sizeEv 13525
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE6cbeginEv 13808
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE4cendEv 14392
_ZNK5mcrl23lts6detail9bisim_dnj7block_t18marked_bottom_sizeEv 14719
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE8iteratorC2EPNS5_11empty_entryE 15631
_ZNK5mcrl23lts6detail9bisim_dnj7bunch_t10is_trivialEv 17742
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE14const_iteratorppEv 22489
_ZNK5mcrl23lts6detail9bisim_dnj7bunch_t16max_work_counterINS0_9lts_aut_tEEEiRKNS1_21bisim_partitioner_dnjIT_EE 34241
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE14const_iteratorneERKS6_ 37245
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE14const_iteratoreqERKS6_ 37307
_ZN5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE14const_iteratorC2EPKNS5_11empty_entryE 43831
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE14const_iteratordeEv 55620
_ZNK5mcrl23lts6detail9bisim_dnj19block_bunch_slice_t12source_blockEv 60182
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE16iterator_or_nulleqERKNS5_14const_iteratorE 68812
_ZNK5mcrl23lts6detail9bisim_dnj19block_bunch_slice_t5emptyEv 71638
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE16iterator_or_nullneEPKS4_ 71759
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE16iterator_or_nulleqEPKS4_ 74457
_ZNK5mcrl23lts6detail9bisim_dnj10succ_entry5bunchEv 75638
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE16iterator_or_nullptEv 78396
_ZNK5mcrl23lts6detail9bisim_dnj19block_bunch_slice_t9is_stableEv 79494
_ZNK5mcrl23lts6detail9bisim_dnj7block_t4sizeEv 81943
_ZNK5mcrl23lts6detail9bisim_dnj10._anon_493clENS2_19iterator_or_counterIPNS2_18action_block_entryEEEPKS5_ 98435
_ZN5mcrl23lts6detail9bisim_dnj19iterator_or_counterIPNS2_18action_block_entryEED2Ev 99971
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE16iterator_or_null7is_nullEv 127121
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE8iteratorptEv 143403
_ZNK5mcrl23lts6detail9bisim_dnj11simple_listINS2_19block_bunch_slice_tEE14const_iteratorptEv 238632

Generated by: LCOV version 1.14