mcrl2::process::timed_multi_action

Include file:

#include "mcrl2/process/timed_multi_action.h
class mcrl2::process::timed_multi_action

A timed multi-action.

Public member functions

const process::action_list &actions() const
bool has_time() const

Returns true if time is available.

Returns: True if time is available.

timed_multi_action &operator=(const timed_multi_action&) noexcept = default
timed_multi_action &operator=(timed_multi_action&&) noexcept = default
const data::data_expression &time() const
timed_multi_action()

Default constructor.

timed_multi_action(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
timed_multi_action(const process::action_list &actions, const data::data_expression &time)

Constructor.

timed_multi_action(const timed_multi_action&) noexcept = default

Move semantics.

timed_multi_action(timed_multi_action&&) noexcept = default