mCRL2
Loading...
Searching...
No Matches
mcrl2::lps::detail::action_rename_actions Struct Reference

#include <parse_impl.h>

Inheritance diagram for mcrl2::lps::detail::action_rename_actions:
mcrl2::process::detail::action_actions mcrl2::data::detail::data_specification_actions mcrl2::data::detail::data_expression_actions mcrl2::data::detail::sort_expression_actions mcrl2::core::default_parser_actions mcrl2::core::parser_actions

Public Member Functions

 action_rename_actions (const core::parser &parser_)
 
process::action parse_Action_as_action (const core::parse_node &node) const
 
process::process_expression parse_ActionRenameRuleRHS (const core::parse_node &node) const
 
lps::action_rename_rule parse_ActionRenameRule (const core::parse_node &node) const
 
std::vector< lps::action_rename_ruleparse_ActionRenameRuleList (const core::parse_node &node) const
 
std::vector< lps::action_rename_ruleparse_ActionRenameRuleSpec (const core::parse_node &node) const
 
bool callback_ActionRenameSpec (const core::parse_node &node, data::untyped_data_specification &dataspec_result, lps::action_rename_specification &result) const
 
lps::action_rename_specification parse_ActionRenameSpec (const core::parse_node &node) const
 
- Public Member Functions inherited from mcrl2::process::detail::action_actions
 action_actions (const core::parser &parser_)
 
data::untyped_data_parameter parse_Action (const core::parse_node &node) const
 
data::untyped_data_parameter_list parse_ActionList (const core::parse_node &node) const
 
bool callback_ActDecl (const core::parse_node &node, action_label_vector &result) const
 
action_label_list parse_ActDeclList (const core::parse_node &node) const
 
action_label_list parse_ActSpec (const core::parse_node &node) const
 
- Public Member Functions inherited from mcrl2::data::detail::data_specification_actions
 data_specification_actions (const core::parser &parser_)
 
bool callback_SortDecl (const core::parse_node &node, std::vector< atermpp::aterm > &result) const
 
std::vector< atermpp::atermparse_SortDeclList (const core::parse_node &node) const
 
std::vector< atermpp::atermparse_SortSpec (const core::parse_node &node) const
 
bool callback_IdsDecl (const core::parse_node &node, function_symbol_vector &result) const
 
data::function_symbol_vector parse_IdsDeclList (const core::parse_node &node) const
 
data::function_symbol_vector parse_ConsSpec (const core::parse_node &node) const
 
data::function_symbol_vector parse_MapSpec (const core::parse_node &node) const
 
data::variable_list parse_GlobVarSpec (const core::parse_node &node) const
 
data::variable_list parse_VarSpec (const core::parse_node &node) const
 
bool callback_EqnDecl (const core::parse_node &node, const variable_list &variables, data_equation_vector &result) const
 
data::data_equation_vector parse_EqnDeclList (const core::parse_node &node, const variable_list &variables) const
 
data::data_equation_vector parse_EqnSpec (const core::parse_node &node) const
 
bool callback_DataSpecElement (const core::parse_node &node, untyped_data_specification &result) const
 
untyped_data_specification parse_DataSpec (const core::parse_node &node) const
 
- Public Member Functions inherited from mcrl2::data::detail::data_expression_actions
 data_expression_actions (const core::parser &parser_)
 
data_expression make_untyped_set_or_bag_comprehension (const variable &v, const data_expression &x) const
 
data_expression make_list_enumeration (const data_expression_list &x) const
 
data_expression make_set_enumeration (const data_expression_list &x) const
 
data_expression make_bag_enumeration (const data_expression_list &x) const
 
data_expression make_function_update (const data_expression &x, const data_expression &y, const data_expression &z) const
 
template<typename ExpressionContainer >
data::sort_expression_list get_sorts (const ExpressionContainer &x) const
 
data::variable parse_VarDecl (const core::parse_node &node) const
 
bool callback_VarsDecl (const core::parse_node &node, variable_vector &result) const
 
data::variable_list parse_VarsDeclList (const core::parse_node &node) const
 
data::data_expression parse_DataExpr (const core::parse_node &node) const
 
data::data_expression parse_DataExprUnit (const core::parse_node &node) const
 
data::data_expression parse_DataValExpr (const core::parse_node &node) const
 
data::untyped_identifier_assignment parse_Assignment (const core::parse_node &node) const
 
data::untyped_identifier_assignment_list parse_AssignmentList (const core::parse_node &node) const
 
