#include "Coefficient.defs.hh"
#include <limits>
#include <cassert>
Go to the source code of this file.
Namespaces | |
namespace | Parma_Polyhedra_Library |
Defines | |
#define | PPL_math_utilities_inlines_hh 1 |
Functions | |
void | Parma_Polyhedra_Library::normalize2 (Coefficient_traits::const_reference x, Coefficient_traits::const_reference y, Coefficient &nx, Coefficient &ny) |
If ![]() x and y , the values of x and y divided by ![]() 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, 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 ![]() | |
bool | Parma_Polyhedra_Library::is_canonical (const mpq_class &x) |
Returns true if and only if x is in canonical form. |
#define PPL_math_utilities_inlines_hh 1 |
Definition at line 24 of file math_utilities.inlines.hh.