mcrl2/lps/stochastic_state.h

Include file:

#include "mcrl2/lps/stochastic_state.h"

add your file description here.

Classes

• mcrl2::lps::stochastic_state

Functions

void mcrl2::lps::check_probability(const data::data_expression &x, const data::rewriter &rewr)

void mcrl2::lps::check_stochastic_state(const stochastic_state &s, const data::rewriter &rewr)

std::string mcrl2::lps::print_probability(const data::data_expression &x)

const data::data_expression &mcrl2::lps::real_one()

const data::data_expression &mcrl2::lps::real_zero()