data::data_expression_list parse_DataExprList (const core::parse_node &node) const
 
data::data_expression_list parse_BagEnumEltList (const core::parse_node &node) const
 
- Public Member Functions inherited from mcrl2::data::detail::sort_expression_actions
 sort_expression_actions (const core::parser &parser_)
 
data::sort_expression parse_SortExpr (const core::parse_node &node, data::sort_expression_list *product=nullptr) const
 
data::sort_expression_list parse_SortExpr_as_SortProduct (const core::parse_node &node) const
 
data::sort_expression_list parse_SortProduct (const core::parse_node &node) const
 
data::structured_sort_constructor parse_ConstrDecl (const core::parse_node &node) const
 
data::structured_sort_constructor_list parse_ConstrDeclList (const core::parse_node &node) const
 
data::structured_sort_constructor_argument parse_ProjDecl (const core::parse_node &node) const
 
data::structured_sort_constructor_argument_list parse_ProjDeclList (const core::parse_node &node) const
 
- Public Member Functions inherited from mcrl2::core::default_parser_actions
 default_parser_actions (const parser &parser_)
 
template<typename T , typename Function >
atermpp::term_list< T > parse_list (const parse_node &node, const std::string &type, const Function &f) const
 
template<typename T , typename Function >
std::vector< T > parse_vector (const parse_node &node, const std::string &type, const Function &f) const
 
core::identifier_string parse_Id (const parse_node &node) const
 
core::identifier_string parse_Number (const parse_node &node) const
 
core::identifier_string_list parse_IdList (const parse_node &node) const
 
- Public Member Functions inherited from mcrl2::core::parser_actions
 parser_actions (const parser &parser_)
 
template<typename Function >
void traverse (const parse_node &node, const Function &f) const
 
template<typename Function >
visitor< Function > make_visitor (const parser_table &table, const std::string &type, const Function &f) const
 
template<typename Container , typename Function >
collector< Container, Function > make_collector (const parser_table &table, const std::string &type, Container &container, const Function &f) const
 
template<typename SetContainer , typename Function >
set_collector< SetContainer, Function > make_set_collector (const parser_table &table, const std::string &type, SetContainer &container, const Function &f) const
 
std::string symbol_name (const parse_node &node) const
 

Additional Inherited Members

- Public Attributes inherited from mcrl2::core::parser_actions
const parserm_parser
 

Detailed Description

Definition at line 44 of file parse_impl.h.

Constructor & Destructor Documentation

◆ action_rename_actions()

mcrl2::lps::detail::action_rename_actions::action_rename_actions ( const core::parser parser_)
inlineexplicit

Definition at line 46 of file parse_impl.h.

Member Function Documentation

◆ callback_ActionRenameSpec()

bool mcrl2::lps::detail::action_rename_actions::callback_ActionRenameSpec ( const core::parse_node node,
data::untyped_data_specification dataspec_result,
lps::action_rename_specification result 
) const
inline

Definition at line 91 of file parse_impl.h.

◆ parse_Action_as_action()

process::action mcrl2::lps::detail::action_rename_actions::parse_Action_as_action ( const core::parse_node node) const
inline

Definition at line 51 of file parse_impl.h.

◆ parse_ActionRenameRule()

lps::action_rename_rule mcrl2::lps::detail::action_rename_actions::parse_ActionRenameRule ( const core::parse_node node) const
inline

Definition at line 65 of file parse_impl.h.

◆ parse_ActionRenameRuleList()

std::vector< lps::action_rename_rule > mcrl2::lps::detail::action_rename_actions::parse_ActionRenameRuleList ( const core::parse_node node) const
inline

Definition at line 75 of file parse_impl.h.

◆ parse_ActionRenameRuleRHS()

process::process_expression mcrl2::lps::detail::action_rename_actions::parse_ActionRenameRuleRHS ( const core::parse_node node) const
inline

Definition at line 57 of file parse_impl.h.

◆ parse_ActionRenameRuleSpec()

std::vector< lps::action_rename_rule > mcrl2::lps::detail::action_rename_actions::parse_ActionRenameRuleSpec ( const core::parse_node node) const
inline

Definition at line 80 of file parse_impl.h.

◆ parse_ActionRenameSpec()

lps::action_rename_specification mcrl2::lps::detail::action_rename_actions::parse_ActionRenameSpec ( const core::parse_node node) const
inline

Definition at line 123 of file parse_impl.h.


The documentation for this struct was generated from the following file: