mcrl2::lps::stochastic_process_initializer¶
Include file:
#include "mcrl2/lps/stochastic_process_initializer.h
-
class
mcrl2::lps::stochastic_process_initializer¶ A stochastic process initializer.
Private types¶
-
type
mcrl2::lps::stochastic_process_initializer::super¶ typedef for
process_initializer
Public member functions¶
-
const stochastic_distribution &
distribution() const
-
stochastic_process_initializer()¶ Default constructor.
-
stochastic_process_initializer(const data::data_expression_list &expressions, const stochastic_distribution &distribution)¶ Constructor.
