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)

void mcrl2::lps::make_state(state &result, ForwardTraversalIterator p, const std::size_t size, Transformer transformer)

void mcrl2::lps::make_state(state &result, ForwardTraversalIterator p, const std::size_t size)

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