mcrl2::lps::action_rename_specification Class Reference

Action rename specification. More...

#include <action_rename.h>

Public Member Functions
	action_rename_specification ()=default
	Constructor.
	action_rename_specification (atermpp::aterm t)
	Constructor.
	action_rename_specification (const data::data_specification &data, const process::action_label_list &action_labels, const std::vector< action_rename_rule > &rules)
	Constructor.
const data::data_specification &	data () const
	Returns the data action_rename_specification.
data::data_specification &	data ()
	Returns the data specification.
const process::action_label_list &	action_labels () const
	Returns the sequence of action labels.
process::action_label_list &	action_labels ()
	Returns the sequence of action labels.
const std::vector< action_rename_rule > &	rules () const
	Returns the action rename rules.
std::vector< action_rename_rule > &	rules ()
	Returns the action rename rules.
bool	is_well_typed () const
	Indicates whether the action_rename_specification is well typed.

Protected Attributes
data::data_specification	m_data
	The data specification of the action rename specification.
process::action_label_list	m_action_labels
	The action labels of the action rename specification.
std::vector< action_rename_rule >	m_rules
	The action rename rules of the action rename specification.

Detailed Description

Action rename specification.

Definition at line 148 of file action_rename.h.

Constructor & Destructor Documentation

action_rename_specification() [1/3]

mcrl2::lps::action_rename_specification::action_rename_specification ( )

default

Constructor.

action_rename_specification() [2/3]

mcrl2::lps::action_rename_specification::action_rename_specification ( atermpp::aterm  t )

inline

Constructor.

Parameters

t

A term

Definition at line 167 of file action_rename.h.

action_rename_specification() [3/3]

mcrl2::lps::action_rename_specification::action_rename_specification ( const data::data_specification &  data, const process::action_label_list &  action_labels, const std::vector< action_rename_rule > &  rules  )

inline

Constructor.

Parameters

data	A data specification
action_labels	A sequence of action labels
rules	A sequence of action rename rules

Definition at line 185 of file action_rename.h.

Member Function Documentation

action_labels() [1/2]

process::action_label_list & mcrl2::lps::action_rename_specification::action_labels ( )

inline

Returns the sequence of action labels.

Definition at line 217 of file action_rename.h.

action_labels() [2/2]

const process::action_label_list & mcrl2::lps::action_rename_specification::action_labels ( ) const

inline

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).

Definition at line 211 of file action_rename.h.

data() [1/2]

data::data_specification & mcrl2::lps::action_rename_specification::data ( )

inline

Returns the data specification.

Definition at line 203 of file action_rename.h.

data() [2/2]

const data::data_specification & mcrl2::lps::action_rename_specification::data ( ) const

inline

Returns the data action_rename_specification.

Returns

The data action_rename_specification.

Definition at line 197 of file action_rename.h.

is_well_typed()

bool mcrl2::lps::action_rename_specification::is_well_typed ( ) const

inline

Indicates whether the action_rename_specification is well typed.

Returns

Always returns true.

Definition at line 237 of file action_rename.h.

rules() [1/2]

std::vector< action_rename_rule > & mcrl2::lps::action_rename_specification::rules ( )

inline

Returns the action rename rules.

Definition at line 230 of file action_rename.h.

rules() [2/2]

const std::vector< action_rename_rule > & mcrl2::lps::action_rename_specification::rules ( ) const

inline

Returns the action rename rules.

Returns

The action rename rules.

Definition at line 224 of file action_rename.h.

Member Data Documentation

m_action_labels

process::action_label_list mcrl2::lps::action_rename_specification::m_action_labels

protected

The action labels of the action rename specification.

Definition at line 156 of file action_rename.h.

m_data

data::data_specification mcrl2::lps::action_rename_specification::m_data

protected

The data specification of the action rename specification.

Definition at line 153 of file action_rename.h.

m_rules

std::vector<action_rename_rule> mcrl2::lps::action_rename_specification::m_rules

protected

The action rename rules of the action rename specification.

Definition at line 159 of file action_rename.h.

---

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

• lps/include/mcrl2/lps/action_rename.h