#include "globals.defs.hh"
#include <stdexcept>
#include <sstream>
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(f, fun) |
#define | DEF_COMPARE(f, fun) |
#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 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> | |
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 () |
#define COND | ( | if, | |||
... | ) | COND_(if, __VA_ARGS__) |
Definition at line 147 of file Checked_Number.inlines.hh.
#define COND_ | ( | if, | |||
... | ) | COND_##if(__VA_ARGS__) |
Definition at line 146 of file Checked_Number.inlines.hh.
#define COND_0 | ( | ... | ) |
Definition at line 144 of file Checked_Number.inlines.hh.
#define COND_1 | ( | ... | ) | __VA_ARGS__ |
Definition at line 145 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 632 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 639 of file Checked_Number.inlines.hh.
#define DEF_ASSIGN_FUN3_3 | ( | f, | |||
fun | ) |
Definition at line 646 of file Checked_Number.inlines.hh.
#define DEF_ASSIGN_FUN5_5 | ( | f, | |||
fun | ) |
Definition at line 654 of file Checked_Number.inlines.hh.
#define DEF_BINARY_OP | ( | f, | |||
fun | ) |
Definition at line 539 of file Checked_Number.inlines.hh.
#define DEF_BINARY_OP_ASSIGN | ( | f, | |||
fun | ) |
Definition at line 504 of file Checked_Number.inlines.hh.
#define DEF_COMPARE | ( | f, | |||
fun | ) |
Definition at line 595 of file Checked_Number.inlines.hh.
#define DEF_COMPARE | ( | f, | |||
fun | ) |
Definition at line 595 of file Checked_Number.inlines.hh.
#define DEF_CTOR | ( | type | ) |
Definition at line 125 of file Checked_Number.inlines.hh.
#define DEF_INCREMENT | ( | f, | |||
fun | ) |
Definition at line 468 of file Checked_Number.inlines.hh.
#define FUNC1 | ( | name, | |||
func | ) |
Definition at line 379 of file Checked_Number.inlines.hh.
#define FUNC1 | ( | name, | |||
func | ) |
Definition at line 379 of file Checked_Number.inlines.hh.
#define FUNC2 | ( | name, | |||
func | ) |
Definition at line 401 of file Checked_Number.inlines.hh.
#define FUNC4 | ( | name, | |||
func | ) |
Definition at line 434 of file Checked_Number.inlines.hh.
#define PPL_Checked_Number_inlines_hh 1 |
Definition at line 24 of file Checked_Number.inlines.hh.