#include "globals.defs.hh"#include <stdexcept>#include <sstream>
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 > | |
| 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 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 | ) |
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 | ) |
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.
1.6.3