LCOV - code coverage report
Current view: top level - lps/source - linearise.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4011 4860 82.5 %
Date: 2020-10-20 00:45:57 Functions: 242 258 93.8 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN24specification_basic_type13RewriteActionERKN5mcrl27process6actionE 0
_ZN24specification_basic_type13rename_actionERKN7atermpp9term_listIN5mcrl27process17rename_expressionEEERKNS3_6actionE 0
_ZN24specification_basic_type13upperpowerof2Em 0
_ZN24specification_basic_type14RewriteMultActERKN5mcrl27process18process_expressionE 0
_ZN24specification_basic_type14rename_actionsERKN7atermpp9term_listIN5mcrl27process17rename_expressionEEERKNS1_INS3_6actionEEE 0
_ZN24specification_basic_type15RewriteTermListERKN7atermpp9term_listIN5mcrl24data15data_expressionEEE 0
_ZN24specification_basic_type17make_substitutionC2ERKSt3mapIN5mcrl27process18process_identifierES4_St4lessIS4_ESaISt4pairIKS4_S4_EEE 0
_ZN24specification_basic_type17renamecompositionERKN7atermpp9term_listIN5mcrl27process17rename_expressionEEERSt6vectorINS2_3lps25stochastic_action_summandESaISA_EE 0
_ZN24specification_basic_type23set_proc_identifier_mapERSt3mapIN5mcrl27process18process_identifierES3_St4lessIS3_ESaISt4pairIKS3_S3_EEERS7_SC_SC_ 0
_ZN24specification_basic_type30distributeActionOverConditionsERKN5mcrl27process18process_expressionERKNS0_4data15data_expressionES4_RKN7atermpp9term_listINS5_8variableEEERKSt3setISB_St4lessISB_ESaISB_EE 0
_ZN24specification_basic_type37variables_are_equal_to_default_valuesERKN7atermpp9term_listIN5mcrl24data8variableEEE 0
_ZN24specification_basic_type8get_lastERKN5mcrl27process18process_identifierERKSt3mapIS2_S2_St4lessIS2_ESaISt4pairIS3_S2_EEE 0
_ZNK24specification_basic_type17make_substitutionclERKN5mcrl27process18process_identifierE 0
_ZZN24specification_basic_type18sort_action_labelsERKN5mcrl27process20action_name_multisetEENUlRKN7atermpp12aterm_stringES8_E_4_FUNES8_S8_ 0
_ZZN24specification_basic_type24sort_multi_action_labelsERKN7atermpp9term_listIN5mcrl27process20action_name_multisetEEEENUlRKS4_E_4_FUNES9_ 0
_ZZN24specification_basic_type9get_sortsIN7atermpp9term_listIN5mcrl24data8variableEEEEENS2_INS4_15sort_expressionEEERKT_ENUlRKS5_E_4_FUNESD_ 0
_ZN24specification_basic_type24collect_sum_arg_arg_condERKNS_8enumtypeEmRKSt6vectorIN5mcrl23lps16deadlock_summandESaIS6_EERKN7atermpp9term_listINS4_4data8variableEEE 1
_ZN24specification_basic_type31enumerate_distribution_and_sumsERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RKNS3_15data_expressionERKNS2_7process18process_expressionE 1
_ZN24specification_basic_type41distribute_sum_over_a_stochastic_operatorERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RKNS3_15data_expressionERKNS2_7process18process_expressionE 1
_ZN24specification_basic_type8occursinERKN5mcrl24data8variableERKN7atermpp9term_listIS2_EE 11
_ZN24specification_basic_type12getargumentsERKN7atermpp9term_listIN5mcrl27process6actionEEE 18
_ZN24specification_basic_type15hidecompositionERKN7atermpp9term_listINS0_12aterm_stringEEERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS9_EE 18
_ZN24specification_basic_type13delta_at_zeroEv 31
_ZN24specification_basic_type18construct_renamingERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RS5_S8_b 32
_ZN24specification_basic_type11parscollectERKN5mcrl27process18process_expressionERS2_ 41
_ZN24specification_basic_type16make_binary_sumsEmRKN5mcrl24data15sort_expressionERNS1_15data_expressionERKN7atermpp9term_listINS1_8variableEEE 62
_ZN24specification_basic_type34define_equations_for_case_functionEmRKN5mcrl24data15function_symbolERKNS1_15sort_expressionE 63
_ZN24specification_basic_type20argscollect_regular2ERKN5mcrl27process18process_expressionERN7atermpp9term_listINS0_4data8variableEEE 86
_GLOBAL__sub_I_linearise.cpp 87
_Z41__static_initialization_and_destruction_0ii 87
_ZN24specification_basic_type24sort_multi_action_labelsERKN7atermpp9term_listIN5mcrl27process20action_name_multisetEEE 89
_ZN24specification_basic_type18filter_assignmentsERKN7atermpp9term_listIN5mcrl24data10assignmentEEERKNS1_INS3_8variableEEE 102
_ZZN24specification_basic_type6extendERKN5mcrl24data15data_expressionERKN7atermpp9term_listIS2_EEENKUlS4_E_clES4_ 106
_ZN24specification_basic_type24communicationcompositionERKN7atermpp9term_listIN5mcrl27process24communication_expressionEEERKNS1_INS3_20action_name_multisetEEEbbRSt6vectorINS2_3lps25stochastic_action_summandESaISE_EERSC_INSD_16deadlock_summandESaISI_EE 112
_ZN24specification_basic_type19alphaconvertprocessIN5mcrl24data25maintain_variables_in_rhsINS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEEEEvRN7atermpp9term_listIS6_EERT_RKNS1_7process18process_expressionE 168
_ZN24specification_basic_type30linMergeMultiActionListProcessERKN5mcrl27process18process_expressionES4_ 195
_ZN24specification_basic_type15pushdummy_stackERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS_13stacklisttypeES7_ 232
_ZN24specification_basic_type15stackoperationsC2ERKN7atermpp9term_listIN5mcrl24data8variableEEERS_ 232
_ZN24specification_basic_type15stackoperationsD2Ev 232
_ZN24specification_basic_type21declare_control_stateERKSt3setIN5mcrl27process18process_identifierESt4lessIS3_ESaIS3_EE 232
_ZN24specification_basic_type14distributeTimeERKN5mcrl27process18process_expressionERKNS0_4data15data_expressionERKN7atermpp9term_listINS5_8variableEEERS6_ 255
_ZN24specification_basic_type8wraptimeERKN5mcrl27process18process_expressionERKNS0_4data15data_expressionERKN7atermpp9term_listINS5_8variableEEE 267
_ZN24specification_basic_type30check_real_variable_occurrenceERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS3_15data_expressionESA_ 277
_ZN24specification_basic_type6extendERKN5mcrl24data15data_expressionERKN7atermpp9term_listIS2_EE 286
_ZN24specification_basic_type17extend_conditionsERKN5mcrl24data8variableERKN7atermpp9term_listINS1_15data_expressionEEE 291
_ZN24specification_basic_type5hide_ERKN7atermpp9term_listINS0_12aterm_stringEEERKNS1_IN5mcrl27process6actionEEE 299
_ZN24specification_basic_type13stacklisttype30find_suitable_stack_operationsERKN7atermpp9term_listIN5mcrl24data8variableEEEPNS_15stackoperationsE 306
_ZN24specification_basic_type26construct_binary_case_treeEmRKN7atermpp9term_listIN5mcrl24data8variableEEENS1_INS3_15data_expressionEEERKNS3_15sort_expressionERKNS_8enumtypeE 313
_ZN24specification_basic_type18dummyparameterlistERKNS_13stacklisttypeEb 328
_ZN24specification_basic_type19parallelcompositionERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERKS0_INS2_16deadlock_summandESaIS8_EERKN7atermpp9term_listINS1_4data8variableEEERKNSE_INSF_15data_expressionEEERKNS2_23stochastic_distributionERKNS2_6detail14ultimate_delayES7_SC_SJ_SN_SQ_SU_RKNSE_INS1_7process20action_name_multisetEEEbbRS5_RSA_RSH_RSL_RSO_RSS_ 342
_ZN24specification_basic_type21combine_summand_listsERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERKS0_INS2_16deadlock_summandESaIS8_EERKNS2_6detail14ultimate_delayES7_SC_SG_RKN7atermpp9term_listINS1_4data8variableEEESN_RKNSI_INS1_7process20action_name_multisetEEEbbRS5_RSA_ 342
_ZN24specification_basic_type23combine_ultimate_delaysERKN5mcrl23lps6detail14ultimate_delayES5_ 342
_ZN24specification_basic_type29calculate_communication_mergeERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERKS0_INS2_16deadlock_summandESaIS8_EES7_SC_RKN7atermpp9term_listINS1_7process20action_name_multisetEEEbbRS5_RSA_ 342
_ZN24specification_basic_type45calculate_communication_merge_action_summandsERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EES7_RKN7atermpp9term_listINS1_7process20action_name_multisetEEEbbRS5_ 342
_ZN24specification_basic_type47calculate_communication_merge_deadlock_summandsERKSt6vectorIN5mcrl23lps16deadlock_summandESaIS3_EES7_RKS0_INS2_25stochastic_action_summandESaIS8_EERS5_ 342
_ZN24specification_basic_type14enumeratedtypeC2EmRS_ 362
_ZN24specification_basic_type18pushdummyrec_stackERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RKNS_13stacklisttypeES7_ 376
_ZN24specification_basic_type13getparametersERKN5mcrl27process18process_expressionE 386
_ZN24specification_basic_type15makemultiactionERKN7atermpp9term_listIN5mcrl27process12action_labelEEERKNS1_INS2_4data15data_expressionEEE 386
_ZZN24specification_basic_type24sort_multi_action_labelsERKN7atermpp9term_listIN5mcrl27process20action_name_multisetEEEENKUlRKS4_E_clES9_ 398
_ZN24specification_basic_type19make_parameters_recERKN7atermpp9term_listIN5mcrl24data15data_expressionEEERSt3setINS3_8variableESt4lessIS9_ESaIS9_EE 410
_ZN24specification_basic_type10push_stackERKN5mcrl27process18process_identifierERKN7atermpp9term_listINS0_4data10assignmentEEERKNS6_INS7_15data_expressionEEERKNS_13stacklisttypeERKSt3setIS2_St4lessIS2_ESaIS2_EERKNS6_INS7_8variableEEEST_ 412
_ZN24specification_basic_type19make_procargs_stackERKN5mcrl27process18process_expressionERKNS_13stacklisttypeERKSt3setINS1_18process_identifierESt4lessIS9_ESaIS9_EERKN7atermpp9term_listINS0_4data8variableEEESM_ 412
_ZN24specification_basic_type14enumeratedtypeC2ERKS0_ 422
_ZN24specification_basic_type14getActionSortsERKN7atermpp9term_listIN5mcrl27process6actionEEE 422
_ZN24specification_basic_type24collect_sum_arg_arg_condERKNS_8enumtypeEmRKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS6_EERKN7atermpp9term_listINS4_4data8variableEEE 422
_ZN24specification_basic_type8enumtypeC2EmRKN7atermpp9term_listIN5mcrl24data15sort_expressionEEES8_RS_ 423
_ZN24specification_basic_type8enumtypeD2Ev 423
_ZN24specification_basic_type9get_sortsIN7atermpp9term_listIN5mcrl24data8variableEEEEENS2_INS4_15sort_expressionEEERKT_ 423
_ZN24specification_basic_type17getparameters_recERKN5mcrl27process18process_expressionERSt3setINS0_4data8variableESt4lessIS7_ESaIS7_EE 434
_ZN24specification_basic_type23adapt_termlist_to_stackIN7atermpp18term_list_iteratorIN5mcrl24data15data_expressionEEEEESt6vectorIS5_SaIS5_EET_RKSA_RKNS_13stacklisttypeERKNS1_9term_listINS4_8variableEEESK_ 446
_ZN24specification_basic_type14addMultiActionERKN5mcrl27process18process_expressionERb 467
_ZN24specification_basic_type6getvarERKN5mcrl24data8variableERKNS_13stacklisttypeE 510
_ZN24specification_basic_type8getnamesERKN5mcrl27process18process_expressionE 515
_ZN24specification_basic_type26adapt_multiaction_to_stackERKN7atermpp9term_listIN5mcrl27process6actionEEERKNS_13stacklisttypeERKNS1_INS2_4data8variableEEE 548
_ZN24specification_basic_type32makesingleultimatedelayconditionERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RKNS3_15data_expressionEbRKS4_SA_RS5_ 574
_ZN24specification_basic_type5find_ERKN5mcrl24data8variableERKN7atermpp9term_listINS1_10assignmentEEERKNS_13stacklisttypeERKNS6_IS2_EERKSt3setIS2_St4lessIS2_ESaIS2_EESG_ 580
_ZZN24specification_basic_type18sort_action_labelsERKN5mcrl27process20action_name_multisetEENKUlRKN7atermpp12aterm_stringES8_E_clES8_S8_ 591
_ZN24specification_basic_type28exists_variable_for_sequenceERKSt6vectorIN5mcrl27process27process_instance_assignmentESaIS3_EERNS2_18process_identifierE 653
_ZN24specification_basic_type21create_enumeratedtypeEm 655
_ZN24specification_basic_type14procstorealGNFERKN5mcrl27process18process_identifierEb 674
_ZN24specification_basic_type17procstovarheadGNFERKSt6vectorIN5mcrl27process18process_identifierESaIS3_EE 674
_ZN24specification_basic_type25SieveProcDataVarsSummandsERKSt3setIN5mcrl24data8variableESt4lessIS3_ESaIS3_EERKSt6vectorINS1_3lps25stochastic_action_summandESaISC_EERKSA_INSB_16deadlock_summandESaISH_EERKN7atermpp9term_listIS3_EE 674
_ZN24specification_basic_type28SieveProcDataVarsAssignmentsERKSt3setIN5mcrl24data8variableESt4lessIS3_ESaIS3_EERKN7atermpp9term_listINS2_15data_expressionEEE 674
_ZN24specification_basic_type31AddTerminationActionIfNecessaryERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EE 674
_ZN24specification_basic_type18sort_action_labelsERKN5mcrl27process20action_name_multisetE 682
_ZN24specification_basic_type20calculate_left_mergeERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERKS0_INS2_16deadlock_summandESaIS8_EERKNS2_6detail14ultimate_delayERKN7atermpp9term_listINS1_7process20action_name_multisetEEEbbRS5_RSA_ 684
_ZN24specification_basic_type27calculate_left_merge_actionERKN5mcrl23lps6detail14ultimate_delayERKSt6vectorINS1_25stochastic_action_summandESaIS7_EERKN7atermpp9term_listINS0_7process20action_name_multisetEEEbbRS9_ 684
_ZN24specification_basic_type29calculate_left_merge_deadlockERKN5mcrl23lps6detail14ultimate_delayERKSt6vectorINS1_16deadlock_summandESaIS7_EEbbRKS6_INS1_25stochastic_action_summandESaISC_EERS9_ 684
_ZN24specification_basic_type54calculate_communication_merge_action_deadlock_summandsERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERKS0_INS2_16deadlock_summandESaIS8_EES7_RSA_ 684
_ZN24specification_basic_type20collectPcrlProcessesERKN5mcrl27process18process_identifierERSt6vectorIS2_SaIS2_EE 686
_ZN24specification_basic_type36determinewhetherprocessescontaintimeERKN5mcrl27process18process_identifierE 686
_ZN24specification_basic_type37determinewhetherprocessescanterminateERKN5mcrl27process18process_identifierE 686
_ZN24specification_basic_type43splitmCRLandpCRLprocsAndAddTerminatedActionERKN5mcrl27process18process_identifierE 686
_ZN24specification_basic_type10storeprocsERKSt6vectorIN5mcrl27process16process_equationESaIS3_EE 692
_ZN24specification_basic_type27transform_process_argumentsERKN5mcrl27process18process_identifierE 692
_ZN24specification_basic_type42guarantee_that_parameters_have_unique_typeERKN5mcrl27process18process_identifierE 692
_ZN24specification_basic_type8storeactERKN7atermpp9term_listIN5mcrl27process12action_labelEEE 692
_ZN24specification_basic_type9storeinitERKN5mcrl27process18process_expressionE 692
_ZN24specification_basic_type9transformERKN5mcrl27process18process_identifierERSt6vectorINS0_3lps25stochastic_action_summandESaIS7_EERS5_INS6_16deadlock_summandESaISB_EERN7atermpp9term_listINS0_4data8variableEEERNSG_INSH_15data_expressionEEERNS6_23stochastic_distributionE 692
_ZN24specification_basic_typeC2ERKN7atermpp9term_listIN5mcrl27process12action_labelEEERKSt6vectorINS3_16process_equationESaIS9_EERKNS1_INS2_4data8variableEEERKNSE_18data_specificationERKSt3setISF_St4lessISF_ESaISF_EERKNS2_3lps13t_lin_optionsERKNS3_21process_specificationE 692
_ZN24specification_basic_typeD2Ev 692
_ZN5mcrl23lps9lineariseERKNS_7process21process_specificationENS0_13t_lin_optionsE 692
_ZN24specification_basic_type9all_equalIN5mcrl24data15data_expressionEEEbRKN7atermpp9term_listIT_EE 721
_ZN24specification_basic_type14distribute_sumERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS2_7process18process_expressionE 728
_ZN24specification_basic_type21allowblockcompositionERKN7atermpp9term_listIN5mcrl27process20action_name_multisetEEEbRSt6vectorINS2_3lps25stochastic_action_summandESaISA_EERS8_INS9_16deadlock_summandESaISE_EE 763
_ZN24specification_basic_type14enumeratedtypeD2Ev 784
_ZN24specification_basic_type34pushdummy_regular_data_expressionsERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS_13stacklisttypeE 784
_ZN24specification_basic_type40make_parameters_and_sum_variables_uniqueERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERN7atermpp9term_listINS1_4data8variableEEERNS2_6detail14ultimate_delayERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 881
_ZN24specification_basic_type22action_list_to_processERKN7atermpp9term_listIN5mcrl27process6actionEEE 896
_ZN24specification_basic_type15cluster_actionsERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKN7atermpp9term_listINS1_4data8variableEEE 900
_ZN24specification_basic_type13mergeoccursinERN5mcrl24data8variableERKN7atermpp9term_listIS2_EERS6_S9_RNS5_INS1_15data_expressionEEES8_ 918
_ZN24specification_basic_type13findargumentsERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RKNS1_INS3_10assignmentEEERKNS1_INS3_15data_expressionEEERKNS_13stacklisttypeES7_RKSt3setIS4_St4lessIS4_ESaIS4_EES7_ 992
_ZN24specification_basic_type30adapt_multiaction_to_stack_recERKN7atermpp9term_listIN5mcrl27process6actionEEERKNS_13stacklisttypeERKNS1_INS2_4data8variableEEE 994
_ZN24specification_basic_type13stacklisttypeC2ERKN7atermpp9term_listIN5mcrl24data8variableEEERS_bRKSt3setINS3_7process18process_identifierESt4lessISC_ESaISC_EEb 1016
_ZN24specification_basic_type13stacklisttypeD2Ev 1016
_ZN24specification_basic_type14collectsumlistERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKSt3setINS1_7process18process_identifierESt4lessISD_ESaISD_EERKN7atermpp9term_listINS1_4data8variableEEERKNS_13stacklisttypeEbb 1016
_ZN24specification_basic_type15generateLPEpCRLERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKNS1_7process18process_identifierEbbRN7atermpp9term_listINS1_4data8variableEEERNSG_INSH_15data_expressionEEERNS2_23stochastic_distributionE 1016
_ZN24specification_basic_type17make_initialstateERKN5mcrl27process18process_identifierERKNS_13stacklisttypeERKSt3setIS2_St4lessIS2_ESaIS2_EEbbRKNS0_3lps23stochastic_distributionE 1016
_ZN24specification_basic_type20collectparameterlistERKSt3setIN5mcrl27process18process_identifierESt4lessIS3_ESaIS3_EE 1016
_ZN24specification_basic_type25getUltimateDelayConditionERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERKS0_INS2_16deadlock_summandESaIS8_EERKN7atermpp9term_listINS1_4data8variableEEE 1016
_ZN24specification_basic_type28complete_proc_identifier_mapERSt3mapIN5mcrl27process18process_identifierES3_St4lessIS3_ESaISt4pairIKS3_S3_EEE 1016
_ZN24specification_basic_type38remove_stochastic_operators_from_frontERKSt3setIN5mcrl27process18process_identifierESt4lessIS3_ESaIS3_EERS3_RNS1_3lps23stochastic_distributionE 1016
_ZN24specification_basic_type45minimize_set_of_reachable_process_identifiersERKSt3setIN5mcrl27process18process_identifierESt4lessIS3_ESaIS3_EERKS3_ 1016
_ZZN24specification_basic_type9get_sortsIN7atermpp9term_listIN5mcrl24data8variableEEEEENS2_INS4_15sort_expressionEEERKT_ENKUlRKS5_E_clESD_ 1018
_ZN24specification_basic_type15processencodingEmRKN7atermpp9term_listIN5mcrl24data15data_expressionEEERKNS_13stacklisttypeE 1149
_ZN24specification_basic_type18find_case_functionEmRKN5mcrl24data15sort_expressionE 1190
_ZN24specification_basic_type19argscollect_regularERKN5mcrl27process18process_expressionERKN7atermpp9term_listINS0_4data8variableEEERKSt3setIS8_St4lessIS8_ESaIS8_EE 1250
_ZN24specification_basic_type29parameters_to_assignment_listERKN7atermpp9term_listIN5mcrl24data8variableEEERKSt3setIS4_St4lessIS4_ESaIS4_EE 1276
_ZN24specification_basic_type20distribute_conditionERKN5mcrl27process18process_expressionERKNS0_4data15data_expressionE 1392
_ZN24specification_basic_type19generateLPEmCRLtermERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKNS1_7process18process_expressionEbbRN7atermpp9term_listINS1_4data8variableEEERNSG_INSH_15data_expressionEEERNS2_23stochastic_distributionERNS2_6detail14ultimate_delayE 1479
_ZN24specification_basic_type10split_bodyERKN5mcrl27process18process_expressionERSt3mapINS1_18process_identifierES6_St4lessIS6_ESaISt4pairIKS6_S6_EEERS5_IS2_S2_S7_IS2_ESaIS9_IS3_S2_EEERKN7atermpp9term_listINS0_4data8variableEEE 1515
_ZN24specification_basic_type15generateLPEmCRLERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKNS1_7process18process_identifierEbRN7atermpp9term_listINS1_4data8variableEEERNSG_INSH_15data_expressionEEERNS2_23stochastic_distributionERNS2_6detail14ultimate_delayE 1585
_ZN24specification_basic_type30construct_binary_case_tree_recEmRKN7atermpp9term_listIN5mcrl24data8variableEEERNS1_INS3_15data_expressionEEERKNS3_15sort_expressionERKNS_8enumtypeE 1611
_ZN24specification_basic_type27find_free_variables_processERKN5mcrl27process18process_expressionE 1738
_ZN24specification_basic_type38create_case_function_on_enumeratedtypeERKN5mcrl24data15sort_expressionEm 1747
_ZN24specification_basic_type16sort_assignmentsERKN7atermpp9term_listIN5mcrl24data10assignmentEEERKNS1_INS3_8variableEEE 1796
_ZN24specification_basic_type14alreadypresentERN5mcrl24data8variableERKN7atermpp9term_listIS2_EE 1805
_ZN24specification_basic_type26filter_vars_by_multiactionERKN7atermpp9term_listIN5mcrl27process6actionEEERKSt3setINS2_4data8variableESt4lessISA_ESaISA_EERSE_ 1898
_ZN24specification_basic_type29filter_vars_by_assignmentlistERKN7atermpp9term_listIN5mcrl24data10assignmentEEERKNS1_INS3_8variableEEERKSt3setIS8_St4lessIS8_ESaIS8_EERSG_ 1898
_ZN24specification_basic_type5encapERKN7atermpp9term_listIN5mcrl27process20action_name_multisetEEERKNS1_INS3_6actionEEE 1898
_ZN24specification_basic_type33representative_generator_internalERKN5mcrl24data15sort_expressionEb 1954
_ZN24specification_basic_type57transform_process_instance_to_process_instance_assignmentERKN5mcrl27process16process_instanceERKSt3setINS0_4data8variableESt4lessIS7_ESaIS7_EE 2032
_ZN24specification_basic_type13split_processERKN5mcrl27process18process_identifierERSt3mapIS2_S2_St4lessIS2_ESaISt4pairIS3_S2_EEERS5_INS1_18process_expressionESD_S6_ISD_ESaIS8_IKSD_SD_EEE 2076
_ZN24specification_basic_type14match_sequenceERKSt6vectorIN5mcrl27process27process_instance_assignmentESaIS3_EES7_b 2109
_ZN24specification_basic_type12push_regularERKN5mcrl27process18process_identifierERKN7atermpp9term_listINS0_4data10assignmentEEERKNS_13stacklisttypeERKSt3setIS2_St4lessIS2_ESaIS2_EEbRKNS6_INS7_8variableEEE 2191
_ZN24specification_basic_type20find_dummy_argumentsERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS1_INS3_10assignmentEEERKSt3setIS4_St4lessIS4_ESaIS4_EES7_ 2191
_ZN24specification_basic_type21make_procargs_regularERKN5mcrl27process18process_expressionERKNS_13stacklisttypeERKSt3setINS1_18process_identifierESt4lessIS9_ESaIS9_EEbRKN7atermpp9term_listINS0_4data8variableEEE 2191
_ZN24specification_basic_type12insertActionERKN5mcrl27process12action_labelE 2230
_ZN24specification_basic_type16process_pid_pairC2ERKN5mcrl27process18process_expressionERKNS2_18process_identifierE 2310
_ZNK24specification_basic_type16process_pid_pair10process_idEv 2442
_ZN24specification_basic_type16getRHSassignmentERKN5mcrl24data8variableERKN7atermpp9term_listINS1_10assignmentEEE 2451
_ZN24specification_basic_type27transform_process_argumentsERKN5mcrl27process18process_identifierERSt3setIS2_St4lessIS2_ESaIS2_EE 2460
_ZN24specification_basic_type42guarantee_that_parameters_have_unique_typeERKN5mcrl27process18process_identifierERSt3setIS2_St4lessIS2_ESaIS2_EERS5_IN7atermpp12aterm_stringES6_ISC_ESaISC_EERNS0_4data25maintain_variables_in_rhsINSH_24mutable_map_substitutionISt3mapINSH_8variableENSH_15data_expressionES6_ISL_ESaISt4pairIKSL_SM_EEEEEEERS5_ISL_SN_SaISL_EE 2460
_ZN24specification_basic_type12addconditionERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS1_INS3_15data_expressionEEE 2502
_ZN24specification_basic_type23transform_matching_listERKN7atermpp9term_listIN5mcrl24data8variableEEE 2502
_ZN24specification_basic_type9merge_varERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RSt6vectorIS5_SaIS5_EERS8_INS1_INS3_15data_expressionEEESaISD_EERSD_S7_ 2502
_ZN24specification_basic_type13make_procargsERKN5mcrl27process18process_expressionERKNS_13stacklisttypeERKSt3setINS1_18process_identifierESt4lessIS9_ESaIS9_EERKN7atermpp9term_listINS0_4data8variableEEEbbSM_ 2567
_ZN24specification_basic_type16correctstatecondERKN5mcrl27process18process_identifierERKSt3setIS2_St4lessIS2_ESaIS2_EERKNS_13stacklisttypeEi 2596
_ZN24specification_basic_type18get_free_variablesER14objectdatatype 2603
_ZN24specification_basic_type16canterminate_recERKN5mcrl27process18process_identifierERbRSt3setIS2_St4lessIS2_ESaIS2_EE 2628
_ZN24specification_basic_type20collectPcrlProcessesERKN5mcrl27process18process_identifierERSt6vectorIS2_SaIS2_EERSt3setIS2_St4lessIS2_ES6_E 2865
_ZNK24specification_basic_type18is_global_variableERKN5mcrl24data15data_expressionE 2873
_ZN24specification_basic_type23adapt_termlist_to_stackIN7atermpp18term_appl_iteratorIN5mcrl24data15data_expressionEEEEESt6vectorIS5_SaIS5_EET_RKSA_RKNS_13stacklisttypeERKNS1_9term_listINS4_8variableEEESK_ 2944
_ZN24specification_basic_type14insert_summandERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKN7atermpp9term_listINS1_4data8variableEEERKNSD_15data_expressionERKNSC_INS1_7process6actionEEESK_RKNS2_23stochastic_distributionERKNSC_INSD_10assignmentEEEbb 3071
_ZN24specification_basic_type12add_summandsERKN5mcrl27process18process_identifierERSt6vectorINS0_3lps25stochastic_action_summandESaIS7_EERS5_INS6_16deadlock_summandESaISB_EENS1_18process_expressionERKSt3setIS2_St4lessIS2_ESaIS2_EERKNS_13stacklisttypeEbbRKN7atermpp9term_listINS0_4data8variableEEE 3077
_ZN24specification_basic_type10newprocessERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS2_7process18process_expressionE17processstatustypebb 3237
_ZN24specification_basic_type21searchProcDeclarationERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS2_7process18process_expressionE17processstatustypebbRNS8_18process_identifierE 3237
_ZN24specification_basic_type29parameters_that_occur_in_bodyERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS2_7process18process_expressionE 3294
_ZN24specification_basic_type16containstime_recERKN5mcrl27process18process_identifierEPbRSt3setIS2_St4lessIS2_ESaIS2_EERb 3381
_ZN24specification_basic_type25create_regular_invocationEN5mcrl27process18process_expressionERSt6vectorINS1_18process_identifierESaIS4_EERKN7atermpp9term_listINS0_4data8variableEEERKSt3setISB_St4lessISB_ESaISB_EE 3472
_ZN24specification_basic_type14to_action_listERKN5mcrl27process18process_expressionE 3524
_ZN24specification_basic_type15make_pCRL_procsERKN5mcrl27process18process_identifierERSt3setIS2_St4lessIS2_ESaIS2_EE 3619
_ZNK24specification_basic_type16process_pid_pair12process_bodyEv 3619
_ZN24specification_basic_type14joinparametersERKN7atermpp9term_listIN5mcrl24data8variableEEES7_ 3704
_ZN24specification_basic_type18collectsumlisttermERKN5mcrl27process18process_identifierERSt6vectorINS0_3lps25stochastic_action_summandESaIS7_EERS5_INS6_16deadlock_summandESaISB_EERKNS1_18process_expressionERKN7atermpp9term_listINS0_4data8variableEEERKNS_13stacklisttypeEbbRKSt3setIS2_St4lessIS2_ESaIS2_EE 3844
_ZN24specification_basic_type9putbehindERKN5mcrl27process18process_expressionES4_ 4012
_ZN24specification_basic_type13extract_namesERKN5mcrl27process18process_expressionERSt6vectorINS1_27process_instance_assignmentESaIS6_EE 4171
_ZN24specification_basic_type14RewriteProcessERKN5mcrl27process27process_instance_assignmentE 4171
_ZN24specification_basic_type19rewrite_assignmentsERKN7atermpp9term_listIN5mcrl24data10assignmentEEE 4171
_ZN24specification_basic_type24cut_off_unreachable_tailERKN5mcrl27process18process_expressionE 4171
_ZN24specification_basic_type24determine_process_statusERKN5mcrl27process18process_identifierE17processstatustype 4216
_ZN24specification_basic_type16process_pid_pairC2ERKS0_ 4620
_ZN24specification_basic_type15processencodingEmRKN7atermpp9term_listIN5mcrl24data10assignmentEEERKNS_13stacklisttypeE 4640
_ZN24specification_basic_type23filter_vars_by_termlistIN7atermpp18term_list_iteratorIN5mcrl24data15data_expressionEEEEEvT_RKS7_RKSt3setINS4_8variableESt4lessISB_ESaISB_EERSF_ 4685
_ZN24specification_basic_type18get_fresh_variableERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN5mcrl24data15sort_expressionEi 4743
_ZN24specification_basic_type16containstimebodyERKN5mcrl27process18process_expressionE 4803
_ZN24specification_basic_type13isDeltaAtZeroERKN5mcrl27process18process_expressionE 4878
_ZN24specification_basic_type11pCRLrewriteERKN5mcrl27process18process_expressionE 4882
_ZN24specification_basic_type22summandsCanBeClusteredERKN5mcrl23lps25stochastic_action_summandES4_ 5299
_ZN24specification_basic_type21make_unique_variablesERKN7atermpp9term_listIN5mcrl24data8variableEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 5395
_ZN24specification_basic_type26insert_process_declarationERKN5mcrl27process18process_identifierERKN7atermpp9term_listINS0_4data8variableEEERKNS1_18process_expressionE17processstatustypebb 5512
_ZN24specification_basic_type17procstorealGNFrecERKN5mcrl27process18process_identifierENS_16variablepositionERSt6vectorIS2_SaIS2_EEb 5963
_ZNK24specification_basic_type11objectIndexERKN7atermpp9term_applINS0_5atermEEE 6122
_ZN24specification_basic_type15to_regular_formERKN5mcrl27process18process_expressionERSt6vectorINS1_18process_identifierESaIS6_EERKN7atermpp9term_listINS0_4data8variableEEERKSt3setISD_St4lessISD_ESaISD_EE 6619
_ZNK24specification_basic_type16occursintermlistERKN5mcrl24data8variableERKN7atermpp9term_listINS1_10assignmentEEERKNS0_7process18process_identifierE 6694
_ZN24specification_basic_type16process_pid_pairD2Ev 6930
_ZN24specification_basic_type16canterminatebodyERKN5mcrl27process18process_expressionE 7002
_ZN24specification_basic_type15insertvariablesERKN7atermpp9term_listIN5mcrl24data8variableEEEb 7240
_ZN24specification_basic_type32obtain_initial_distribution_termERKN5mcrl27process18process_expressionE 7766
_ZN24specification_basic_type27find_free_variables_processERKN5mcrl27process18process_expressionERSt3setINS0_4data8variableESt4lessIS7_ESaIS7_EE 8444
_ZN24specification_basic_type38replace_variables_capture_avoiding_altIN7atermpp9term_listIN5mcrl24data15data_expressionEEENS4_25maintain_variables_in_rhsINS4_24mutable_map_substitutionISt3mapINS4_8variableES5_St4lessISA_ESaISt4pairIKSA_S5_EEEEEEEEET_RKSK_RT0_ 8803
_ZN24specification_basic_type19adapt_term_to_stackERKN5mcrl24data15data_expressionERKNS_13stacklisttypeERKN7atermpp9term_listINS1_8variableEEESD_ 8960
_ZN24specification_basic_type32transform_process_arguments_bodyERKN5mcrl27process18process_expressionERKSt3setINS0_4data8variableESt4lessIS7_ESaIS7_EERS5_INS1_18process_identifierES8_ISE_ESaISE_EE 9156
_ZN24specification_basic_type47guarantee_that_parameters_have_unique_type_bodyERKN5mcrl27process18process_expressionERSt3setINS1_18process_identifierESt4lessIS6_ESaIS6_EERS5_IN7atermpp12aterm_stringES7_ISD_ESaISD_EERNS0_4data25maintain_variables_in_rhsINSI_24mutable_map_substitutionISt3mapINSI_8variableENSI_15data_expressionES7_ISM_ESaISt4pairIKSM_SN_EEEEEEERS5_ISM_SO_SaISM_EE 9156
_ZN24specification_basic_type16bodytovarheadGNFERKN5mcrl27process18process_expressionENS_5stateERKN7atermpp9term_listINS0_4data8variableEEENS_16variablepositionERKSt3setIS9_St4lessIS9_ESaIS9_EE 9230
_ZN24specification_basic_type15make_pCRL_procsERKN5mcrl27process18process_expressionERSt3setINS1_18process_identifierESt4lessIS6_ESaIS6_EE 10090
_ZN24specification_basic_type25collectPcrlProcesses_termERKN5mcrl27process18process_expressionERSt6vectorINS1_18process_identifierESaIS6_EERSt3setIS6_St4lessIS6_ES7_E 10197
_ZN24specification_basic_type35transform_initial_distribution_termERKN5mcrl27process18process_expressionERKSt3mapINS1_18process_identifierENS_16process_pid_pairESt4lessIS6_ESaISt4pairIKS6_S7_EEE 10332
_ZN24specification_basic_type14insertvariableERKN5mcrl24data8variableEb 12024
_ZN24specification_basic_type39check_valid_process_instance_assignmentERKN5mcrl27process18process_identifierERKN7atermpp9term_listINS0_4data10assignmentEEE 12580
_ZN24specification_basic_type18procstorealGNFbodyERKN5mcrl27process18process_expressionENS_16variablepositionERSt6vectorINS1_18process_identifierESaIS7_EEb17processstatustypeRKN7atermpp9term_listINS0_4data8variableEEERKSt3setISF_St4lessISF_ESaISF_EE 12643
_ZNK24specification_basic_type16occursintermlistERKN5mcrl24data8variableERKN7atermpp9term_listINS1_15data_expressionEEE 13955
_ZN24specification_basic_type12alphaconvertIN5mcrl24data25maintain_variables_in_rhsINS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEEEEvRN7atermpp9term_listIS6_EERT_RKSJ_RKNSI_IS7_EE 15501
_ZN24specification_basic_type2xiERKN7atermpp9term_listIN5mcrl27process6actionEEES7_RNS_10comm_entryE 17091
_ZN24specification_basic_type9addStringERKN7atermpp12aterm_stringE 19766
_ZN14objectdatatypeaSERKS_ 20152
_ZN24specification_basic_type28determine_process_statustermERKN5mcrl27process18process_expressionE17processstatustype 20531
_ZN24specification_basic_type23filter_vars_by_termlistIN7atermpp18term_appl_iteratorIN5mcrl24data15data_expressionEEEEEvT_RKS7_RKSt3setINS4_8variableESt4lessISB_ESaISB_EERSF_ 21480
_ZN24specification_basic_type16containstimebodyERKN5mcrl27process18process_expressionEPbRSt3setINS1_18process_identifierESt4lessIS7_ESaIS7_EEbRb 24644
_ZN24specification_basic_type15can_communicateERKN7atermpp9term_listIN5mcrl27process6actionEEERNS_10comm_entryE 25152
_ZN24specification_basic_type19substitute_pCRLprocIN5mcrl24data25maintain_variables_in_rhsINS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEEEENS1_7process18process_expressionERKSI_RT_ 26618
_ZN24specification_basic_type16canterminatebodyERKN5mcrl27process18process_expressionERbRSt3setINS1_18process_identifierESt4lessIS7_ESaIS7_EEb 28018
_ZN24specification_basic_type16occursinpCRLtermERKN5mcrl24data8variableERKNS0_7process18process_expressionEb 29976
_ZN24specification_basic_type20real_times_optimizedERKN5mcrl24data15data_expressionES4_ 31452
_ZN24specification_basic_type23linMergeMultiActionListERKN7atermpp9term_listIN5mcrl27process6actionEEES7_ 31561
_ZN24specification_basic_type10comm_entryC2ERKN7atermpp9term_listIN5mcrl27process24communication_expressionEEE 32102
_ZN24specification_basic_type10comm_entryD2Ev 32102
_ZN24specification_basic_type28makeMultiActionConditionListERKN7atermpp9term_listIN5mcrl27process6actionEEERKNS1_INS3_24communication_expressionEEE 32102
_ZN14objectdatatypeC2Ev 36827
_ZN14objectdatatypeD2Ev 36827
_ZN24specification_basic_type6allow_ERKN7atermpp9term_listIN5mcrl27process20action_name_multisetEEERKNS1_INS3_6actionEEE 37290
_ZN24specification_basic_type21check_assignment_listERKN7atermpp9term_listIN5mcrl24data10assignmentEEERKNS1_INS3_8variableEEE 37736
_ZN24specification_basic_type25substitute_assignmentlistIN5mcrl24data25maintain_variables_in_rhsINS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEEEEN7atermpp9term_listINS2_10assignmentEEERKSK_RKNSI_IS6_EEbbRT_ 37736
_ZN24specification_basic_type8real_oneEv 39053
_ZN24specification_basic_type3psiERKN7atermpp9term_listIN5mcrl27process6actionEEERNS_10comm_entryE 39556
_ZN24specification_basic_type13pairwiseMatchERKN7atermpp9term_listIN5mcrl24data15data_expressionEEES7_ 39655
_ZN24specification_basic_type38replace_variables_capture_avoiding_altIN5mcrl24data15data_expressionENS2_25maintain_variables_in_rhsINS2_24mutable_map_substitutionISt3mapINS2_8variableES3_St4lessIS7_ESaISt4pairIKS7_S3_EEEEEEEEET_RKSH_RT0_ 50874
_ZN24specification_basic_type9real_zeroEv 62905
_ZN24specification_basic_type19filter_vars_by_termERKN5mcrl24data15data_expressionERKSt3setINS1_8variableESt4lessIS6_ESaIS6_EERSA_ 80299
_ZN24specification_basic_type26insert_timed_delta_summandERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS8_EERKS8_ 80636
_ZN24specification_basic_type11objectIndexERKN7atermpp9term_applINS0_5atermEEE 85530
_ZNK24specification_basic_type12occursintermERKN5mcrl24data8variableERKNS1_15data_expressionE 89632
_ZNK24specification_basic_type23detail_check_objectdataERKN7atermpp9term_applINS0_5atermEEE 91652
_ZN24specification_basic_type10tuple_listC2ERKS0_ 110993
_ZN24specification_basic_type18addActionConditionERKN5mcrl27process6actionERKNS0_4data15data_expressionERKNS_10tuple_listES9_ 130095
_ZN24specification_basic_type13actioncompareERKN5mcrl27process12action_labelES4_ 142542
_ZN24specification_basic_type3phiERKN7atermpp9term_listIN5mcrl27process6actionEEERKNS1_INS2_4data15data_expressionEEES7_S7_S7_bRNS_10comm_entryE 147823
_ZN24specification_basic_type32makeMultiActionConditionList_auxERKN7atermpp9term_listIN5mcrl27process6actionEEERNS_10comm_entryES7_b 151156
_ZN24specification_basic_type11RewriteTermERKN5mcrl24data15data_expressionE 159744
_ZN24specification_basic_type10tuple_listC2Ev 162197
_ZN24specification_basic_type10tuple_listC2EOS0_ 170258
_ZN24specification_basic_type32linInsertActionInMultiActionListERKN5mcrl27process6actionEN7atermpp9term_listIS2_EE 190034
_ZN24specification_basic_type17allowsingleactionERKN5mcrl27process20action_name_multisetERKN7atermpp9term_listINS1_6actionEEE 258256
_ZN24specification_basic_type17might_communicateERKN7atermpp9term_listIN5mcrl27process6actionEEERNS_10comm_entryES7_ 279598
_ZN24specification_basic_type10tuple_listD2Ev 443448
_ZN24specification_basic_type17implies_conditionERKN5mcrl24data15data_expressionES4_ 1944282
_ZNK24specification_basic_type10comm_entry4sizeEv 4115444

Generated by: LCOV version 1.13