mCRL2

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 tausummands 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) 
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.
Definition in file probabilistic_arbitrary_precision_fraction.h.