PPL  1.2
checked_ext_inlines.hh File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Parma_Polyhedra_Library::FPU_Related< T >
 
struct  Parma_Polyhedra_Library::FPU_Related< float >
 
struct  Parma_Polyhedra_Library::FPU_Related< double >
 
struct  Parma_Polyhedra_Library::FPU_Related< long double >
 

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 T >
bool Parma_Polyhedra_Library::Checked::handle_ext_natively (const T &)
 
template<typename Policy , typename Type >
bool Parma_Polyhedra_Library::Checked::ext_to_handle (const Type &x)
 
template<typename Policy , typename Type >
Result_Relation Parma_Polyhedra_Library::Checked::sgn_ext (const Type &x)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::construct_ext (To &to, const From &x, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::assign_ext (To &to, const From &from, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::neg_ext (To &to, const From &x, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::floor_ext (To &to, const From &x, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::ceil_ext (To &to, const From &x, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::trunc_ext (To &to, const From &x, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::abs_ext (To &to, const From &x, Rounding_Dir dir)
 
template<typename To_Policy , typename From1_Policy , typename From2_Policy , typename To , typename From1 , typename From2 >
Result Parma_Polyhedra_Library::Checked::add_ext (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
 
template<typename To_Policy , typename From1_Policy , typename From2_Policy , typename To , typename From1 , typename From2 >
Result Parma_Polyhedra_Library::Checked::sub_ext (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
 
template<typename To_Policy , typename From1_Policy , typename From2_Policy , typename To , typename From1 , typename From2 >
Result Parma_Polyhedra_Library::Checked::mul_ext (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
 
template<typename To_Policy , typename From1_Policy , typename From2_Policy , typename To , typename From1 , typename From2 >
Result Parma_Polyhedra_Library::Checked::add_mul_ext (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
 
template<typename To_Policy , typename From1_Policy , typename From2_Policy , typename To , typename From1 , typename From2 >
Result Parma_Polyhedra_Library::Checked::sub_mul_ext (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
 
template<typename To_Policy , typename From1_Policy , typename From2_Policy , typename To , typename From1 , typename From2 >
Result Parma_Polyhedra_Library::Checked::div_ext (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
 
template<typename To_Policy , typename From1_Policy , typename From2_Policy , typename To , typename From1 , typename From2 >
Result Parma_Polyhedra_Library::Checked::idiv_ext (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
 
template<typename To_Policy , typename From1_Policy , typename From2_Policy , typename To , typename From1 , typename From2 >
Result Parma_Polyhedra_Library::Checked::rem_ext (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::add_2exp_ext (To &to, const From &x, unsigned int exp, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::sub_2exp_ext (To &to, const From &x, unsigned int exp, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::mul_2exp_ext (To &to, const From &x, unsigned int exp, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::div_2exp_ext (To &to, const From &x, unsigned int exp, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::smod_2exp_ext (To &to, const From &x, unsigned int exp, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::umod_2exp_ext (To &to, const From &x, unsigned int exp, Rounding_Dir dir)
 
template<typename To_Policy , typename From_Policy , typename To , typename From >
Result Parma_Polyhedra_Library::Checked::sqrt_ext (To &to, const From &x, Rounding_Dir dir)
 
template<typename To_Policy , typename From1_Policy , typename From2_Policy , typename To , typename From1 , typename From2 >
Result Parma_Polyhedra_Library::Checked::gcd_ext (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
 
template<typename To1_Policy , typename To2_Policy , typename To3_Policy , typename From1_Policy , typename From2_Policy , typename To1 , typename To2 , typename To3 , typename From1 , typename From2 >
Result Parma_Polyhedra_Library::Checked::gcdext_ext (To1 &to, To2 &s, To3 &t, const From1 &x, const From2 &y, Rounding_Dir dir)
 
template<typename To_Policy , typename From1_Policy , typename From2_Policy , typename To , typename From1 , typename From2 >
Result Parma_Polyhedra_Library::Checked::lcm_ext (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
 
template<typename Policy1 , typename Policy2 , typename Type1 , typename Type2 >
Result_Relation Parma_Polyhedra_Library::Checked::cmp_ext (const Type1 &x, const Type2 &y)
 
template<typename Policy1 , typename Policy2 , typename Type1 , typename Type2 >
bool Parma_Polyhedra_Library::Checked::lt_ext (const Type1 &x, const Type2 &y)
 
template<typename Policy1 , typename Policy2 , typename Type1 , typename Type2 >
bool Parma_Polyhedra_Library::Checked::gt_ext (const Type1 &x, const Type2 &y)
 
template<typename Policy1 , typename Policy2 , typename Type1 , typename Type2 >
bool Parma_Polyhedra_Library::Checked::le_ext (const Type1 &x, const Type2 &y)
 
template<typename Policy1 , typename Policy2 , typename Type1 , typename Type2 >
bool Parma_Polyhedra_Library::Checked::ge_ext (const Type1 &x, const Type2 &y)
 
template<typename Policy1 , typename Policy2 , typename Type1 , typename Type2 >
bool Parma_Polyhedra_Library::Checked::eq_ext (const Type1 &x, const Type2 &y)
 
template<typename Policy1 , typename Policy2 , typename Type1 , typename Type2 >
bool Parma_Polyhedra_Library::Checked::ne_ext (const Type1 &x, const Type2 &y)
 
template<typename Policy , typename Type >
Result Parma_Polyhedra_Library::Checked::output_ext (std::ostream &os, const Type &x, const Numeric_Format &format, Rounding_Dir dir)
 
template<typename To_Policy , typename To >
Result Parma_Polyhedra_Library::Checked::input_ext (To &to, std::istream &is, Rounding_Dir dir)