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