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 atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

stochastic_process_initializer(const data::data_expression_list &expressions, const stochastic_distribution &distribution)

Constructor.