math_utilities.inlines.hh File Reference

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

Include dependency graph for math_utilities.inlines.hh:

This graph shows which files directly or indirectly include this file:

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 $g$ is the GCD of x and y, the values of x and y divided by $g$ are assigned to nx and ny, respectively.
template<typename 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 $x = -y$.
bool Parma_Polyhedra_Library::is_canonical (const mpq_class &x)
 Returns true if and only if x is in canonical form.


Define Documentation

#define PPL_math_utilities_inlines_hh   1

Definition at line 24 of file math_utilities.inlines.hh.


Generated on Sat Oct 11 10:40:26 2008 for PPL by  doxygen 1.5.6