LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - pbes_expression.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 287 311 92.3 % Date: 2024-04-21 03:44:01 Functions: 189 333 56.8 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS0_6detail18if_rewrite_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSD_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS4_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_6detail37variable_data_expression_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSI_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS4_6detail38replace_constants_by_variables_builderINS0_23data_expression_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSF_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS9_21data_rewriter_builderENS4_8rewriterEKNS4_24mutable_map_substitutionISt3mapIS5_NS4_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSS_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS9_21data_rewriter_builderENS4_8rewriterENS4_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS9_21data_rewriter_builderENS4_8rewriterENS4_28mutable_indexed_substitutionIS5_NS4_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSJ_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderEPFNS0_15pbes_expressionERKSC_EEEE5applyISC_EEvRT_RKNS0_6existsEEUlRSC_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_15pbesinst_renameEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_33unify_parameters_replace_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_35propositional_variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZN36test_replace_propositional_variables11test_methodEvEUlRKNS0_36propositional_variable_instantiationEE_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSK_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZNS0_23pbesinst_lazy_algorithm18rewrite_true_falseERNS0_15pbes_expressionERKNS0_15fixpoint_symbolERKNS0_36propositional_variable_instantiationERKSD_EUlSK_E_EEE5applyISD_EEvRT_RKNS0_6existsEEUlSE_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_18complement_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSF_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail17data2pbes_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35set_based_remove_parameters_builderESt3setIS5_St4lessIS5_ESaIS5_EEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSL_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_existsIJZNS0_20add_sort_expressionsINS_4data6detail17anonymize_builderENS0_6detail26anonymize_builder_instanceEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS3_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_9term_applINSG_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS0_6detail18if_rewrite_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSD_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS4_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_6detail37variable_data_expression_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSI_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS4_6detail38replace_constants_by_variables_builderINS0_23data_expression_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS9_21data_rewriter_builderENS4_8rewriterEKNS4_24mutable_map_substitutionISt3mapIS5_NS4_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSS_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS9_21data_rewriter_builderENS4_8rewriterENS4_28mutable_indexed_substitutionIS5_NS4_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSJ_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderEPFNS0_15pbes_expressionERKSC_EEEE5applyISC_EEvRT_RKNS0_6forallEEUlRSC_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_15pbesinst_renameEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_33unify_parameters_replace_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZN36test_replace_propositional_variables11test_methodEvEUlRKNS0_36propositional_variable_instantiationEE_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSK_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZNS0_23pbesinst_lazy_algorithm18rewrite_true_falseERNS0_15pbes_expressionERKNS0_15fixpoint_symbolERKNS0_36propositional_variable_instantiationERKSD_EUlSK_E_EEE5applyISD_EEvRT_RKNS0_6forallEEUlSE_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_18complement_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSF_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35set_based_remove_parameters_builderESt3setIS5_St4lessIS5_ESaIS5_EEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSL_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system11make_forallIJZNS0_20add_sort_expressionsINS_4data6detail17anonymize_builderENS0_6detail26anonymize_builder_instanceEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS3_8variableEEEE_ZNS9_ISA_EEvSC_SF_EUlRSA_E0_EEEvRNSG_9term_applINSG_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system15is_universal_orERKNS0_15pbes_expressionE	0
_ZN5mcrl211pbes_system16is_universal_andERKNS0_15pbes_expressionE	0
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS0_6detail18if_rewrite_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listINS5_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS5_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_6detail37variable_data_expression_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listINS5_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS5_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_6detail37variable_data_expression_substitutionEEEE5applyINS0_36propositional_variable_instantiationEEEvRT_RKSG_EUlRNS2_9term_listINS5_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS5_6detail38replace_constants_by_variables_builderINS0_23data_expression_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listINS5_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS5_6detail38replace_constants_by_variables_builderINS0_23data_expression_builderEEEE5applyINS0_36propositional_variable_instantiationEEEvRT_RKSD_EUlRNS2_9term_listINS5_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS5_21variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listINS5_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_6detail17add_data_rewriterINS0_23pbes_expression_builderENS4_22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterEKNS9_24mutable_map_substitutionISt3mapINS9_8variableENS9_15data_expressionESt4lessISD_ESaISt4pairIKSD_SE_EEEEEEESA_SN_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listISE_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_6detail17add_data_rewriterINS0_23pbes_expression_builderENS4_22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterENS9_28mutable_indexed_substitutionINS9_8variableENS9_15data_expressionEEEEESA_SE_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listISD_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_6detail17add_data_rewriterINS4_16simplify_builderENS4_22apply_rewriter_builderINS4_30simplify_data_rewriter_builderENS_4data8rewriterENS9_30sequence_sequence_substitutionISt6vectorINS9_8variableESaISD_EENS2_9term_listINS9_15data_expressionEEEEEEESA_SJ_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRSI_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_6detail17add_data_rewriterINS4_16simplify_builderENS4_23apply_enumerate_builderINS4_29enumerate_quantifiers_builderENS_4data8rewriterENS9_24mutable_map_substitutionISt3mapINS9_8variableENS9_15data_expressionESt4lessISD_ESaISt4pairIKSD_SE_EEEEEEESA_SM_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listISE_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_6detail17add_data_rewriterINS4_28simplify_quantifiers_builderENS4_22apply_rewriter_builderINS4_27stategraph_simplify_builderENS_4data17simplify_rewriterENS9_15no_substitutionEEESA_SB_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listINS9_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS0_6detail18if_rewrite_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRS9_E_ZNS8_IS9_EEvSB_SE_EUlSF_E0_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_6detail37variable_data_expression_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSE_E_ZNSD_ISE_EEvSG_SJ_EUlSK_E0_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSO_E_ZNSN_ISO_EEvSQ_ST_EUlSU_E0_EEEvRN7atermpp9term_applINSX_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSG_E_ZNSF_ISG_EEvSI_SL_EUlSM_E0_EEEvRN7atermpp9term_applINSP_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail38replace_constants_by_variables_builderINS0_23data_expression_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_21variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSC_E_ZNSB_ISC_EEvSE_SH_EUlSI_E0_EEEvRN7atermpp9term_applINSL_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSN_E_ZNSM_ISN_EEvSP_SS_EUlST_E0_EEEvRN7atermpp9term_applINSW_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_18absinthe_algorithm32absinthe_data_expression_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail21pbes_abstract_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterEKNS7_24mutable_map_substitutionISt3mapINS7_8variableENS7_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSP_E_ZNSO_ISP_EEvSR_SU_EUlSV_E0_EEEvRN7atermpp9term_applINSY_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterENS7_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSD_E_ZNSC_ISD_EEvSF_SI_EUlSJ_E0_EEEvRN7atermpp9term_applINSM_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterENS7_28mutable_indexed_substitutionINS7_8variableENS7_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSG_E_ZNSF_ISG_EEvSI_SL_EUlSM_E0_EEEvRN7atermpp9term_applINSP_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail23pbesinst_finite_builderINS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail26quantifiers_inside_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail28quantifier_propagate_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail34order_quantified_variables_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderEPFNS0_15pbes_expressionERKS7_EEEE5applyIS7_EEvRT_RKNS0_3impEEUlRS7_E_ZNSE_IS7_EEvSG_SJ_EUlSK_E0_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_15pbesinst_renameEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_33unify_parameters_replace_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_35propositional_variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZN36test_replace_propositional_variables11test_methodEvEUlRKNS0_36propositional_variable_instantiationEE_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZNS0_23pbesinst_lazy_algorithm18rewrite_true_falseERNS0_15pbes_expressionERKNS0_15fixpoint_symbolERKNS0_36propositional_variable_instantiationERKS8_EUlSF_E_EEE5applyIS8_EEvRT_RKNS0_3impEEUlS9_E_ZNSL_IS8_EEvSN_SQ_EUlS9_E0_EEEvRN7atermpp9term_applINST_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_18complement_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSA_E_ZNS9_ISA_EEvSC_SF_EUlSG_E0_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail17data2pbes_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35map_based_remove_parameters_builderESt3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessISA_ESaISt4pairIKSA_SD_EEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSO_E_ZNSN_ISO_EEvSQ_ST_EUlSU_E0_EEEvRNS9_9term_applINS9_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35set_based_remove_parameters_builderESt3setINS_4data8variableESt4lessISA_ESaISA_EEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSI_E_ZNSH_ISI_EEvSK_SN_EUlSO_E0_EEEvRN7atermpp9term_applINSR_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_sort_expressionsINS_4data6detail17anonymize_builderENS0_6detail26anonymize_builder_instanceEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSA_E_ZNS9_ISA_EEvSC_SF_EUlSG_E0_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS0_6detail18if_rewrite_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRS9_E_ZNS8_IS9_EEvSB_SE_EUlSF_E0_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_6detail37variable_data_expression_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSE_E_ZNSD_ISE_EEvSG_SJ_EUlSK_E0_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail38replace_constants_by_variables_builderINS0_23data_expression_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_21variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSC_E_ZNSB_ISC_EEvSE_SH_EUlSI_E0_EEEvRN7atermpp9term_applINSL_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSN_E_ZNSM_ISN_EEvSP_SS_EUlST_E0_EEEvRN7atermpp9term_applINSW_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_18absinthe_algorithm32absinthe_data_expression_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterEKNS7_24mutable_map_substitutionISt3mapINS7_8variableENS7_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSP_E_ZNSO_ISP_EEvSR_SU_EUlSV_E0_EEEvRN7atermpp9term_applINSY_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterENS7_28mutable_indexed_substitutionINS7_8variableENS7_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSG_E_ZNSF_ISG_EEvSI_SL_EUlSM_E0_EEEvRN7atermpp9term_applINSP_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail26quantifiers_inside_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_33unify_parameters_replace_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZN36test_replace_propositional_variables11test_methodEvEUlRKNS0_36propositional_variable_instantiationEE_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZNS0_23pbesinst_lazy_algorithm18rewrite_true_falseERNS0_15pbes_expressionERKNS0_15fixpoint_symbolERKNS0_36propositional_variable_instantiationERKS8_EUlSF_E_EEE5applyIS8_EEvRT_RKNS0_3or_EEUlS9_E_ZNSL_IS8_EEvSN_SQ_EUlS9_E0_EEEvRN7atermpp9term_applINST_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail17data2pbes_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35set_based_remove_parameters_builderESt3setINS_4data8variableESt4lessISA_ESaISA_EEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSI_E_ZNSH_ISI_EEvSK_SN_EUlSO_E0_EEEvRN7atermpp9term_applINSR_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_sort_expressionsINS_4data6detail17anonymize_builderENS0_6detail26anonymize_builder_instanceEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSA_E_ZNS9_ISA_EEvSC_SF_EUlSG_E0_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS0_6detail18if_rewrite_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRS9_E_ZNS8_IS9_EEvSB_SE_EUlSF_E0_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_6detail37variable_data_expression_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSE_E_ZNSD_ISE_EEvSG_SJ_EUlSK_E0_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail38replace_constants_by_variables_builderINS0_23data_expression_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_21variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSC_E_ZNSB_ISC_EEvSE_SH_EUlSI_E0_EEEvRN7atermpp9term_applINSL_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSN_E_ZNSM_ISN_EEvSP_SS_EUlST_E0_EEEvRN7atermpp9term_applINSW_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail21pbes_abstract_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterEKNS7_24mutable_map_substitutionISt3mapINS7_8variableENS7_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSP_E_ZNSO_ISP_EEvSR_SU_EUlSV_E0_EEEvRN7atermpp9term_applINSY_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterENS7_28mutable_indexed_substitutionINS7_8variableENS7_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSG_E_ZNSF_ISG_EEvSI_SL_EUlSM_E0_EEEvRN7atermpp9term_applINSP_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail26quantifiers_inside_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail28quantifier_propagate_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderEPFNS0_15pbes_expressionERKS7_EEEE5applyIS7_EEvRT_RKNS0_4and_EEUlRS7_E_ZNSE_IS7_EEvSG_SJ_EUlSK_E0_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_33unify_parameters_replace_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZN36test_replace_propositional_variables11test_methodEvEUlRKNS0_36propositional_variable_instantiationEE_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZNS0_23pbesinst_lazy_algorithm18rewrite_true_falseERNS0_15pbes_expressionERKNS0_15fixpoint_symbolERKNS0_36propositional_variable_instantiationERKS8_EUlSF_E_EEE5applyIS8_EEvRT_RKNS0_4and_EEUlS9_E_ZNSL_IS8_EEvSN_SQ_EUlS9_E0_EEEvRN7atermpp9term_applINST_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail17data2pbes_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35set_based_remove_parameters_builderESt3setINS_4data8variableESt4lessISA_ESaISA_EEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSI_E_ZNSH_ISI_EEvSK_SN_EUlSO_E0_EEEvRN7atermpp9term_applINSR_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_sort_expressionsINS_4data6detail17anonymize_builderENS0_6detail26anonymize_builder_instanceEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSA_E_ZNS9_ISA_EEvSC_SF_EUlSG_E0_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS0_6detail18if_rewrite_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRS9_E_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS0_6detail37variable_data_expression_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSE_E_EEEvRN7atermpp9term_applINSM_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSO_E_EEEvRN7atermpp9term_applINSW_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSG_E_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail38replace_constants_by_variables_builderINS0_23data_expression_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSB_E_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_21variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSC_E_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISA_ESaISt4pairIKSA_SB_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSN_E_EEEvRN7atermpp9term_applINSV_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_18absinthe_algorithm32absinthe_data_expression_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRS8_E_EEEvRN7atermpp9term_applINSG_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail21pbes_abstract_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRS8_E_EEEvRN7atermpp9term_applINSG_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterEKNS7_24mutable_map_substitutionISt3mapINS7_8variableENS7_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSP_E_EEEvRN7atermpp9term_applINSX_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterENS7_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSD_E_EEEvRN7atermpp9term_applINSL_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterENS7_28mutable_indexed_substitutionINS7_8variableENS7_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSG_E_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail23pbesinst_finite_builderINS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSF_E_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail26quantifiers_inside_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRS8_E_EEEvRN7atermpp9term_applINSG_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail28quantifier_propagate_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRS8_E_EEEvRN7atermpp9term_applINSG_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail34order_quantified_variables_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRS8_E_EEEvRN7atermpp9term_applINSG_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderENS0_23one_point_rule_rewriterEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSB_E_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderEPFNS0_15pbes_expressionERKS7_EEEE5applyIS7_EEvRT_RKNS0_4not_EEUlRS7_E_EEEvRN7atermpp9term_applINSM_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_15pbesinst_renameEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSB_E_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_33unify_parameters_replace_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSB_E_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_35propositional_variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSB_E_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZN36test_replace_propositional_variables11test_methodEvEUlRKNS0_36propositional_variable_instantiationEE_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSF_E_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderEZNS0_23pbesinst_lazy_algorithm18rewrite_true_falseERNS0_15pbes_expressionERKNS0_15fixpoint_symbolERKNS0_36propositional_variable_instantiationERKS8_EUlSF_E_EEE5applyIS8_EEvRT_RKNS0_4not_EEUlS9_E_EEEvRN7atermpp9term_applINSS_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_18complement_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSA_E_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail17data2pbes_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSB_E_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSB_E_EEEvRN7atermpp9term_applINSJ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35map_based_remove_parameters_builderESt3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessISA_ESaISt4pairIKSA_SD_EEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSO_E_EEEvRNS9_9term_applINS9_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35set_based_remove_parameters_builderESt3setINS_4data8variableESt4lessISA_ESaISA_EEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSI_E_EEEvRN7atermpp9term_applINSQ_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_sort_expressionsINS_4data6detail17anonymize_builderENS0_6detail26anonymize_builder_instanceEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSA_E_EEEvRN7atermpp9term_applINSI_5atermEEEDpRKT_	0
_ZN5mcrl211pbes_systemlsERSoRKNS0_6existsE	0
_ZN5mcrl211pbes_systemlsERSoRKNS0_6forallE	0
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE11make_existsERS3_RKN7atermpp9term_listINS_4data8variableEEERKS3_	0
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE4leftERKS3_	0
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE5rightERKS3_	0
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE7join_orIN9__gnu_cxx17__normal_iteratorIPS3_St6vectorIS3_SaIS3_EEEEEES3_T_SD_	0
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE8join_andIN9__gnu_cxx17__normal_iteratorIPS3_St6vectorIS3_SaIS3_EEEEEES3_T_SD_	0
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS4_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS4_28mutable_indexed_substitutionIS5_NS4_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSJ_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS4_21variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS4_24mutable_map_substitutionISt3mapIS5_NS4_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SE_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSQ_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS4_21variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS4_24mutable_map_substitutionISt3mapIS5_NS4_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SE_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSQ_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail17data2pbes_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS5_24mutable_map_substitutionISt3mapINS5_8variableENS5_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listISD_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS5_24mutable_map_substitutionISt3mapINS5_8variableENS5_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_36propositional_variable_instantiationEEEvRT_RKSP_EUlRNS2_9term_listISD_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_6detail17add_data_rewriterINS4_16simplify_builderENS4_22apply_rewriter_builderINS4_30simplify_data_rewriter_builderENS_4data8rewriterENS9_24mutable_map_substitutionISt3mapINS9_8variableENS9_15data_expressionESt4lessISD_ESaISt4pairIKSD_SE_EEEEEEESA_SM_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listISE_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail35substitute_pbes_expressions_builderINS0_23pbes_expression_builderEPFNS0_15pbes_expressionERKS7_EEEE5applyIS7_EEvRT_RKNS0_3or_EEUlRS7_E_ZNSE_IS7_EEvSG_SJ_EUlSK_E0_EEEvRN7atermpp9term_applINSN_5atermEEEDpRKT_	1
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_18absinthe_algorithm32absinthe_data_expression_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	1
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE3impERKS3_S6_	1
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE4not_ERKS3_	1
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE9is_forallERKS3_	1
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35map_based_remove_parameters_builderESt3mapINS2_12aterm_stringESt6vectorImSaImEESt4lessISE_ESaISt4pairIKSE_SH_EEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSS_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	2
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS5_6detail24normalize_sorts_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listINS5_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	2
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail30one_point_rule_rewrite_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	2
_ZN5mcrl211pbes_system9accessors3varERKNS0_15pbes_expressionE	2
_ZN5mcrl211pbes_system9accessors4nameERKNS0_15pbes_expressionE	2
_ZN5mcrl211pbes_system9accessors5paramERKNS0_15pbes_expressionE	2
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE11is_prop_varERKS3_	2
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE3or_ERKS3_S6_	2
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE3varERKS3_	2
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE9is_existsERKS3_	2
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSP_E_ZNSO_ISP_EEvSR_SU_EUlSV_E0_EEEvRN7atermpp9term_applINSY_5atermEEEDpRKT_	3
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail21pbes_abstract_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	3
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterENS7_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSD_E_ZNSC_ISD_EEvSF_SI_EUlSJ_E0_EEEvRN7atermpp9term_applINSM_5atermEEEDpRKT_	3
_ZN5mcrl211pbes_system9accessors10data_rightERKNS0_15pbes_expressionE	3
_ZN5mcrl211pbes_system9accessors9data_leftERKNS0_15pbes_expressionE	3
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS4_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS4_28mutable_indexed_substitutionIS5_NS4_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSJ_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	4
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS5_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS5_24mutable_map_substitutionISt3mapINS5_8variableENS5_15data_expressionESt4lessISD_ESaISt4pairIKSD_SE_EEEEEEEE5applyINS0_36propositional_variable_instantiationEEEvRT_RKSQ_EUlRNS2_9term_listISE_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	4
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_6detail17add_data_rewriterINS4_16simplify_builderENS4_22apply_rewriter_builderINS4_30simplify_data_rewriter_builderENS_4data8rewriterENS9_28mutable_indexed_substitutionINS9_8variableENS9_15data_expressionEEEEESA_SE_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listISD_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	4
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_15pbesinst_renameEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	4
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS9_21data_rewriter_builderENS4_8rewriterENS4_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	6
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	6
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail28quantifier_propagate_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	6
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	6
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE4and_ERKS3_S6_	7
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE5is_orERKS3_	7
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE6is_andERKS3_	7
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE6is_impERKS3_	7
_ZN5mcrl211pbes_system15pbes_expressionC2ERKNS_4data8variableE	9
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSG_E_ZNSF_ISG_EEvSI_SL_EUlSM_E0_EEEvRN7atermpp9term_applINSP_5atermEEEDpRKT_	9
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSG_E_ZNSF_ISG_EEvSI_SL_EUlSM_E0_EEEvRN7atermpp9term_applINSP_5atermEEEDpRKT_	10
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35map_based_remove_parameters_builderESt3mapINS2_12aterm_stringESt6vectorImSaImEESt4lessISE_ESaISt4pairIKSE_SH_EEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSS_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	11
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterENS7_15no_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSD_E_ZNSC_ISD_EEvSF_SI_EUlSJ_E0_EEEvRN7atermpp9term_applINSM_5atermEEEDpRKT_	11
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_35propositional_variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSG_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	12
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS4_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS4_24mutable_map_substitutionISt3mapIS5_NS4_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSR_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	14
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS4_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS4_24mutable_map_substitutionISt3mapIS5_NS4_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SF_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSR_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	14
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail23pbesinst_finite_builderINS4_8rewriterENS4_28mutable_indexed_substitutionIS5_NS4_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSI_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	17
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS5_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS5_28mutable_indexed_substitutionINS5_8variableENS5_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listISD_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	20
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_15pbesinst_renameEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	24
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail24normalize_and_or_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	24
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS5_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS5_24mutable_map_substitutionISt3mapINS5_8variableENS5_15data_expressionESt4lessISD_ESaISt4pairIKSD_SE_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listISE_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	26
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSO_E_ZNSN_ISO_EEvSQ_ST_EUlSU_E0_EEEvRN7atermpp9term_applINSX_5atermEEEDpRKT_	26
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35map_based_remove_parameters_builderESt3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessISA_ESaISt4pairIKSA_SD_EEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSO_E_ZNSN_ISO_EEvSQ_ST_EUlSU_E0_EEEvRNS9_9term_applINS9_5atermEEEDpRKT_	27
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail23pbesinst_finite_builderINS4_8rewriterENS4_28mutable_indexed_substitutionIS5_NS4_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSI_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	28
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core18apply_builder_arg1INS0_6detail35map_based_remove_parameters_builderESt3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessISA_ESaISt4pairIKSA_SD_EEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSO_E_ZNSN_ISO_EEvSQ_ST_EUlSU_E0_EEEvRNS9_9term_applINS9_5atermEEEDpRKT_	28
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_35propositional_variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	33
_ZN5mcrl211pbes_system36propositional_variable_instantiationC2ERKN7atermpp12aterm_stringE	36
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail39replace_propositional_variables_builderINS0_23pbes_expression_builderENS0_35propositional_variable_substitutionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	42
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_6detail17add_data_rewriterINS0_23pbes_expression_builderENS4_22apply_rewriter_builderINS4_21data_rewriter_builderENS_4data8rewriterENS9_15no_substitutionEEESA_SB_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listINS9_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	43
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail23pbesinst_finite_builderINS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_	44
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail30replace_free_variables_builderINS0_23data_expression_builderENS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISB_ESaISt4pairIKSB_SC_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSO_E_ZNSN_ISO_EEvSQ_ST_EUlSU_E0_EEEvRN7atermpp9term_applINSX_5atermEEEDpRKT_	47
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSP_E_EEEvRN7atermpp9term_applINSX_5atermEEEDpRKT_	50
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail23pbesinst_finite_builderINS_4data8rewriterENS6_28mutable_indexed_substitutionINS6_8variableENS6_15data_expressionEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSF_E_ZNSE_ISF_EEvSH_SK_EUlSL_E0_EEEvRN7atermpp9term_applINSO_5atermEEEDpRKT_	51
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSP_E_ZNSO_ISP_EEvSR_SU_EUlSV_E0_EEEvRN7atermpp9term_applINSY_5atermEEEDpRKT_	61
_ZN5mcrl211pbes_systemlsERSoRKNS0_36propositional_variable_instantiationE	74
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEENS0_15pbes_expressionEEEEvRNS2_9term_applINS2_5atermEEEDpRKT_	101
_ZN5mcrl211pbes_system16is_universal_notERKNS0_15pbes_expressionE	110
_ZN5mcrl211pbes_system11make_existsIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS4_6detail32translate_user_notation_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRSH_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	119
_ZN5mcrl211pbes_system11make_existsIJZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS3_6detail24normalize_sorts_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsEEUlRN7atermpp9term_listINS3_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_9term_applINSJ_5atermEEEDpRKT_	119
_ZN5mcrl211pbes_system6forallC2ERKS1_	119
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE11make_forallERS3_RKN7atermpp9term_listINS_4data8variableEEERKS3_	121
_ZN5mcrl211pbes_system6existsC2ERKS1_	126
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS3_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSP_E_ZNSO_ISP_EEvSR_SU_EUlSV_E0_EEEvRN7atermpp9term_applINSY_5atermEEEDpRKT_	139
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_6detail17add_data_rewriterINS4_16simplify_builderENS4_22apply_rewriter_builderINS4_30simplify_data_rewriter_builderENS_4data8rewriterENS9_15no_substitutionEEESA_SB_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listINS9_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	140
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_6detail32translate_user_notation_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSD_E_EEEvRN7atermpp9term_applINSL_5atermEEEDpRKT_	143
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRS8_E_EEEvRN7atermpp9term_applINSG_5atermEEEDpRKT_	143
_ZN5mcrl211pbes_system9make_not_IJZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS3_6detail24normalize_sorts_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4not_EEUlRSD_E_EEEvRN7atermpp9term_applINSL_5atermEEEDpRKT_	143
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE7not_argERKS3_	151
_ZN5mcrl211pbes_system20quantifier_variablesERKNS0_15pbes_expressionE	165
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_6detail32translate_user_notation_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSD_E_ZNSC_ISD_EEvSF_SI_EUlSJ_E0_EEEvRN7atermpp9term_applINSM_5atermEEEDpRKT_	176
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	176
_ZN5mcrl211pbes_system8make_impIJZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS3_6detail24normalize_sorts_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3impEEUlRSD_E_ZNSC_ISD_EEvSF_SI_EUlSJ_E0_EEEvRN7atermpp9term_applINSM_5atermEEEDpRKT_	176
_ZN5mcrl211pbes_system3impC2ERKNS0_15pbes_expressionES4_	186
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS4_23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS4_6detail32translate_user_notation_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRSH_E_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	218
_ZN5mcrl211pbes_system11make_forallIJZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS3_6detail24normalize_sorts_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallEEUlRN7atermpp9term_listINS3_8variableEEEE_ZNSC_ISD_EEvSF_SI_EUlRSD_E0_EEEvRNSJ_9term_applINSJ_5atermEEEDpRKT_	219
_ZN5mcrl211pbes_system36propositional_variable_instantiationC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	234
_ZN5mcrl211pbes_system9accessors3argERKNS0_15pbes_expressionE	235
_ZN5mcrl211pbes_system11make_forallIJN7atermpp9term_listINS_4data8variableEEENS0_15pbes_expressionEEEEvRNS2_9term_applINS2_5atermEEEDpRKT_	252
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE9make_not_ERS3_RKS3_	253
_ZN5mcrl211pbes_system9make_not_IJNS0_15pbes_expressionEEEEvRN7atermpp9term_applINS3_5atermEEEDpRKT_	255
_ZN5mcrl211pbes_system13optimized_impERNS0_15pbes_expressionERKS1_S4_	288
_ZN5mcrl211pbes_system36propositional_variable_instantiationC2EOS1_	321
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_6detail32translate_user_notation_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSD_E_ZNSC_ISD_EEvSF_SI_EUlSJ_E0_EEEvRN7atermpp9term_applINSM_5atermEEEDpRKT_	379
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	380
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS3_6detail24normalize_sorts_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSD_E_ZNSC_ISD_EEvSF_SI_EUlSJ_E0_EEEvRN7atermpp9term_applINSM_5atermEEEDpRKT_	380
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE6is_notERKS3_	411
_ZN5mcrl211pbes_system4not_C2ERKNS0_15pbes_expressionE	420
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS3_6detail32translate_user_notation_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSD_E_ZNSC_ISD_EEvSF_SI_EUlSJ_E0_EEEvRN7atermpp9term_applINSM_5atermEEEDpRKT_	420
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail17typecheck_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	421
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS3_6detail24normalize_sorts_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSD_E_ZNSC_ISD_EEvSF_SI_EUlSJ_E0_EEEvRN7atermpp9term_applINSM_5atermEEEDpRKT_	422
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE6existsERKN7atermpp9term_listINS_4data8variableEEERKS3_	438
_ZN5mcrl211pbes_system6existsC2ERKN7atermpp9term_listINS_4data8variableEEERKNS0_15pbes_expressionE	443
_ZN5mcrl211pbes_system3or_C2ERKNS0_15pbes_expressionES4_	445
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS5_6detail32translate_user_notation_functionEEEE5applyINS0_36propositional_variable_instantiationEEEvRT_RKSF_EUlRNS2_9term_listINS5_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	465
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS5_6detail24normalize_sorts_functionEEEE5applyINS0_36propositional_variable_instantiationEEEvRT_RKSF_EUlRNS2_9term_listINS5_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	467
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE6forallERKN7atermpp9term_listINS_4data8variableEEERKS3_	470
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS5_6detail42replace_capture_avoiding_variables_builderINS0_23data_expression_builderENS0_6detail32add_capture_avoiding_replacementENS5_24mutable_map_substitutionISt3mapINS5_8variableENS5_15data_expressionESt4lessISE_ESaISt4pairIKSE_SF_EEEEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listISF_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	487
_ZN5mcrl211pbes_system14free_variablesERKNS0_15pbes_expressionE	489
_ZN5mcrl211pbes_system11is_pbes_notERKNS0_15pbes_expressionE	496
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE8make_impERS3_RKS3_S7_	535
_ZN5mcrl211pbes_system8make_impIJNS0_15pbes_expressionES2_EEEvRN7atermpp9term_applINS3_5atermEEEDpRKT_	536
_ZN5mcrl211pbes_system6forallC2ERKN7atermpp9term_listINS_4data8variableEEERKNS0_15pbes_expressionE	566
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail34order_quantified_variables_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	643
_ZN5mcrl211pbes_system4and_C2ERKNS0_15pbes_expressionES4_	672
_ZN5mcrl211pbes_system8make_or_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail30one_point_rule_rewrite_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	724
_ZN5mcrl211pbes_system12make_forall_ERKN7atermpp9term_listINS_4data8variableEEERKNS0_15pbes_expressionE	739
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_20add_data_expressionsINS_4data23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS5_6detail32translate_user_notation_functionEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listINS5_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	785
_ZN5mcrl211pbes_system15pbes_expressionC2ERKNS_4data22untyped_data_parameterE	787
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE5true_Ev	885
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE8make_or_ERS3_RKS3_S7_	1025
_ZN5mcrl211pbes_system36propositional_variable_instantiationaSEOS1_	1103
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS0_6detail34order_quantified_variables_builderEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRS8_E_ZNS7_IS8_EEvSA_SD_EUlSE_E0_EEEvRN7atermpp9term_applINSH_5atermEEEDpRKT_	1193
_ZN5mcrl211pbes_system9make_and_IJZNS0_20add_pbes_expressionsINS0_28pbes_expression_builder_baseENS_4core13apply_builderINS0_6detail30one_point_rule_rewrite_builderEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_EEUlRSB_E_ZNSA_ISB_EEvSD_SG_EUlSH_E0_EEEvRN7atermpp9term_applINSK_5atermEEEDpRKT_	1259
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringENS2_9term_listINS_4data15data_expressionEEEEEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1295
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_6detail17add_data_rewriterINS4_28simplify_quantifiers_builderENS4_22apply_rewriter_builderINS4_42simplify_quantifiers_data_rewriter_builderENS_4data8rewriterENS9_15no_substitutionEEESA_SB_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listINS9_15data_expressionEEEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	1312
_ZN5mcrl211pbes_system12optimized_orERNS0_15pbes_expressionERKS1_S4_	1406
_ZNK5mcrl211pbes_system4not_7operandEv	1630
_ZN5mcrl211pbes_system4not_C2ERKN7atermpp5atermE	1668
_ZN5mcrl211pbes_system36propositional_variable_instantiationC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN7atermpp9term_listINS_4data15data_expressionEEE	1966
_ZN5mcrl211pbes_system10is_pbes_orERKNS0_15pbes_expressionE	1970
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE9make_and_ERS3_RKS3_S7_	2567
_ZN5mcrl211pbes_system12make_exists_ERKN7atermpp9term_listINS_4data8variableEEERKNS0_15pbes_expressionE	2971
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE6false_Ev	4591
_ZNK5mcrl211pbes_system6exists4bodyEv	4672
_ZN5mcrl211pbes_system8make_or_IJNS0_15pbes_expressionES2_EEEvRN7atermpp9term_applINS3_5atermEEEDpRKT_	4681
_ZN5mcrl211pbes_system6existsC2ERKN7atermpp5atermE	4829
_ZNK5mcrl211pbes_system3imp5rightEv	4855
_ZNK5mcrl211pbes_system3imp4leftEv	4869
_ZN5mcrl211pbes_system13optimized_andERNS0_15pbes_expressionERKS1_S4_	4874
_ZN5mcrl211pbes_system3impC2ERKN7atermpp5atermE	5194
_ZN5mcrl211pbes_system36propositional_variable_instantiationaSERKS1_	5804
_ZNK5mcrl211pbes_system6forall4bodyEv	5819
_ZN5mcrl211pbes_system9accessors5rightERKNS0_15pbes_expressionE	5820
_ZN5mcrl211pbes_system9accessors4leftERKNS0_15pbes_expressionE	5840
_ZNK5mcrl211pbes_system6exists9variablesEv	5877
_ZN5mcrl211pbes_system6forallC2ERKN7atermpp5atermE	6290
_ZN5mcrl211pbes_systemlsERSoRKNS0_15pbes_expressionE	6515
_ZN5mcrl211pbes_system36propositional_variable_instantiationC2Ev	8360
_ZN5mcrl211pbes_system36propositional_variable_instantiationC2ERKN7atermpp12aterm_stringERKNS2_9term_listINS_4data15data_expressionEEE	8769
_ZN5mcrl211pbes_system9make_and_IJNS0_15pbes_expressionES2_EEEvRN7atermpp9term_applINS3_5atermEEEDpRKT_	8999
_ZNK5mcrl211pbes_system6forall9variablesEv	10003
_ZN5mcrl211pbes_system6false_Ev	10561
_ZN5mcrl211pbes_system11is_pbes_andERKNS0_15pbes_expressionE	10617
_ZN5mcrl211pbes_system41make_propositional_variable_instantiationIJN7atermpp12aterm_stringEZNS0_6detail17add_data_rewriterINS4_16simplify_builderENS4_23apply_enumerate_builderINS4_29enumerate_quantifiers_builderENS_4data8rewriterENS9_28mutable_indexed_substitutionINS9_8variableENS9_15data_expressionEEEEESA_SE_E5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationEEUlRNS2_9term_listISD_EEE_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_	12167
_ZN5mcrl211pbes_system7is_dataERKNS0_15pbes_expressionE	17161
_ZN5mcrl211pbes_system36propositional_variable_instantiationC2ERKS1_	17568
_ZN5mcrl211pbes_system15pbes_expressionC2ERKNS_4data15data_expressionE	20544
_ZN5mcrl211pbes_system15pbes_expressionC2EOS1_	22092
_ZN5mcrl211pbes_system9is_existsERKN7atermpp9term_applINS1_5atermEEE	22251
_ZNKSt4hashIN5mcrl211pbes_system36propositional_variable_instantiationEEclERKS2_	22400
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE8is_falseERKS3_	22408
_ZN5mcrl211pbes_system5true_Ev	22770
_ZNKSt4hashIN5mcrl211pbes_system15pbes_expressionEEclERKS2_	23276
_ZN5mcrl24core11term_traitsINS_11pbes_system15pbes_expressionEE7is_trueERKS3_	25078
_ZNK5mcrl211pbes_system3or_5rightEv	28273
_ZN5mcrl211pbes_system9is_forallERKN7atermpp9term_applINS1_5atermEEE	28689
_ZN5mcrl211pbes_system15pbes_expressionaSEOS1_	29792
_ZN5mcrl211pbes_system6is_impERKN7atermpp9term_applINS1_5atermEEE	32725
_ZNK5mcrl211pbes_system3or_4leftEv	45658
_ZNK5mcrl211pbes_system4and_5rightEv	50238
_ZN5mcrl211pbes_system3or_C2ERKN7atermpp5atermE	50278
_ZNK5mcrl211pbes_system4and_4leftEv	53516
_ZN5mcrl211pbes_system4and_C2ERKN7atermpp5atermE	56287
_ZN5mcrl211pbes_system15pbes_expressionaSERKS1_	60480
_ZN5mcrl211pbes_system15pbes_expressionC2Ev	64101
_ZNK5mcrl211pbes_system36propositional_variable_instantiation10parametersEv	64494
_ZN5mcrl211pbes_system36propositional_variable_instantiationC2ERKN7atermpp5atermE	71145
_ZN5mcrl211pbes_system8is_falseERKNS0_15pbes_expressionE	74150
_ZN5mcrl211pbes_system15pbes_expressionC2ERKS1_	80321
_ZN5mcrl211pbes_system5is_orERKN7atermpp9term_applINS1_5atermEEE	84010
_ZN5mcrl211pbes_system7is_trueERKNS0_15pbes_expressionE	87843
_ZNK5mcrl211pbes_system36propositional_variable_instantiation4nameEv	92212
_ZN5mcrl211pbes_system6is_notERKN7atermpp9term_applINS1_5atermEEE	127803
_ZN5mcrl211pbes_system6is_andERKN7atermpp9term_applINS1_5atermEEE	150090
_ZN5mcrl211pbes_system39is_propositional_variable_instantiationERKN7atermpp9term_applINS1_5atermEEE	203030
_ZN5mcrl211pbes_system15pbes_expressionC2ERKN7atermpp5atermE	419941

Generated by: LCOV version 1.14