mcrl2::process::untyped_process_specification Struct Reference

#include <parse_impl.h>

Inheritance diagram for mcrl2::process::untyped_process_specification:

Public Member Functions
process_specification	construct_process_specification ()
Public Member Functions inherited from mcrl2::data::untyped_data_specification
void	add_sort (const basic_sort &x)
void	add_alias (const alias &x)
void	add_constructor (const function_symbol &x)
void	add_mapping (const function_symbol &x)
void	add_equation (const data_equation &x)
data_specification	construct_data_specification () const

Public Attributes
data::variable_list	global_variables
action_label_list	action_labels
std::vector< process::process_equation >	equations
process_expression	init
Public Attributes inherited from mcrl2::data::untyped_data_specification
std::vector< basic_sort >	basic_sorts
std::vector< alias >	aliases
std::vector< function_symbol >	constructors
std::vector< function_symbol >	mappings
std::vector< data_equation >	equations

Detailed Description

Definition at line 23 of file parse_impl.h.

Member Function Documentation

construct_process_specification()

process_specification mcrl2::process::untyped_process_specification::construct_process_specification ( )

inline

Definition at line 30 of file parse_impl.h.

Member Data Documentation

action_labels

action_label_list mcrl2::process::untyped_process_specification::action_labels

Definition at line 26 of file parse_impl.h.

equations

std::vector<process::process_equation> mcrl2::process::untyped_process_specification::equations

Definition at line 27 of file parse_impl.h.

global_variables

data::variable_list mcrl2::process::untyped_process_specification::global_variables

Definition at line 25 of file parse_impl.h.

init

process_expression mcrl2::process::untyped_process_specification::init

Definition at line 28 of file parse_impl.h.

---

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

• process/include/mcrl2/process/parse_impl.h