checked.inlines.hh File Reference

#include "compiler.hh"
#include "globals.types.hh"
#include <cassert>

Include dependency graph for checked.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
namespace	Parma_Polyhedra_Library::Checked
Defines
#define	COPY_GMP
Functions
template<typename Policy, typename Type>
struct	Parma_Polyhedra_Library::Checked::FUNCTION_CLASS (construct)< Policy
template<typename Policy, typename Type>
struct	Parma_Polyhedra_Library::Checked::FUNCTION_CLASS (assign)< Policy
template<typename Policy, typename Type>
void	Parma_Polyhedra_Library::Checked::copy_generic (Type &to, const Type &from)
template<typename Policy, typename To, typename From>
Result	Parma_Polyhedra_Library::Checked::abs_generic (To &to, const From &from, Rounding_Dir dir)
Result	Parma_Polyhedra_Library::Checked::neg (Result r)
Result	Parma_Polyhedra_Library::Checked::add (Result r1, Result r2)
Result	Parma_Polyhedra_Library::Checked::sub (Result r1, Result r2)
template<typename Policy, typename To, typename From>
void	Parma_Polyhedra_Library::Checked::gcd_exact_noabs (To &to, const From &x, const From &y)
template<typename Policy, typename To, typename From1, typename From2>
Result	Parma_Polyhedra_Library::Checked::gcd_exact (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
template<typename Policy, typename To1, typename From1, typename From2, typename To2, typename To3>
Result	Parma_Polyhedra_Library::Checked::gcdext_exact (To1 &to, const From1 &x, const From2 &y, To2 &s, To3 &t, Rounding_Dir dir)
template<typename Policy, typename To, typename From1, typename From2>
Result	Parma_Polyhedra_Library::Checked::lcm_gcd_exact (To &to, const From1 &x, const From2 &y, Rounding_Dir dir)
template<typename Policy, typename Type>
Result	Parma_Polyhedra_Library::Checked::sgn_generic (const Type &x)
template<typename Policy, typename Type>
Result	Parma_Polyhedra_Library::Checked::cmp_generic (const Type &x, const Type &y)
template<typename Policy, typename Type>
Result	Parma_Polyhedra_Library::Checked::input_generic (Type &to, std::istream &is, Rounding_Dir dir)
template<typename T>
memory_size_type	Parma_Polyhedra_Library::Checked::external_memory_in_bytes (T)
template<typename T>
memory_size_type	Parma_Polyhedra_Library::Checked::total_memory_in_bytes (T &x)

---

Define Documentation

#define COPY_GMP