Go to the source code of this file.
Namespaces | |
namespace | Parma_Polyhedra_Library |
namespace | Parma_Polyhedra_Library::Checked |
Defines | |
#define | PPL_checked_mpz_inlines_hh 1 |
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. | |
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::set_special_mpz (mpz_class &v, Result r) |
template<typename Policy> | |
void | Parma_Polyhedra_Library::Checked::copy_mpz (mpz_class &to, const mpz_class &from) |
template<typename Policy, typename From> | |
Result | Parma_Polyhedra_Library::Checked::construct_mpz_base (mpz_class &to, const From from, Rounding_Dir) |
template<typename Policy, typename From> | |
Result | Parma_Polyhedra_Library::Checked::assign_mpz_base (mpz_class &to, const From from, Rounding_Dir) |
template<typename Policy, typename From> | |
Result | Parma_Polyhedra_Library::Checked::assign_mpz_signed_int (mpz_class &to, const From from, Rounding_Dir) |
template<typename Policy, typename From> | |
Result | Parma_Polyhedra_Library::Checked::assign_mpz_unsigned_int (mpz_class &to, const From from, Rounding_Dir) |
template<typename Policy, typename From> | |
Result | Parma_Polyhedra_Library::Checked::assign_mpz_float (mpz_class &to, const From from, Rounding_Dir dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::assign_mpz_mpq (mpz_class &to, const mpq_class &from, Rounding_Dir dir) |
template<typename Policy, typename To> | |
Result | Parma_Polyhedra_Library::Checked::assign_mp_minf (To &to, const Minus_Infinity &, Rounding_Dir) |
template<typename Policy, typename To> | |
Result | Parma_Polyhedra_Library::Checked::assign_mp_pinf (To &to, const Plus_Infinity &, Rounding_Dir) |
template<typename Policy, typename To> | |
Result | Parma_Polyhedra_Library::Checked::assign_mp_nan (To &to, const Not_A_Number &, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::neg_mpz (mpz_class &to, const mpz_class &from, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::add_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::sub_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::mul_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::div_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::rem_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::mul2exp_mpz (mpz_class &to, const mpz_class &x, int exp, Rounding_Dir dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::div2exp_mpz (mpz_class &to, const mpz_class &x, int exp, Rounding_Dir dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::abs_mpz (mpz_class &to, const mpz_class &from, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::add_mul_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::sub_mul_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::gcd_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::gcdext_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, mpz_class &s, mpz_class &t, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::lcm_mpz (mpz_class &to, const mpz_class &x, const mpz_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::sqrt_mpz (mpz_class &to, const mpz_class &from, Rounding_Dir dir) |
template<typename Policy, typename Type> | |
Result | Parma_Polyhedra_Library::Checked::sgn_mp (const Type &x) |
template<typename Policy, typename Type> | |
Result | 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) |
memory_size_type | Parma_Polyhedra_Library::Checked::external_memory_in_bytes (const mpz_class &x) |
#define PPL_checked_mpz_inlines_hh 1 |
Definition at line 24 of file checked_mpz.inlines.hh.