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_number &	enumerator () const

const utilities::big_natural_number &	denominator () 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_fraction &	zero ()
	Constant zero.

static probabilistic_arbitrary_precision_fraction &	one ()
	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_number &	buffer1 ()

static utilities::big_natural_number &	buffer2 ()

static utilities::big_natural_number &	buffer3 ()

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::utilities::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::utilities::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::utilities::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::utilities::probabilistic_arbitrary_precision_fraction::buffer1 ( )

inlinestaticprotected

Definition at line 42 of file probabilistic_arbitrary_precision_fraction.h.

◆ buffer2()

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

inlinestaticprotected

Definition at line 48 of file probabilistic_arbitrary_precision_fraction.h.

◆ buffer3()

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

inlinestaticprotected

Definition at line 54 of file probabilistic_arbitrary_precision_fraction.h.

◆ denominator()

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

inline

Definition at line 112 of file probabilistic_arbitrary_precision_fraction.h.

◆ enumerator()

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

inline

Definition at line 105 of file probabilistic_arbitrary_precision_fraction.h.

◆ greatest_common_divisor()

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

inlinestatic

Definition at line 275 of file probabilistic_arbitrary_precision_fraction.h.

◆ greatest_common_divisor_destructive()

static void mcrl2::utilities::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

Definition at line 248 of file probabilistic_arbitrary_precision_fraction.h.

◆ one()

static probabilistic_arbitrary_precision_fraction & mcrl2::utilities::probabilistic_arbitrary_precision_fraction::one ( )

inlinestatic

Constant one.

Definition at line 70 of file probabilistic_arbitrary_precision_fraction.h.

◆ operator!=()

bool mcrl2::utilities::probabilistic_arbitrary_precision_fraction::operator!= ( const probabilistic_arbitrary_precision_fraction & other ) const

inline

Definition at line 131 of file probabilistic_arbitrary_precision_fraction.h.

◆ operator*()

probabilistic_arbitrary_precision_fraction mcrl2::utilities::probabilistic_arbitrary_precision_fraction::operator* ( const probabilistic_arbitrary_precision_fraction & other ) const

inline

Definition at line 213 of file probabilistic_arbitrary_precision_fraction.h.

◆ operator+()

probabilistic_arbitrary_precision_fraction mcrl2::utilities::probabilistic_arbitrary_precision_fraction::operator+ ( const probabilistic_arbitrary_precision_fraction & other ) const

inline

Definition at line 171 of file probabilistic_arbitrary_precision_fraction.h.

◆ operator-()

probabilistic_arbitrary_precision_fraction mcrl2::utilities::probabilistic_arbitrary_precision_fraction::operator- ( const probabilistic_arbitrary_precision_fraction & other ) const

inline

Definition at line 192 of file probabilistic_arbitrary_precision_fraction.h.

◆ operator/()

probabilistic_arbitrary_precision_fraction mcrl2::utilities::probabilistic_arbitrary_precision_fraction::operator/ ( const probabilistic_arbitrary_precision_fraction & other ) const

inline

Definition at line 230 of file probabilistic_arbitrary_precision_fraction.h.

◆ operator<()

bool mcrl2::utilities::probabilistic_arbitrary_precision_fraction::operator< ( const probabilistic_arbitrary_precision_fraction & other ) const

inline

Definition at line 138 of file probabilistic_arbitrary_precision_fraction.h.

◆ operator<=()

bool mcrl2::utilities::probabilistic_arbitrary_precision_fraction::operator<= ( const probabilistic_arbitrary_precision_fraction & other ) const

inline

Definition at line 150 of file probabilistic_arbitrary_precision_fraction.h.

◆ operator==()

bool mcrl2::utilities::probabilistic_arbitrary_precision_fraction::operator== ( const probabilistic_arbitrary_precision_fraction & other ) const

inline

Definition at line 119 of file probabilistic_arbitrary_precision_fraction.h.

◆ operator>()

bool mcrl2::utilities::probabilistic_arbitrary_precision_fraction::operator> ( const probabilistic_arbitrary_precision_fraction & other ) const

inline

Definition at line 157 of file probabilistic_arbitrary_precision_fraction.h.

◆ operator>=()

bool mcrl2::utilities::probabilistic_arbitrary_precision_fraction::operator>= ( const probabilistic_arbitrary_precision_fraction & other ) const

inline

Definition at line 164 of file probabilistic_arbitrary_precision_fraction.h.

◆ remove_common_factors()

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

inlinestatic

Definition at line 282 of file probabilistic_arbitrary_precision_fraction.h.

◆ zero()

static probabilistic_arbitrary_precision_fraction & mcrl2::utilities::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::utilities::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::utilities::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:

utilities/include/mcrl2/utilities/probabilistic_arbitrary_precision_fraction.h

Public Member Functions

Static Public Member Functions

Static Protected Member Functions

Protected Attributes

Detailed Description

Constructor & Destructor Documentation

◆ probabilistic_arbitrary_precision_fraction() [1/3]

◆ probabilistic_arbitrary_precision_fraction() [2/3]

◆ probabilistic_arbitrary_precision_fraction() [3/3]

Member Function Documentation

◆ buffer1()

◆ buffer2()

◆ buffer3()

◆ denominator()

◆ enumerator()

◆ greatest_common_divisor()

◆ greatest_common_divisor_destructive()

◆ one()

◆ operator!=()

◆ operator*()

◆ operator+()

◆ operator-()

◆ operator/()

◆ operator<()

◆ operator<=()

◆ operator==()

◆ operator>()

◆ operator>=()

◆ remove_common_factors()

◆ zero()

Member Data Documentation

◆ m_denominator

◆ m_enumerator