mcrl2/lts/probabilistic_state.h

Include file:

#include "mcrl2/lts/probabilistic_state.h"

Classes

• std::hash
• mcrl2::lts::probabilistic_state

Functions

std::ostream &mcrl2::lts::operator<<(std::ostream &out, const probabilistic_state<STATE, PROBABILITY> &l)

Pretty print to an outstream.

std::string mcrl2::lts::pp(const probabilistic_state<STATE, PROBABILITY> &l)