LCOV - code coverage report

Current view: top level - data/include/mcrl2/data/experimental - type_check_tree.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 568 663 85.7 % Date: 2024-04-19 03:43:27 Functions: 110 117 94.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data10substituteERKNS0_15sort_expressionERKSt3mapINS0_21untyped_sort_variableES1_St4lessIS5_ESaISt4pairIKS5_S1_EEE	0
_ZN5mcrl24data13constant_nodeD0Ev	0
_ZN5mcrl24data15type_check_node18apply_substitutionERKSt3mapINS0_21untyped_sort_variableENS0_15sort_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEE	0
_ZN5mcrl24data15type_check_node20check_well_typednessERKNS0_18type_check_contextE	0
_ZN5mcrl24data15type_check_nodeD0Ev	0
_ZN5mcrl24data21substitute_constraintESt10shared_ptrINS0_21type_check_constraintEERKSt3mapINS0_21untyped_sort_variableENS0_15sort_expressionESt4lessIS5_ESaISt4pairIKS5_S6_EEE	0
_ZN5mcrl24data29make_function_sort_constraintERKNS0_13function_sortERKNS0_15sort_expressionE	0
_ZN5mcrl24data20replace_untyped_sortINS0_15data_expressionEEET_RKS3_RKNS0_15sort_expressionE	1
_ZN5mcrl24data11exists_node14set_constraintERNS0_18type_check_contextE	2
_ZN5mcrl24data11exists_nodeC2ERNS0_18type_check_contextERKN7atermpp9term_listINS0_8variableEEESt10shared_ptrINS0_15type_check_nodeEE	2
_ZN5mcrl24data14empty_bag_node14set_constraintERNS0_18type_check_contextE	2
_ZN5mcrl24data14empty_bag_nodeC2ERNS0_18type_check_contextE	2
_ZN5mcrl24data16false_constraintC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	2
_ZN5mcrl24data16has_untyped_sortINS0_15data_expressionEEEbRKT_	2
_ZN5mcrl24data20bag_enumeration_node14set_constraintERNS0_18type_check_contextE	2
_ZN5mcrl24data20bag_enumeration_nodeC2ERNS0_18type_check_contextERKSt6vectorISt10shared_ptrINS0_15type_check_nodeEESaIS7_EE	2
_ZN5mcrl24data20set_enumeration_node14set_constraintERNS0_18type_check_contextE	2
_ZN5mcrl24data20set_enumeration_nodeC2ERNS0_18type_check_contextERKSt6vectorISt10shared_ptrINS0_15type_check_nodeEESaIS7_EE	2
_ZN5mcrl24data21make_false_constraintERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	2
_ZN5mcrl24data27bag_or_set_enumeration_node14set_constraintERNS0_18type_check_contextE	2
_ZN5mcrl24data27bag_or_set_enumeration_nodeC2ERNS0_18type_check_contextERKNS0_8variableESt10shared_ptrINS0_15type_check_nodeEE	2
_ZNK5mcrl24data11exists_node5printB5cxx11Ev	2
_ZNK5mcrl24data16false_constraint5printB5cxx11Ev	2
_ZNK5mcrl24data20bag_enumeration_node5printB5cxx11Ev	2
_ZNK5mcrl24data20set_enumeration_node5printB5cxx11Ev	2
_ZNK5mcrl24data25type_check_tree_generator20parse_BagEnumEltListERKNS_4core10parse_nodeE	2
_ZNK5mcrl24data27bag_or_set_enumeration_node5printB5cxx11Ev	2
_ZN5mcrl24data11forall_node14set_constraintERNS0_18type_check_contextE	3
_ZN5mcrl24data11forall_nodeC2ERNS0_18type_check_contextERKN7atermpp9term_listINS0_8variableEEESt10shared_ptrINS0_15type_check_nodeEE	3
_ZN5mcrl24data16application_node14set_constraintERNS0_18type_check_contextE	3
_ZN5mcrl24data16application_nodeC2ERNS0_18type_check_contextESt10shared_ptrINS0_15type_check_nodeEERKSt6vectorIS6_SaIS6_EE	3
_ZNK5mcrl24data11forall_node5printB5cxx11Ev	3
_ZN5mcrl24data15type_check_node14set_constraintERNS0_18type_check_contextE	4
_ZN5mcrl24data15empty_list_node14set_constraintERNS0_18type_check_contextE	5
_ZN5mcrl24data15empty_list_nodeC2ERNS0_18type_check_contextE	5
_ZN5mcrl24data20function_update_nodeC2ERNS0_18type_check_contextESt10shared_ptrINS0_15type_check_nodeEES6_S6_	5
_ZN5mcrl24data14empty_set_node14set_constraintERNS0_18type_check_contextE	6
_ZN5mcrl24data14empty_set_nodeC2ERNS0_18type_check_contextE	6
_ZNK5mcrl24data16application_node5printB5cxx11Ev	6
_ZNK5mcrl24data20function_update_node5printB5cxx11Ev	6
_ZN5mcrl24data11lambda_node14set_constraintERNS0_18type_check_contextE	7
_ZZN5mcrl24data20replace_untyped_sortINS0_15data_expressionEEET_RKS3_RKNS0_15sort_expressionEENKUlS8_E_clES8_	7
_ZN5mcrl24data10false_nodeC2ERNS0_18type_check_contextE	10
_ZN5mcrl24data19unary_operator_node14set_constraintERNS0_18type_check_contextE	10
_ZN5mcrl24data19unary_operator_nodeD0Ev	10
_ZN5mcrl24data11lambda_nodeC2ERNS0_18type_check_contextERKN7atermpp9term_listINS0_8variableEEESt10shared_ptrINS0_15type_check_nodeEE	11
_ZN5mcrl24data9true_nodeC2ERNS0_18type_check_contextE	12
_ZN5mcrl24data17where_clause_node14set_constraintERNS0_18type_check_contextE	13
_ZN5mcrl24data17where_clause_nodeC2ERNS0_18type_check_contextESt10shared_ptrINS0_15type_check_nodeEERKSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaISF_EE	13
_ZNK5mcrl24data17where_clause_node5printB5cxx11Ev	13
_ZNK5mcrl24data25type_check_tree_generator20parse_AssignmentListB5cxx11ERKNS_4core10parse_nodeE	13
_ZN5mcrl24data13constant_node14set_constraintERNS0_18type_check_contextE	14
_ZN5mcrl24data21list_enumeration_node14set_constraintERNS0_18type_check_contextE	15
_ZN5mcrl24data21list_enumeration_nodeC2ERNS0_18type_check_contextERKSt6vectorISt10shared_ptrINS0_15type_check_nodeEESaIS7_EE	15
_ZNK5mcrl24data19unary_operator_node5printB5cxx11Ev	16
_ZNK5mcrl24data11lambda_node5printB5cxx11Ev	20
_ZN5mcrl24data19unary_operator_nodeC2ERNS0_18type_check_contextERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt10shared_ptrINS0_15type_check_nodeEE	21
_ZN5mcrl24data19unary_operator_nodeD2Ev	21
_ZNK5mcrl24data25type_check_tree_generator18parse_DataExprListERKNS_4core10parse_nodeE	22
_ZNK5mcrl24data21list_enumeration_node5printB5cxx11Ev	25
_ZNK5mcrl24data25type_check_tree_generator16parse_AssignmentB5cxx11ERKNS_4core10parse_nodeE	25
_ZZNK5mcrl24data25type_check_tree_generator20parse_AssignmentListB5cxx11ERKNS_4core10parse_nodeEENKUlS5_E_clES5_	25
_ZNK5mcrl24data15true_constraint5printB5cxx11Ev	34
_ZN5mcrl24data13constant_nodeC2ERNS0_18type_check_contextERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	35
_ZN5mcrl24data13constant_nodeD2Ev	35
_ZN5mcrl24data13or_constraintC2ERKSt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS5_EE	44
_ZNK5mcrl24data13or_constraint5printB5cxx11Ev	44
_ZZNK5mcrl24data25type_check_tree_generator18parse_DataExprListERKNS_4core10parse_nodeEENKUlS5_E_clES5_	46
_ZN5mcrl24data17print_node_vectorISt6vectorISt10shared_ptrINS0_15type_check_nodeEESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSD_RKT_SF_SF_SF_	56
_ZN5mcrl24data20binary_operator_node14set_constraintERNS0_18type_check_contextE	58
_ZN5mcrl24data20binary_operator_nodeC2ERNS0_18type_check_contextERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt10shared_ptrINS0_15type_check_nodeEESE_	60
_ZN5mcrl24data12filter_sortsERKN7atermpp9term_listINS0_13function_sortEEEm	68
_ZNK5mcrl24data18type_check_context23find_matching_functionsERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm	68
_ZN5mcrl24data11number_node14set_constraintERNS0_18type_check_contextE	70
_ZNK5mcrl24data13constant_node5printB5cxx11Ev	70
_ZN5mcrl24data18type_check_contextC2ERKNS0_18data_specificationE	71
_ZN5mcrl24data25type_check_tree_generatorC2ERNS0_18type_check_contextERKNS_4core6parserE	71
_ZN5mcrl24data11number_nodeC2ERNS0_18type_check_contextERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	74
_ZN5mcrl24data18subsort_constraintC2ERKNS0_15sort_expressionES4_i	75
_ZN5mcrl24data18type_check_context20add_context_variableERKNS0_8variableE	75
_ZN5mcrl24data18type_check_context23remove_context_variableERKNS0_8variableE	75
_ZNK5mcrl24data18subsort_constraint5printB5cxx11Ev	75
_ZN5mcrl24data7id_node14set_constraintERNS0_18type_check_contextE	80
_ZNK5mcrl24data18type_check_context23find_matching_functionsERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	80
_ZNK5mcrl24data18type_check_context23find_matching_variablesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	80
_ZN5mcrl24data7id_nodeC2ERNS0_18type_check_contextERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	84
_ZNK5mcrl24data18type_check_context23find_matching_constantsERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	94
_ZN5mcrl24data18type_check_context21add_context_variablesERKN7atermpp9term_listINS0_8variableEEE	96
_ZN5mcrl24data18type_check_context24remove_context_variablesERKN7atermpp9term_listINS0_8variableEEE	96
_ZNK5mcrl24data20binary_operator_node5printB5cxx11Ev	108
_ZN5mcrl24data15type_check_node24set_children_constraintsERNS0_18type_check_contextE	131
_ZNK5mcrl24data18type_check_context21replace_untyped_sortsERKN7atermpp9term_listINS0_13function_sortEEE	148
_ZN5mcrl24data20replace_untyped_sortINS0_13function_sortEEET_RKS3_RKNS0_15sort_expressionE	159
_ZN5mcrl24data18make_or_constraintERKSt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS4_EE	162
_ZN5mcrl24data33join_or_is_element_of_constraintsERKSt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS4_EE	162
_ZNK5mcrl24data11number_node5printB5cxx11Ev	184
_ZNK5mcrl24data7id_node5printB5cxx11Ev	250
_ZN5mcrl24data10print_nodeERKSt10shared_ptrINS0_15type_check_nodeEE	321
_ZN5mcrl24data15type_check_nodeC2ERNS0_18type_check_contextERKSt6vectorISt10shared_ptrIS1_ESaIS6_EE	321
_ZN5mcrl24data15type_check_nodeD2Ev	321
_ZNK5mcrl24data25type_check_tree_generator14parse_DataExprERKNS_4core10parse_nodeE	326
_ZN5mcrl24data15true_constraintC2Ei	353
_ZN5mcrl24data20make_true_constraintEi	353
_ZN5mcrl24data16has_untyped_sortINS0_13function_sortEEEbRKT_	359
_ZN5mcrl24data14and_constraintC2ERKSt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS5_EE	382
_ZNK5mcrl24data14and_constraint5printB5cxx11Ev	382
_ZN5mcrl24data19make_and_constraintERKSt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS4_EE	397
_ZN5mcrl24data17print_node_vectorISt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSD_RKT_SF_SF_SF_	426
_ZNK5mcrl24data18type_check_context20create_sort_variableEv	512
_ZN5mcrl24data27make_is_equal_to_constraintERKNS0_15sort_expressionES3_i	771
_ZZN5mcrl24data20replace_untyped_sortINS0_13function_sortEEET_RKS3_RKNS0_15sort_expressionEENKUlS8_E_clES8_	875
_ZN5mcrl24data23make_subsort_constraintERKNS0_15sort_expressionES3_i	1174
_ZNK5mcrl24data24is_element_of_constraint5printB5cxx11Ev	1236
_ZN5mcrl24data24is_element_of_constraintC2ERKNS0_21untyped_sort_variableERKSt6vectorINS0_15sort_expressionESaIS6_EEi	1328
_ZN5mcrl24data26make_untyped_sort_variableERKNS0_15sort_expressionE	1328
_ZN5mcrl24data29make_is_element_of_constraintERKNS0_15sort_expressionERKSt6vectorIS1_SaIS1_EEi	1328
_ZN5mcrl24data21type_check_constraintC2Ei	2184

Generated by: LCOV version 1.14