|
| void | Parma_Polyhedra_Library::normalize2 (Coefficient_traits::const_reference x, Coefficient_traits::const_reference y, Coefficient &n_x, Coefficient &n_y) |
| | If is the GCD of x and y, the values of x and y divided by are assigned to n_x and n_y, respectively. More...
|
| |
| template<typename T > |
| T | Parma_Polyhedra_Library::low_bits_mask (unsigned n) |
| | Returns a mask for the lowest n bits,. More...
|
| |
| template<typename T > |
| Enable_If< Is_Native_Or_Checked< T >::value, void >::type | Parma_Polyhedra_Library::numer_denom (const T &from, Coefficient &numer, Coefficient &denom) |
| | Extract the numerator and denominator components of from. More...
|
| |
| 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. More...
|
| |
| template<typename N > |
| void | Parma_Polyhedra_Library::min_assign (N &x, const N &y) |
| | Assigns to x the minimum between x and y. More...
|
| |
| template<typename N > |
| void | Parma_Polyhedra_Library::max_assign (N &x, const N &y) |
| | Assigns to x the maximum between x and y. More...
|
| |
| 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. More...
|
| |
| 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 . More...
|
| |
| bool | Parma_Polyhedra_Library::is_canonical (const mpq_class &x) |
| | Returns true if and only if x is in canonical form. More...
|
| |