LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts/detail - liblts_bisim.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 399 500 79.8 %
Date: 2024-03-08 02:52:28 Functions: 18 24 75.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE13until_formulaERKNS_14state_formulas13state_formulaERKmS8_ 0
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE15counter_formulaEmm 0
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE19counter_formula_auxEmm 0
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE11conjunctionESt3setINS_14state_formulas13state_formulaESt4lessIS7_ESaIS7_EE 0
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE22create_regular_formulaERKNS0_19action_label_stringE 0
_ZZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE11conjunctionESt3setINS_14state_formulas13state_formulaESt4lessIS7_ESaIS7_EEENKUlS7_S7_E_clES7_S7_ 0
_ZN5mcrl23lts6detail46destructive_bisimulation_compare_minimal_depthINS0_9lts_aut_tEEEbRT_S5_bbbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb 1
_ZN5mcrl23lts6detail32destructive_bisimulation_compareINS0_9lts_aut_tEEEbRT_S5_bbbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb 17
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE13in_same_classEmm 17
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE25replace_transition_systemEbb 57
_ZN5mcrl23lts6detail19bisimulation_reduceINS0_9lts_aut_tEEEvRT_bb 57
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE24create_initial_partitionEbb 74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE25order_on_tau_reachabilityERSt6vectorINS4_16non_bottom_stateESaIS6_EE 74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE40refine_partition_until_it_becomes_stableEbb 74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE5block4swapERS5_ 74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEEC2ERS3_bbb 74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEED2Ev 74
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE16non_bottom_stateC2EmRKSt6vectorImSaImEE 171
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE61check_internal_consistency_of_the_partitioning_data_structureEbb 260
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE14num_eq_classesEv 286
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE37order_recursively_on_tau_reachabilityEmRSt3mapImSt6vectorImSaImEESt4lessImESaISt4pairIKmS8_EEERS6_INS4_16non_bottom_stateESaISH_EERSt3setImSA_S7_E 453
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE16non_bottom_stateC2Em 714
_ZN5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE22split_the_blocks_in_BLERbmm 864
_ZNK5mcrl23lts6detail17bisim_partitionerINS0_9lts_aut_tEE12get_eq_classEm 2174

Generated by: LCOV version 1.14