mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::probabilistic_arbitrary_precision_fraction Class Reference

This class contains labels for probabilistic transistions, consisting of a numerator and a denominator as a string of digits. More...

#include <probabilistic_arbitrary_precision_fraction.h>

Public Member Functions

 probabilistic_arbitrary_precision_fraction ()
 
 probabilistic_arbitrary_precision_fraction (const utilities::big_natural_number &enumerator, const utilities::big_natural_number &denominator)
 
 probabilistic_arbitrary_precision_fraction (const std::string &enumerator, const std::string &denominator)
 
const utilities::big_natural_numberenumerator () const
 
const utilities::big_natural_numberdenominator () const
 
bool operator== (const probabilistic_arbitrary_precision_fraction &other) const
 
bool operator!= (const probabilistic_arbitrary_precision_fraction &other) const
 
bool operator< (const probabilistic_arbitrary_precision_fraction &other) const
 
bool operator<= (const probabilistic_arbitrary_precision_fraction &other) const
 
bool operator> (const probabilistic_arbitrary_precision_fraction &other) const
 
bool operator>= (const probabilistic_arbitrary_precision_fraction &other) const
 
probabilistic_arbitrary_precision_fraction operator+ (const probabilistic_arbitrary_precision_fraction &other) const
 
probabilistic_arbitrary_precision_fraction operator- (const probabilistic_arbitrary_precision_fraction &other) const
 
probabilistic_arbitrary_precision_fraction operator* (const probabilistic_arbitrary_precision_fraction &other) const
 
probabilistic_arbitrary_precision_fraction operator/ (const probabilistic_arbitrary_precision_fraction &other) const
 

Static Public Member Functions

static probabilistic_arbitrary_precision_fractionzero ()
 Constant zero.
 
static probabilistic_arbitrary_precision_fractionone ()
 Constant one.
 
static void greatest_common_divisor_destructive (utilities::big_natural_number &x, utilities::big_natural_number &y, utilities::big_natural_number &buffer_divide, utilities::big_natural_number &buffer_remainder, utilities::big_natural_number &buffer)
 
static utilities::big_natural_number greatest_common_divisor (utilities::big_natural_number x, utilities::big_natural_number y)
 
static void remove_common_factors (utilities::big_natural_number &enumerator, utilities::big_natural_number &denominator)
 

Static Protected Member Functions

static utilities::big_natural_numberbuffer1 ()
 
static utilities::big_natural_numberbuffer2 ()
 
static utilities::big_natural_numberbuffer3 ()
 

Protected Attributes

utilities::big_natural_number m_enumerator
 
utilities::big_natural_number m_denominator
 

Detailed Description

This class contains labels for probabilistic transistions, consisting of a numerator and a denominator as a string of digits.

Definition at line 34 of file probabilistic_arbitrary_precision_fraction.h.

Constructor & Destructor Documentation

◆ probabilistic_arbitrary_precision_fraction() [1/3]

mcrl2::lts::probabilistic_arbitrary_precision_fraction::probabilistic_arbitrary_precision_fraction ( )
inline

Definition at line 78 of file probabilistic_arbitrary_precision_fraction.h.

◆ probabilistic_arbitrary_precision_fraction() [2/3]

mcrl2::lts::probabilistic_arbitrary_precision_fraction::probabilistic_arbitrary_precision_fraction ( const utilities::big_natural_number enumerator,
const utilities::big_natural_number denominator 
)
inline

Definition at line 86 of file probabilistic_arbitrary_precision_fraction.h.

◆ probabilistic_arbitrary_precision_fraction() [3/3]

mcrl2::lts::probabilistic_arbitrary_precision_fraction::probabilistic_arbitrary_precision_fraction ( const std::string &  enumerator,
const std::string &  denominator 
)
inlineexplicit

Definition at line 96 of file probabilistic_arbitrary_precision_fraction.h.

Member Function Documentation

◆ buffer1()

static utilities::big_natural_number & mcrl2::lts::probabilistic_arbitrary_precision_fraction::buffer1 ( )
inlinestaticprotected

Definition at line 42 of file probabilistic_arbitrary_precision_fraction.h.

◆ buffer2()

static utilities::big_natural_number & mcrl2::lts::probabilistic_arbitrary_precision_fraction::buffer2 ( )
inlinestaticprotected

Definition at line 48 of file probabilistic_arbitrary_precision_fraction.h.

