checked_mpq.inlines.hh File Reference

#include <sstream>
#include <climits>
#include <stdexcept>
Include dependency graph for checked_mpq.inlines.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  Parma_Polyhedra_Library
 

The entire library is confined to this namespace.


namespace  Parma_Polyhedra_Library::Checked
 

Types and functions implementing checked numbers.


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::assign_special_mpq (mpq_class &v, Result_Class c, Rounding_Dir)
template<typename To_Policy , typename From_Policy , typename From >
Result Parma_Polyhedra_Library::Checked::construct_mpq_base (mpq_class &to, const From &from, Rounding_Dir)
template<typename To_Policy , typename From_Policy , typename From >
Result Parma_Polyhedra_Library::Checked::construct_mpq_float (mpq_class &to, const From &from, Rounding_Dir dir)
template<typename To_Policy , typename From_Policy , typename From >
Result Parma_Polyhedra_Library::Checked::assign_mpq_float (mpq_class &to, const From &from, Rounding_Dir dir)
template<typename To_Policy , typename From_Policy , typename From >
Result Parma_Polyhedra_Library::Checked::assign_mpq_signed_int (mpq_class &to, const From from, Rounding_Dir)
template<typename To_Policy , typename From_Policy , typename From >
Result Parma_Polyhedra_Library::Checked::assign_mpq_unsigned_int (mpq_class &to, const From from, Rounding_Dir)
template<typename To_Policy , typename From_Policy >
Result Parma_Polyhedra_Library::Checked::floor_mpq (mpq_class &to, const mpq_class &from, Rounding_Dir)
template<typename To_Policy , typename From_Policy >
Result Parma_Polyhedra_Library::Checked::ceil_mpq (mpq_class &to, const mpq_class &from, Rounding_Dir)
template<typename To_Policy , typename From_Policy >
Result Parma_Polyhedra_Library::Checked::trunc_mpq (mpq_class &to, const mpq_class &from, Rounding_Dir)
template<typename To_Policy , typename From_Policy >
Result Parma_Polyhedra_Library::Checked::neg_mpq (mpq_class &to, const mpq_class &from, Rounding_Dir)
template<typename To_Policy , typename From1_Policy , typename From2_Policy >
Result Parma_Polyhedra_Library::Checked::add_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir)
template<typename To_Policy , typename From1_Policy , typename From2_Policy >
Result Parma_Polyhedra_Library::Checked::sub_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir)
template<typename To_Policy , typename From1_Policy , typename From2_Policy >
Result Parma_Polyhedra_Library::Checked::mul_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir)
template<typename To_Policy , typename From1_Policy , typename From2_Policy >
Result Parma_Polyhedra_Library::Checked::div_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir)
template<typename To_Policy , typename From1_Policy , typename From2_Policy >
Result Parma_Polyhedra_Library::Checked::idiv_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir dir)
template<typename To_Policy , typename From1_Policy , typename From2_Policy >
Result Parma_Polyhedra_Library::Checked::rem_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir)
template<typename To_Policy , typename From_Policy >
Result Parma_Polyhedra_Library::Checked::add_2exp_mpq (mpq_class &to, const mpq_class &x, unsigned int exp, Rounding_Dir)
template<typename To_Policy , typename From_Policy >
Result Parma_Polyhedra_Library::Checked::sub_2exp_mpq (mpq_class &to, const mpq_class &x, unsigned int exp, Rounding_Dir)
template<typename To_Policy , typename From_Policy >
Result Parma_Polyhedra_Library::Checked::mul_2exp_mpq (mpq_class &to, const mpq_class &x, unsigned int exp, Rounding_Dir)
template<typename To_Policy , typename From_Policy >
Result Parma_Polyhedra_Library::Checked::div_2exp_mpq (mpq_class &to, const mpq_class &x, unsigned int exp, Rounding_Dir)
template<typename To_Policy , typename From_Policy >
Result Parma_Polyhedra_Library::Checked::smod_2exp_mpq (mpq_class &to, const mpq_class &x, unsigned int exp, Rounding_Dir)
template<typename To_Policy , typename From_Policy >
Result Parma_Polyhedra_Library::Checked::umod_2exp_mpq (mpq_class &to, const mpq_class &x, unsigned int exp, Rounding_Dir)
template<typename To_Policy , typename From_Policy >
Result Parma_Polyhedra_Library::Checked::abs_mpq (mpq_class &to, const mpq_class &from, Rounding_Dir)
template<typename To_Policy , typename From1_Policy , typename From2_Policy >
Result Parma_Polyhedra_Library::Checked::add_mul_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir)
template<typename To_Policy , typename From1_Policy , typename From2_Policy >
Result Parma_Polyhedra_Library::Checked::sub_mul_mpq (mpq_class &to, const mpq_class &x, const mpq_class &y, Rounding_Dir)
template<typename To_Policy , typename From_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)
template<typename To_Policy , typename From_Policy , typename From >
Result Parma_Polyhedra_Library::Checked::assign_mpq_long_double (mpq_class &to, const From &from, Rounding_Dir dir)
unsigned Parma_Polyhedra_Library::irrational_precision ()
 Returns the precision parameter used for irrational calculations.
void Parma_Polyhedra_Library::set_irrational_precision (const unsigned p)
 Sets the precision parameter used for irrational calculations.

Variables

unsigned Parma_Polyhedra_Library::Checked::irrational_precision
 Holds the precision parameter used for irrational calculations.
Generated on Sun Feb 27 16:18:09 2011 for PPL by  doxygen 1.6.3