LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts/detail - liblts_pbisim_grv.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 453 460 98.5 %
Date: 2024-03-08 02:52:28 Functions: 36 36 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE31in_same_probabilistic_class_grvEmm 6
_ZN5mcrl23lts6detail38probabilistic_bisimulation_compare_grvINS0_23probabilistic_lts_aut_tEEEbRKT_S6_RNS_9utilities15execution_timerE 6
_ZN5mcrl23lts6detail50destructive_probabilistic_bisimulation_compare_grvINS0_23probabilistic_lts_aut_tEEEbRT_S5_RNS_9utilities15execution_timerE 6
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE19replace_transitionsEv 7
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE28replace_probabilistic_statesEv 7
_ZN5mcrl23lts6detail37probabilistic_bisimulation_reduce_grvINS0_23probabilistic_lts_aut_tEEEvRT_RNS_9utilities15execution_timerE 7
_ZNK5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE14num_eq_classesEv 7
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE19preprocessing_stageEv 13
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE23transitions_per_label_t10initializeEm 13
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE23transitions_per_label_t15add_transitionsERSt6vectorINS4_22action_transition_typeESaIS7_EE 13
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24create_initial_partitionEv 13
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE27refine_initial_action_blockERKSt6vectorINS1_13embedded_listINS4_22action_transition_typeEEESaIS8_EE 13
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE40refine_partition_until_it_becomes_stableEv 13
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEEC2ERS3_RNS_9utilities15execution_timerE 13
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE18split_action_blockERNS4_17action_block_typeERNS1_13embedded_listINS4_17action_state_typeEEE 19
_ZNK5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE23transitions_per_label_t11transitionsEv 26
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE11mark_actionERSt5dequeINS4_16action_mark_typeESaIS6_EERKmRNS1_13embedded_listINS4_22action_transition_typeEE8iteratorESF_ 27
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE25split_probabilistic_blockERNS4_24probabilistic_block_typeERNS1_13embedded_listINS4_24probabilistic_state_typeEEE 30
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE29choose_probabilistic_splitterEPNS4_32probabilistic_constellation_typeE 30
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE40calculate_equivalent_probabilistic_stateERNS4_24probabilistic_block_typeE 31
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE33calculate_new_probabilistic_stateENS0_19probabilistic_stateImNS0_42probabilistic_arbitrary_precision_fractionEEE 38
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE23transitions_per_label_t32add_grouped_transitions_to_blockERNS4_24probabilistic_block_typeE 43
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE24probabilistic_block_typeC2Ev 43
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE18mark_probabilisticERKNS4_17action_block_typeERSt5dequeINS4_23probabilistic_mark_typeESaIS9_EE 47
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22choose_action_splitterEPNS4_25action_constellation_typeE 47
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE17action_block_typeC2Ev 60
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE16action_mark_typeC2ERNS4_17action_block_typeE 63
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE23probabilistic_mark_typeC2ERNS4_24probabilistic_block_typeE 64
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE20check_data_structureEv 73
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE23transitions_per_label_t25move_incoming_transitionsENS4_24probabilistic_state_typeERNS1_13embedded_listINS4_22action_transition_typeEEE 99
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22move_list_element_backINS4_29probabilistic_transition_typeEEEvRT_RNS1_13embedded_listIS7_EESB_ 158
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE26get_eq_probabilistic_classEm 304
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE12get_eq_classEm 396
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22move_list_element_backINS4_24probabilistic_state_typeEEEvRT_RNS1_13embedded_listIS7_EESB_ 504
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE22move_list_element_backINS4_17action_state_typeEEEvRT_RNS1_13embedded_listIS7_EESB_ 618
_ZN5mcrl23lts6detail26prob_bisim_partitioner_grvINS0_23probabilistic_lts_aut_tEE23transitions_per_label_t21add_single_transitionERNS4_22action_transition_typeE 620

Generated by: LCOV version 1.14