math_utilities.defs.hh File Reference

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

Include dependency graph for math_utilities.defs.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_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 $x = -y$.
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.
bool Parma_Polyhedra_Library::is_canonical (const mpq_class &x)
 Returns true if and only if x is in canonical form.
template<typename T>
Parma_Polyhedra_Library::low_bits_mask (unsigned n)
 Returns a mask for the lowest n bits,.


Define Documentation

#define PPL_math_utilities_defs_hh   1

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


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