#include <parse_impl.h>

Inheritance diagram for mcrl2::regular_formulas::detail::regular_formula_actions:

Public Member Functions
	regular_formula_actions (const core::parser &parser_)

regular_formulas::regular_formula	parse_RegFrm (const core::parse_node &node) const

Public Member Functions inherited from mcrl2::action_formulas::detail::action_formula_actions
	action_formula_actions (const core::parser &parser_)

action_formulas::action_formula	parse_ActFrm (const core::parse_node &node) const

Public Member Functions inherited from mcrl2::lps::detail::multi_action_actions
	multi_action_actions (const core::parser &parser_)

process::untyped_multi_action	parse_MultAct (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::aterm >	parse_SortDeclList (const core::parse_node &node) const

std::vector< atermpp::aterm >	parse_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 parser &	m_parser

Detailed Description

Definition at line 55 of file parse_impl.h.

Constructor & Destructor Documentation

◆ regular_formula_actions()

mcrl2::regular_formulas::detail::regular_formula_actions::regular_formula_actions ( const core::parser & parser_ )

inlineexplicit

Definition at line 57 of file parse_impl.h.

Member Function Documentation

◆ parse_RegFrm()

regular_formulas::regular_formula mcrl2::regular_formulas::detail::regular_formula_actions::parse_RegFrm ( const core::parse_node & node ) const

inline

Definition at line 61 of file parse_impl.h.

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

modal_formula/include/mcrl2/modal_formula/parse_impl.h

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ regular_formula_actions()

Member Function Documentation

◆ parse_RegFrm()