#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"
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 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.