stochastic_state.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::lps::stochastic_state

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::lps
	The main namespace for the LPS library.

Functions
std::string	mcrl2::lps::print_probability (const data::data_expression &x)
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)

Detailed Description

add your file description here.

Definition in file stochastic_state.h.