mcrl2/lps/stochastic_linear_process.h

Include file:

#include "mcrl2/lps/stochastic_linear_process.h"

add your file description here.

Classes

• mcrl2::lps::stochastic_linear_process

Functions

std::set<data::variable> find_all_variables(const lps::stochastic_linear_process &x)

std::set<data::variable> find_free_variables(const lps::stochastic_linear_process &x)

std::ostream &mcrl2::lps::operator<<(std::ostream &out, const stochastic_linear_process &x)

Outputs the object to a stream.

Parameters:

• out An output stream

• x Object x

Returns: The output stream

std::string pp(const stochastic_linear_process &x)

Functions

stochastic_action_summand_vector mcrl2::lps::detail::convert_action_summands(const action_summand_vector &action_summands)

template<>
stochastic_action_summand mcrl2::lps::detail::make_action_summand<stochastic_action_summand>(const data::variable_list &summation_variables, const data::data_expression &condition, const multi_action &a, const data::assignment_list &assignments, const stochastic_distribution &distribution)