Include file:

#include "mcrl2/lts/probabilistic_arbitrary_precision_fraction.h"

This file contains a class that contains labels for probabilistic transitions. These consist of a 64 bit enumerator and denominator. This library maintains precision as long as the enuemerator and denominator fit in 64 bits positive numbers. If they do not fit, rounding is applied.

Jan Friso Groote


std::ostream &mcrl2::lts::operator<<(std::ostream &out, const probabilistic_arbitrary_precision_fraction &x)
std::string mcrl2::lts::pp(const probabilistic_arbitrary_precision_fraction &l)