Include file:
#include "mcrl2/lps/stochastic_state.h"
add your file description here.
mcrl2::lps::stochastic_state
mcrl2::lps::
check_probability
(const data::data_expression &x, const data::rewriter &rewr)mcrl2::lps::
check_stochastic_state
(const stochastic_state &s, const data::rewriter &rewr)mcrl2::lps::
print_probability
(const data::data_expression &x)mcrl2::lps::
real_one
()mcrl2::lps::
real_zero
()