mcrl2::lps::stochastic_linear_process

Include file:

#include "mcrl2/lps/stochastic_linear_process.h

class mcrl2::lps::stochastic_linear_process

linear process.

Private types

type mcrl2::lps::stochastic_linear_process::super

typedef for linear_process_base< stochastic_action_summand >

Public member functions

stochastic_linear_process()

Constructor.

stochastic_linear_process(const atermpp::aterm_appl &t, bool stochastic_distributions_allowed = true)

Constructor.

stochastic_linear_process(const data::variable_list &process_parameters, const deadlock_summand_vector &deadlock_summands, const stochastic_action_summand_vector &action_summands)

Constructor.

stochastic_linear_process(const linear_process &other)

Constructor.