mcrl2::lps::action_rename_rule

Include file:

#include "mcrl2/lps/action_rename.h

class mcrl2::lps::action_rename_rule

Action rename rule.

Protected attributes

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

The condition of the rule.

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

The left hand side of the rule.

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

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

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

The data variables of the rule.

Protected member functions

bool check_that_rhs_is_tau_delta_or_an_action() const

Public member functions

action_rename_rule()

Constructor.

action_rename_rule(const atermpp::aterm &t1)

Constructor.

Parameters:

• t1 A term

action_rename_rule(const atermpp::aterm_appl &t)

Constructor.

Parameters:

• t A term

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

Constructor.

data::data_expression &condition()

Returns the condition of the rule.

Returns: The condition of the rule.

const data::data_expression &condition() const

Returns the condition of the rule.

Returns: The condition of the rule.

const process::action &lhs() const

Returns the left hand side of the rule.

Returns: The left hand side of the rule.

const process::process_expression &rhs() const

Returns the right hand side of the rule.

Returns: The right hand side of the rule.

data::variable_list &variables()

Returns the variables of the rule.

Returns: The variables of the rule.

const data::variable_list &variables() const

Returns the variables of the rule.

Returns: The variables of the rule.