mcrl2::lps::action_rename_rule Class Reference

Action rename rule. More...

#include <action_rename.h>

Public Member Functions
	action_rename_rule ()
	Constructor.
	action_rename_rule (const atermpp::aterm &t)
	Constructor.
	action_rename_rule (const data::variable_list &variables, const data::data_expression &condition, const process::action &lhs, const process::process_expression &rhs)
	Constructor.
const data::variable_list &	variables () const
	Returns the variables of the rule.
data::variable_list &	variables ()
	Returns the variables of the rule.
const data::data_expression &	condition () const
	Returns the condition of the rule.
data::data_expression &	condition ()
	Returns the condition of the rule.
const process::action &	lhs () const
	Returns the left hand side of the rule.
const process::process_expression &	rhs () const
	Returns the right hand side of the rule.

Protected Member Functions
bool	check_that_rhs_is_tau_delta_or_an_action () const

Protected Attributes
data::variable_list	m_variables
	The data variables of the rule.
data::data_expression	m_condition
	The condition of the rule.
process::action	m_lhs
	The left hand side of the rule.
process::process_expression	m_rhs
	right hand side of the rule. Can only be an action, tau or delta.

Detailed Description

Action rename rule.

Definition at line 57 of file action_rename.h.

Constructor & Destructor Documentation

action_rename_rule() [1/3]

mcrl2::lps::action_rename_rule::action_rename_rule ( )

inline

Constructor.

Definition at line 79 of file action_rename.h.

action_rename_rule() [2/3]

mcrl2::lps::action_rename_rule::action_rename_rule ( const atermpp::aterm &  t )

inline

Constructor.

Parameters

t

A term

Definition at line 84 of file action_rename.h.

action_rename_rule() [3/3]

mcrl2::lps::action_rename_rule::action_rename_rule ( const data::variable_list &  variables, const data::data_expression &  condition, const process::action &  lhs, const process::process_expression &  rhs  )

inline

Constructor.

Definition at line 96 of file action_rename.h.

Member Function Documentation

check_that_rhs_is_tau_delta_or_an_action()

bool mcrl2::lps::action_rename_rule::check_that_rhs_is_tau_delta_or_an_action ( ) const

inlineprotected

Definition at line 72 of file action_rename.h.

condition() [1/2]

data::data_expression & mcrl2::lps::action_rename_rule::condition ( )

inline

Returns the condition of the rule.

Returns

The condition of the rule.

Definition at line 128 of file action_rename.h.

condition() [2/2]

const data::data_expression & mcrl2::lps::action_rename_rule::condition ( ) const

inline

Returns the condition of the rule.

Returns

The condition of the rule.

Definition at line 121 of file action_rename.h.

lhs()

const process::action & mcrl2::lps::action_rename_rule::lhs ( ) const

inline

Returns the left hand side of the rule.

Returns

The left hand side of the rule.

Definition at line 135 of file action_rename.h.

rhs()

const process::process_expression & mcrl2::lps::action_rename_rule::rhs ( ) const

inline

Returns the right hand side of the rule.

Returns

The right hand side of the rule.

Definition at line 144 of file action_rename.h.

variables() [1/2]

data::variable_list & mcrl2::lps::action_rename_rule::variables ( )

inline

Returns the variables of the rule.

Returns

The variables of the rule.

Definition at line 114 of file action_rename.h.

variables() [2/2]

const data::variable_list & mcrl2::lps::action_rename_rule::variables ( ) const

inline

Returns the variables of the rule.

Returns

The variables of the rule.

Definition at line 107 of file action_rename.h.

Member Data Documentation

m_condition

data::data_expression mcrl2::lps::action_rename_rule::m_condition

protected

The condition of the rule.

Definition at line 64 of file action_rename.h.

m_lhs

process::action mcrl2::lps::action_rename_rule::m_lhs

protected

The left hand side of the rule.

Definition at line 67 of file action_rename.h.

m_rhs

process::process_expression mcrl2::lps::action_rename_rule::m_rhs

protected

right hand side of the rule. Can only be an action, tau or delta.

Definition at line 70 of file action_rename.h.

m_variables

data::variable_list mcrl2::lps::action_rename_rule::m_variables

protected

The data variables of the rule.

Definition at line 61 of file action_rename.h.

---

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

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