Include file:
#include "mcrl2/lps/stochastic_distribution.h"
add your file description here.
mcrl2::lps::
stochastic_distribution_list
¶typedef for atermpp::term_list< stochastic_distribution >
list of stochastic_distributions
mcrl2::lps::
stochastic_distribution_vector
¶typedef for std::vector< stochastic_distribution >
vector of stochastic_distributions
mcrl2::lps::
is_stochastic_distribution
(const atermpp::aterm_appl &x)¶Test for a stochastic_distribution expression.
Parameters:
x A term
Returns: True if x is a stochastic_distribution expression
mcrl2::lps::
operator<<
(std::ostream &out, const stochastic_distribution &x)¶Outputs the object to a stream.
Parameters:
out An output stream
x Object x
Returns: The output stream
pp
(const stochastic_distribution &x)¶mcrl2::lps::
swap
(stochastic_distribution &t1, stochastic_distribution &t2)¶swap overload