Checked_Number.defs.hh File Reference
#include "Checked_Number.types.hh"#include "checked.defs.hh"#include "meta_programming.hh"#include "Slow_Copy.hh"#include <iosfwd>#include "Checked_Number.inlines.hh"#include "checked_numeric_limits.hh"#include "Checked_Number.templates.hh"
Include dependency graph for Checked_Number.defs.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 |
Classes | |
| struct | Parma_Polyhedra_Library::Checked_Number_Default_Policy |
| struct | Parma_Polyhedra_Library::Extended_Number_Policy |
| struct | Parma_Polyhedra_Library::WRD_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 > > |
Defines | |
| #define | PPL_Checked_Number_defs_hh 1 |
| #define | FUNC1(name) |
| #define | FUNC1(name) |
| #define | FUNC2(name) |
| #define | 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 Documentation
| #define FUNC1 | ( | name | ) |
Value:
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 546 of file Checked_Number.defs.hh.
| #define FUNC1 | ( | name | ) |
Value:
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 546 of file Checked_Number.defs.hh.
| #define FUNC2 | ( | name | ) |
Definition at line 558 of file Checked_Number.defs.hh.
| #define FUNC4 | ( | name | ) |
Definition at line 579 of file Checked_Number.defs.hh.
| #define PPL_Checked_Number_defs_hh 1 |
Definition at line 24 of file Checked_Number.defs.hh.
