#include "Coefficient.defs.hh"#include <limits>#include "assert.hh"

Go to the source code of this file.
Namespaces | |
| namespace | Parma_Polyhedra_Library |
The entire library is confined to this namespace. | |
Functions | |
| 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. | |
| template<typename T > | |
| T | Parma_Polyhedra_Library::low_bits_mask (unsigned n) |
Returns a mask for the lowest n bits,. | |
| template<typename T > | |
| Enable_If < Is_Native_Or_Checked< T > ::value, void >::type | Parma_Polyhedra_Library::numer_denom (const T &from, Coefficient &num, Coefficient &den) |
Extract the numerator and denominator components of from. | |
| template<typename T > | |
| Enable_If < Is_Native_Or_Checked< T > ::value, void >::type | Parma_Polyhedra_Library::div_round_up (T &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 > | |
| Enable_If < Is_Native_Or_Checked< T > ::value, bool >::type | Parma_Polyhedra_Library::is_even (const T &x) |
Returns true if and only if x is an even number. | |
| template<typename T > | |
| Enable_If < Is_Native_Or_Checked< T > ::value, bool >::type | Parma_Polyhedra_Library::is_additive_inverse (const T &x, const T &y) |
Returns true if and only if . | |
| bool | Parma_Polyhedra_Library::is_canonical (const mpq_class &x) |
Returns true if and only if x is in canonical form. | |
1.6.3