LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/rewriters - simplify_rewriter.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 95 115 82.6 %
Date: 2024-04-26 03:18:02 Functions: 35 63 55.6 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_27stategraph_simplify_builderENS_4data17simplify_rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_27stategraph_simplify_builderENS_4data17simplify_rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impE 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_30sequence_sequence_substitutionISt6vectorINS6_8variableESaISA_EEN7atermpp9term_listINS6_15data_expressionEEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impE 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_30sequence_sequence_substitutionISt6vectorINS6_8variableESaISA_EEN7atermpp9term_listINS6_15data_expressionEEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_30sequence_sequence_substitutionISt6vectorINS6_8variableESaISA_EEN7atermpp9term_listINS6_15data_expressionEEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_30sequence_sequence_substitutionISt6vectorINS6_8variableESaISA_EEN7atermpp9term_listINS6_15data_expressionEEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_30sequence_sequence_substitutionISt6vectorINS6_8variableESaISA_EEN7atermpp9term_listINS6_15data_expressionEEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_30sequence_sequence_substitutionISt6vectorINS6_8variableESaISA_EEN7atermpp9term_listINS6_15data_expressionEEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_23apply_enumerate_builderINS1_29enumerate_quantifiers_builderENS_4data8rewriterENS6_24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impE 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_23apply_enumerate_builderINS1_29enumerate_quantifiers_builderENS_4data8rewriterENS6_24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_23apply_enumerate_builderINS1_29enumerate_quantifiers_builderENS_4data8rewriterENS6_24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS_4core13apply_builderINS1_16simplify_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS_4core13apply_builderINS1_16simplify_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS_4core13apply_builderINS1_28simplify_quantifiers_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impE 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS_4core13apply_builderINS1_28simplify_quantifiers_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS_4core13apply_builderINS1_28simplify_quantifiers_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS_4core13apply_builderINS1_28simplify_quantifiers_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E 0
_ZN5mcrl211pbes_system6detail30simplify_data_rewriter_builderINS1_22apply_rewriter_builderIS2_NS_4data8rewriterENS4_30sequence_sequence_substitutionISt6vectorINS4_8variableESaIS8_EEN7atermpp9term_listINS4_15data_expressionEEEEEEES5_SF_EC2ERKS5_RSF_ 0
_ZNK5mcrl211pbes_system17simplify_rewriterclERNS0_15pbes_expressionERKS2_ 0
_ZNK5mcrl211pbes_system22simplify_data_rewriterINS_4data8rewriterEEclINS2_30sequence_sequence_substitutionISt6vectorINS2_8variableESaIS8_EEN7atermpp9term_listINS2_15data_expressionEEEEEEENS0_15pbes_expressionERKSG_RT_ 0
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_27stategraph_simplify_builderENS_4data17simplify_rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E 1
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_23apply_enumerate_builderINS1_29enumerate_quantifiers_builderENS_4data8rewriterENS6_24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E 1
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS_4core13apply_builderINS1_16simplify_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impE 1
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS_4core13apply_builderINS1_16simplify_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E 1
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS_4core13apply_builderINS1_16simplify_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E 1
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS_4core13apply_builderINS1_16simplify_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE 1
_ZN5mcrl211pbes_system6detail30simplify_data_rewriter_builderINS1_23apply_enumerate_builderINS1_29enumerate_quantifiers_builderENS_4data8rewriterENS5_24mutable_map_substitutionISt3mapINS5_8variableENS5_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEES6_SI_EC2ERKS6_RSI_ 1
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impE 2
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE 2
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_42simplify_quantifiers_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E 2
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_23apply_enumerate_builderINS1_29enumerate_quantifiers_builderENS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E 2
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impE 3
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE 3
_ZN5mcrl211pbes_system6detail30simplify_data_rewriter_builderINS1_22apply_rewriter_builderIS2_NS_4data8rewriterENS4_24mutable_map_substitutionISt3mapINS4_8variableENS4_15data_expressionESt4lessIS8_ESaISt4pairIKS8_S9_EEEEEEES5_SH_EC2ERKS5_RSH_ 3
_ZNK5mcrl211pbes_system17simplify_rewriterclERKNS0_15pbes_expressionE 3
_ZNK5mcrl211pbes_system22simplify_data_rewriterINS_4data8rewriterEEclINS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS8_ESaISt4pairIKS8_S9_EEEEEEENS0_15pbes_expressionERKSI_RT_ 3
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_42simplify_quantifiers_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impE 4
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_23apply_enumerate_builderINS1_29enumerate_quantifiers_builderENS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impE 4
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E 5
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E 7
_ZNK5mcrl211pbes_system22simplify_data_rewriterINS_4data8rewriterEEclINS2_28mutable_indexed_substitutionINS2_8variableENS2_15data_expressionEEEEEvRNS0_15pbes_expressionERKSA_RT_ 9
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE 26
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE 30
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E 44
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_30simplify_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E 44
_ZNK5mcrl211pbes_system22simplify_data_rewriterINS_4data8rewriterEEclINS2_28mutable_indexed_substitutionINS2_8variableENS2_15data_expressionEEEEENS0_15pbes_expressionERKSA_RT_ 81
_ZN5mcrl211pbes_system6detail30simplify_data_rewriter_builderINS1_22apply_rewriter_builderIS2_NS_4data8rewriterENS4_28mutable_indexed_substitutionINS4_8variableENS4_15data_expressionEEEEES5_S9_EC2ERKS5_RS9_ 90
_ZN5mcrl211pbes_system6detail30simplify_data_rewriter_builderINS1_22apply_rewriter_builderIS2_NS_4data8rewriterENS4_15no_substitutionEEES5_S6_EC2ERKS5_RS6_ 214
_ZNK5mcrl211pbes_system22simplify_data_rewriterINS_4data8rewriterEEclERKNS0_15pbes_expressionE 214
_ZN5mcrl211pbes_system22simplify_data_rewriterINS_4data8rewriterEEC2ERKS3_ 232
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_42simplify_quantifiers_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E 887
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_22apply_rewriter_builderINS1_42simplify_quantifiers_data_rewriter_builderENS_4data8rewriterENS6_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E 1282
_ZN5mcrl211pbes_system6detail30simplify_data_rewriter_builderINS1_23apply_enumerate_builderINS1_29enumerate_quantifiers_builderENS_4data8rewriterENS5_28mutable_indexed_substitutionINS5_8variableENS5_15data_expressionEEEEES6_SA_EC2ERKS6_RSA_ 5892
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_23apply_enumerate_builderINS1_29enumerate_quantifiers_builderENS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E 26534
_ZN5mcrl211pbes_system6detail12add_simplifyINS0_23pbes_expression_builderENS1_23apply_enumerate_builderINS1_29enumerate_quantifiers_builderENS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E 26719

Generated by: LCOV version 1.14