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

Constructor. We don’t want a silent conversion from process_initializer as this is a source of bugs.

stochastic_process_initializer()

Default constructor.

stochastic_process_initializer(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

stochastic_process_initializer(const data::assignment_list &assignments, const stochastic_distribution &distribution)

Constructor.