LCOV - code coverage report
Current view: top level - utilities/include/mcrl2/utilities - unused.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2 2 100.0 %
Date: 2024-05-04 03:44:52 Functions: 135 154 87.7 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system22propositional_variableEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system18const_multiply_altEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system3sumEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas4plusEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas5delayEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas5minusEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas5yaledEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas2atEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas3impEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas5transEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data13data_equationEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process10left_mergeEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process12bounded_initEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process5blockEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process6renameEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERP8_IO_FILEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRKSt4pairIN7atermpp15function_symbolEPFvRKNS3_5atermEEEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRN9__gnu_cxx17__normal_iteratorIPKNS_4data8variableESt6vectorIS5_SaIS5_EEEEEEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRZNS_3lts21state_space_generatorILb1ELb1ENS_3lps24stochastic_specificationEE7exploreINS2_22stochastic_lts_builderEEEbRT_EUlRKNS4_16stochastic_stateERKNSt7__cxx114listImSaImEEEE3_EEEvDpOT_ 0
_ZN5mcrl29utilities12mcrl2_unusedIJRK2t3EEEvDpOT_ 1
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system6condsmEEEEvDpOT_ 1
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN9__gnu_cxx17__normal_iteratorIPNS2_15data_expressionESt6vectorIS7_SaIS7_EEEEEEEEEvDpOT_ 2
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_3lps12multi_actionEEEEvDpOT_ 4
_ZN5mcrl29utilities12mcrl2_unusedIJRZNS_3lts21state_space_generatorILb0ELb1ENS_3lps13specificationEE7exploreINS2_11lts_builderEEEbRT_EUlRKNS4_16stochastic_stateERKNSt7__cxx114listImSaImEEEE3_EEEvDpOT_ 6
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas23untyped_regular_formulaEEEEvDpOT_ 10
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas3altEEEEvDpOT_ 10
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas14const_multiplyEEEEvDpOT_ 11
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas18const_multiply_altEEEEvDpOT_ 11
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas3sumEEEEvDpOT_ 11
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas8supremumEEEEvDpOT_ 11
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas3seqEEEEvDpOT_ 12
_ZN5mcrl29utilities12mcrl2_unusedIJRZNS_3lts21state_space_generatorILb0ELb0ENS_3lps24stochastic_specificationEE7exploreINS2_11lts_builderEEEbRT_EUlRKNS4_16stochastic_stateERKNSt7__cxx114listImSaImEEEE3_EEEvDpOT_ 12
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system5eqinfEEEEvDpOT_ 14
_ZN5mcrl29utilities12mcrl2_unusedIJRZNS_3lts21state_space_generatorILb1ELb0ENS_3lps24stochastic_specificationEE7exploreINS2_22stochastic_lts_builderEEEbRT_EUlRKNS4_16stochastic_stateERKNSt7__cxx114listImSaImEEEE3_EEEvDpOT_ 18
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas7infimumEEEEvDpOT_ 22
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system6eqninfEEEEvDpOT_ 27
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas6existsEEEEvDpOT_ 28
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas11yaled_timedEEEEvDpOT_ 36
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system5minusEEEEvDpOT_ 42
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas11delay_timedEEEEvDpOT_ 46
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas6forallEEEEvDpOT_ 47
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas6false_EEEEvDpOT_ 49
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas3or_EEEEvDpOT_ 57
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system3impEEEEvDpOT_ 64
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system4plusEEEEvDpOT_ 64
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system7infimumEEEEvDpOT_ 76
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system6condeqEEEEvDpOT_ 77
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system8supremumEEEEvDpOT_ 82
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas6existsEEEEvDpOT_ 145
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas4and_EEEEvDpOT_ 148
_ZN5mcrl29utilities12mcrl2_unusedIJRZNS_3lts21state_space_generatorILb0ELb0ENS_3lps13specificationEE7exploreINS2_11lts_builderEEEbRT_EUlRKNS4_16stochastic_stateERKNSt7__cxx114listImSaImEEEE3_EEEvDpOT_ 156
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data29untyped_identifier_assignmentEEEEvDpOT_ 160
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas12trans_or_nilEEEEvDpOT_ 176
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system14const_multiplyEEEEvDpOT_ 293
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas6forallEEEEvDpOT_ 324
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data13bag_containerEEEEvDpOT_ 324
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas3impEEEEvDpOT_ 352
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process20untyped_multi_actionEEEEvDpOT_ 361
_ZN5mcrl29utilities12mcrl2_unusedIJRKN7atermpp9term_applINS2_5atermEEEEEEvDpOT_ 375
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process4hideEEEEvDpOT_ 444
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas4not_EEEEvDpOT_ 456
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data10assignmentEEEEvDpOT_ 500
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system4and_EEEEvDpOT_ 522
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system3or_EEEEvDpOT_ 532
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system36propositional_variable_instantiationEEEEvDpOT_ 537
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data13set_containerEEEEvDpOT_ 558
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data5aliasEEEEvDpOT_ 567
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data12where_clauseEEEEvDpOT_ 642
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data14fset_containerEEEEvDpOT_ 704
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process3tauEEEEvDpOT_ 784
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas5true_EEEEvDpOT_ 791
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process26untyped_process_assignmentEEEEvDpOT_ 882
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas4not_EEEEvDpOT_ 1023
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process5allowEEEEvDpOT_ 1256
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data14fbag_containerEEEEvDpOT_ 1409
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data14list_containerEEEEvDpOT_ 1661
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system4not_EEEEvDpOT_ 1718
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas6false_EEEEvDpOT_ 1964
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas5true_EEEEvDpOT_ 1966
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data21untyped_sort_variableEEEEvDpOT_ 1980
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process4commEEEEvDpOT_ 2207
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas3or_EEEEvDpOT_ 2282
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas12multi_actionEEEEvDpOT_ 2376
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process5deltaEEEEvDpOT_ 2490
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas2muEEEEvDpOT_ 3111
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process19stochastic_operatorEEEEvDpOT_ 3514
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas4and_EEEEvDpOT_ 3592
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas2nuEEEEvDpOT_ 3682
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process12if_then_elseEEEEvDpOT_ 3873
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas3mayEEEEvDpOT_ 4071
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas8variableEEEEvDpOT_ 4342
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system6existsEEEEvDpOT_ 4829
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas4mustEEEEvDpOT_ 4966
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system3impEEEEvDpOT_ 5294
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system6forallEEEEvDpOT_ 6290
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process5mergeEEEEvDpOT_ 7632
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system15fixpoint_symbolEEEEvDpOT_ 8148
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data12untyped_sortEEEEvDpOT_ 8996
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process2atEEEEvDpOT_ 9164
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process16process_instanceEEEEvDpOT_ 9550
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN9__gnu_cxx17__normal_iteratorIPKNS2_8variableESt6vectorIS7_SaIS7_EEEEEEEEEvDpOT_ 10082
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process4syncEEEEvDpOT_ 11873
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data22untyped_data_parameterEEEEvDpOT_ 11931
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data22untyped_possible_sortsEEEEvDpOT_ 14329
_ZN5mcrl29utilities12mcrl2_unusedIJRN9__gnu_cxx17__normal_iteratorIPN7atermpp5atermESt6vectorIS5_SaIS5_EEEEEEEvDpOT_ 14838
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process3sumEEEEvDpOT_ 16804
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data15structured_sortEEEEvDpOT_ 18584
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_3lps19process_initializerEEEEvDpOT_ 18855
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_3lps23stochastic_distributionEEEEvDpOT_ 25705
_ZN5mcrl29utilities12mcrl2_unusedIJRPNS_4data6detail22RewriterCompilingJittyEEEEvDpOT_ 26172
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process7if_thenEEEEvDpOT_ 26699
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN9__gnu_cxx17__normal_iteratorIPKNS2_15data_expressionESt6vectorIS7_SaIS7_EEEEEEEEEvDpOT_ 31556
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process6actionEEEEvDpOT_ 36442
_ZN5mcrl29utilities12mcrl2_unusedIJRmEEEvDpOT_ 36588
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN7atermpp18term_list_iteratorINS2_15data_expressionEEEEEEEEvDpOT_ 36664
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN7atermpp18term_list_iteratorINS2_8variableEEEEEEEEvDpOT_ 36672
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process6choiceEEEEvDpOT_ 39881
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process20action_name_multisetEEEEvDpOT_ 46271
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system3or_EEEEvDpOT_ 50356
_ZN5mcrl29utilities12mcrl2_unusedIJRN9__gnu_cxx17__normal_iteratorIPPN7atermpp6detail15aterm_containerESt6vectorIS7_SaIS7_EEEEEEEvDpOT_ 52057
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system4and_EEEEvDpOT_ 56391
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process27process_instance_assignmentEEEEvDpOT_ 65192
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system36propositional_variable_instantiationEEEEvDpOT_ 71145
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN9__gnu_cxx17__normal_iteratorIPNS2_8variableESt6vectorIS7_SaIS7_EEEEEEEEEvDpOT_ 78775
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas15regular_formulaEEEEvDpOT_ 83275
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data18untyped_identifierEEEEvDpOT_ 89049
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data21assignment_expressionEEEEvDpOT_ 89564
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system15pres_expressionEEEEvDpOT_ 97097
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process18process_identifierEEEEvDpOT_ 99091
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process3seqEEEEvDpOT_ 103401
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data11abstractionEEEEvDpOT_ 105409
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas14action_formulaEEEEvDpOT_ 137012
_ZN5mcrl29utilities12mcrl2_unusedIJRN7atermpp18term_list_iteratorINS2_5atermEEEEEEvDpOT_ 274374
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data11binder_typeEEEEvDpOT_ 329468
_ZN5mcrl29utilities12mcrl2_unusedIJRN7atermpp18term_appl_iteratorINS2_5atermEEEEEEvDpOT_ 329506
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process12action_labelEEEEvDpOT_ 448473
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas13state_formulaEEEEvDpOT_ 1478748
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN9__gnu_cxx17__normal_iteratorIPKN7atermpp6detail15reference_atermINS2_15data_expressionEvEESt6vectorISB_SaISB_EEEEEEEEEvDpOT_ 1704884
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data14container_sortEEEEvDpOT_ 3258019
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system15pbes_expressionEEEEvDpOT_ 6387807
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data10basic_sortEEEEvDpOT_ 7977190
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process18process_expressionEEEEvDpOT_ 8120388
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data14container_typeEEEEvDpOT_ 8993096
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN7atermpp18term_appl_iteratorINS2_15data_expressionEEEEEEEEvDpOT_ 9836954
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data8variableEEEEvDpOT_ 27997992
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data13function_sortEEEEvDpOT_ 41000989
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data11applicationEEEEvDpOT_ 42516813
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data15function_symbolEEEEvDpOT_ 47088191
_ZN5mcrl29utilities12mcrl2_unusedIJRPN7atermpp17unprotected_atermEEEEvDpOT_ 65812155
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data15sort_expressionEEEEvDpOT_ 758594429
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data15data_expressionEEEEvDpOT_ 1042408635
_ZN5mcrl29utilities12mcrl2_unusedIJRKN7atermpp5atermEEEEvDpOT_ 12771746545
_ZN5mcrl29utilities12mcrl2_unusedIJRN9__gnu_cxx17__normal_iteratorIPPN7atermpp5atermESt6vectorIS6_SaIS6_EEEEEEEvDpOT_ 21756409179
_ZN5mcrl29utilities12mcrl2_unusedIJRbEEEvDpOT_ 21756467260

Generated by: LCOV version 1.14