probabilistic_arbitrary_precision_fraction.h File Reference

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. More...

Go to the source code of this file.

Classes
class	mcrl2::utilities::probabilistic_arbitrary_precision_fraction
	This class contains labels for probabilistic transistions, consisting of a numerator and a denominator as a string of digits. More...
struct	std::hash< mcrl2::utilities::probabilistic_arbitrary_precision_fraction >
	specialization of the standard std::hash function. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::utilities
namespace	std
	STL namespace.

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

Detailed Description

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.

Author

Jan Friso Groote

Definition in file probabilistic_arbitrary_precision_fraction.h.