LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/detail - split_finite_variables.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 14 16 87.5 %
Date: 2024-03-08 02:52:28 Functions: 4 14 28.6 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24data6detail22split_finite_variablesIZNS_11pbes_system6detail29enumerate_quantifiers_builderINS4_23apply_enumerate_builderIS5_NS0_8rewriterENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEES7_SJ_E5applyINS3_15pbes_expressionEEEvRT_RKNS3_6existsEEUlRSF_E0_EEvN7atermpp9term_listISA_EERKNS0_18data_specificationERSX_S11_S11_SO_ 0
_ZN5mcrl24data6detail22split_finite_variablesIZNS_11pbes_system6detail29enumerate_quantifiers_builderINS4_23apply_enumerate_builderIS5_NS0_8rewriterENS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEES7_SJ_E5applyINS3_15pbes_expressionEEEvRT_RKNS3_6forallEEUlRSF_E0_EEvN7atermpp9term_listISA_EERKNS0_18data_specificationERSX_S11_S11_SO_ 0
_ZN5mcrl24data6detail22split_finite_variablesIZNS_11pbes_system6detail29enumerate_quantifiers_builderINS4_23apply_enumerate_builderIS5_NS0_8rewriterENS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEES7_SB_E5applyINS3_15pbes_expressionEEEvRT_RKNS3_6existsEEUlRKS9_E0_EEvN7atermpp9term_listIS9_EERKNS0_18data_specificationERSQ_SU_SU_SG_ 0
_ZN5mcrl24data6detail22split_finite_variablesIZNS_11pres_system6detail29enumerate_quantifiers_builderINS4_23apply_enumerate_builderIS5_NS0_8rewriterENS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEES7_SB_E5applyINS3_15pres_expressionEEEvRT_RKNS3_3sumEEUlRKS9_E0_EEvN7atermpp9term_listIS9_EERKNS0_18data_specificationERSQ_SU_SU_SG_ 0
_ZN5mcrl24data6detail22split_finite_variablesIZNS_11pres_system6detail29enumerate_quantifiers_builderINS4_23apply_enumerate_builderIS5_NS0_8rewriterENS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEES7_SB_E5applyINS3_15pres_expressionEEEvRT_RKNS3_7infimumEEUlRKS9_E0_EEvN7atermpp9term_listIS9_EERKNS0_18data_specificationERSQ_SU_SU_SG_ 0
_ZN5mcrl24data6detail22split_finite_variablesIZNS_11pres_system6detail29enumerate_quantifiers_builderINS4_23apply_enumerate_builderIS5_NS0_8rewriterENS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEES7_SB_E5applyINS3_15pres_expressionEEEvRT_RKNS3_8supremumEEUlRKS9_E0_EEvN7atermpp9term_listIS9_EERKNS0_18data_specificationERSQ_SU_SU_SG_ 0
_ZN5mcrl24data6detail26split_enumerable_variablesINS0_8rewriterEZNS_11pbes_system6detail29enumerate_quantifiers_builderINS5_23apply_enumerate_builderIS6_S3_NS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEES3_SJ_E5applyINS4_15pbes_expressionEEEvRT_RKNS4_6existsEEUlRSF_E_EEvN7atermpp9term_listISA_EERKNS0_18data_specificationERKSO_RSX_S13_S13_T0_ 0
_ZN5mcrl24data6detail26split_enumerable_variablesINS0_8rewriterEZNS_11pres_system6detail29enumerate_quantifiers_builderINS5_23apply_enumerate_builderIS6_S3_NS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEES3_SB_E5applyINS4_15pres_expressionEEEvRT_RKNS4_3sumEEUlRKS9_E_EEvN7atermpp9term_listIS9_EERKNS0_18data_specificationERKSG_RSQ_SW_SW_T0_ 0
_ZN5mcrl24data6detail26split_enumerable_variablesINS0_8rewriterEZNS_11pres_system6detail29enumerate_quantifiers_builderINS5_23apply_enumerate_builderIS6_S3_NS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEES3_SB_E5applyINS4_15pres_expressionEEEvRT_RKNS4_7infimumEEUlRKS9_E_EEvN7atermpp9term_listIS9_EERKNS0_18data_specificationERKSG_RSQ_SW_SW_T0_ 0
_ZN5mcrl24data6detail26split_enumerable_variablesINS0_8rewriterEZNS_11pres_system6detail29enumerate_quantifiers_builderINS5_23apply_enumerate_builderIS6_S3_NS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEES3_SB_E5applyINS4_15pres_expressionEEEvRT_RKNS4_8supremumEEUlRKS9_E_EEvN7atermpp9term_listIS9_EERKNS0_18data_specificationERKSG_RSQ_SW_SW_T0_ 0
_ZN5mcrl24data6detail26split_enumerable_variablesINS0_8rewriterEZNS_11pbes_system6detail29enumerate_quantifiers_builderINS5_23apply_enumerate_builderIS6_S3_NS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEES3_SJ_E5applyINS4_15pbes_expressionEEEvRT_RKNS4_6forallEEUlRSF_E_EEvN7atermpp9term_listISA_EERKNS0_18data_specificationERKSO_RSX_S13_S13_T0_ 1
_ZN5mcrl24data6detail22split_finite_variablesIZNS_11pbes_system6detail29enumerate_quantifiers_builderINS4_23apply_enumerate_builderIS5_NS0_8rewriterENS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEES7_SB_E5applyINS3_15pbes_expressionEEEvRT_RKNS3_6forallEEUlRKS9_E0_EEvN7atermpp9term_listIS9_EERKNS0_18data_specificationERSQ_SU_SU_SG_ 3
_ZN5mcrl24data6detail26split_enumerable_variablesINS0_8rewriterEZNS_11pbes_system6detail29enumerate_quantifiers_builderINS5_23apply_enumerate_builderIS6_S3_NS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEES3_SB_E5applyINS4_15pbes_expressionEEEvRT_RKNS4_6existsEEUlRKS9_E_EEvN7atermpp9term_listIS9_EERKNS0_18data_specificationERKSG_RSQ_SW_SW_T0_ 536
_ZN5mcrl24data6detail26split_enumerable_variablesINS0_8rewriterEZNS_11pbes_system6detail29enumerate_quantifiers_builderINS5_23apply_enumerate_builderIS6_S3_NS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEEEES3_SB_E5applyINS4_15pbes_expressionEEEvRT_RKNS4_6forallEEUlRKS9_E_EEvN7atermpp9term_listIS9_EERKNS0_18data_specificationERKSG_RSQ_SW_SW_T0_ 2042

Generated by: LCOV version 1.14