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
	Parma_Polyhedra_Library
	The entire library is confined to this 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)
unsigned	Parma_Polyhedra_Library::irrational_precision ()
	Returns the precision parameter used for irrational calculations. More...
void	Parma_Polyhedra_Library::set_irrational_precision (const unsigned p)
	Sets the precision parameter used for irrational calculations. More...