#include "Checked_Number.types.hh"#include "Coefficient_traits_template.hh"#include <iostream>#include <gmpxx.h>#include <limits>#include "Temp.defs.hh"#include "assert.hh"#include "compiler.hh"#include <stdexcept>#include "Result.defs.hh"#include "fpu.defs.hh"#include "Float.defs.hh"#include "globals.types.hh"#include "meta_programming.hh"#include "C_Integer.hh"#include <cerrno>#include <cstdlib>#include <climits>#include <string>#include <cmath>#include <sstream>#include "Slow_Copy.hh"#include <iosfwd>#include "globals.defs.hh"#include "checked_int.inlines.hh"#include <iomanip>

Go to the source code of this file.
Classes | |
| struct | Parma_Polyhedra_Library::Extended_Number_Policy |
| struct | Parma_Polyhedra_Library::Check_Overflow_Policy< T > |
| A policy checking for overflows. More... | |
| struct | Parma_Polyhedra_Library::Native_Checked_From_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type > |
| struct | Parma_Polyhedra_Library::Native_Checked_From_Wrapper< Checked_Number< T, P > > |
| struct | Parma_Polyhedra_Library::Native_Checked_To_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type > |
| struct | Parma_Polyhedra_Library::Native_Checked_To_Wrapper< Checked_Number< T, P > > |
| struct | Parma_Polyhedra_Library::Is_Checked< T > |
| struct | Parma_Polyhedra_Library::Is_Checked< Checked_Number< T, P > > |
| struct | Parma_Polyhedra_Library::Is_Native_Or_Checked< T > |
| class | Parma_Polyhedra_Library::Checked_Number< T, Policy > |
| A wrapper for numeric types implementing a given policy. More... | |
| struct | Parma_Polyhedra_Library::Slow_Copy< Checked_Number< T, P > > |
| struct | Parma_Polyhedra_Library::FPU_Related< Checked_Number< T, Policy > > |
Namespaces | |
| namespace | Parma_Polyhedra_Library |
The entire library is confined to this namespace. | |
Defines | |
| #define | PPL_DECLARE_FUNC1_A(name) |
| #define | PPL_DECLARE_FUNC1_B(name) |
| #define | PPL_DECLARE_FUNC2(name) |
| #define | PPL_DECLARE_FUNC4(name) |
Functions | |
| void | Parma_Polyhedra_Library::throw_result_exception (Result r) |
| template<typename T > | |
| T | Parma_Polyhedra_Library::plus_infinity () |
| template<typename T > | |
| T | Parma_Polyhedra_Library::minus_infinity () |
| template<typename T > | |
| T | Parma_Polyhedra_Library::not_a_number () |
| template<typename T > | |
| void | Parma_Polyhedra_Library::maybe_reset_fpu_inexact () |
| template<typename T > | |
| int | Parma_Polyhedra_Library::maybe_check_fpu_inexact () |
Relational Operators and Comparison Functions | |
| template<typename T1 , typename T2 > | |
| Enable_If < Is_Native_Or_Checked< T1 > ::value &&Is_Native_Or_Checked < T2 >::value, bool >::type | Parma_Polyhedra_Library::equal (const T1 &x, const T2 &y) |
| template<typename T1 , typename T2 > | |
| Enable_If < Is_Native_Or_Checked< T1 > ::value &&Is_Native_Or_Checked < T2 >::value, bool >::type | Parma_Polyhedra_Library::not_equal (const T1 &x, const T2 &y) |
| template<typename T1 , typename T2 > | |
| Enable_If < Is_Native_Or_Checked< T1 > ::value &&Is_Native_Or_Checked < T2 >::value, bool >::type | Parma_Polyhedra_Library::greater_or_equal (const T1 &x, const T2 &y) |
| template<typename T1 , typename T2 > | |
| Enable_If < Is_Native_Or_Checked< T1 > ::value &&Is_Native_Or_Checked < T2 >::value, bool >::type | Parma_Polyhedra_Library::greater_than (const T1 &x, const T2 &y) |
| template<typename T1 , typename T2 > | |
| Enable_If < Is_Native_Or_Checked< T1 > ::value &&Is_Native_Or_Checked < T2 >::value, bool >::type | Parma_Polyhedra_Library::less_or_equal (const T1 &x, const T2 &y) |
| template<typename T1 , typename T2 > | |
| Enable_If < Is_Native_Or_Checked< T1 > ::value &&Is_Native_Or_Checked < T2 >::value, bool >::type | Parma_Polyhedra_Library::less_than (const T1 &x, const T2 &y) |
Input-Output Operators | |
| template<typename T > | |
| Enable_If < Is_Native_Or_Checked< T > ::value, void >::type | Parma_Polyhedra_Library::ascii_dump (std::ostream &s, const T &t) |
| Ascii dump for native or checked. | |
| template<typename T > | |
| Enable_If < Is_Native_Or_Checked< T > ::value, bool >::type | Parma_Polyhedra_Library::ascii_load (std::ostream &s, T &t) |
| Ascii load for native or checked. | |
| #define PPL_DECLARE_FUNC1_A | ( | name | ) |
template <typename To, typename From> \ typename Enable_If<Is_Native_Or_Checked<To>::value \ && Is_Native_Or_Checked<From>::value, \ Result>::type \ name(To& to, const From& x, Rounding_Dir dir);
Definition at line 478 of file Checked_Number.defs.hh.
| #define PPL_DECLARE_FUNC1_B | ( | name | ) |
template <typename To, typename From> \ typename Enable_If<Is_Native_Or_Checked<To>::value \ && Is_Native_Or_Checked<From>::value, \ Result>::type \ name(To& to, const From& x, int exp, Rounding_Dir dir);
Definition at line 495 of file Checked_Number.defs.hh.
| #define PPL_DECLARE_FUNC2 | ( | name | ) |
Definition at line 511 of file Checked_Number.defs.hh.
| #define PPL_DECLARE_FUNC4 | ( | name | ) |
Definition at line 532 of file Checked_Number.defs.hh.
1.6.3