mCRL2
Loading...
Searching...
No Matches
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::lts::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::lts::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::lts
 The main LTS namespace.
 
namespace  std
 STL namespace.
 

Functions

std::string mcrl2::lts::pp (const probabilistic_arbitrary_precision_fraction &l)
 
std::ostream & mcrl2::lts::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.