LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp - aterm_balanced_tree.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 115 116 99.1 %
Date: 2020-10-20 00:45:57 Functions: 75 86 87.2 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeIN9__gnu_cxx17__normal_iteratorIPKS3_St6vectorIS3_SaIS3_EEEEZNKS1_3lps8explorerILb1ELb1ENSE_24stochastic_specificationEE13compute_stateISC_EES4_RKT_EUlRS8_E_EENS_9term_applINS_5atermEEERSJ_mT0_ 0
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeINS_18term_list_iteratorIS3_EEZNKS1_3lps8explorerILb1ELb1ENS8_24stochastic_specificationEE13compute_stateINS_9term_listIS3_EEEES4_RKT_EUlRKS3_E_EENS_9term_applINS_5atermEEERSF_mT0_ 0
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeINS_18term_list_iteratorIS3_EEZNS4_C4IS7_EET_mEUlRKS3_E_EENS_9term_applINS_5atermEEERS9_mT0_ 0
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2IN9__gnu_cxx17__normal_iteratorIPKS3_St6vectorIS3_SaIS3_EEEEZNKS1_3lps8explorerILb1ELb1ENSE_24stochastic_specificationEE13compute_stateISC_EES4_RKT_EUlRS8_E_EESJ_mT0_ 0
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2INS_18term_list_iteratorIS3_EEEET_m 0
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2INS_18term_list_iteratorIS3_EEZNKS1_3lps8explorerILb1ELb1ENS8_24stochastic_specificationEE13compute_stateINS_9term_listIS3_EEEES4_RKT_EUlRKS3_E_EESF_mT0_ 0
_ZZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC4IN9__gnu_cxx17__normal_iteratorIPS3_St6vectorIS3_SaIS3_EEEEEET_mENUlRKS3_E_4_FUNESF_ 0
_ZZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC4INS4_8iteratorEEET_mENUlRKS3_E_4_FUNES9_ 0
_ZZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC4INS_18term_list_iteratorIS3_EEEET_mENKUlRKS3_E_clESA_ 0
_ZZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC4INS_18term_list_iteratorIS3_EEEET_mENUlRKS3_E_4_FUNESA_ 0
_ZZN7atermpp18term_balanced_treeINS_5atermEEC4INS_18term_list_iteratorIS1_EEEET_mENUlRKS1_E_4_FUNES8_ 0
_ZN7atermpp18term_balanced_treeINS_5atermEE10empty_treeEv 1
_ZN7atermpp18term_balanced_treeINS_5atermEEC2Ev 1
_ZN7atermpp2ppIN5mcrl24data15data_expressionEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEENS_18term_balanced_treeIT_EE 3
_ZN7atermpp18term_balanced_treeINS_5atermEEC2INS_18term_list_iteratorIS1_EEEET_m 4
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeINS_18term_list_iteratorIS3_EEZNKS1_3lps8explorerILb0ELb1ENS8_13specificationEE13compute_stateINS_9term_listIS3_EEEES4_RKT_EUlRKS3_E_EENS_9term_applINS_5atermEEERSF_mT0_ 6
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2INS_18term_list_iteratorIS3_EEZNKS1_3lps8explorerILb0ELb1ENS8_13specificationEE13compute_stateINS_9term_listIS3_EEEES4_RKT_EUlRKS3_E_EESF_mT0_ 6
_ZN7atermpp18term_balanced_treeINS_5atermEE8iteratorC2Ev 6
_ZNK7atermpp18term_balanced_treeINS_5atermEE3endEv 6
_ZN7atermpp18term_balanced_treeINS_5atermEE8iterator10initialiseERKS2_ 9
_ZN7atermpp18term_balanced_treeINS_5atermEE8iteratorC2ERKS2_ 9
_ZNK7atermpp18term_balanced_treeINS_5atermEE5beginEv 9
_ZNK7atermpp18term_balanced_treeINS_5atermEEixEm 10
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeIN9__gnu_cxx17__normal_iteratorIPKS3_St6vectorIS3_SaIS3_EEEEZNKS1_3lps8explorerILb0ELb1ENSE_13specificationEE13compute_stateISC_EES4_RKT_EUlRS8_E_EENS_9term_applINS_5atermEEERSJ_mT0_ 12
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2IN9__gnu_cxx17__normal_iteratorIPKS3_St6vectorIS3_SaIS3_EEEEZNKS1_3lps8explorerILb0ELb1ENSE_13specificationEE13compute_stateISC_EES4_RKT_EUlRS8_E_EESJ_mT0_ 12
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2INS_18term_list_iteratorIS3_EEZNKS1_3lps8explorerILb1ELb0ENS8_24stochastic_specificationEE13compute_stateINS_9term_listIS3_EEEES4_RKT_EUlRKS3_E_EESF_mT0_ 24
_ZN7atermpp18term_balanced_treeINS_5atermEE8iteratorC2ERKS3_ 27
_ZN7atermpp18term_balanced_treeINS_5atermEE9make_nodeERKS2_S4_ 36
_ZZN7atermpp18term_balanced_treeINS_5atermEEC4INS_18term_list_iteratorIS1_EEEET_mENKUlRKS1_E_clES8_ 40
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2IN9__gnu_cxx17__normal_iteratorIPS3_St6vectorIS3_SaIS3_EEEEEET_m 44
_ZNK7atermpp18term_balanced_treeINS_5atermEE10element_atEmm 44
_ZNK7atermpp18term_balanced_treeINS_5atermEE8iterator5equalERKS3_ 51
_ZN7atermpp18term_balanced_treeINS_5atermEE8iterator9incrementEv 70
_ZN7atermpp18term_balanced_treeINS_5atermEEC2ERKS1_ 72
_ZNK7atermpp18term_balanced_treeINS_5atermEE8iterator11dereferenceEv 72
_ZN7atermpp18term_balanced_treeINS_5atermEE9make_treeINS_18term_list_iteratorIS1_EEZNS2_C4IS5_EET_mEUlRKS1_E_EENS_9term_applIS1_EERS7_mT0_ 76
_ZN7atermpp18term_balanced_treeINS_5atermEED2Ev 77
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeINS_18term_list_iteratorIS3_EEZNKS1_3lps8explorerILb1ELb0ENS8_24stochastic_specificationEE13compute_stateINS_9term_listIS3_EEEES4_RKT_EUlRKS3_E_EENS_9term_applINS_5atermEEERSF_mT0_ 120
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2INS_18term_list_iteratorIS3_EEZNKS1_3lps8explorerILb0ELb0ENS8_13specificationEE13compute_stateINS_9term_listIS3_EEEES4_RKT_EUlRKS3_E_EESF_mT0_ 156
_ZNK7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEixEm 200
_ZN7atermpp18term_balanced_treeINS_5atermEE19tree_empty_functionEv 314
_ZNK7atermpp18term_balanced_treeINS_5atermEE5emptyEv 314
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2IN9__gnu_cxx17__normal_iteratorIPKS3_St6vectorIS3_SaIS3_EEEEZNKS1_3lps8explorerILb1ELb0ENSE_24stochastic_specificationEE13compute_stateISC_EES4_RKT_EUlRS8_E_EESJ_mT0_ 318
_ZZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC4IN9__gnu_cxx17__normal_iteratorIPS3_St6vectorIS3_SaIS3_EEEEEET_mENKUlRKS3_E_clESF_ 322
_ZNK7atermpp18term_balanced_treeINS_5atermEE12right_branchEv 334
_ZNK7atermpp18term_balanced_treeINS_5atermEE11left_branchEv 338
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeINS_18term_list_iteratorIS3_EEZNKS1_3lps8explorerILb0ELb0ENS8_13specificationEE13compute_stateINS_9term_listIS3_EEEES4_RKT_EUlRKS3_E_EENS_9term_applINS_5atermEEERSF_mT0_ 444
_ZNK7atermpp18term_balanced_treeINS_5atermEE4sizeEv 553
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeIN9__gnu_cxx17__normal_iteratorIPS3_St6vectorIS3_SaIS3_EEEEZNS4_C4ISC_EET_mEUlRKS3_E_EENS_9term_applINS_5atermEEERSE_mT0_ 600
_ZNK7atermpp18term_balanced_treeINS_5atermEE7is_nodeEv 1225
_ZN7atermpp18term_balanced_treeINS_5atermEE18tree_node_functionEv 1403
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2EOS4_ 1554
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2INS4_8iteratorEEET_m 1740
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2IN9__gnu_cxx17__normal_iteratorIPKS3_St6vectorIS3_SaIS3_EEEEZNKS1_3lps8explorerILb0ELb0ENSE_13specificationEE13compute_stateISC_EES4_RKT_EUlRS8_E_EESJ_mT0_ 2292
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEaSEOS4_ 2502
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeIN9__gnu_cxx17__normal_iteratorIPKS3_St6vectorIS3_SaIS3_EEEEZNKS1_3lps8explorerILb1ELb0ENSE_24stochastic_specificationEE13compute_stateISC_EES4_RKT_EUlRS8_E_EENS_9term_applINS_5atermEEERSJ_mT0_ 2814
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2IN9__gnu_cxx17__normal_iteratorIPKS3_St6vectorIS3_SaIS3_EEEE14rewriter_classEET_mT0_ 3669
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEaSERKS4_ 3854
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE8iterator10initialiseERKS4_ 9195
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE8iteratorC2ERKS4_ 9195
_ZNK7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE5beginEv 9195
_ZNKSt4hashIN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEEEclERKS5_ 10887
_ZZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC4INS4_8iteratorEEET_mENKUlRKS3_E_clES9_ 14420
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE8iteratorC2ERKS5_ 14600
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2Ev 15883
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE10empty_treeEv 18147
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeIN9__gnu_cxx17__normal_iteratorIPKS3_St6vectorIS3_SaIS3_EEEEZNKS1_3lps8explorerILb0ELb0ENSE_13specificationEE13compute_stateISC_EES4_RKT_EUlRS8_E_EENS_9term_applINS_5atermEEERSJ_mT0_ 24516
_ZNK7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE10element_atEmm 26389
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeINS4_8iteratorEZNS4_C4IS6_EET_mEUlRKS3_E_EENS_9term_applINS_5atermEEERS8_mT0_ 27308
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2ERKS4_ 28310
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_treeIN9__gnu_cxx17__normal_iteratorIPKS3_St6vectorIS3_SaIS3_EEEE14rewriter_classEENS_9term_applINS_5atermEEERT_mT0_ 44161
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE9make_nodeERKS4_S6_ 45860
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE8iteratorC2Ev 59362
_ZNK7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE3endEv 59362
_ZNK7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE8iterator5equalERKS5_ 66607
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE8iterator9incrementEv 85770
_ZNK7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE8iterator11dereferenceEv 85770
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEC2ERKNS_5atermE 91720
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEED2Ev 145728
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE19tree_empty_functionEv 159942
_ZNK7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE5emptyEv 159942
_ZNK7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE12right_branchEv 205130
_ZNK7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE11left_branchEv 211808
_ZNK7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE4sizeEv 271845
_ZNK7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE7is_nodeEv 688783
_ZN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEE18tree_node_functionEv 897494

Generated by: LCOV version 1.13