mcrl2/lps/state.h

Include file:

#include "mcrl2/lps/state.h"

The class summand.

Typedefs

type mcrl2::lps::state

typedef for atermpp::term_balanced_tree< data::data_expression >

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::pp(const lps::state &x)
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()