mcrl2::lps::action_rename_specification¶
Include file:
#include "mcrl2/lps/action_rename.h
-
class
mcrl2::lps::action_rename_specification¶ Read-only singly linked list of action rename rules.
Action rename specification
Protected attributes¶
-
process::action_label_list
mcrl2::lps::action_rename_specification::m_action_labels¶ The action labels of the action rename specification.
-
data::data_specification
mcrl2::lps::action_rename_specification::m_data¶ The data specification of the action rename specification.
-
std::vector<action_rename_rule>
mcrl2::lps::action_rename_specification::m_rules¶ The action rename rules of the action rename specification.
Public member functions¶
-
const process::action_label_list &
action_labels() const¶ Returns the sequence of action labels.
Returns: A sequence of action labels containing all action labels occurring in the action_rename_specification (but it can have more).
-
action_rename_specification()¶ Constructor.
-
action_rename_specification(atermpp::aterm_appl t)¶ Constructor.
Parameters:
- t A term
-
action_rename_specification(const data::data_specification &data, const process::action_label_list &action_labels, const std::vector<action_rename_rule> &rules)¶ Constructor.
Parameters:
- data A data specification
- action_labels A sequence of action labels
- rules A sequence of action rename rules
-
const data::data_specification &
data() const¶ Returns the data action_rename_specification.
Returns: The data action_rename_specification.
-
bool
is_well_typed() const Indicates whether the action_rename_specification is well typed.
Returns: Always returns true.
-
std::vector<action_rename_rule> &
rules()¶ Returns the action rename rules.
-
const std::vector<action_rename_rule> &
rules() const¶ Returns the action rename rules.
Returns: The action rename rules.
