mcrl2/lps/probabilistic_data_expression.h

Include file:

#include "mcrl2/lps/probabilistic_data_expression.h"

This file contains a class that contains labels for probabilistic transitions as a mCRL2 data expression of type real.

Jan Friso Groote

Classes

• std::hash
• mcrl2::lps::probabilistic_data_expression

Functions

std::ostream &mcrl2::lps::operator<<(std::ostream &out, const probabilistic_data_expression &x)

Pretty print to an outstream.

std::string mcrl2::lps::pp(const probabilistic_data_expression &l)