#include <parse_impl.h>

Inheritance diagram for mcrl2::process::detail::process_actions:

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

core::identifier_string_list	parse_ActIdSet (const core::parse_node &node) const

process::action_name_multiset	parse_MultActId (const core::parse_node &node) const

process::action_name_multiset_list	parse_MultActIdList (const core::parse_node &node) const

process::action_name_multiset_list	parse_MultActIdSet (const core::parse_node &node) const

process::communication_expression	parse_CommExpr (const core::parse_node &node) const

process::communication_expression_list	parse_CommExprList (const core::parse_node &node) const

process::communication_expression_list	parse_CommExprSet (const core::parse_node &node) const

process::rename_expression	parse_RenExpr (const core::parse_node &node) const

process::rename_expression_list	parse_RenExprList (const core::parse_node &node) const

process::rename_expression_list	parse_RenExprSet (const core::parse_node &node) const

bool	is_proc_expr_sum (const core::parse_node &node) const

bool	is_proc_expr_if (const core::parse_node &node) const

bool	is_proc_expr_else (const core::parse_node &node) const

bool	is_proc_expr_stochastic_operator (const core::parse_node &node) const

data::untyped_data_parameter	parse_Action (const core::parse_node &node) const

process::process_expression	parse_ProcExpr (const core::parse_node &node) const

process::process_equation	parse_ProcDecl (const core::parse_node &node) const

std::vector< process::process_equation >	parse_ProcDeclList (const core::parse_node &node) const

std::vector< process::process_equation >	parse_ProcSpec (const core::parse_node &node) const

process::process_expression	parse_Init (const core::parse_node &node) const

bool	callback_mCRL2Spec (const core::parse_node &node, untyped_process_specification &result) const

untyped_process_specification	parse_mCRL2Spec (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 93 of file parse_impl.h.

Constructor & Destructor Documentation

◆ process_actions()

mcrl2::process::detail::process_actions::process_actions ( const core::parser & parser_ )

inlineexplicit

Definition at line 95 of file parse_impl.h.

Member Function Documentation

◆ callback_mCRL2Spec()

bool mcrl2::process::detail::process_actions::callback_mCRL2Spec	(	const core::parse_node &	node,
		untyped_process_specification &	result
	)		const

inline

Definition at line 230 of file parse_impl.h.

◆ is_proc_expr_else()

bool mcrl2::process::detail::process_actions::is_proc_expr_else ( const core::parse_node & node ) const

inline

Definition at line 164 of file parse_impl.h.

◆ is_proc_expr_if()

bool mcrl2::process::detail::process_actions::is_proc_expr_if ( const core::parse_node & node ) const

inline

Definition at line 159 of file parse_impl.h.

◆ is_proc_expr_stochastic_operator()

bool mcrl2::process::detail::process_actions::is_proc_expr_stochastic_operator ( const core::parse_node & node ) const

inline

Definition at line 169 of file parse_impl.h.

◆ is_proc_expr_sum()

bool mcrl2::process::detail::process_actions::is_proc_expr_sum ( const core::parse_node & node ) const

inline

Definition at line 154 of file parse_impl.h.

◆ parse_ActIdSet()

core::identifier_string_list mcrl2::process::detail::process_actions::parse_ActIdSet ( const core::parse_node & node ) const

inline

Definition at line 99 of file parse_impl.h.

◆ parse_Action()

data::untyped_data_parameter mcrl2::process::detail::process_actions::parse_Action ( const core::parse_node & node ) const

inline

Definition at line 176 of file parse_impl.h.

◆ parse_CommExpr()

process::communication_expression mcrl2::process::detail::process_actions::parse_CommExpr ( const core::parse_node & node ) const

inline

Definition at line 119 of file parse_impl.h.

◆ parse_CommExprList()

process::communication_expression_list mcrl2::process::detail::process_actions::parse_CommExprList ( const core::parse_node & node ) const

inline

Definition at line 129 of file parse_impl.h.

◆ parse_CommExprSet()

process::communication_expression_list mcrl2::process::detail::process_actions::parse_CommExprSet ( const core::parse_node & node ) const

inline

Definition at line 134 of file parse_impl.h.

◆ parse_Init()

process::process_expression mcrl2::process::detail::process_actions::parse_Init ( const core::parse_node & node ) const

inline

Definition at line 225 of file parse_impl.h.

◆ parse_mCRL2Spec()

untyped_process_specification mcrl2::process::detail::process_actions::parse_mCRL2Spec ( const core::parse_node & node ) const

inline

Definition at line 271 of file parse_impl.h.

◆ parse_MultActId()

process::action_name_multiset mcrl2::process::detail::process_actions::parse_MultActId ( const core::parse_node & node ) const

inline

Definition at line 104 of file parse_impl.h.

◆ parse_MultActIdList()

process::action_name_multiset_list mcrl2::process::detail::process_actions::parse_MultActIdList ( const core::parse_node & node ) const

inline

Definition at line 109 of file parse_impl.h.

◆ parse_MultActIdSet()

process::action_name_multiset_list mcrl2::process::detail::process_actions::parse_MultActIdSet ( const core::parse_node & node ) const

inline

Definition at line 114 of file parse_impl.h.

◆ parse_ProcDecl()

process::process_equation mcrl2::process::detail::process_actions::parse_ProcDecl ( const core::parse_node & node ) const

inline

Definition at line 207 of file parse_impl.h.

◆ parse_ProcDeclList()

std::vector< process::process_equation > mcrl2::process::detail::process_actions::parse_ProcDeclList ( const core::parse_node & node ) const

inline

Definition at line 215 of file parse_impl.h.

◆ parse_ProcExpr()

process::process_expression mcrl2::process::detail::process_actions::parse_ProcExpr ( const core::parse_node & node ) const

inline

Definition at line 181 of file parse_impl.h.

◆ parse_ProcSpec()

std::vector< process::process_equation > mcrl2::process::detail::process_actions::parse_ProcSpec ( const core::parse_node & node ) const

inline

Definition at line 220 of file parse_impl.h.

◆ parse_RenExpr()

process::rename_expression mcrl2::process::detail::process_actions::parse_RenExpr ( const core::parse_node & node ) const

inline

Definition at line 139 of file parse_impl.h.

◆ parse_RenExprList()

process::rename_expression_list mcrl2::process::detail::process_actions::parse_RenExprList ( const core::parse_node & node ) const

inline

Definition at line 144 of file parse_impl.h.

◆ parse_RenExprSet()

process::rename_expression_list mcrl2::process::detail::process_actions::parse_RenExprSet ( const core::parse_node & node ) const

inline

Definition at line 149 of file parse_impl.h.

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

process/include/mcrl2/process/parse_impl.h

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ process_actions()

Member Function Documentation

◆ callback_mCRL2Spec()

◆ is_proc_expr_else()

◆ is_proc_expr_if()

◆ is_proc_expr_stochastic_operator()

◆ is_proc_expr_sum()

◆ parse_ActIdSet()

◆ parse_Action()

◆ parse_CommExpr()

◆ parse_CommExprList()

◆ parse_CommExprSet()

◆ parse_Init()

◆ parse_mCRL2Spec()

◆ parse_MultActId()

◆ parse_MultActIdList()

◆ parse_MultActIdSet()

◆ parse_ProcDecl()

◆ parse_ProcDeclList()

◆ parse_ProcExpr()

◆ parse_ProcSpec()

◆ parse_RenExpr()

◆ parse_RenExprList()

◆ parse_RenExprSet()