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
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