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 m_action_labels

The action labels of the action rename specification.

data::data_specification m_data

The data specification of the action rename specification.

std::vector<action_rename_rule> 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).

process::action_label_list &action_labels()

Returns the sequence of action labels.

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.

data::data_specification &data()

Returns the data specification.

bool is_well_typed() const

Indicates whether the action_rename_specification is well typed.

Returns: Always returns true.

const std::vector<action_rename_rule> &rules() const

Returns the action rename rules.

Returns: The action rename rules.

std::vector<action_rename_rule> &rules()

Returns the action rename rules.