#include "Coefficient.types.hh"#include "Checked_Number.defs.hh"#include <gmpxx.h>#include "math_utilities.inlines.hh"


Go to the source code of this file.
Namespaces | |
| namespace | Parma_Polyhedra_Library |
Defines | |
| #define | PPL_math_utilities_defs_hh 1 |
Functions | |
| template<typename T, typename Policy> | |
| void | Parma_Polyhedra_Library::numer_denom (const Checked_Number< T, Policy > &from, Coefficient &num, Coefficient &den) |
Extract the numerator and denominator components of from. | |
| template<typename T, typename Policy> | |
| void | Parma_Polyhedra_Library::div_round_up (Checked_Number< T, Policy > &to, Coefficient_traits::const_reference x, Coefficient_traits::const_reference y) |
Divides x by y into to, rounding the result towards plus infinity. | |
| template<typename N> | |
| void | Parma_Polyhedra_Library::min_assign (N &x, const N &y) |
Assigns to x the minimum between x and y. | |
| template<typename N> | |
| void | Parma_Polyhedra_Library::max_assign (N &x, const N &y) |
Assigns to x the maximum between x and y. | |
| template<typename T, typename Policy> | |
| bool | Parma_Polyhedra_Library::is_even (const Checked_Number< T, Policy > &x) |
Returns true if and only if x is an even number. | |
| template<typename T, typename Policy> | |
| bool | Parma_Polyhedra_Library::is_additive_inverse (const Checked_Number< T, Policy > &x, const Checked_Number< T, Policy > &y) |
Returns true if and only if . | |
| void | Parma_Polyhedra_Library::normalize2 (Coefficient_traits::const_reference x, Coefficient_traits::const_reference y, Coefficient &nx, Coefficient &ny) |
If is the GCD of x and y, the values of x and y divided by are assigned to nx and ny, respectively. | |
| bool | Parma_Polyhedra_Library::is_canonical (const mpq_class &x) |
Returns true if and only if x is in canonical form. | |
| template<typename T> | |
| T | Parma_Polyhedra_Library::low_bits_mask (unsigned n) |
Returns a mask for the lowest n bits,. | |
| #define PPL_math_utilities_defs_hh 1 |
Definition at line 24 of file math_utilities.defs.hh.
1.5.6