checked_mpz_inlines.hh File Reference
#include <sstream>
Include dependency graph for checked_mpz_inlines.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| Parma_Polyhedra_Library | |
| The entire library is confined to this namespace. | |
| Parma_Polyhedra_Library::Checked | |
| Types and functions implementing checked numbers. | |
Typedefs | |
| typedef int | Parma_Polyhedra_Library::Checked::mp_size_field_t |
| This is assumed to be the type of the _mp_size field of GMP's __mpz_struct. More... | |
Functions | |
| template<typename Policy > | |
| Result | Parma_Polyhedra_Library::Checked::round_lt_mpz (mpz_class &to, Rounding_Dir dir) |
| template<typename Policy > | |
| Result | Parma_Polyhedra_Library::Checked::round_gt_mpz (mpz_class &to, Rounding_Dir dir) |
| mp_size_field_t | Parma_Polyhedra_Library::Checked::get_mp_size (const mpz_class &v) |
| void | Parma_Polyhedra_Library::Checked::set_mp_size (mpz_class &v, mp_size_field_t size) |
| template<typename Policy > | |
| Result | Parma_Polyhedra_Library::Checked::classify_mpz (const mpz_class &v, bool nan, bool inf, bool sign) |
| template<typename Policy > | |
| bool | Parma_Polyhedra_Library::Checked::is_nan_mpz (const mpz_class &v) |
| template<typename Policy > | |
| bool | Parma_Polyhedra_Library::Checked::is_minf_mpz (const mpz_class &v) |
| template<typename Policy > | |
| bool | Parma_Polyhedra_Library::Checked::is_pinf_mpz (const mpz_class &v) |
| template<typename Policy > | |
| bool | Parma_Polyhedra_Library::Checked::is_int_mpz (const mpz_class &v) |
| template<typename Policy > | |
| Result | Parma_Polyhedra_Library::Checked::assign_special_mpz (mpz_class &v, Result_Class c, Rounding_Dir) |
| template<typename To_Policy , typename From_Policy > | |
| void | Parma_Polyhedra_Library::Checked::copy_mpz (mpz_class &to, const mpz_class &from) |
| template<typename To_Policy , typename From_Policy , typename From > | |
| Result | Parma_Polyhedra_Library::Checked::construct_mpz_base (mpz_class &to, const From from, Rounding_Dir) |
| template<typename To_Policy , typename From_Policy , typename From > | |
| Result | Parma_Polyhedra_Library::Checked::construct_mpz_float (mpz_class &to, const From &from, Rounding_Dir dir) |
| template<typename To_Policy , typename From_Policy , typename From > | |
| Result | Parma_Polyhedra_Library::Checked::assign_mpz_signed_int (mpz_class &to, const From from, Rounding_Dir) |
| template<typename To_Policy , typename From_Policy , typename From > | |
| Result | Parma_Polyhedra_Library::Checked::assign_mpz_unsigned_int (mpz_class &to, const From from, Rounding_Dir) |
| template<typename To_Policy , typename From_Policy , typename From > | |
| Result | Parma_Polyhedra_Library::Checked::assign_mpz_float (mpz_class &to, const From from, Rounding_Dir dir) |
| template<typename To_Policy , typename From_Policy , typename From > | |
| Result | Parma_Polyhedra_Library::Checked::assign_mpz_long_double (mpz_class &to, const From &from, Rounding_Dir dir) |
| template<typename To_Policy , typename From_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::assign_mpz_mpq (mpz_class &to, const mpq_class &from, Rounding_Dir dir) |
| template<typename To_Policy , typename From_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::neg_mpz (mpz_class &to, const mpz_class &from, Rounding_Dir) |
| template<typename To_Policy , typename From1_Policy , typename From2_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::add_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
| template<typename To_Policy , typename From1_Policy , typename From2_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::sub_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
| template<typename To_Policy , typename From1_Policy , typename From2_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::mul_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
| template<typename To_Policy , typename From1_Policy , typename From2_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::div_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir dir) |
| template<typename To_Policy , typename From1_Policy , typename From2_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::idiv_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
| template<typename To_Policy , typename From1_Policy , typename From2_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::rem_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
| template<typename To_Policy , typename From_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::add_2exp_mpz (mpz_class &to, const mpz_class &x, unsigned int exp, Rounding_Dir) |
| template<typename To_Policy , typename From_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::sub_2exp_mpz (mpz_class &to, const mpz_class &x, unsigned int exp, Rounding_Dir) |
| template<typename To_Policy , typename From_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::mul_2exp_mpz (mpz_class &to, const mpz_class &x, unsigned int exp, Rounding_Dir) |
| template<typename To_Policy , typename From_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::div_2exp_mpz (mpz_class &to, const mpz_class &x, unsigned int exp, Rounding_Dir dir) |
| template<typename To_Policy , typename From_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::smod_2exp_mpz (mpz_class &to, const mpz_class &x, unsigned int exp, Rounding_Dir) |
| template<typename To_Policy , typename From_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::umod_2exp_mpz (mpz_class &to, const mpz_class &x, unsigned int exp, Rounding_Dir) |
| template<typename To_Policy , typename From_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::abs_mpz (mpz_class &to, const mpz_class &from, Rounding_Dir) |
| template<typename To_Policy , typename From1_Policy , typename From2_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::add_mul_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
| template<typename To_Policy , typename From1_Policy , typename From2_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::sub_mul_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
| template<typename To_Policy , typename From1_Policy , typename From2_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::gcd_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
| template<typename To_Policy , typename From1_Policy , typename From2_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::gcdext_mpz (mpz_class &to, mpz_class &s, mpz_class &t, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
| template<typename To_Policy , typename From1_Policy , typename From2_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::lcm_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
| template<typename To_Policy , typename From_Policy > | |
| Result | Parma_Polyhedra_Library::Checked::sqrt_mpz (mpz_class &to, const mpz_class &from, Rounding_Dir dir) |
| template<typename Policy , typename Type > | |
| Result_Relation | Parma_Polyhedra_Library::Checked::sgn_mp (const Type &x) |
| template<typename Policy1 , typename Policy2 , typename Type > | |
| Result_Relation | Parma_Polyhedra_Library::Checked::cmp_mp (const Type &x, const Type &y) |
| template<typename Policy > | |
| Result | Parma_Polyhedra_Library::Checked::output_mpz (std::ostream &os, const mpz_class &from, const Numeric_Format &, Rounding_Dir) |
