mcrl2::lps::multi_action

Include file:

#include "mcrl2/lps/multi_action.h
class mcrl2::lps::multi_action

Represents a multi action.

Multi actions consist of a list of actions together with an optional time tag.

Friends

friend class action_summand

Protected attributes

process::action_list m_actions

The actions of the summand.

data::data_expression m_time

The time of the summand. If m_time == data::undefined_real() the multi action has no time.

Public member functions

const process::action_list &actions() const

Returns the sequence of actions.

Returns: The sequence of actions.

process::action_list &actions()

Returns the sequence of actions.

Returns: The sequence of actions.

data::data_expression_list arguments() const

Returns the arguments of the multi action.

Returns: The arguments of the multi action.

bool has_time() const

Returns true if time is available.

Returns: True if time is available.

multi_action(const process::action_list &actions = process::action_list(), data::data_expression time = data::undefined_real())

Constructor.

multi_action(const atermpp::aterm &t1)

Constructor.

multi_action(const process::action &l)

Constructor.

core::identifier_string name() const

Returns the name of the first action.

Returns: The name of the first action.

bool operator!=(const multi_action &other) const

Comparison operator.

multi_action operator+(const multi_action &other) const

Joins the actions of both multi actions.

Pre: The time of both multi actions must be equal.

bool operator<(const multi_action &other) const

Inequality on multi_actions.

bool operator==(const multi_action &other) const

Comparison operator.

void swap(multi_action &other)

Swaps the contents.

const data::data_expression &time() const

Returns the time.

Returns: The time.

data::data_expression &time()

Returns the time.

Returns: The time.