checked_ext_defs.hh File Reference
Include dependency graph for checked_ext_defs.hh:
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 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 Policy , typename Type > | |
| Result | Parma_Polyhedra_Library::Checked::sgn_ext (const Type &x) |
| template<typename Policy1 , typename Policy2 , typename Type1 , typename Type2 > | |
| Result | Parma_Polyhedra_Library::Checked::cmp_ext (const Type1 &x, const Type2 &y) |
| 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::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::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::rem_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 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 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 Policy , typename Type > | |
| Result | Parma_Polyhedra_Library::Checked::input_ext (Type &x, std::istream &is, Rounding_Dir dir) |
