mcrl2::utilities::big_natural_number Member List

This is the complete list of members for mcrl2::utilities::big_natural_number, including all inherited members.

add(const big_natural_number &other)	mcrl2::utilities::big_natural_number	inline
big_natural_number()	mcrl2::utilities::big_natural_number	inlineexplicit
big_natural_number(const std::size_t n)	mcrl2::utilities::big_natural_number	inlineexplicit
big_natural_number(const std::string &s)	mcrl2::utilities::big_natural_number	inline
clear()	mcrl2::utilities::big_natural_number	inline
div_mod(const big_natural_number &other, big_natural_number &result, big_natural_number &remainder, big_natural_number &calculation_buffer_divisor) const	mcrl2::utilities::big_natural_number	inline
divide_by(std::size_t n)	mcrl2::utilities::big_natural_number	inline
is_number(std::size_t n) const	mcrl2::utilities::big_natural_number	inline
is_well_defined() const	mcrl2::utilities::big_natural_number	inlineprotected
is_zero() const	mcrl2::utilities::big_natural_number	inline
m_number	mcrl2::utilities::big_natural_number	protected
multiply(const big_natural_number &other, big_natural_number &result, big_natural_number &calculation_buffer_for_multiplicand) const	mcrl2::utilities::big_natural_number	inline
multiply_by(std::size_t n, std::size_t carry)	mcrl2::utilities::big_natural_number	inlineprotected
operator std::size_t() const	mcrl2::utilities::big_natural_number	inlineexplicit
operator!=(const big_natural_number &other) const	mcrl2::utilities::big_natural_number	inline
operator%(const big_natural_number &other) const	mcrl2::utilities::big_natural_number	inline
operator*(const big_natural_number &other) const	mcrl2::utilities::big_natural_number	inline
operator+(const big_natural_number &other) const	mcrl2::utilities::big_natural_number	inline
operator-(const big_natural_number &other) const	mcrl2::utilities::big_natural_number	inline
operator/(const big_natural_number &other) const	mcrl2::utilities::big_natural_number	inline
operator<(const big_natural_number &other) const	mcrl2::utilities::big_natural_number	inline
operator<=(const big_natural_number &other) const	mcrl2::utilities::big_natural_number	inline
operator==(const big_natural_number &other) const	mcrl2::utilities::big_natural_number	inline
operator>(const big_natural_number &other) const	mcrl2::utilities::big_natural_number	inline
operator>=(const big_natural_number &other) const	mcrl2::utilities::big_natural_number	inline
operator[](const std::size_t n) const	mcrl2::utilities::big_natural_number	inline
print_number(const std::string &s) const	mcrl2::utilities::big_natural_number	inlineprotected
push_back(const std::size_t n)	mcrl2::utilities::big_natural_number	inline
remove_significant_digits_that_are_zero()	mcrl2::utilities::big_natural_number	inlineprotected
size() const	mcrl2::utilities::big_natural_number	inline
subtract(const big_natural_number &other)	mcrl2::utilities::big_natural_number	inline
swap	mcrl2::utilities::big_natural_number	friend