Checked_Number.inlines.hh File Reference

#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

Defines

#define PPL_Checked_Number_inlines_hh   1
#define DEF_CTOR(type)
#define COND_0(...)
#define COND_1(...)   __VA_ARGS__
#define COND_(if,...)   COND_##if(__VA_ARGS__)
#define COND(if,...)   COND_(if, __VA_ARGS__)
#define FUNC1(name, func)
#define FUNC1(name, func)
#define FUNC2(name, func)
#define FUNC4(name, func)
#define DEF_INCREMENT(f, fun)
#define DEF_BINARY_OP_ASSIGN(f, fun)
#define DEF_BINARY_OP_TYPE(f, fun, Type)
#define DEF_BINARY_OP(f, fun)
#define DEF_COMPARE_TYPE(f, fun, Type)
#define DEF_COMPARE(f, fun)
#define DEF_ASSIGN_FUN2_1(f, fun)
#define DEF_ASSIGN_FUN2_2(f, fun)
#define DEF_ASSIGN_FUN3_3(f, fun)
#define DEF_ASSIGN_FUN5_5(f, fun)

Functions

Rounding_Dir Parma_Polyhedra_Library::rounding_dir (Rounding_Dir dir)
Result Parma_Polyhedra_Library::check_result (Result r, Rounding_Dir dir)
 Parma_Polyhedra_Library::COND (PPL_SUPPORTED_FLOAT, DEF_CTOR(float)) COND(PPL_SUPPORTED_DOUBLE
 Parma_Polyhedra_Library::DEF_CTOR (double)) COND(PPL_SUPPORTED_LONG_DOUBLE
 Parma_Polyhedra_Library::DEF_CTOR (long double)) template< typename T
template<typename T>
bool Parma_Polyhedra_Library::is_minus_infinity (const T &x)
template<typename T>
bool Parma_Polyhedra_Library::is_plus_infinity (const T &x)
template<typename T>
bool Parma_Polyhedra_Library::is_not_a_number (const T &x)
template<typename T>
bool 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 To>
Result Parma_Polyhedra_Library::assign_r (To &to, const Minus_Infinity &x, Rounding_Dir dir)
template<typename To>
Result Parma_Polyhedra_Library::assign_r (To &to, const Plus_Infinity &x, Rounding_Dir dir)
template<typename To>
Result Parma_Polyhedra_Library::assign_r (To &to, const Not_A_Number &x, Rounding_Dir dir)
template<typename To>
Result Parma_Polyhedra_Library::assign_r (To &to, const char *x, Rounding_Dir dir)
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 ()


Define Documentation

#define COND ( if,
...   )     COND_(if, __VA_ARGS__)

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

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

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

#define COND_0 ( ...   ) 

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

#define COND_1 ( ...   )     __VA_ARGS__

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

#define DEF_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 663 of file Checked_Number.inlines.hh.

#define DEF_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 670 of file Checked_Number.inlines.hh.

#define DEF_ASSIGN_FUN3_3 ( f,
fun   ) 

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

#define DEF_ASSIGN_FUN5_5 ( f,
fun   ) 

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

#define DEF_BINARY_OP ( f,
fun   ) 

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

#define DEF_BINARY_OP_ASSIGN ( f,
fun   ) 

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

#define DEF_BINARY_OP_TYPE ( f,
fun,
Type   ) 

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

#define DEF_COMPARE ( f,
fun   ) 

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

#define DEF_COMPARE_TYPE ( f,
fun,
Type   ) 

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

#define DEF_CTOR ( type   ) 

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

#define DEF_INCREMENT ( f,
fun   ) 

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

#define FUNC1 ( name,
func   ) 

Value:

template <typename To, typename From> \
inline Result \
name(To& to, const From& x, int exp, Rounding_Dir dir) { \
  return check_result(Checked::func<typename Native_Checked_To_Wrapper<To>::Policy, typename Native_Checked_From_Wrapper<From>::Policy>(Native_Checked_To_Wrapper<To>::raw_value(to), Native_Checked_From_Wrapper<From>::raw_value(x), exp, rounding_dir(dir)), dir); \
}

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

#define FUNC1 ( name,
func   ) 

Value:

template <typename To, typename From> \
inline Result \
name(To& to, const From& x, Rounding_Dir dir) { \
  return check_result(Checked::func<typename Native_Checked_To_Wrapper<To>::Policy, typename Native_Checked_From_Wrapper<From>::Policy>(Native_Checked_To_Wrapper<To>::raw_value(to), Native_Checked_From_Wrapper<From>::raw_value(x), rounding_dir(dir)), dir); \
}

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

#define FUNC2 ( name,
func   ) 

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

#define FUNC4 ( name,
func   ) 

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

#define PPL_Checked_Number_inlines_hh   1

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


Generated on Wed Jul 16 22:54:39 2008 for PPL by  doxygen 1.5.6