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 |