LCOV - code coverage report
Current view: top level - lps/source - linearise.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4290 5202 82.5 %
Date: 2024-03-08 02:52:28 Functions: 240 252 95.2 %
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_type8get_lastERKN5mcrl27process18process_identifierERKSt3mapIS2_S2_St4lessIS2_ESaISt4pairIS3_S2_EEE 0
_ZNK24specification_basic_type17make_substitutionclERKN5mcrl27process18process_identifierE 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_type15hidecompositionERKN7atermpp9term_listINS0_12aterm_stringEEERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS9_EE 24
_ZN24specification_basic_type12getargumentsERKN7atermpp9term_listIN5mcrl27process6actionEEE 30
_ZN24specification_basic_type18construct_renamingERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RS5_S8_b 56
_ZN24specification_basic_type24sort_multi_action_labelsERKN7atermpp9term_listIN5mcrl27process20action_name_multisetEEE 66
_ZN24specification_basic_type11parscollectERKN5mcrl27process18process_expressionERS2_ 70
_ZN24specification_basic_type8occursinERKN5mcrl24data8variableERKN7atermpp9term_listIS2_EE 80
_ZN24specification_basic_type16make_binary_sumsEmRKN5mcrl24data15sort_expressionERNS1_15data_expressionERKN7atermpp9term_listINS1_8variableEEE 84
_ZN24specification_basic_type34define_equations_for_case_functionEmRKN5mcrl24data15function_symbolERKNS1_15sort_expressionE 102
_ZN24specification_basic_type18filter_assignmentsERKN7atermpp9term_listIN5mcrl24data10assignmentEEERKNS1_INS3_8variableEEE 109
_ZN24specification_basic_type19alphaconvertprocessIN5mcrl24data28mutable_indexed_substitutionINS2_8variableENS2_15data_expressionEEEEEvRN7atermpp9term_listIS4_EERT_RKNS1_7process18process_expressionE 109
_ZN24specification_basic_type24communicationcompositionERKN7atermpp9term_listIN5mcrl27process24communication_expressionEEERKNS1_INS3_20action_name_multisetEEEbbRSt6vectorINS2_3lps25stochastic_action_summandESaISE_EERSC_INSD_16deadlock_summandESaISI_EE 120
_ZN24specification_basic_type19alphaconvertprocessIN5mcrl24data25maintain_variables_in_rhsINS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEEEEvRN7atermpp9term_listIS6_EERT_RKNS1_7process18process_expressionE 124
_ZZN24specification_basic_type6extendERKN5mcrl24data15data_expressionERKN7atermpp9term_listIS2_EEENKUlS4_E_clES4_ 131
_ZN24specification_basic_type20argscollect_regular2ERKN5mcrl27process18process_expressionERN7atermpp9term_listINS0_4data8variableEEE 133
_ZZN24specification_basic_type24sort_multi_action_labelsERKN7atermpp9term_listIN5mcrl27process20action_name_multisetEEEENKUlRKS4_E_clES9_ 171
_ZN24specification_basic_type37variables_are_equal_to_default_valuesERKN7atermpp9term_listIN5mcrl24data8variableEEE 183
_ZN24specification_basic_type13getparametersERKN5mcrl27process18process_expressionE 225
_ZN24specification_basic_type15makemultiactionERKN7atermpp9term_listIN5mcrl27process12action_labelEEERKNS1_INS2_4data15data_expressionEEE 225
_ZN24specification_basic_type19make_parameters_recERKN7atermpp9term_listIN5mcrl24data15data_expressionEEERSt3setINS3_8variableESt4lessIS9_ESaIS9_EE 261
_ZN24specification_basic_type14distributeTimeERKN5mcrl27process18process_expressionERKNS0_4data15data_expressionERKN7atermpp9term_listINS5_8variableEEERS6_ 296
_ZN24specification_basic_type30check_real_variable_occurrenceERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS3_15data_expressionESA_ 296
_ZN24specification_basic_type17getparameters_recERKN5mcrl27process18process_expressionERSt3setINS0_4data8variableESt4lessIS7_ESaIS7_EE 297
_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_ 299
_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_ 299
_ZN24specification_basic_type23combine_ultimate_delaysERKN5mcrl23lps6detail14ultimate_delayES5_ 299
_ZN24specification_basic_type29calculate_communication_mergeERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERKS0_INS2_16deadlock_summandESaIS8_EES7_SC_RKN7atermpp9term_listINS1_7process20action_name_multisetEEEbbRS5_RSA_ 299
_ZN24specification_basic_type45calculate_communication_merge_action_summandsERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EES7_RKN7atermpp9term_listINS1_7process20action_name_multisetEEEbbRS5_ 299
_ZN24specification_basic_type47calculate_communication_merge_deadlock_summandsERKSt6vectorIN5mcrl23lps16deadlock_summandESaIS3_EES7_RKS0_INS2_25stochastic_action_summandESaIS8_EERS5_ 299
_ZN24specification_basic_type14addMultiActionERKN5mcrl27process18process_expressionERb 302
_ZN24specification_basic_type5hide_ERKN7atermpp9term_listINS0_12aterm_stringEEERKNS1_IN5mcrl27process6actionEEE 306
_ZN24specification_basic_type14getActionSortsERKN7atermpp9term_listIN5mcrl27process6actionEEE 307
_ZN24specification_basic_type24collect_sum_arg_arg_condERKNS_8enumtypeEmRKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS6_EERKN7atermpp9term_listINS4_4data8variableEEE 307
_ZN24specification_basic_type8enumtypeC2EmRKN7atermpp9term_listIN5mcrl24data15sort_expressionEEES8_RS_ 308
_ZN24specification_basic_type8enumtypeD2Ev 308
_ZN24specification_basic_type8wraptimeERKN5mcrl27process18process_expressionERKNS0_4data15data_expressionERKN7atermpp9term_listINS5_8variableEEE 308
_ZN24specification_basic_type9get_sortsIN7atermpp9term_listIN5mcrl24data8variableEEEEENS2_INS4_15sort_expressionEEERKT_ 308
_ZN24specification_basic_type30linMergeMultiActionListProcessERKN5mcrl27process18process_expressionES4_ 321
_ZN24specification_basic_type15pushdummy_stackERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS_13stacklisttypeES7_ 328
_ZN24specification_basic_type15stackoperationsC2ERKN7atermpp9term_listIN5mcrl24data8variableEEERS_ 328
_ZN24specification_basic_type15stackoperationsD2Ev 328
_ZN24specification_basic_type21declare_control_stateERKSt3setIN5mcrl27process18process_identifierESt4lessIS3_ESaIS3_EE 328
_ZN24specification_basic_type6extendERKN5mcrl24data15data_expressionERKN7atermpp9term_listIS2_EE 330
_ZN24specification_basic_type17extend_conditionsERKN5mcrl24data8variableERKN7atermpp9term_listINS1_15data_expressionEEE 335
_ZN24specification_basic_type18sort_action_labelsERKN5mcrl27process20action_name_multisetE 361
_ZN24specification_basic_type28exists_variable_for_sequenceERKSt6vectorIN5mcrl27process27process_instance_assignmentESaIS3_EERNS2_18process_identifierE 374
_ZN24specification_basic_type8getnamesERKN5mcrl27process18process_expressionE 374
_ZZN24specification_basic_type18sort_action_labelsERKN5mcrl27process20action_name_multisetEENKUlRKN7atermpp12aterm_stringES8_E_clES8_S8_ 397
_ZN24specification_basic_type18dummyparameterlistERKNS_13stacklisttypeEb 399
_ZN24specification_basic_type13stacklisttype30find_suitable_stack_operationsERKN7atermpp9term_listIN5mcrl24data8variableEEEPNS_15stackoperationsE 428
_ZN24specification_basic_type26construct_binary_case_treeEmRKN7atermpp9term_listIN5mcrl24data8variableEEENS1_INS3_15data_expressionEEERKNS3_15sort_expressionERKNS_8enumtypeE 432
_ZN24specification_basic_type9all_equalIN5mcrl24data15data_expressionEEEbRKN7atermpp9term_listIT_EE 447
_ZN24specification_basic_type14enumeratedtypeC2EmRS_ 458
_ZN24specification_basic_type18pushdummyrec_stackERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RKNS_13stacklisttypeES7_ 534
_ZN24specification_basic_type14enumeratedtypeC2ERKS0_ 541
_ZN24specification_basic_type10push_stackERKN5mcrl27process18process_identifierERKN7atermpp9term_listINS0_4data10assignmentEEERKNS6_INS7_15data_expressionEEERKNS_13stacklisttypeERKSt3setIS2_St4lessIS2_ESaIS2_EERKNS6_INS7_8variableEEEST_ 578
_ZN24specification_basic_type19make_procargs_stackERKN5mcrl27process18process_expressionERKNS_13stacklisttypeERKSt3setINS1_18process_identifierESt4lessIS9_ESaIS9_EERKN7atermpp9term_listINS0_4data8variableEEESM_ 578
_ZN24specification_basic_type14distribute_sumERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS2_7process18process_expressionE 587
_ZN24specification_basic_type20calculate_left_mergeERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERKS0_INS2_16deadlock_summandESaIS8_EERKNS2_6detail14ultimate_delayERKN7atermpp9term_listINS1_7process20action_name_multisetEEEbbRS5_RSA_ 598
_ZN24specification_basic_type27calculate_left_merge_actionERKN5mcrl23lps6detail14ultimate_delayERKSt6vectorINS1_25stochastic_action_summandESaIS7_EERKN7atermpp9term_listINS0_7process20action_name_multisetEEEbbRS9_ 598
_ZN24specification_basic_type29calculate_left_merge_deadlockERKN5mcrl23lps6detail14ultimate_delayERKSt6vectorINS1_16deadlock_summandESaIS7_EEbbRKS6_INS1_25stochastic_action_summandESaISC_EERS9_ 598
_ZN24specification_basic_type54calculate_communication_merge_action_deadlock_summandsERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERKS0_INS2_16deadlock_summandESaIS8_EES7_RSA_ 598
_ZZN24specification_basic_type9get_sortsIN7atermpp9term_listIN5mcrl24data8variableEEEEENS2_INS4_15sort_expressionEEERKT_ENKUlRKS5_E_clESD_ 610
_ZN24specification_basic_type21create_enumeratedtypeEm 636
_ZN24specification_basic_type23adapt_termlist_to_stackIN7atermpp18term_list_iteratorIN5mcrl24data15data_expressionEEEEESt6vectorIS5_SaIS5_EET_RKSA_RKNS_13stacklisttypeERKNS1_9term_listINS4_8variableEEESK_ 642
_ZN24specification_basic_type19argscollect_regularERKN5mcrl27process18process_expressionERKN7atermpp9term_listINS0_4data8variableEEERKSt3setIS8_St4lessIS8_ESaIS8_EE 662
_ZN24specification_basic_type32makesingleultimatedelayconditionERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RKNS3_15data_expressionEbRKS4_SA_RS5_ 676
_ZN24specification_basic_type5find_ERKN5mcrl24data8variableERKN7atermpp9term_listINS1_10assignmentEEERKNS_13stacklisttypeERKNS6_IS2_EERKSt3setIS2_St4lessIS2_ESaIS2_EESG_ 710
_ZN24specification_basic_type6getvarERKN5mcrl24data8variableERKNS_13stacklisttypeE 716
_ZN24specification_basic_type26adapt_multiaction_to_stackERKN7atermpp9term_listIN5mcrl27process6actionEEERKNS_13stacklisttypeERKNS1_INS2_4data8variableEEE 740
_ZN24specification_basic_type34pushdummy_regular_data_expressionsERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS_13stacklisttypeE 821
_ZN24specification_basic_type14procstorealGNFERKN5mcrl27process18process_identifierEb 850
_ZN24specification_basic_type17procstovarheadGNFERKSt6vectorIN5mcrl27process18process_identifierESaIS3_EE 850
_ZN24specification_basic_type25SieveProcDataVarsSummandsERKSt3setIN5mcrl24data8variableESt4lessIS3_ESaIS3_EERKSt6vectorINS1_3lps25stochastic_action_summandESaISC_EERKSA_INSB_16deadlock_summandESaISH_EERKN7atermpp9term_listIS3_EE 850
_ZN24specification_basic_type28SieveProcDataVarsAssignmentsERKSt3setIN5mcrl24data8variableESt4lessIS3_ESaIS3_EERKN7atermpp9term_listINS2_15data_expressionEEE 850
_ZN24specification_basic_type31AddTerminationActionIfNecessaryERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EE 850
_ZN24specification_basic_type20collectPcrlProcessesERKN5mcrl27process18process_identifierERSt6vectorIS2_SaIS2_EE 856
_ZN24specification_basic_type36determinewhetherprocessescontaintimeERKN5mcrl27process18process_identifierE 856
_ZN24specification_basic_type37determinewhetherprocessescanterminateERKN5mcrl27process18process_identifierE 856
_ZN24specification_basic_type43splitmCRLandpCRLprocsAndAddTerminatedActionERKN5mcrl27process18process_identifierE 856
_ZN24specification_basic_type42guarantee_that_parameters_have_unique_typeERKN5mcrl27process18process_identifierE 868
_ZN24specification_basic_type10storeprocsERKSt6vectorIN5mcrl27process16process_equationESaIS3_EE 874
_ZN24specification_basic_type27transform_process_argumentsERKN5mcrl27process18process_identifierE 874
_ZN24specification_basic_type8storeactERKN7atermpp9term_listIN5mcrl27process12action_labelEEE 874
_ZN24specification_basic_type9storeinitERKN5mcrl27process18process_expressionE 874
_ZN24specification_basic_type9transformERKN5mcrl27process18process_identifierERSt6vectorINS0_3lps25stochastic_action_summandESaIS7_EERS5_INS6_16deadlock_summandESaISB_EERN7atermpp9term_listINS0_4data8variableEEERNSG_INSH_15data_expressionEEERNS6_23stochastic_distributionE 874
_ZN24specification_basic_typeC2ERKN7atermpp9term_listIN5mcrl27process12action_labelEEERKSt6vectorINS3_16process_equationESaIS9_EERKNS1_INS2_4data8variableEEERKNSE_18data_specificationERKSt3setISF_St4lessISF_ESaISF_EERKNS2_3lps13t_lin_optionsERKNS3_21process_specificationE 874
_ZN24specification_basic_typeD2Ev 874
_ZN5mcrl23lps9lineariseERKNS_7process21process_specificationENS0_13t_lin_optionsE 874
_ZN24specification_basic_type14match_sequenceERKSt6vectorIN5mcrl27process27process_instance_assignmentESaIS3_EES7_b 885
_ZN24specification_basic_type18find_case_functionEmRKN5mcrl24data15sort_expressionE 907
_ZN24specification_basic_type21allowblockcompositionERKN7atermpp9term_listIN5mcrl27process20action_name_multisetEEEbRSt6vectorINS2_3lps25stochastic_action_summandESaISA_EERS8_INS9_16deadlock_summandESaISE_EE 916
_ZN24specification_basic_type40make_parameters_and_sum_variables_uniqueERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERN7atermpp9term_listINS1_4data8variableEEERNS2_6detail14ultimate_delayERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 969
_ZN24specification_basic_type13mergeoccursinERN5mcrl24data8variableERKN7atermpp9term_listIS2_EERS6_S9_RNS5_INS1_15data_expressionEEES8_ 973
_ZN24specification_basic_type15cluster_actionsERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKN7atermpp9term_listINS1_4data8variableEEE 985
_ZN24specification_basic_type14enumeratedtypeD2Ev 999
_ZN24specification_basic_type22action_list_to_processERKN7atermpp9term_listIN5mcrl27process6actionEEE 1071
_ZN24specification_basic_type29parameters_to_assignment_listERKN7atermpp9term_listIN5mcrl24data8variableEEERKSt3setIS4_St4lessIS4_ESaIS4_EE 1074
_ZN24specification_basic_type38create_case_function_on_enumeratedtypeERKN5mcrl24data15sort_expressionEm 1140
_ZN24specification_basic_type13stacklisttypeC2ERKN7atermpp9term_listIN5mcrl24data8variableEEERS_bRKSt3setINS3_7process18process_identifierESt4lessISC_ESaISC_EEb 1149
_ZN24specification_basic_type13stacklisttypeD2Ev 1149
_ZN24specification_basic_type14collectsumlistERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKSt3setINS1_7process18process_identifierESt4lessISD_ESaISD_EERKN7atermpp9term_listINS1_4data8variableEEERKNS_13stacklisttypeEbb 1149
_ZN24specification_basic_type15generateLPEpCRLERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKNS1_7process18process_identifierEbbRN7atermpp9term_listINS1_4data8variableEEERNSG_INSH_15data_expressionEEERNS2_23stochastic_distributionE 1149
_ZN24specification_basic_type17make_initialstateERKN5mcrl27process18process_identifierERKNS_13stacklisttypeERKSt3setIS2_St4lessIS2_ESaIS2_EEbbRKNS0_3lps23stochastic_distributionE 1149
_ZN24specification_basic_type20collectparameterlistERKSt3setIN5mcrl27process18process_identifierESt4lessIS3_ESaIS3_EE 1149
_ZN24specification_basic_type25getUltimateDelayConditionERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERKS0_INS2_16deadlock_summandESaIS8_EERKN7atermpp9term_listINS1_4data8variableEEE 1149
_ZN24specification_basic_type28complete_proc_identifier_mapERSt3mapIN5mcrl27process18process_identifierES3_St4lessIS3_ESaISt4pairIKS3_S3_EEE 1149
_ZN24specification_basic_type38remove_stochastic_operators_from_frontERKSt3setIN5mcrl27process18process_identifierESt4lessIS3_ESaIS3_EERS3_RNS1_3lps23stochastic_distributionE 1149
_ZN24specification_basic_type45minimize_set_of_reachable_process_identifiersERKSt3setIN5mcrl27process18process_identifierESt4lessIS3_ESaIS3_EERKS3_ 1149
_ZN24specification_basic_type14alreadypresentERN5mcrl24data8variableERKN7atermpp9term_listIS2_EE 1189
_ZN24specification_basic_type13findargumentsERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RKNS1_INS3_10assignmentEEERKNS1_INS3_15data_expressionEEERKNS_13stacklisttypeES7_RKSt3setIS4_St4lessIS4_ESaIS4_EES7_ 1288
_ZN24specification_basic_type15processencodingEmRKN7atermpp9term_listIN5mcrl24data15data_expressionEEERKNS_13stacklisttypeE 1357
_ZN24specification_basic_type30adapt_multiaction_to_stack_recERKN7atermpp9term_listIN5mcrl27process6actionEEERKNS_13stacklisttypeERKNS1_INS2_4data8variableEEE 1382
_ZN24specification_basic_type20distribute_conditionERKN5mcrl27process18process_expressionERKNS0_4data15data_expressionE 1431
_ZN24specification_basic_type19generateLPEmCRLtermERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKNS1_7process18process_expressionEbbRN7atermpp9term_listINS1_4data8variableEEERNSG_INSH_15data_expressionEEERNS2_23stochastic_distributionERNS2_6detail14ultimate_delayE 1514
_ZN24specification_basic_type10split_bodyERKN5mcrl27process18process_expressionERSt3mapINS1_18process_identifierES6_St4lessIS6_ESaISt4pairIKS6_S6_EEERS5_IS2_S2_S7_IS2_ESaIS9_IS3_S2_EEERKN7atermpp9term_listINS0_4data8variableEEE 1538
_ZN24specification_basic_type27find_free_variables_processERKN5mcrl27process18process_expressionE 1576
_ZN24specification_basic_type16sort_assignmentsERKN7atermpp9term_listIN5mcrl24data10assignmentEEERKNS1_INS3_8variableEEE 1672
_ZN24specification_basic_type16getRHSassignmentERKN5mcrl24data8variableERKN7atermpp9term_listINS1_10assignmentEEE 1686
_ZN24specification_basic_type33representative_generator_internalERKN5mcrl24data15sort_expressionEb 1694
_ZZN24specification_basic_type38create_case_function_on_enumeratedtypeERKN5mcrl24data15sort_expressionEmENKUlRKNS1_15function_symbolEE_clES7_ 1696
_ZN24specification_basic_type12push_regularERKN5mcrl27process18process_identifierERKN7atermpp9term_listINS0_4data10assignmentEEERKNS_13stacklisttypeERKSt3setIS2_St4lessIS2_ESaIS2_EEbRKNS6_INS7_8variableEEE 1708
_ZN24specification_basic_type20find_dummy_argumentsERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS1_INS3_10assignmentEEERKSt3setIS4_St4lessIS4_ESaIS4_EES7_ 1708
_ZN24specification_basic_type21make_procargs_regularERKN5mcrl27process18process_expressionERKNS_13stacklisttypeERKSt3setINS1_18process_identifierESt4lessIS9_ESaIS9_EEbRKN7atermpp9term_listINS0_4data8variableEEE 1708
_ZN24specification_basic_type34expand_process_instance_assignmentERKN5mcrl27process27process_instance_assignmentE 1738
_ZN24specification_basic_type34expand_process_instance_assignmentERKN5mcrl27process27process_instance_assignmentERSt3setINS1_18process_identifierESt4lessIS6_ESaIS6_EE 1756
_ZN24specification_basic_type15generateLPEmCRLERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKNS1_7process18process_identifierEbRN7atermpp9term_listINS1_4data8variableEEERNSG_INSH_15data_expressionEEERNS2_23stochastic_distributionERNS2_6detail14ultimate_delayE 1855
_ZN24specification_basic_type12insertActionERKN5mcrl27process12action_labelE 1874
_ZN24specification_basic_type57transform_process_instance_to_process_instance_assignmentERKN5mcrl27process16process_instanceERKSt3setINS0_4data8variableESt4lessIS7_ESaIS7_EE 1921
_ZN24specification_basic_type26filter_vars_by_multiactionERKN7atermpp9term_listIN5mcrl27process6actionEEERKSt3setINS2_4data8variableESt4lessISA_ESaISA_EERSE_ 1966
_ZN24specification_basic_type29filter_vars_by_assignmentlistERKN7atermpp9term_listIN5mcrl24data10assignmentEEERKNS1_INS3_8variableEEERKSt3setIS8_St4lessIS8_ESaIS8_EERSG_ 1966
_ZN24specification_basic_type5encapERKN7atermpp9term_listIN5mcrl27process20action_name_multisetEEERKNS1_INS3_6actionEEE 1966
_ZN24specification_basic_type13make_procargsERKN5mcrl27process18process_expressionERKNS_13stacklisttypeERKSt3setINS1_18process_identifierESt4lessIS9_ESaIS9_EERKN7atermpp9term_listINS0_4data8variableEEEbbSM_ 2224
_ZN24specification_basic_type12addconditionERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS1_INS3_15data_expressionEEE 2246
_ZN24specification_basic_type23transform_matching_listERKN7atermpp9term_listIN5mcrl24data8variableEEE 2246
_ZN24specification_basic_type9merge_varERKN7atermpp9term_listIN5mcrl24data8variableEEES7_RSt6vectorIS5_SaIS5_EERS8_INS1_INS3_15data_expressionEEESaISD_EERSD_S7_ 2246
_ZNK24specification_basic_type18is_global_variableERKN5mcrl24data15data_expressionE 2257
_ZN24specification_basic_type30construct_binary_case_tree_recEmRKN7atermpp9term_listIN5mcrl24data8variableEEERNS1_INS3_15data_expressionEEERKNS3_15sort_expressionERKNS_8enumtypeE 2279
_ZN24specification_basic_type16process_pid_pairC2ERKN5mcrl27process18process_expressionERKNS2_18process_identifierE 2284
_ZN24specification_basic_type18get_free_variablesER14objectdatatype 2286
_ZN24specification_basic_type13split_processERKN5mcrl27process18process_identifierERSt3mapIS2_S2_St4lessIS2_ESaISt4pairIS3_S2_EEERS5_INS1_18process_expressionESD_S6_ISD_ESaIS8_IKSD_SD_EEE 2290
_ZN24specification_basic_type16correctstatecondERKN5mcrl27process18process_identifierERKSt3setIS2_St4lessIS2_ESaIS2_EERKNS_13stacklisttypeEi 2324
_ZNK24specification_basic_type16process_pid_pair10process_idEv 2443
_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 2582
_ZN24specification_basic_type27transform_process_argumentsERKN5mcrl27process18process_identifierERSt3setIS2_St4lessIS2_ESaIS2_EE 2612
_ZN24specification_basic_type25create_regular_invocationEN5mcrl27process18process_expressionERSt6vectorINS1_18process_identifierESaIS4_EERKN7atermpp9term_listINS0_4data8variableEEERKSt3setISB_St4lessISB_ESaISB_EE 2747
_ZN24specification_basic_type16canterminate_recERKN5mcrl27process18process_identifierERbRSt3setIS2_St4lessIS2_ESaIS2_EE 2764
_ZN24specification_basic_type14insert_summandERSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS7_EERKN7atermpp9term_listINS1_4data8variableEEERKNSD_15data_expressionERKNSC_INS1_7process6actionEEESK_RKNS2_23stochastic_distributionERKNSC_INSD_10assignmentEEEbb 2847
_ZN24specification_basic_type12add_summandsERKN5mcrl27process18process_identifierERSt6vectorINS0_3lps25stochastic_action_summandESaIS7_EERS5_INS6_16deadlock_summandESaISB_EENS1_18process_expressionERKSt3setIS2_St4lessIS2_ESaIS2_EERKNS_13stacklisttypeEbbRKN7atermpp9term_listINS0_4data8variableEEE 2848
_ZN24specification_basic_type20collectPcrlProcessesERKN5mcrl27process18process_identifierERSt6vectorIS2_SaIS2_EERSt3setIS2_St4lessIS2_ES6_E 3067
_ZN24specification_basic_type13extract_namesERKN5mcrl27process18process_expressionERSt6vectorINS1_27process_instance_assignmentESaIS6_EE 3129
_ZN24specification_basic_type14RewriteProcessERKN5mcrl27process27process_instance_assignmentE 3129
_ZN24specification_basic_type19rewrite_assignmentsERKN7atermpp9term_listIN5mcrl24data10assignmentEEE 3129
_ZN24specification_basic_type24cut_off_unreachable_tailERKN5mcrl27process18process_expressionE 3129
_ZN24specification_basic_type9putbehindERKN5mcrl27process18process_expressionES4_ 3137
_ZN24specification_basic_type10newprocessERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS2_7process18process_expressionE17processstatustypebb 3171
_ZN24specification_basic_type21searchProcDeclarationERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS2_7process18process_expressionE17processstatustypebbRNS8_18process_identifierE 3171
_ZN24specification_basic_type29parameters_that_occur_in_bodyERKN7atermpp9term_listIN5mcrl24data8variableEEERKNS2_7process18process_expressionE 3229
_ZN24specification_basic_type14joinparametersERKN7atermpp9term_listIN5mcrl24data8variableEEES7_ 3248
_ZN24specification_basic_type18collectsumlisttermERKN5mcrl27process18process_identifierERSt6vectorINS0_3lps25stochastic_action_summandESaIS7_EERS5_INS6_16deadlock_summandESaISB_EERKNS1_18process_expressionERKN7atermpp9term_listINS0_4data8variableEEERKNS_13stacklisttypeEbbRKSt3setIS2_St4lessIS2_ESaIS2_EE 3412
_ZN24specification_basic_type15make_pCRL_procsERKN5mcrl27process18process_identifierERSt3setIS2_St4lessIS2_ESaIS2_EE 3435
_ZNK24specification_basic_type16process_pid_pair12process_bodyEv 3435
_ZN24specification_basic_type22summandsCanBeClusteredERKN5mcrl23lps25stochastic_action_summandES4_ 3497
_ZN24specification_basic_type11pCRLrewriteERKN5mcrl27process18process_expressionE 3531
_ZN24specification_basic_type16containstime_recERKN5mcrl27process18process_identifierEPbRSt3setIS2_St4lessIS2_ESaIS2_EERb 3663
_ZN24specification_basic_type14to_action_listERKN5mcrl27process18process_expressionE 3854
_ZN24specification_basic_type15processencodingEmRKN7atermpp9term_listIN5mcrl24data10assignmentEEERKNS_13stacklisttypeE 3908
_ZN24specification_basic_type24determine_process_statusERKN5mcrl27process18process_identifierE17processstatustype 4228
_ZN24specification_basic_type13isDeltaAtZeroERKN5mcrl27process18process_expressionE 4301
_ZN24specification_basic_type16containstimebodyERKN5mcrl27process18process_expressionE 4488
_ZN24specification_basic_type18get_fresh_variableERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN5mcrl24data15sort_expressionEi 4542
_ZN24specification_basic_type16process_pid_pairC2EOS0_ 4568
_ZN24specification_basic_type21make_unique_variablesERKN7atermpp9term_listIN5mcrl24data8variableEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 4927
_ZN24specification_basic_type15to_regular_formERKN5mcrl27process18process_expressionERSt6vectorINS1_18process_identifierESaIS6_EERKN7atermpp9term_listINS0_4data8variableEEERKSt3setISD_St4lessISD_ESaISD_EE 5116
_ZN24specification_basic_type23filter_vars_by_termlistIN7atermpp18term_list_iteratorIN5mcrl24data15data_expressionEEEEEvT_RKS7_RKSt3setINS4_8variableESt4lessISB_ESaISB_EERSF_ 5127
_ZN24specification_basic_type17procstorealGNFrecERKN5mcrl27process18process_identifierENS_16variablepositionERSt6vectorIS2_SaIS2_EEb 5240
_ZN24specification_basic_type26insert_process_declarationERKN5mcrl27process18process_identifierERKN7atermpp9term_listINS0_4data8variableEEERKNS1_18process_expressionE17processstatustypebb 5861
_ZNK24specification_basic_type11objectIndexERKN7atermpp9term_applINS0_5atermEEE 5882
_ZN24specification_basic_type2xiERKN7atermpp9term_listIN5mcrl27process6actionEEES7_RNS_10comm_entryE 6005
_ZNK24specification_basic_type16occursintermlistERKN5mcrl24data8variableERKN7atermpp9term_listINS1_10assignmentEEERKNS0_7process18process_identifierE 6166
_ZN24specification_basic_type16canterminatebodyERKN5mcrl27process18process_expressionE 6457
_ZN24specification_basic_type27find_free_variables_processERKN5mcrl27process18process_expressionERSt3setINS0_4data8variableESt4lessIS7_ESaIS7_EE 6955
_ZN24specification_basic_type32obtain_initial_distribution_termERKN5mcrl27process18process_expressionE 6961
_ZN24specification_basic_type15insertvariablesERKN7atermpp9term_listIN5mcrl24data8variableEEEb 7314
_ZN24specification_basic_type38replace_variables_capture_avoiding_altIN7atermpp9term_listIN5mcrl24data15data_expressionEEENS4_25maintain_variables_in_rhsINS4_24mutable_map_substitutionISt3mapINS4_8variableES5_St4lessISA_ESaISt4pairIKSA_S5_EEEEEEEEET_RKSK_RT0_ 8010
_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 8546
_ZN24specification_basic_type32transform_process_arguments_bodyERKN5mcrl27process18process_expressionERKSt3setINS0_4data8variableESt4lessIS7_ESaIS7_EERS5_INS1_18process_identifierES8_ISE_ESaISE_EE 8570
_ZN24specification_basic_type16bodytovarheadGNFERKN5mcrl27process18process_expressionENS_5stateERKN7atermpp9term_listINS0_4data8variableEEENS_16variablepositionERKSt3setIS9_St4lessIS9_ESaIS9_EE 8704
_ZN24specification_basic_type13delta_at_zeroEv 8741
_ZN24specification_basic_type15can_communicateERKN7atermpp9term_listIN5mcrl27process6actionEEERNS_10comm_entryE 8850
_ZN24specification_basic_type15make_pCRL_procsERKN5mcrl27process18process_expressionERSt3setINS1_18process_identifierESt4lessIS6_ESaIS6_EE 8995
_ZN24specification_basic_type35transform_initial_distribution_termERKN5mcrl27process18process_expressionERKSt3mapINS1_18process_identifierENS_16process_pid_pairESt4lessIS6_ESaISt4pairIKS6_S7_EEE 9227
_ZN24specification_basic_type12alphaconvertIN5mcrl24data25maintain_variables_in_rhsINS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEEEEvRN7atermpp9term_listIS6_EERT_RKSJ_RKNSI_IS7_EE 9719
_ZN24specification_basic_type25collectPcrlProcesses_termERKN5mcrl27process18process_expressionERSt6vectorINS1_18process_identifierESaIS6_EERSt3setIS6_St4lessIS6_ES7_E 9801
_ZN24specification_basic_type14insertvariableERKN5mcrl24data8variableEb 10221
_ZN24specification_basic_type20real_times_optimizedERKN5mcrl24data15data_expressionES4_ 10887
_ZN24specification_basic_type10comm_entryC2ERKN7atermpp9term_listIN5mcrl27process24communication_expressionEEE 11030
_ZN24specification_basic_type10comm_entryD2Ev 11030
_ZN24specification_basic_type28makeMultiActionConditionListERKN7atermpp9term_listIN5mcrl27process6actionEEERKNS1_INS3_24communication_expressionEEE 11030
_ZN24specification_basic_type23linMergeMultiActionListERKN7atermpp9term_listIN5mcrl27process6actionEEES7_ 11118
_ZN24specification_basic_type18procstorealGNFbodyERKN5mcrl27process18process_expressionENS_16variablepositionERSt6vectorINS1_18process_identifierESaIS7_EEb17processstatustypeRKN7atermpp9term_listINS0_4data8variableEEERKSt3setISF_St4lessISF_ESaISF_EE 11197
_ZN24specification_basic_type39check_valid_process_instance_assignmentERKN5mcrl27process18process_identifierERKN7atermpp9term_listINS0_4data10assignmentEEE 11720
_ZN24specification_basic_type6allow_ERKN7atermpp9term_listIN5mcrl27process20action_name_multisetEEERKNS1_INS3_6actionEEE 12622
_ZNK24specification_basic_type16occursintermlistERKN5mcrl24data8variableERKN7atermpp9term_listINS1_15data_expressionEEE 13256
_ZN24specification_basic_type3psiERKN7atermpp9term_listIN5mcrl27process6actionEEERNS_10comm_entryE 13612
_ZN24specification_basic_type13pairwiseMatchERKN7atermpp9term_listIN5mcrl24data15data_expressionEEES7_ 13697
_ZN24specification_basic_type23adapt_termlist_to_stackIN7atermpp18term_appl_iteratorIN5mcrl24data15data_expressionEEEEESt6vectorIS5_SaIS5_EET_RKSA_RKNS_13stacklisttypeERKNS1_9term_listINS4_8variableEEESK_ 15016
_ZN24specification_basic_type9addStringERKN7atermpp12aterm_stringE 17956
_ZN14objectdatatypeaSERKS_ 18181
_ZN24specification_basic_type8real_oneEv 18229
_ZN24specification_basic_type28determine_process_statustermERKN5mcrl27process18process_expressionE17processstatustype 18250
_ZN24specification_basic_type23filter_vars_by_termlistIN7atermpp18term_appl_iteratorIN5mcrl24data15data_expressionEEEEEvT_RKS7_RKSt3setINS4_8variableESt4lessISB_ESaISB_EERSF_ 21852
_ZN24specification_basic_type9real_zeroEv 21962
_ZN24specification_basic_type16containstimebodyERKN5mcrl27process18process_expressionEPbRSt3setINS1_18process_identifierESt4lessIS7_ESaIS7_EEbRb 22591
_ZN24specification_basic_type19substitute_pCRLprocIN5mcrl24data25maintain_variables_in_rhsINS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEEEENS1_7process18process_expressionERKSI_RT_ 24899
_ZN24specification_basic_type16canterminatebodyERKN5mcrl27process18process_expressionERbRSt3setINS1_18process_identifierESt4lessIS7_ESaIS7_EEb 26102
_ZN24specification_basic_type16occursinpCRLtermERKN5mcrl24data8variableERKNS0_7process18process_expressionEb 27976
_ZN24specification_basic_type21check_assignment_listERKN7atermpp9term_listIN5mcrl24data10assignmentEEERKNS1_INS3_8variableEEE 29046
_ZN24specification_basic_type25substitute_assignmentlistIN5mcrl24data25maintain_variables_in_rhsINS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS6_ESaISt4pairIKS6_S7_EEEEEEEEEN7atermpp9term_listINS2_10assignmentEEERKSK_RKNSI_IS6_EEbbRT_ 29046
_ZN24specification_basic_type26insert_timed_delta_summandERKSt6vectorIN5mcrl23lps25stochastic_action_summandESaIS3_EERS0_INS2_16deadlock_summandESaIS8_EERKS8_ 29945
_ZN14objectdatatypeC2Ev 34021
_ZN14objectdatatypeD2Ev 34021
_ZN24specification_basic_type38replace_variables_capture_avoiding_altIN5mcrl24data15data_expressionENS2_25maintain_variables_in_rhsINS2_24mutable_map_substitutionISt3mapINS2_8variableES3_St4lessIS7_ESaISt4pairIKS7_S3_EEEEEEEEET_RKSH_RT0_ 42063
_ZN24specification_basic_type19adapt_term_to_stackERKN5mcrl24data15data_expressionERKNS_13stacklisttypeERKN7atermpp9term_listINS1_8variableEEESD_ 42376
_ZN24specification_basic_type18addActionConditionERKN5mcrl27process6actionERKNS0_4data15data_expressionERKNS_10tuple_listES9_ 44653
_ZNK24specification_basic_type12occursintermERKN5mcrl24data8variableERKNS1_15data_expressionE 47307
_ZN24specification_basic_type13actioncompareERKN5mcrl27process12action_labelES4_ 49455
_ZN24specification_basic_type3phiERKN7atermpp9term_listIN5mcrl27process6actionEEERKNS1_INS2_4data15data_expressionEEES7_S7_S7_bRNS_10comm_entryE 50697
_ZN24specification_basic_type32makeMultiActionConditionList_auxERKN7atermpp9term_listIN5mcrl27process6actionEEERNS_10comm_entryES7_b 51716
_ZN24specification_basic_type11RewriteTermERKN5mcrl24data15data_expressionE 62871
_ZN24specification_basic_type32linInsertActionInMultiActionListERKN5mcrl27process6actionEN7atermpp9term_listIS2_EE 66040
_ZN24specification_basic_type19filter_vars_by_termERKN5mcrl24data15data_expressionERKSt3setINS1_8variableESt4lessIS6_ESaIS6_EERSA_ 76498
_ZN24specification_basic_type11objectIndexERKN7atermpp9term_applINS0_5atermEEE 82299
_ZN24specification_basic_type17allowsingleactionERKN5mcrl27process20action_name_multisetERKN7atermpp9term_listINS1_6actionEEE 86328
_ZNK24specification_basic_type23detail_check_objectdataERKN7atermpp9term_applINS0_5atermEEE 88181
_ZN24specification_basic_type17might_communicateERKN7atermpp9term_listIN5mcrl27process6actionEEERNS_10comm_entryES7_ 95832
_ZN24specification_basic_type17implies_conditionERKN5mcrl24data15data_expressionES4_ 699539
_ZNK24specification_basic_type10comm_entry4sizeEv 1399684

Generated by: LCOV version 1.14