#include <sstream>
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::assign_special_mpz (mpz_class &v, Result r, 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::mul2exp_mpz (mpz_class &to, const mpz_class &x, int exp, Rounding_Dir dir) |
template<typename To_Policy, typename From_Policy> | |
Result | Parma_Polyhedra_Library::Checked::div2exp_mpz (mpz_class &to, const mpz_class &x, int exp, Rounding_Dir 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 | Parma_Polyhedra_Library::Checked::sgn_mp (const Type &x) |
template<typename Policy1, typename Policy2, 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) |
#define PPL_checked_mpz_inlines_hh 1 |
Definition at line 24 of file checked_mpz.inlines.hh.