mcrl2::lps::stochastic_action_summand

Include file:

#include "mcrl2/lps/stochastic_action_summand.h

class mcrl2::lps::stochastic_action_summand

LPS summand containing a multi-action.

Protected attributes

stochastic_distribution mcrl2::lps::stochastic_action_summand::m_distribution

The distribution of the summand.

Public member functions

stochastic_distribution &distribution()

Returns the distribution of this summand.

const stochastic_distribution &distribution() const

Returns the distribution of this summand.

stochastic_action_summand &operator=(const stochastic_action_summand&) noexcept = default

stochastic_action_summand &operator=(stochastic_action_summand&&) noexcept = default

stochastic_action_summand()

Constructor.

stochastic_action_summand(const action_summand &s)

Constructor.

stochastic_action_summand(const data::variable_list &summation_variables, const data::data_expression &condition, const lps::multi_action &action, const data::assignment_list &assignments, const stochastic_distribution &distribution)

Constructor.

stochastic_action_summand(const stochastic_action_summand&) noexcept = default

Move semantics.

stochastic_action_summand(stochastic_action_summand&&) noexcept = default

void swap(stochastic_action_summand &other)

Swaps the contents.