LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - forall.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 13 15 86.7 % Date: 2024-05-01 03:37:31 Functions: 10 70 14.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderE30replace_free_variables_builderINS0_23data_expression_builderENS0_25add_data_variable_bindingE5substEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail26enumerator_replace_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSD_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SF_EEEEEEEE5applyISF_EEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS4_NS0_15data_expressionEEEEEE5applyISE_EEvRT_RKNS0_6forallEEUlRSE_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKNS3_INS0_10assignmentEEEEUlRKS4_E_EEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSQ_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_15data_expressionEEEvRT_RKSH_EUlRKS4_E_EEE5applyISH_EEvSJ_RKNS0_6forallEEUlRSH_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINSD_13state_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS4_E_EEE5applyISK_EEvSJ_RKNS0_6forallEEUlRSK_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS4_E_EEE5applyISL_EEvSK_RKNS0_6forallEEUlRSL_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingEZNS_14state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_15data_expressionEEUlRKS4_E_EEE5applyISL_EEvSK_RKNS0_6forallEEUlRSL_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSB_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SG_EEEEEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSB_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSB_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS4_NS0_15data_expressionEEEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSB_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS4_NS0_15data_expressionEEEEEE5applyISF_EEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSB_33add_data_variable_builder_bindingENSB_6detail37variable_data_expression_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSJ_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pbes_system23data_expression_builderENSB_33add_data_variable_builder_bindingENSB_6detail37variable_data_expression_substitutionEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRNS0_15data_expressionEE_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSB_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SG_EEEEEEEE5applyINSB_15pres_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSB_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSB_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS4_NS0_15data_expressionEEEEEE5applyINSB_15pres_expressionEEEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_11pres_system23data_expression_builderENSB_33add_data_variable_builder_bindingENS0_28mutable_indexed_substitutionIS4_NS0_15data_expressionEEEEEE5applyISF_EEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail30replace_free_variables_builderINS_3lps23data_expression_builderENSB_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32if_rewrite_with_rewriter_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSD_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNS9_13construct_rhsINS_3lps6detail19unfold_data_managerEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINS9_4ruleESaISM_EERKNS0_15sort_expressionEEUlRKSG_E0_EEE5applyISG_EEvSI_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail32replace_data_expressions_builderINS0_23data_expression_builderEZNS9_13construct_rhsINS_3smt25structured_sort_functionsEEENS0_15data_expressionERT_RNS0_24representative_generatorERKSt6vectorINS9_4ruleESaISL_EERKNS0_15sort_expressionEEUlRKSF_E0_EEE5applyISF_EEvSH_RKNS0_6forallEEUlRSF_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_11pbes_system23data_expression_builderEEEE5applyINSB_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRNS0_15data_expressionEE_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS0_6detail38replace_constants_by_variables_builderINS_3lps23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_13apply_builderI10my_builderEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSE_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_13apply_builderINS0_6detail18if_rewrite_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_13apply_builderINS0_6detail26normalize_equality_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS4_SaIS4_EENSt7__cxx114listINS0_15data_expressionESaISH_EEEEEEEE5applyISH_EEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS0_23data_expression_builderENS0_30sequence_sequence_substitutionISt6vectorIS4_SaIS4_EESC_INS0_15data_expressionESaISF_EEEEEEE5applyISF_EEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS0_23data_expression_builderENS0_32assignment_sequence_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_21variable_substitutionEEEE5applyINSA_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRNS0_15data_expressionEE_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SE_EEEEEEEE5applyINSA_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSE_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS_11pbes_system23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SE_EEEEEEEE5applyISE_EEvRT_RKNS0_6forallEEUlRSE_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS_3lps16variable_builderENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SE_EEEEEEEE5applyISE_EEvRT_RKNS0_6forallEEUlRSE_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS_3lps23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SE_EEEEEEEE5applyISE_EEvRT_RKNS0_6forallEEUlRSE_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS_7process23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SE_EEEEEEEE5applyISE_EEvRT_RKNS0_6forallEEUlRSE_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail25remove_parameters_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSE_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail29replace_pattern_match_builderINS0_23data_expression_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS_3lps6detail33replace_process_parameter_builderINS9_23data_expression_builderENS9_33add_data_variable_builder_bindingENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SG_EEEEEEEE5applyISG_EEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_13add_variablesINS_4core7builderENS3_20update_apply_builderINS0_16variable_builderENS0_16map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5applyISA_EEvRT_RKNS0_6forallEEUlRN7atermpp9term_listIS9_EEE_ZNSL_ISA_EEvSN_SQ_EUlRSA_E0_EEEvRNSR_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSA_RKNS0_15sort_expressionEEUlSF_E_EEE5applyIS9_EEvRSA_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSJ_IS9_EEvSK_SN_EUlRS9_E0_EEEvRNSO_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS_11pres_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS6_15pres_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRNS0_15data_expressionEE0_EEEvRNSJ_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS6_13state_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRNS0_15data_expressionEE0_EEEvRNSJ_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS_14state_formulas23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISE_EEvSG_SJ_EUlRNS0_15data_expressionEE0_EEEvRNSK_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS_3lps23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system18absinthe_algorithm32absinthe_sort_expression_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system6detail26anonymize_builder_instanceEE5applyINS5_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRNS0_15data_expressionEE0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS8_IS9_EEvSB_SE_EUlRS9_E0_EEEvRNSF_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS5_13state_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS8_IS9_EEvSB_SE_EUlRNS0_15data_expressionEE0_EEEvRNSF_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_15action_formulas14action_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS8_ISA_EEvSC_SF_EUlRNS0_15data_expressionEE0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS_14state_formulas37state_formula_variable_rename_builderEE5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNS8_ISA_EEvSC_SF_EUlRNS0_15data_expressionEE0_EEEvRNSG_5atermEDpT_	0
_ZN5mcrl24datalsERSoRKNS0_6forallE	0
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_20update_apply_builderINS0_23data_expression_builderENS0_24mutable_map_substitutionISt3mapIS4_NS0_15data_expressionESt4lessIS4_ESaISt4pairIKS4_SD_EEEEEEEE5applyISD_EEvRT_RKNS0_6forallEEUlRSD_E_EEEvRNS2_5atermEDpT_	1
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS_11pbes_system23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS6_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRNS0_15data_expressionEE0_EEEvRNSJ_5atermEDpT_	1
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEEZNS0_20add_data_expressionsINS_4core7builderENS7_13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_5atermEDpT_	2
_ZN5mcrl24data6forallC2ERKS1_	2
_ZN5mcrl24data6forallC2ISt6vectorINS0_8variableESaIS4_EEEERKT_RKNS0_15data_expressionEPN7atermpp19enable_if_containerIS7_S4_E4typeE	3
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS_7process23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_5atermEDpT_	4
_ZN5mcrl24data11make_forallIJN7atermpp9term_listINS0_8variableEEENS0_15data_expressionEEEEvRNS2_5atermEDpT_	105
_ZN5mcrl24data6forallC2IN7atermpp9term_listINS0_8variableEEEEERKT_RKNS0_15data_expressionEPNS3_19enable_if_containerIS7_S5_E4typeE	407
_ZN5mcrl24data11make_forallIJZNS0_20add_sort_expressionsINS_4core7builderENS3_20update_apply_builderINS0_23sort_expression_builderENS0_6detail24normalize_sorts_functionEEEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS0_8variableEEEE_ZNSB_ISC_EEvSE_SH_EUlRSC_E0_EEEvRNSI_5atermEDpT_	18972
_ZN5mcrl24data6forallC2ERKN7atermpp5atermE	26059

Generated by: LCOV version 1.14