Checked_Number.inlines.hh File Reference

#include "globals.defs.hh"
#include <stdexcept>
#include <sstream>
Include dependency graph for Checked_Number.inlines.hh:

Go to the source code of this file.

Namespaces

namespace  Parma_Polyhedra_Library
 

The entire library is confined to this namespace.


Defines

#define DEBUG_ROUND_NOT_NEEDED
#define PPL_DEFINE_CTOR(type)
#define PPL_COND_0(...)
#define PPL_COND_1(...)   __VA_ARGS__
#define PPL_COND_(if,...)   PPL_COND_##if(__VA_ARGS__)
#define PPL_COND(if,...)   PPL_COND_(if, __VA_ARGS__)
#define PPL_DEFINE_FUNC1_A(name, func)
#define PPL_DEFINE_FUNC1_B(name, func)
#define PPL_DEFINE_FUNC2(name, func)
#define PPL_DEFINE_FUNC4(name, func)
#define PPL_DEFINE_INCREMENT(f, fun)
#define PPL_DEFINE_BINARY_OP_ASSIGN(f, fun)
#define PPL_DEFINE_BINARY_OP(f, fun)
#define PPL_DEFINE_COMPARE_OP(f, fun)
#define PPL_DEFINE_COMPARE(f, fun)
#define PPL_DEFINE_ASSIGN_FUN2_1(f, fun)
#define PPL_DEFINE_ASSIGN_FUN2_2(f, fun)
#define PPL_DEFINE_ASSIGN_FUN3_3(f, fun)
#define PPL_DEFINE_ASSIGN_FUN5_5(f, fun)
#define PPL_DEFINE_ASSIGN_2EXP(f, fun)

Functions

Rounding_Dir Parma_Polyhedra_Library::rounding_dir (Rounding_Dir dir)
Result Parma_Polyhedra_Library::check_result (Result r, Rounding_Dir dir)
template<typename To , typename From >
Enable_If
< Is_Native_Or_Checked< To >
::value &&Is_Special< From >
::value, Result >::type 
Parma_Polyhedra_Library::assign_r (To &to, const From &, Rounding_Dir dir)
template<typename To , typename From >
Enable_If
< Is_Native_Or_Checked< To >
::value &&Is_Special< From >
::value, Result >::type 
Parma_Polyhedra_Library::construct (To &to, const From &, Rounding_Dir dir)
template<typename T >
Enable_If
< Is_Native_Or_Checked< T >
::value, bool >::type 
Parma_Polyhedra_Library::is_minus_infinity (const T &x)
template<typename T >
Enable_If
< Is_Native_Or_Checked< T >
::value, bool >::type 
Parma_Polyhedra_Library::is_plus_infinity (const T &x)
template<typename T >
Enable_If
< Is_Native_Or_Checked< T >
::value, int >::type 
Parma_Polyhedra_Library::is_infinity (const T &x)
template<typename T >
Enable_If
< Is_Native_Or_Checked< T >
::value, bool >::type 
Parma_Polyhedra_Library::is_not_a_number (const T &x)
template<typename T >
Enable_If
< Is_Native_Or_Checked< T >
::value, bool >::type 
Parma_Polyhedra_Library::is_integer (const T &x)
template<typename T , typename Policy >
bool Parma_Polyhedra_Library::is_not_a_number (const Checked_Number< T, Policy > &x)
template<typename T , typename Policy >
bool Parma_Polyhedra_Library::is_minus_infinity (const Checked_Number< T, Policy > &x)
template<typename T , typename Policy >
bool Parma_Polyhedra_Library::is_plus_infinity (const Checked_Number< T, Policy > &x)
template<typename T , typename Policy >
void Parma_Polyhedra_Library::exact_div_assign (Checked_Number< T, Policy > &x, const Checked_Number< T, Policy > &y, const Checked_Number< T, Policy > &z)
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 ()

Define Documentation

#define DEBUG_ROUND_NOT_NEEDED

Definition at line 34 of file Checked_Number.inlines.hh.

#define PPL_COND ( if,
...   )     PPL_COND_(if, __VA_ARGS__)

Definition at line 135 of file Checked_Number.inlines.hh.

#define PPL_COND_ ( if,
...   )     PPL_COND_##if(__VA_ARGS__)

Definition at line 134 of file Checked_Number.inlines.hh.

#define PPL_COND_0 ( ...   ) 

Definition at line 132 of file Checked_Number.inlines.hh.

#define PPL_COND_1 ( ...   )     __VA_ARGS__

Definition at line 133 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_ASSIGN_2EXP ( f,
fun   ) 

Definition at line 697 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_ASSIGN_FUN2_1 ( f,
fun   ) 
Value:
template <typename T, typename Policy> \
inline void \
f(Checked_Number<T, Policy>& x) { \
  Policy::handle_result(fun(x, x, Policy::ROUND_DEFAULT_FUNCTION));     \
}

Definition at line 630 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_ASSIGN_FUN2_2 ( f,
fun   ) 
Value:
template <typename T, typename Policy> \
inline void \
f(Checked_Number<T, Policy>& x, const Checked_Number<T, Policy>& y) { \
  Policy::handle_result(fun(x, y, Policy::ROUND_DEFAULT_FUNCTION)); \
}

Definition at line 637 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_ASSIGN_FUN3_3 ( f,
fun   ) 

Definition at line 644 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_ASSIGN_FUN5_5 ( f,
fun   ) 

Definition at line 652 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_BINARY_OP ( f,
fun   ) 

Definition at line 537 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_BINARY_OP_ASSIGN ( f,
fun   ) 

Definition at line 502 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_COMPARE ( f,
fun   ) 

Definition at line 593 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_COMPARE_OP ( f,
fun   ) 

Definition at line 570 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_CTOR ( type   ) 

Definition at line 113 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_FUNC1_A ( name,
func   ) 

Definition at line 347 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_FUNC1_B ( name,
func   ) 

Definition at line 373 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_FUNC2 ( name,
func   ) 

Definition at line 399 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_FUNC4 ( name,
func   ) 

Definition at line 432 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_INCREMENT ( f,
fun   ) 

Definition at line 466 of file Checked_Number.inlines.hh.

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