LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/detail - stategraph_simplify_rewriter.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 23 99 23.2 %
Date: 2024-05-01 03:37:31 Functions: 6 19 31.6 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl211pbes_system6detail14stategraph_notERKNS0_15pbes_expressionE 0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationE 0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impE 0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E 0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_E 0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE 0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE 0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E7derivedEv 0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E7not_argERKNS0_15pbes_expressionE 0
_ZN5mcrl211pbes_system6detail8smart_orERKNS0_15pbes_expressionES4_ 0
_ZN5mcrl211pbes_system6detail9smart_andERKNS0_15pbes_expressionES4_ 0
_ZNK5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E18stategraph_join_orERKSt6vectorINS0_15pbes_expressionESaISA_EE 0
_ZNK5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E19stategraph_join_andERKSt6vectorINS0_15pbes_expressionESaISA_EE 0
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E 1
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_EC2ERKS5_RS6_ 108
_ZN5mcrl211pbes_system6detail28stategraph_simplify_rewriterINS_4data17simplify_rewriterEEC2ERKS4_ 108
_ZNK5mcrl211pbes_system6detail28stategraph_simplify_rewriterINS_4data17simplify_rewriterEEclERKNS0_15pbes_expressionE 108
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E5applyINS0_15pbes_expressionEEEvRT_RKNS4_15data_expressionE 109
_ZN5mcrl211pbes_system6detail27stategraph_simplify_builderINS1_22apply_rewriter_builderIS2_NS_4data17simplify_rewriterENS4_15no_substitutionEEES5_S6_E12post_processERKNS0_15pbes_expressionE 110

Generated by: LCOV version 1.14