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>
Parma_Polyhedra_Library::plus_infinity ()
template<typename T>
Parma_Polyhedra_Library::minus_infinity ()
template<typename 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.


Generated on Sat Oct 11 10:39:50 2008 for PPL by  doxygen 1.5.6