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)¶

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)¶