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
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