big_numbers.h File Reference

This file contains a class big_natural_number that stores big positive numbers of arbitrary size. It has all common operations that one can expect on big numbers. More...

Go to the source code of this file.

Classes
class	mcrl2::utilities::big_natural_number
struct	std::hash< mcrl2::utilities::big_natural_number >

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	mcrl2::utilities::detail
namespace	std
	STL namespace.

Functions
std::string	mcrl2::utilities::pp (const big_natural_number &l)
std::size_t	mcrl2::utilities::detail::add_single_number (const std::size_t n1, const std::size_t n2, std::size_t &carry)
std::size_t	mcrl2::utilities::detail::subtract_single_number (const std::size_t n1, const std::size_t n2, std::size_t &carry)
std::size_t	mcrl2::utilities::detail::multiply_single_number (const std::size_t n1, const std::size_t n2, std::size_t &multiplication_carry)
std::size_t	mcrl2::utilities::detail::divide_single_number (const std::size_t p, const std::size_t q, std::size_t &remainder)
std::size_t	mcrl2::utilities::detail::greatest_common_divisor (std::size_t p, std::size_t q)
void	mcrl2::utilities::detail::remove_common_divisor (std::size_t &p, std::size_t &q)
std::ostream &	mcrl2::utilities::operator<< (std::ostream &ss, const big_natural_number &l)
void	mcrl2::utilities::swap (big_natural_number &x, big_natural_number &y)
	Standard overload of swap.

Detailed Description

This file contains a class big_natural_number that stores big positive numbers of arbitrary size. It has all common operations that one can expect on big numbers.

Author

Jan Friso Groote

Definition in file big_numbers.h.