#include "compiler.hh"
#include "globals.types.hh"
#include <cassert>
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 COPY_GMP |