Checked_Number.defs.hh File Reference

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

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 >
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 PPL_DECLARE_FUNC1_A ( 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 478 of file Checked_Number.defs.hh.

#define PPL_DECLARE_FUNC1_B ( 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 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.

Generated on Sun Feb 27 16:18:10 2011 for PPL by  doxygen 1.6.3