mcrl2/utilities/big_numbers.h

Include file:

#include "mcrl2/utilities/big_numbers.h"

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.

Jan Friso Groote

Functions

std::ostream &mcrl2::utilities::operator<<(std::ostream &ss, const big_natural_number &l)
std::string pp(const big_natural_number &l)
void mcrl2::utilities::swap(big_natural_number &x, big_natural_number &y)

Standard overload of swap.

Functions

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::divide_single_number(const std::size_t p, const std::size_t q, std::size_t &remainder)
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::subtract_single_number(const std::size_t n1, const std::size_t n2, std::size_t &carry)