PPL  1.2
Checked_Number_inlines.hh File Reference
#include "globals_defs.hh"
#include <stdexcept>
#include <sstream>
Include dependency graph for Checked_Number_inlines.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 Parma_Polyhedra_Library
 The entire library is confined to this namespace.
 

Macros

#define DEBUG_ROUND_NOT_NEEDED
 
#define PPL_DEFINE_CTOR(type)
 
#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::infinity_sign (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 ()
 

Macro Definition Documentation

#define DEBUG_ROUND_NOT_NEEDED

Definition at line 34 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_ASSIGN_2EXP (   f,
  fun 
)

Definition at line 700 of file Checked_Number_inlines.hh.

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

Definition at line 633 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_ASSIGN_FUN2_2 (   f,
  fun 
)
Value:
template <typename T, typename Policy> \
inline void \
PPL_U(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 640 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_ASSIGN_FUN3_3 (   f,
  fun 
)

Definition at line 647 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_ASSIGN_FUN5_5 (   f,
  fun 
)

Definition at line 655 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_BINARY_OP (   f,
  fun 
)

Definition at line 539 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_BINARY_OP_ASSIGN (   f,
  fun 
)

Definition at line 504 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_COMPARE (   f,
  fun 
)

Definition at line 596 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_COMPARE_OP (   f,
  fun 
)

Definition at line 573 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_CTOR (   type)

Definition at line 114 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_FUNC1_A (   name,
  func 
)

Definition at line 350 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_FUNC1_B (   name,
  func 
)

Definition at line 376 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_FUNC2 (   name,
  func 
)

Definition at line 402 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_FUNC4 (   name,
  func 
)

Definition at line 435 of file Checked_Number_inlines.hh.

#define PPL_DEFINE_INCREMENT (   f,
  fun 
)

Definition at line 468 of file Checked_Number_inlines.hh.