Include file:
#include "mcrl2/lps/stochastic_action_summand.h
mcrl2::lps::
stochastic_action_summand
¶LPS summand containing a multi-action.
mcrl2::lps::stochastic_action_summand::
m_distribution
¶The distribution of the summand.
distribution
() const¶Returns the distribution of this summand.
distribution
()¶Returns the distribution of this summand.
operator=
(const stochastic_action_summand&) noexcept = default¶operator=
(stochastic_action_summand&&) noexcept = default¶stochastic_action_summand
()¶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 action_summand &s)¶Constructor.
stochastic_action_summand
(const stochastic_action_summand&) noexcept = default¶Move semantics.
stochastic_action_summand
(stochastic_action_summand&&) noexcept = default¶swap
(stochastic_action_summand &other)¶Swaps the contents.