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
mcrl2::lps::
operator<<
(std::ostream &out, const probabilistic_data_expression &x)¶Pretty print to an outstream.
mcrl2::lps::
pp
(const probabilistic_data_expression &l)¶