LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes - pbesinst_finite_algorithm.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 161 198 81.3 %
Date: 2024-05-04 03:44:52 Functions: 19 23 82.6 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl211pbes_system15pbesinst_finiteERNS0_4pbesENS_4data16rewrite_strategyERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 0
_ZN5mcrl211pbes_system25empty_parameter_selectionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 0
_ZNK5mcrl211pbes_system25pbesinst_finite_algorithm20print_equation_countB5cxx11Em 0
_ZNK5mcrl211pbes_system6detail23pbesinst_finite_builderINS_4data8rewriterENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEE16print_parametersB5cxx11ERKSt6vectorIS7_SaIS7_EESE_ 0
_ZN5mcrl211pbes_system25pbesinst_finite_algorithm3runERNS0_4pbesE 9
_ZN5mcrl211pbes_system25pbesinst_finite_algorithm17compute_index_mapERKSt6vectorINS0_13pbes_equationESaIS3_EERKSt3mapIN7atermpp12aterm_stringES2_INS_4data8variableESaISC_EESt4lessISA_ESaISt4pairIKSA_SE_EEERS8_ISA_S2_ImSaImEESG_SaISH_ISI_SP_EEE 11
_ZN5mcrl211pbes_system25pbesinst_finite_algorithm3runERNS0_4pbesERKSt3mapIN7atermpp12aterm_stringESt6vectorINS_4data8variableESaIS9_EESt4lessIS6_ESaISt4pairIKS6_SB_EEE 11
_ZN5mcrl211pbes_system25pbesinst_finite_algorithmC2ENS_4data16rewrite_strategyE 11
_ZN5mcrl211pbes_system6detail23pbesinst_finite_builderINS_4data8rewriterENS3_15no_substitutionEE19visit_initial_stateERKNS0_36propositional_variable_instantiationE 11
_ZN5mcrl211pbes_system6detail23pbesinst_finite_builderINS_4data8rewriterENS3_15no_substitutionEEC2ERKS4_RS5_RKNS0_22pbesinst_finite_renameERKNS3_18data_specificationERKSt3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessISI_ESaISt4pairIKSI_SL_EEERKSG_ISI_SJ_INS3_8variableESaISV_EESN_SaISO_ISP_SX_EEE 11
_ZN5mcrl211pbes_system6detail16split_parametersINS0_22propositional_variableENS_4data8variableEEEvRKT_RKSt3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessISB_ESaISt4pairIKSB_SE_EEERSC_IT0_SaISO_EESR_ 16
_ZZN5mcrl211pbes_system6detail23pbesinst_finite_builderINS_4data8rewriterENS3_15no_substitutionEE17rewrite_containerISt6vectorINS3_15data_expressionESaIS9_EEEEN7atermpp9term_listIS9_EERKT_RKS4_ENKUlRKS9_E_clESL_ 19
_ZN5mcrl211pbes_system6detail23pbesinst_finite_builderINS_4data8rewriterENS3_15no_substitutionEE17rewrite_containerISt6vectorINS3_15data_expressionESaIS9_EEEEN7atermpp9term_listIS9_EERKT_RKS4_ 22
_ZN5mcrl211pbes_system6detail23pbesinst_finite_builderINS_4data8rewriterENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEEC2ERKS4_RS8_RKNS0_22pbesinst_finite_renameERKNS3_18data_specificationERKSt3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessISL_ESaISt4pairIKSL_SO_EEERKSJ_ISL_SM_IS6_SaIS6_EESQ_SaISR_ISS_SZ_EEE 29
_ZNK5mcrl211pbes_system22pbesinst_finite_rename6renameERKN7atermpp12aterm_stringERKNS2_9term_listINS_4data15data_expressionEEE 29
_ZZN5mcrl211pbes_system25pbesinst_finite_algorithm3runERNS0_4pbesERKSt3mapIN7atermpp12aterm_stringESt6vectorINS_4data8variableESaIS9_EESt4lessIS6_ESaISt4pairIKS6_SB_EEEENKUlRKNS8_41enumerator_list_element_with_substitutionINS8_15data_expressionEEEE_clESP_ 29
_ZN5mcrl211pbes_system6detail23pbesinst_finite_builderINS_4data8rewriterENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationE 49
_ZN5mcrl211pbes_system6detail16split_parametersINS0_36propositional_variable_instantiationENS_4data15data_expressionEEEvRKT_RKSt3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessISB_ESaISt4pairIKSB_SE_EEERSC_IT0_SaISO_EESR_ 60
_ZNK5mcrl211pbes_system6detail23pbesinst_finite_builderINS_4data8rewriterENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEE14make_conditionIN7atermpp9term_listIS7_EESD_EES7_RKT_RKT0_ 82
_ZZN5mcrl211pbes_system6detail23pbesinst_finite_builderINS_4data8rewriterENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEENKUlRKNS3_41enumerator_list_element_with_substitutionIS7_EEE_clESK_ 82
_ZZN5mcrl211pbes_system6detail23pbesinst_finite_builderINS_4data8rewriterENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEE17rewrite_containerIN7atermpp9term_listIS7_EEEESD_RKT_RKS4_RKS8_ENKUlRKS7_E_clESM_ 106
_ZNK5mcrl211pbes_system22pbesinst_finite_renameclERKN7atermpp12aterm_stringERKNS2_9term_listINS_4data15data_expressionEEE 122
_ZN5mcrl211pbes_system6detail23pbesinst_finite_builderINS_4data8rewriterENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEE17rewrite_containerIN7atermpp9term_listIS7_EEEESD_RKT_RKS4_RKS8_ 164

Generated by: LCOV version 1.14