#include <sstream>
#include <climits>
#include <stdexcept>
Go to the source code of this file.
Namespaces | |
namespace | Parma_Polyhedra_Library |
namespace | Parma_Polyhedra_Library::Checked |
Defines | |
#define | PPL_checked_mpq_inlines_hh 1 |
Functions | |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::classify_mpq (const mpq_class &v, bool nan, bool inf, bool sign) |
template<typename Policy> | |
bool | Parma_Polyhedra_Library::Checked::is_nan_mpq (const mpq_class &v) |
template<typename Policy> | |
bool | Parma_Polyhedra_Library::Checked::is_minf_mpq (const mpq_class &v) |
template<typename Policy> | |
bool | Parma_Polyhedra_Library::Checked::is_pinf_mpq (const mpq_class &v) |
template<typename Policy> | |
bool | Parma_Polyhedra_Library::Checked::is_int_mpq (const mpq_class &v) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::set_special_mpq (mpq_class &v, Result r) |
template<typename Policy, typename From> | |
Result | Parma_Polyhedra_Library::Checked::construct_mpq_base (mpq_class &to, const From &from, Rounding_Dir) |
template<typename Policy, typename From> | |
Result | Parma_Polyhedra_Library::Checked::construct_mpq_long_double (mpq_class &to, const From &from, Rounding_Dir dir) |
template<typename Policy, typename From> | |
Result | Parma_Polyhedra_Library::Checked::assign_mpq_base (mpq_class &to, const From &from, Rounding_Dir) |
template<typename Policy, typename From> | |
Result | Parma_Polyhedra_Library::Checked::assign_mpq_signed_int (mpq_class &to, const From from, Rounding_Dir) |
template<typename Policy, typename From> | |
Result | Parma_Polyhedra_Library::Checked::assign_mpq_unsigned_int (mpq_class &to, const From from, Rounding_Dir) |
template<typename Policy, typename From> | |
Result | Parma_Polyhedra_Library::Checked::assign_mpq_long_double (mpq_class &to, const From &from, Rounding_Dir dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::neg_mpq (mpq_class &to, const mpq_class &from, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::add_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::sub_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::mul_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::div_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::rem_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::mul2exp_mpq (mpq_class &to, const mpq_class &x, int exp, Rounding_Dir dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::div2exp_mpq (mpq_class &to, const mpq_class &x, int exp, Rounding_Dir dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::abs_mpq (mpq_class &to, const mpq_class &from, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::add_mul_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::sub_mul_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::sqrt_mpq (mpq_class &to, const mpq_class &from, Rounding_Dir dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::input_mpq (mpq_class &to, std::istream &is, Rounding_Dir dir) |
template<typename Policy> | |
Result | Parma_Polyhedra_Library::Checked::output_mpq (std::ostream &os, const mpq_class &from, const Numeric_Format &, Rounding_Dir) |
memory_size_type | Parma_Polyhedra_Library::Checked::external_memory_in_bytes (const mpq_class &x) |
unsigned | Parma_Polyhedra_Library::rational_sqrt_precision_parameter () |
Returns the precision parameter used for rational square root calculations. | |
void | Parma_Polyhedra_Library::set_rational_sqrt_precision_parameter (const unsigned p) |
Sets the precision parameter used for rational square root calculations. | |
Variables | |
unsigned long | Parma_Polyhedra_Library::Checked::rational_sqrt_precision_parameter |
Holds the precision parameter used for rational sqrt calculations. |
#define PPL_checked_mpq_inlines_hh 1 |
Definition at line 24 of file checked_mpq.inlines.hh.