mCRL2
|
Process specification consisting of a data specification, action labels, a sequence of process equations and a process initialization. More...
#include <process_specification.h>
Public Member Functions | |
process_specification () | |
Constructor. | |
process_specification (atermpp::aterm_appl t) | |
Constructor. | |
process_specification (data::data_specification data, process::action_label_list action_labels, process_equation_list equations, process_expression init) | |
Constructor that sets the global variables to empty;. | |
process_specification (data::data_specification data, process::action_label_list action_labels, data::variable_list global_variables, process_equation_list equations, process_expression init) | |
Constructor of a process specification. | |
const data::data_specification & | data () const |
Returns the data specification. | |
data::data_specification & | data () |
Returns the data specification. | |
const process::action_label_list & | action_labels () const |
Returns the action label specification. | |
process::action_label_list & | action_labels () |
Returns the action label specification. | |
const std::set< data::variable > & | global_variables () const |
Returns the declared free variables of the process specification. | |
std::set< data::variable > & | global_variables () |
Returns the declared free variables of the process specification. | |
const std::vector< process_equation > & | equations () const |
Returns the equations of the process specification. | |
std::vector< process_equation > & | equations () |
Returns the equations of the process specification. | |
const process_expression & | init () const |
Returns the initialization of the process specification. | |
process_expression & | init () |
Returns the initialization of the process specification. | |
Protected Member Functions | |
void | construct_from_aterm (const atermpp::aterm_appl &t) |
Initializes the specification with an aterm. | |
Protected Attributes | |
data::data_specification | m_data |
The data specification of the specification. | |
process::action_label_list | m_action_labels |
The action specification of the specification. | |
std::set< data::variable > | m_global_variables |
The set of global variables. | |
std::vector< process_equation > | m_equations |
The equations of the specification. | |
process_expression | m_initial_process |
The initial state of the specification. | |
Process specification consisting of a data specification, action labels, a sequence of process equations and a process initialization.
Definition at line 51 of file process_specification.h.
|
inline |
Constructor.
Definition at line 86 of file process_specification.h.
|
inline |
Constructor.
t | A term containing an aterm representation of a process specification. |
Definition at line 91 of file process_specification.h.
|
inline |
Constructor that sets the global variables to empty;.
Definition at line 99 of file process_specification.h.
|
inline |
Constructor of a process specification.
Definition at line 107 of file process_specification.h.
|
inline |
Returns the action label specification.
Definition at line 143 of file process_specification.h.
|
inline |
Returns the action label specification.
Definition at line 136 of file process_specification.h.
|
inlineprotected |
Initializes the specification with an aterm.
t | A term |
Definition at line 71 of file process_specification.h.
|
inline |
Returns the data specification.
Definition at line 129 of file process_specification.h.
|
inline |
Returns the data specification.
Definition at line 122 of file process_specification.h.
|
inline |
Returns the equations of the process specification.
Definition at line 171 of file process_specification.h.
|
inline |
Returns the equations of the process specification.
Definition at line 164 of file process_specification.h.
|
inline |
Returns the declared free variables of the process specification.
Definition at line 157 of file process_specification.h.
|
inline |
Returns the declared free variables of the process specification.
Definition at line 150 of file process_specification.h.
|
inline |
Returns the initialization of the process specification.
Definition at line 185 of file process_specification.h.
|
inline |
Returns the initialization of the process specification.
Definition at line 178 of file process_specification.h.
|
protected |
The action specification of the specification.
Definition at line 58 of file process_specification.h.
|
protected |
The data specification of the specification.
Definition at line 55 of file process_specification.h.
|
protected |
The equations of the specification.
Definition at line 64 of file process_specification.h.
|
protected |
The set of global variables.
Definition at line 61 of file process_specification.h.
|
protected |
The initial state of the specification.
Definition at line 67 of file process_specification.h.