LCOV - code coverage report
Current view: top level - data/include/mcrl2/data - optimized_boolean_operators.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 105 109 96.3 %
Date: 2024-05-04 03:44:52 Functions: 28 30 93.3 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24data13optimized_impINS0_15data_expressionEEEvRT_RKS3_S6_ 0
_ZN5mcrl24data6detail13optimized_impINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKS8_SB_S7_ 0
_ZN5mcrl24data16optimized_forallINS0_15data_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS7_b 13
_ZN5mcrl24data6detail16optimized_forallINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKNS7_22variable_sequence_typeERKS8_bbS7_ 13
_ZN5mcrl24data16optimized_existsINS0_15data_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS7_b 18
_ZN5mcrl24data6detail16optimized_existsINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKNS7_22variable_sequence_typeERKS8_bbS7_ 18
_ZN5mcrl24data13optimized_notINS0_15data_expressionEEEvRT_RKS3_ 22
_ZN5mcrl24data6detail13optimized_notINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKS8_S7_ 22
_ZN5mcrl24data12optimized_orINS0_15data_expressionEEEvRT_RKS3_S6_ 30
_ZN5mcrl24data6detail12optimized_orINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKS8_SB_S7_ 30
_ZN5mcrl24data13optimized_andINS_11pres_system15pres_expressionEEEvRT_RKS4_S7_ 41
_ZN5mcrl24data6detail13optimized_andINS_4core11term_traitsINS_11pres_system15pres_expressionEEEEEvRNT_9term_typeERKS9_SC_S8_ 41
_ZN5mcrl24data12optimized_orINS_11pres_system15pres_expressionEEEvRT_RKS4_S7_ 59
_ZN5mcrl24data6detail12optimized_orINS_4core11term_traitsINS_11pres_system15pres_expressionEEEEEvRNT_9term_typeERKS9_SC_S8_ 59
_ZN5mcrl24data16optimized_forallINS_11pbes_system15pbes_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS8_b 87
_ZN5mcrl24data16optimized_existsINS_11pbes_system15pbes_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS8_b 284
_ZN5mcrl24data13optimized_notINS_11pbes_system15pbes_expressionEEEvRT_RKS4_ 492
_ZN5mcrl24data6detail13optimized_notINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKS9_S8_ 546
_ZN5mcrl24data32optimized_exists_no_empty_domainINS_11pbes_system15pbes_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS8_b 566
_ZN5mcrl24data13optimized_andINS0_15data_expressionEEEvRT_RKS3_S6_ 746
_ZN5mcrl24data6detail13optimized_andINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKS8_SB_S7_ 746
_ZN5mcrl24data6detail16optimized_existsINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKNS8_22variable_sequence_typeERKS9_bbS8_ 850
_ZN5mcrl24data13optimized_impINS_11pbes_system15pbes_expressionEEEvRT_RKS4_S7_ 972
_ZN5mcrl24data6detail13optimized_impINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKS9_SC_S8_ 972
_ZN5mcrl24data32optimized_forall_no_empty_domainINS_11pbes_system15pbes_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS8_b 2121
_ZN5mcrl24data6detail16optimized_forallINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKNS8_22variable_sequence_typeERKS9_bbS8_ 2208
_ZN5mcrl24data12optimized_orINS_11pbes_system15pbes_expressionEEEvRT_RKS4_S7_ 4521
_ZN5mcrl24data6detail12optimized_orINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKS9_SC_S8_ 4521
_ZN5mcrl24data13optimized_andINS_11pbes_system15pbes_expressionEEEvRT_RKS4_S7_ 9051
_ZN5mcrl24data6detail13optimized_andINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKS9_SC_S8_ 9051

Generated by: LCOV version 1.14