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: 570 660 86.4 %
Date: 2020-11-21 00:46:01 Functions: 133 138 96.4 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24data10substituteERKNS0_15sort_expressionERKSt3mapINS0_21untyped_sort_variableES1_St4lessIS5_ESaISt4pairIKS5_S1_EEE 0
_ZN5mcrl24data15type_check_node18apply_substitutionERKSt3mapINS0_21untyped_sort_variableENS0_15sort_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEE 0
_ZN5mcrl24data15type_check_node20check_well_typednessERKNS0_18type_check_contextE 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
_ZN5mcrl24data11exists_nodeD2Ev 2
_ZN5mcrl24data14empty_bag_node14set_constraintERNS0_18type_check_contextE 2
_ZN5mcrl24data14empty_bag_nodeC2ERNS0_18type_check_contextE 2
_ZN5mcrl24data14empty_bag_nodeD2Ev 2
_ZN5mcrl24data16false_constraintC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 2
_ZN5mcrl24data16false_constraintD2Ev 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
_ZN5mcrl24data20bag_enumeration_nodeD2Ev 2
_ZN5mcrl24data20set_enumeration_node14set_constraintERNS0_18type_check_contextE 2
_ZN5mcrl24data20set_enumeration_nodeC2ERNS0_18type_check_contextERKSt6vectorISt10shared_ptrINS0_15type_check_nodeEESaIS7_EE 2
_ZN5mcrl24data20set_enumeration_nodeD2Ev 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
_ZN5mcrl24data27bag_or_set_enumeration_nodeD2Ev 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
_ZN5mcrl24data11forall_nodeD2Ev 3
_ZN5mcrl24data16application_node14set_constraintERNS0_18type_check_contextE 3
_ZN5mcrl24data16application_nodeC2ERNS0_18type_check_contextESt10shared_ptrINS0_15type_check_nodeEERKSt6vectorIS6_SaIS6_EE 3
_ZN5mcrl24data16application_nodeD2Ev 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
_ZN5mcrl24data15empty_list_nodeD2Ev 5
_ZN5mcrl24data20function_update_nodeC2ERNS0_18type_check_contextESt10shared_ptrINS0_15type_check_nodeEES6_S6_ 5
_ZN5mcrl24data20function_update_nodeD2Ev 5
_ZN5mcrl24data14empty_set_node14set_constraintERNS0_18type_check_contextE 6
_ZN5mcrl24data14empty_set_nodeC2ERNS0_18type_check_contextE 6
_ZN5mcrl24data14empty_set_nodeD2Ev 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
_ZN5mcrl24data10false_nodeD2Ev 10
_ZN5mcrl24data19unary_operator_node14set_constraintERNS0_18type_check_contextE 10
_ZN5mcrl24data11lambda_nodeC2ERNS0_18type_check_contextERKN7atermpp9term_listINS0_8variableEEESt10shared_ptrINS0_15type_check_nodeEE 11
_ZN5mcrl24data11lambda_nodeD2Ev 11
_ZN5mcrl24data9true_nodeC2ERNS0_18type_check_contextE 12
_ZN5mcrl24data9true_nodeD2Ev 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
_ZN5mcrl24data17where_clause_nodeD2Ev 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
_ZN5mcrl24data21list_enumeration_nodeD2Ev 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
_ZN5mcrl24data13or_constraintD2Ev 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
_ZN5mcrl24data20binary_operator_nodeD2Ev 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
_ZN5mcrl24data18type_check_contextD2Ev 71
_ZN5mcrl24data25type_check_tree_generatorC2ERNS0_18type_check_contextERKNS_4core6parserE 71
_ZN5mcrl24data11number_nodeC2ERNS0_18type_check_contextERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 74
_ZN5mcrl24data11number_nodeD2Ev 74
_ZN5mcrl24data18subsort_constraintC2ERKNS0_15sort_expressionES4_i 75
_ZN5mcrl24data18subsort_constraintD2Ev 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
_ZN5mcrl24data7id_nodeD2Ev 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
_ZN5mcrl24data14and_constraintD2Ev 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
_ZN5mcrl24data24is_element_of_constraintD2Ev 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.13