LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - constelm.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 312 463 67.4 % Date: 2024-04-26 03:18:02 Functions: 38 91 41.8 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE11print_edgesB5cxx11Ev	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE15print_conditionB5cxx11ERKNS6_4edgeERKNS6_6vertexERKNS0_15pbes_expressionE	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE15print_todo_listB5cxx11ERKSt5dequeINS0_22propositional_variableESaIS8_EE	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE17print_edge_updateB5cxx11ERKNS6_4edgeERKNS6_6vertexESC_	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE24print_evaluation_failureB5cxx11ERKNS6_4edgeERKNS6_6vertexE	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE11print_edgesB5cxx11Ev	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE15print_conditionB5cxx11ERKNS5_4edgeERKNS5_6vertexERKNS0_15pbes_expressionE	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE15print_todo_listB5cxx11ERKSt5dequeINS0_22propositional_variableESaIS7_EE	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE17print_edge_updateB5cxx11ERKNS5_4edgeERKNS5_6vertexESB_	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE24print_evaluation_failureB5cxx11ERKNS5_4edgeERKNS5_6vertexE	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE3runERNS0_4pbesEbb	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE4edgeC2ERKNS0_22propositional_variableERKNSt7__cxx114listINS0_6detail19quantified_variableESaISD_EEERKNS0_36propositional_variable_instantiationERKSt3setINS2_8variableESt4lessISM_ESaISM_EESS_NS2_15data_expressionE	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6concatINS0_6detail19quantified_variableEEENSt7__cxx114listIT_SaISB_EEESD_SD_	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex15fix_constraintsESt6vectorINS2_15data_expressionESaIS8_EE	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex20bound_in_quantifiersERKNSt7__cxx114listINS0_6detail19quantified_variableESaISA_EEERKNS2_15data_expressionE	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex6updateERKNSt7__cxx114listINS0_6detail19quantified_variableESaISA_EEERKN7atermpp9term_listINS2_15data_expressionEEERKSt3mapINS2_8variableESH_St4lessISM_ESaISt4pairIKSM_SH_EEERKS3_	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertexC2ENS0_22propositional_variableE	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertexC2Ev	0
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEEC2ERKS3_RKS4_	0
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5enterERKNS0_3impE	0
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5enterERKNS0_4not_E	0
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5leaveERKNS0_3impE	0
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5leaveERKNS0_4not_E	0
_ZN5mcrl211pbes_system8constelmERNS0_4pbesENS_4data16rewrite_strategyENS0_18pbes_rewriter_typeEbbb	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE14print_verticesB5cxx11Ev	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE20redundant_parametersEv	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE4edge9to_stringB5cxx11Ev	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex9to_stringB5cxx11Ev	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE14print_verticesB5cxx11Ev	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE20redundant_parametersEv	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE4edge20quantified_variablesB5cxx11Ev	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE4edge31quantifier_inside_approximationERKNSt7__cxx114listINS0_6detail19quantified_variableESaISA_EEE	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE4edge6targetEv	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE4edge9conditionEv	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE4edge9to_stringB5cxx11Ev	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex11constraintsEv	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex11is_constantERKNS2_8variableE	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex20quantified_variablesB5cxx11Ev	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex26constant_parameter_indicesEv	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex8variableEv	0
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex9to_stringB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail19quantified_variable8variableEv	0
_ZNK5mcrl211pbes_system6detail19quantified_variable9is_forallEv	0
_ZNK5mcrl211pbes_system6detail19quantified_variable9make_exprERKNS0_15pbes_expressionE	0
_ZNK5mcrl211pbes_system6detail19quantified_variable9to_stringB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail19quantified_variableeqERKS2_	0
_ZNK5mcrl211pbes_system6detail19quantified_variableltERKS2_	0
_ZZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex15fix_constraintsESt6vectorINS2_15data_expressionESaIS9_EEENKUlRKNS0_6detail19quantified_variableEE_clESF_	0
_ZZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex20bound_in_quantifiersERKNSt7__cxx114listINS0_6detail19quantified_variableESaISB_EEERKNS2_15data_expressionEENKUlRKNS2_8variableEE_clESL_	0
_ZZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex15fix_constraintsESt6vectorINS2_15data_expressionESaIS8_EEENKUlRKNS0_6detail19quantified_variableEE_clESE_	0
_ZZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex20bound_in_quantifiersERKNSt7__cxx114listINS0_6detail19quantified_variableESaISA_EEERKNS2_15data_expressionEENKUlRKNS2_8variableEE_clESK_	0
_ZZZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex20bound_in_quantifiersERKNSt7__cxx114listINS0_6detail19quantified_variableESaISB_EEERKNS2_15data_expressionEENKUlRKNS2_8variableEE_clESL_ENKUlRKSB_E_clESO_	0
_ZZZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_30enumerate_quantifiers_rewriterEE6vertex20bound_in_quantifiersERKNSt7__cxx114listINS0_6detail19quantified_variableESaISA_EEERKNS2_15data_expressionEENKUlRKNS2_8variableEE_clESK_ENKUlRKSA_E_clESN_	0
_ZN5mcrl211pbes_system6detail19quantified_variableC2EbRKNS_4data8variableE	1
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5enterERKNS0_6existsE	2
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5leaveERKNS0_6existsE	2
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5enterERKNS0_6forallE	4
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5leaveERKNS0_6forallE	4
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex26constant_parameter_indicesEv	13
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5enterERKNS0_4and_E	14
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5leaveERKNS0_4and_E	14
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5enterERKNS0_3or_E	15
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5leaveERKNS0_3or_E	15
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE3runERNS0_4pbesEbb	18
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEEC2ERKS3_RKS5_	18
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5leaveERKNS_4data15data_expressionE	19
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex11is_constantERKNS2_8variableE	26
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertexC2ENS0_22propositional_variableE	29
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertexC2Ev	29
_ZN5mcrl211pbes_system6detail24edge_condition_traverser16merge_conditionsERNS1_25edge_traverser_stack_elemEbS4_bS4_b	29
_ZNK5mcrl211pbes_system6detail24edge_condition_traverser3topEv	29
_ZNK5mcrl211pbes_system6detail24edge_condition_traverser6resultEv	29
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE4edgeC2ERKNS0_22propositional_variableERKNSt7__cxx114listINS0_6detail19quantified_variableESaISE_EEERKNS0_36propositional_variable_instantiationERKSt3setINS2_8variableESt4lessISN_ESaISN_EEST_NS2_15data_expressionE	39
_ZN5mcrl211pbes_system6detail24edge_condition_traverser5leaveERKNS0_36propositional_variable_instantiationE	39
_ZNK5mcrl211pbes_system6detail4QPVIltERKS2_	42
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex8variableEv	43
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6concatINS0_6detail19quantified_variableEEENSt7__cxx114listIT_SaISC_EEESE_SE_	55
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE4edge20quantified_variablesB5cxx11Ev	55
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE4edge31quantifier_inside_approximationERKNSt7__cxx114listINS0_6detail19quantified_variableESaISB_EEE	55
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE4edge9conditionEv	59
_ZN5mcrl211pbes_system6detail24edge_condition_traverser3popEv	64
_ZN5mcrl211pbes_system6detail24edge_condition_traverser3topEv	64
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex20bound_in_quantifiersERKNSt7__cxx114listINS0_6detail19quantified_variableESaISB_EEERKNS2_15data_expressionE	71
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex15fix_constraintsESt6vectorINS2_15data_expressionESaIS9_EE	73
_ZN5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex6updateERKNSt7__cxx114listINS0_6detail19quantified_variableESaISB_EEERKN7atermpp9term_listINS2_15data_expressionEEERKSt3mapINS2_8variableESI_St4lessISN_ESaISt4pairIKSN_SI_EEERKS3_	73
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex20quantified_variablesB5cxx11Ev	81
_ZN5mcrl211pbes_system6detail25edge_traverser_stack_elemC2ERKNS_4data15data_expressionES6_OSt3setINS3_8variableESt4lessIS8_ESaIS8_EE	87
_ZN5mcrl211pbes_system6detail24edge_condition_traverser4pushERKNS1_25edge_traverser_stack_elemE	93
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE4edge6targetEv	114
_ZN5mcrl211pbes_system6detail26make_constelm_substitutionERKSt3mapINS_4data8variableENS3_15data_expressionESt4lessIS4_ESaISt4pairIKS4_S5_EEERNS3_28mutable_indexed_substitutionIS4_S5_EE	145
_ZNK5mcrl211pbes_system23pbes_constelm_algorithmINS_4data8rewriterENS0_22simplify_data_rewriterIS3_EEE6vertex11constraintsEv	185

Generated by: LCOV version 1.14