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
namespace	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 >
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 ()

---

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 701 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 634 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 641 of file Checked_Number.inlines.hh.

#define PPL_DEFINE_ASSIGN_FUN3_3	(		f,
			fun
	)

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

#define PPL_DEFINE_ASSIGN_FUN5_5	(		f,
			fun
	)

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

#define PPL_DEFINE_BINARY_OP	(		f,
			fun
	)

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

#define PPL_DEFINE_BINARY_OP_ASSIGN	(		f,
			fun
	)

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

#define PPL_DEFINE_COMPARE	(		f,
			fun
	)

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

#define PPL_DEFINE_COMPARE_OP	(		f,
			fun
	)

Definition at line 574 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 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 469 of file Checked_Number.inlines.hh.