Include file:
#include "mcrl2/lps/stochastic_linear_process.h"
add your file description here.
find_all_variables
(const lps::stochastic_linear_process &x)find_free_variables
(const lps::stochastic_linear_process &x)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
pp
(const stochastic_linear_process &x)mcrl2::lps::detail::
convert_action_summands
(const action_summand_vector &action_summands)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)