◆ buffer3()

static utilities::big_natural_number & mcrl2::lts::probabilistic_arbitrary_precision_fraction::buffer3 ( )
inlinestaticprotected

Definition at line 54 of file probabilistic_arbitrary_precision_fraction.h.

◆ denominator()

const utilities::big_natural_number & mcrl2::lts::probabilistic_arbitrary_precision_fraction::denominator ( ) const
inline

◆ enumerator()

const utilities::big_natural_number & mcrl2::lts::probabilistic_arbitrary_precision_fraction::enumerator ( ) const
inline

◆ greatest_common_divisor()

static utilities::big_natural_number mcrl2::lts::probabilistic_arbitrary_precision_fraction::greatest_common_divisor ( utilities::big_natural_number  x,
utilities::big_natural_number  y 
)
inlinestatic

◆ greatest_common_divisor_destructive()

static void mcrl2::lts::probabilistic_arbitrary_precision_fraction::greatest_common_divisor_destructive ( utilities::big_natural_number x,
utilities::big_natural_number y,
utilities::big_natural_number buffer_divide,
utilities::big_natural_number buffer_remainder,
utilities::big_natural_number buffer 
)
inlinestatic

◆ one()

static probabilistic_arbitrary_precision_fraction & mcrl2::lts::probabilistic_arbitrary_precision_fraction::one ( )
inlinestatic

Constant one.

Definition at line 70 of file probabilistic_arbitrary_precision_fraction.h.

◆ operator!=()

bool mcrl2::lts::probabilistic_arbitrary_precision_fraction::operator!= ( const probabilistic_arbitrary_precision_fraction other) const
inline

◆ operator*()

probabilistic_arbitrary_precision_fraction mcrl2::lts::probabilistic_arbitrary_precision_fraction::operator* ( const probabilistic_arbitrary_precision_fraction other) const
inline

◆ operator+()

probabilistic_arbitrary_precision_fraction mcrl2::lts::probabilistic_arbitrary_precision_fraction::operator+ ( const probabilistic_arbitrary_precision_fraction other) const
inline

◆ operator-()

probabilistic_arbitrary_precision_fraction mcrl2::lts::probabilistic_arbitrary_precision_fraction::operator- ( const probabilistic_arbitrary_precision_fraction other) const
inline

◆ operator/()

probabilistic_arbitrary_precision_fraction mcrl2::lts::probabilistic_arbitrary_precision_fraction::operator/ ( const probabilistic_arbitrary_precision_fraction other) const
inline

◆ operator<()

bool mcrl2::lts::probabilistic_arbitrary_precision_fraction::operator< ( const probabilistic_arbitrary_precision_fraction other) const
inline

◆ operator<=()

bool mcrl2::lts::probabilistic_arbitrary_precision_fraction::operator<= ( const probabilistic_arbitrary_precision_fraction other) const
inline

◆ operator==()

bool mcrl2::lts::probabilistic_arbitrary_precision_fraction::operator== ( const probabilistic_arbitrary_precision_fraction other) const
inline

◆ operator>()

bool mcrl2::lts::probabilistic_arbitrary_precision_fraction::operator> ( const probabilistic_arbitrary_precision_fraction other) const
inline

◆ operator>=()

bool mcrl2::lts::probabilistic_arbitrary_precision_fraction::operator>= ( const probabilistic_arbitrary_precision_fraction other) const
inline

◆ remove_common_factors()

static void mcrl2::lts::probabilistic_arbitrary_precision_fraction::remove_common_factors ( utilities::big_natural_number enumerator,
utilities::big_natural_number denominator 
)
inlinestatic

◆ zero()

static probabilistic_arbitrary_precision_fraction & mcrl2::lts::probabilistic_arbitrary_precision_fraction::zero ( )
inlinestatic

Constant zero.

Definition at line 63 of file probabilistic_arbitrary_precision_fraction.h.

Member Data Documentation

◆ m_denominator

utilities::big_natural_number mcrl2::lts::probabilistic_arbitrary_precision_fraction::m_denominator
protected

Definition at line 38 of file probabilistic_arbitrary_precision_fraction.h.

◆ m_enumerator

utilities::big_natural_number mcrl2::lts::probabilistic_arbitrary_precision_fraction::m_enumerator
protected

Definition at line 37 of file probabilistic_arbitrary_precision_fraction.h.


The documentation for this class was generated from the following file: