checked.defs.hh File Reference

#include <iostream>
#include <gmpxx.h>
#include "mp_std_bits.defs.hh"
#include "Temp.defs.hh"
#include "Rounding_Dir.defs.hh"
#include "Numeric_Format.defs.hh"
#include "Float.defs.hh"
#include "checked.inlines.hh"
#include "checked_int.inlines.hh"
#include "checked_float.inlines.hh"
#include "checked_mpz.inlines.hh"
#include "checked_mpq.inlines.hh"
#include "checked_ext.inlines.hh"
Include dependency graph for checked.defs.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Parma_Polyhedra_Library::Minus_Infinity
struct  Parma_Polyhedra_Library::Plus_Infinity
struct  Parma_Polyhedra_Library::Not_A_Number
struct  Parma_Polyhedra_Library::Is_Special< T >
struct  Parma_Polyhedra_Library::Is_Special< Minus_Infinity >
struct  Parma_Polyhedra_Library::Is_Special< Plus_Infinity >
struct  Parma_Polyhedra_Library::Is_Special< Not_A_Number >
struct  Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >

Namespaces

namespace  Parma_Polyhedra_Library
 

The entire library is confined to this namespace.


namespace  Parma_Polyhedra_Library::Checked
 

Types and functions implementing checked numbers.


Defines

#define PPL_FUNCTION_CLASS(name)   name ## _function_struct
#define PPL_DECLARE_FUN1_0_0(name, ret_type, qual, type)
#define PPL_DECLARE_FUN1_0_1(name, ret_type, qual, type, after1)
#define PPL_DECLARE_FUN1_0_2(name, ret_type, qual, type, after1, after2)
#define PPL_DECLARE_FUN1_0_3(name, ret_type, qual, type,after1, after2, after3)
#define PPL_DECLARE_FUN1_1_1(name, ret_type, before1, qual, type, after1)
#define PPL_DECLARE_FUN1_1_2(name, ret_type, before1, qual, type,after1, after2)
#define PPL_DECLARE_FUN1_2_2(name, ret_type, before1, before2, qual, type, after1, after2)
#define PPL_DECLARE_FUN2_0_0(name, ret_type, qual1, type1, qual2, type2)
#define PPL_DECLARE_FUN2_0_1(name, ret_type, qual1, type1,qual2, type2, after1)
#define PPL_DECLARE_FUN2_0_2(name, ret_type, qual1, type1, qual2, type2, after1, after2)
#define PPL_DECLARE_FUN3_0_1(name, ret_type, qual1, type1,qual2, type2, qual3, type3, after1)
#define PPL_DECLARE_FUN5_0_1(name, ret_type,qual1, type1, qual2, type2, qual3, type3, qual4, type4, qual5, type5,after1)
#define PPL_SPECIALIZE_FUN1_0_0(name, func, ret_type, qual, type)
#define PPL_SPECIALIZE_FUN1_0_1(name, func, ret_type, qual, type, after1)
#define PPL_SPECIALIZE_FUN1_0_2(name, func, ret_type, qual, type,after1, after2)
#define PPL_SPECIALIZE_FUN1_0_3(name, func, ret_type, qual, type,after1, after2, after3)
#define PPL_SPECIALIZE_FUN1_1_1(name, func, ret_type, before1,qual, type, after1)
#define PPL_SPECIALIZE_FUN1_1_2(name, func, ret_type, before1,qual, type, after1, after2)
#define PPL_SPECIALIZE_FUN1_2_2(name, func, ret_type, before1, before2, qual, type, after1, after2)
#define PPL_SPECIALIZE_FUN2_0_0(name, func, ret_type, qual1, type1,qual2, type2)
#define PPL_SPECIALIZE_FUN2_0_1(name, func, ret_type, qual1, type1,qual2, type2, after1)
#define PPL_SPECIALIZE_FUN2_0_2(name, func, ret_type, qual1, type1,qual2, type2, after1, after2)
#define PPL_SPECIALIZE_FUN3_0_1(name, func, ret_type, qual1, type1,qual2, type2, qual3, type3, after1)
#define PPL_SPECIALIZE_FUN5_0_1(name, func, ret_type,qual1, type1, qual2, type2,qual3, type3,qual4, type4, qual5, type5, after1)
#define nonconst
#define PPL_SPECIALIZE_COPY(func, Type)   PPL_SPECIALIZE_FUN2_0_0(copy, func, void, nonconst, Type, const, Type)
#define PPL_SPECIALIZE_SGN(func, From)   PPL_SPECIALIZE_FUN1_0_0(sgn, func, Result_Relation, const, From)
#define PPL_SPECIALIZE_CMP(func, Type1, Type2)   PPL_SPECIALIZE_FUN2_0_0(cmp, func, Result_Relation, const, Type1, const, Type2)
#define PPL_SPECIALIZE_CLASSIFY(func, Type)   PPL_SPECIALIZE_FUN1_0_3(classify, func, Result, const, Type, bool, bool, bool)
#define PPL_SPECIALIZE_IS_NAN(func, Type)   PPL_SPECIALIZE_FUN1_0_0(is_nan, func, bool, const, Type)
#define PPL_SPECIALIZE_IS_MINF(func, Type)   PPL_SPECIALIZE_FUN1_0_0(is_minf, func, bool, const, Type)
#define PPL_SPECIALIZE_IS_PINF(func, Type)   PPL_SPECIALIZE_FUN1_0_0(is_pinf, func, bool, const, Type)
#define PPL_SPECIALIZE_IS_INT(func, Type)   PPL_SPECIALIZE_FUN1_0_0(is_int, func, bool, const, Type)
#define PPL_SPECIALIZE_ASSIGN_SPECIAL(func, Type)
#define PPL_SPECIALIZE_CONSTRUCT_SPECIAL(func, Type)
#define PPL_SPECIALIZE_CONSTRUCT(func, To, From)
#define PPL_SPECIALIZE_ASSIGN(func, To, From)
#define PPL_SPECIALIZE_FLOOR(func, To, From)
#define PPL_SPECIALIZE_CEIL(func, To, From)
#define PPL_SPECIALIZE_TRUNC(func, To, From)
#define PPL_SPECIALIZE_NEG(func, To, From)
#define PPL_SPECIALIZE_ABS(func, To, From)
#define PPL_SPECIALIZE_SQRT(func, To, From)
#define PPL_SPECIALIZE_ADD(func, To, From1, From2)
#define PPL_SPECIALIZE_SUB(func, To, From1, From2)
#define PPL_SPECIALIZE_MUL(func, To, From1, From2)
#define PPL_SPECIALIZE_DIV(func, To, From1, From2)
#define PPL_SPECIALIZE_REM(func, To, From1, From2)
#define PPL_SPECIALIZE_IDIV(func, To, From1, From2)
#define PPL_SPECIALIZE_ADD_2EXP(func, To, From)
#define PPL_SPECIALIZE_SUB_2EXP(func, To, From)
#define PPL_SPECIALIZE_MUL_2EXP(func, To, From)
#define PPL_SPECIALIZE_DIV_2EXP(func, To, From)
#define PPL_SPECIALIZE_SMOD_2EXP(func, To, From)
#define PPL_SPECIALIZE_UMOD_2EXP(func, To, From)
#define PPL_SPECIALIZE_ADD_MUL(func, To, From1, From2)
#define PPL_SPECIALIZE_SUB_MUL(func, To, From1, From2)
#define PPL_SPECIALIZE_GCD(func, To, From1, From2)
#define PPL_SPECIALIZE_GCDEXT(func, To1, From1, From2, To2, To3)
#define PPL_SPECIALIZE_LCM(func, To, From1, From2)
#define PPL_SPECIALIZE_INPUT(func, Type)
#define PPL_SPECIALIZE_OUTPUT(func, Type)
#define CHECK_P(cond, check)   ((cond) ? (check) : (assert(!(check)), false))

Functions

 Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN2_0_0 (copy, void, nonconst, Type1, const, Type2) PPL_DECLARE_FUN1_0_0(sgn
From Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN2_0_0 (cmp, Result_Relation, const, Type1, const, Type2) PPL_DECLARE_FUN1_0_3(classify
From bool Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN1_0_0 (is_nan, bool, const, Type) PPL_DECLARE_FUN1_0_0(is_minf
From bool Type Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN1_0_0 (is_pinf, bool, const, Type) PPL_DECLARE_FUN1_0_0(is_int
From bool Type Type Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN1_0_2 (assign_special, Result, nonconst, Type, Result_Class, Rounding_Dir) PPL_DECLARE_FUN1_0_2(construct_special
From bool Type Type Rounding_Dir Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN2_0_1 (construct, Result, nonconst, To, const, From, Rounding_Dir) PPL_DECLARE_FUN2_0_1(assign
From bool Type Type
Rounding_Dir Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN2_0_1 (floor, Result, nonconst, To, const, From, Rounding_Dir) PPL_DECLARE_FUN2_0_1(ceil
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN2_0_1 (trunc, Result, nonconst, To, const, From, Rounding_Dir) PPL_DECLARE_FUN2_0_1(neg
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN2_0_1 (abs, Result, nonconst, To, const, From, Rounding_Dir) PPL_DECLARE_FUN2_0_1(sqrt
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN3_0_1 (add, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) PPL_DECLARE_FUN3_0_1(sub
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN3_0_1 (mul, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) PPL_DECLARE_FUN3_0_1(div
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN3_0_1 (rem, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) PPL_DECLARE_FUN3_0_1(idiv
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN2_0_2 (add_2exp, Result, nonconst, To, const, From, unsigned int, Rounding_Dir) PPL_DECLARE_FUN2_0_2(sub_2exp
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
unsigned Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN2_0_2 (mul_2exp, Result, nonconst, To, const, From, unsigned int, Rounding_Dir) PPL_DECLARE_FUN2_0_2(div_2exp
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
unsigned Rounding_Dir unsigned
Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN2_0_2 (smod_2exp, Result, nonconst, To, const, From, unsigned int, Rounding_Dir) PPL_DECLARE_FUN2_0_2(umod_2exp
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
unsigned Rounding_Dir unsigned
Rounding_Dir unsigned
Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN3_0_1 (add_mul, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) PPL_DECLARE_FUN3_0_1(sub_mul
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
unsigned Rounding_Dir unsigned
Rounding_Dir unsigned
Rounding_Dir Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN3_0_1 (gcd, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) PPL_DECLARE_FUN5_0_1(gcdext
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
unsigned Rounding_Dir unsigned
Rounding_Dir unsigned
Rounding_Dir Rounding_Dir
Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN3_0_1 (lcm, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) PPL_DECLARE_FUN1_0_2(input
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
unsigned Rounding_Dir unsigned
Rounding_Dir unsigned
Rounding_Dir Rounding_Dir
Rounding_Dir std::istream
Rounding_Dir 
Parma_Polyhedra_Library::Checked::PPL_DECLARE_FUN1_1_2 (output, Result, std::ostream &, const, Type, const Numeric_Format &, Rounding_Dir) template< typename Policy
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
unsigned Rounding_Dir unsigned
Rounding_Dir unsigned
Rounding_Dir Rounding_Dir
Rounding_Dir std::istream
Rounding_Dir To Result 
Parma_Polyhedra_Library::Checked::round (To &to, Result r, Rounding_Dir dir)
Result Parma_Polyhedra_Library::Checked::input_mpq (mpq_class &to, std::istream &is)

Variables

 Parma_Polyhedra_Library::Checked::Result_Relation
 Parma_Polyhedra_Library::Checked::const
From Parma_Polyhedra_Library::Checked::Result
From Parma_Polyhedra_Library::Checked::Type
From Parma_Polyhedra_Library::Checked::bool
From bool Type Type Parma_Polyhedra_Library::Checked::nonconst
From bool Type Type Parma_Polyhedra_Library::Checked::Result_Class
From bool Type Type Rounding_Dir Parma_Polyhedra_Library::Checked::To
From bool Type Type Rounding_Dir Parma_Polyhedra_Library::Checked::From
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir 
Parma_Polyhedra_Library::Checked::From1
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir 
Parma_Polyhedra_Library::Checked::From2
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
unsigned 
Parma_Polyhedra_Library::Checked::int
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
unsigned Rounding_Dir unsigned
Rounding_Dir unsigned
Rounding_Dir Rounding_Dir 
Parma_Polyhedra_Library::Checked::To1
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
unsigned Rounding_Dir unsigned
Rounding_Dir unsigned
Rounding_Dir Rounding_Dir 
Parma_Polyhedra_Library::Checked::To2
From bool Type Type
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
Rounding_Dir Rounding_Dir
unsigned Rounding_Dir unsigned
Rounding_Dir unsigned
Rounding_Dir Rounding_Dir 
Parma_Polyhedra_Library::Checked::To3
Minus_Infinity Parma_Polyhedra_Library::MINUS_INFINITY
Plus_Infinity Parma_Polyhedra_Library::PLUS_INFINITY
Not_A_Number Parma_Polyhedra_Library::NOT_A_NUMBER

Define Documentation

#define CHECK_P ( cond,
check   )     ((cond) ? (check) : (assert(!(check)), false))

Definition at line 652 of file checked.defs.hh.

Referenced by Parma_Polyhedra_Library::Checked::add_unsigned_int(), Parma_Polyhedra_Library::Checked::assign_int_float(), Parma_Polyhedra_Library::Checked::assign_signed_int_signed_int(), Parma_Polyhedra_Library::Checked::assign_signed_int_unsigned_int(), Parma_Polyhedra_Library::Checked::assign_unsigned_int_mpz(), Parma_Polyhedra_Library::Checked::assign_unsigned_int_signed_int(), Parma_Polyhedra_Library::Checked::assign_unsigned_int_unsigned_int(), Parma_Polyhedra_Library::Checked::classify_float(), Parma_Polyhedra_Library::Checked::div_mpq(), Parma_Polyhedra_Library::Checked::div_mpz(), Parma_Polyhedra_Library::Checked::div_signed_int(), Parma_Polyhedra_Library::Checked::div_unsigned_int(), Parma_Polyhedra_Library::Checked::idiv_mpq(), Parma_Polyhedra_Library::Checked::idiv_mpz(), Parma_Polyhedra_Library::Checked::idiv_signed_int(), Parma_Polyhedra_Library::Checked::idiv_unsigned_int(), Parma_Polyhedra_Library::Checked::is_inf_float(), Parma_Polyhedra_Library::Checked::is_nan_float(), Parma_Polyhedra_Library::Checked::neg_signed_int(), Parma_Polyhedra_Library::Checked::neg_unsigned_int(), Parma_Polyhedra_Library::Checked::rem_mpq(), Parma_Polyhedra_Library::Checked::rem_mpz(), Parma_Polyhedra_Library::Checked::rem_signed_int(), Parma_Polyhedra_Library::Checked::rem_unsigned_int(), Parma_Polyhedra_Library::Checked::sqrt_mpq(), Parma_Polyhedra_Library::Checked::sqrt_mpz(), Parma_Polyhedra_Library::Checked::sqrt_signed_int(), and Parma_Polyhedra_Library::Checked::sub_unsigned_int().

#define nonconst

Definition at line 318 of file checked.defs.hh.

#define PPL_DECLARE_FUN1_0_0 ( name,
ret_type,
qual,
type   ) 

Definition at line 47 of file checked.defs.hh.

#define PPL_DECLARE_FUN1_0_1 ( name,
ret_type,
qual,
type,
after1   ) 

Definition at line 55 of file checked.defs.hh.

#define PPL_DECLARE_FUN1_0_2 ( name,
ret_type,
qual,
type,
after1,
after2   ) 

Definition at line 63 of file checked.defs.hh.

#define PPL_DECLARE_FUN1_0_3 ( name,
ret_type,
qual,
type,
after1,
after2,
after3   ) 

Definition at line 72 of file checked.defs.hh.

#define PPL_DECLARE_FUN1_1_1 ( name,
ret_type,
before1,
qual,
type,
after1   ) 

Definition at line 82 of file checked.defs.hh.

#define PPL_DECLARE_FUN1_1_2 ( name,
ret_type,
before1,
qual,
type,
after1,
after2   ) 

Definition at line 91 of file checked.defs.hh.

#define PPL_DECLARE_FUN1_2_2 ( name,
ret_type,
before1,
before2,
qual,
type,
after1,
after2   ) 

Definition at line 102 of file checked.defs.hh.

#define PPL_DECLARE_FUN2_0_0 ( name,
ret_type,
qual1,
type1,
qual2,
type2   ) 

Definition at line 112 of file checked.defs.hh.

#define PPL_DECLARE_FUN2_0_1 ( name,
ret_type,
qual1,
type1,
qual2,
type2,
after1   ) 

Definition at line 124 of file checked.defs.hh.

#define PPL_DECLARE_FUN2_0_2 ( name,
ret_type,
qual1,
type1,
qual2,
type2,
after1,
after2   ) 

Definition at line 137 of file checked.defs.hh.

#define PPL_DECLARE_FUN3_0_1 ( name,
ret_type,
qual1,
type1,
qual2,
type2,
qual3,
type3,
after1   ) 

Definition at line 150 of file checked.defs.hh.

#define PPL_DECLARE_FUN5_0_1 ( name,
ret_type,
qual1,
type1,
qual2,
type2,
qual3,
type3,
qual4,
type4,
qual5,
type5,
after1   ) 

Definition at line 165 of file checked.defs.hh.

#define PPL_FUNCTION_CLASS ( name   )     name ## _function_struct

Definition at line 45 of file checked.defs.hh.

#define PPL_SPECIALIZE_ABS ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_1(abs, func, Result, nonconst, To,              \
                          const, From, Rounding_Dir)

Definition at line 360 of file checked.defs.hh.

#define PPL_SPECIALIZE_ADD ( func,
To,
From1,
From2   ) 
Value:
PPL_SPECIALIZE_FUN3_0_1(add, func, Result, nonconst, To,              \
                          const, From1, const, From2, Rounding_Dir)

Definition at line 366 of file checked.defs.hh.

#define PPL_SPECIALIZE_ADD_2EXP ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_2(add_2exp, func, Result, nonconst, To,         \
                          const, From, unsigned int, Rounding_Dir)

Definition at line 384 of file checked.defs.hh.

#define PPL_SPECIALIZE_ADD_MUL ( func,
To,
From1,
From2   ) 
Value:
PPL_SPECIALIZE_FUN3_0_1(add_mul, func, Result, nonconst, To,          \
                          const, From1, const, From2, Rounding_Dir)

Definition at line 402 of file checked.defs.hh.

#define PPL_SPECIALIZE_ASSIGN ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_1(assign, func, Result, nonconst, To,           \
                          const, From, Rounding_Dir)

Definition at line 345 of file checked.defs.hh.

#define PPL_SPECIALIZE_ASSIGN_SPECIAL ( func,
Type   ) 
Value:
PPL_SPECIALIZE_FUN1_0_2(assign_special, func, Result,                 \
                          nonconst, Type, Result_Class, Rounding_Dir)

Definition at line 336 of file checked.defs.hh.

#define PPL_SPECIALIZE_CEIL ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_1(ceil, func, Result, nonconst, To, \
                          const, From, Rounding_Dir)

Definition at line 351 of file checked.defs.hh.

#define PPL_SPECIALIZE_CLASSIFY ( func,
Type   )     PPL_SPECIALIZE_FUN1_0_3(classify, func, Result, const, Type, bool, bool, bool)

Definition at line 326 of file checked.defs.hh.

#define PPL_SPECIALIZE_CMP ( func,
Type1,
Type2   )     PPL_SPECIALIZE_FUN2_0_0(cmp, func, Result_Relation, const, Type1, const, Type2)

Definition at line 324 of file checked.defs.hh.

#define PPL_SPECIALIZE_CONSTRUCT ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_1(construct, func, Result, nonconst, To, \
                          const, From, Rounding_Dir)

Definition at line 342 of file checked.defs.hh.

#define PPL_SPECIALIZE_CONSTRUCT_SPECIAL ( func,
Type   ) 
Value:
PPL_SPECIALIZE_FUN1_0_2(construct_special, func, Result, nonconst,    \
                          Type, Result_Class, Rounding_Dir)

Definition at line 339 of file checked.defs.hh.

#define PPL_SPECIALIZE_COPY ( func,
Type   )     PPL_SPECIALIZE_FUN2_0_0(copy, func, void, nonconst, Type, const, Type)

Definition at line 320 of file checked.defs.hh.

#define PPL_SPECIALIZE_DIV ( func,
To,
From1,
From2   ) 
Value:
PPL_SPECIALIZE_FUN3_0_1(div, func, Result, nonconst, To,              \
                          const, From1, const, From2, Rounding_Dir)

Definition at line 375 of file checked.defs.hh.

#define PPL_SPECIALIZE_DIV_2EXP ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_2(div_2exp, func, Result, nonconst, To,         \
                          const, From, unsigned int, Rounding_Dir)

Definition at line 393 of file checked.defs.hh.

#define PPL_SPECIALIZE_FLOOR ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_1(floor, func, Result, nonconst, To,            \
                          const, From, Rounding_Dir)

Definition at line 348 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN1_0_0 ( name,
func,
ret_type,
qual,
type   ) 

Definition at line 183 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN1_0_1 ( name,
func,
ret_type,
qual,
type,
after1   ) 

Definition at line 191 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN1_0_2 ( name,
func,
ret_type,
qual,
type,
after1,
after2   ) 

Definition at line 200 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN1_0_3 ( name,
func,
ret_type,
qual,
type,
after1,
after2,
after3   ) 

Definition at line 210 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN1_1_1 ( name,
func,
ret_type,
before1,
qual,
type,
after1   ) 

Definition at line 220 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN1_1_2 ( name,
func,
ret_type,
before1,
qual,
type,
after1,
after2   ) 

Definition at line 230 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN1_2_2 ( name,
func,
ret_type,
before1,
before2,
qual,
type,
after1,
after2   ) 

Definition at line 240 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN2_0_0 ( name,
func,
ret_type,
qual1,
type1,
qual2,
type2   ) 

Definition at line 251 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN2_0_1 ( name,
func,
ret_type,
qual1,
type1,
qual2,
type2,
after1   ) 

Definition at line 261 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN2_0_2 ( name,
func,
ret_type,
qual1,
type1,
qual2,
type2,
after1,
after2   ) 

Definition at line 271 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN3_0_1 ( name,
func,
ret_type,
qual1,
type1,
qual2,
type2,
qual3,
type3,
after1   ) 

Definition at line 282 of file checked.defs.hh.

#define PPL_SPECIALIZE_FUN5_0_1 ( name,
func,
ret_type,
qual1,
type1,
qual2,
type2,
qual3,
type3,
qual4,
type4,
qual5,
type5,
after1   ) 

Definition at line 295 of file checked.defs.hh.

#define PPL_SPECIALIZE_GCD ( func,
To,
From1,
From2   ) 
Value:
PPL_SPECIALIZE_FUN3_0_1(gcd, func, Result, nonconst, To,              \
                          const, From1, const, From2, Rounding_Dir)

Definition at line 408 of file checked.defs.hh.

#define PPL_SPECIALIZE_GCDEXT ( func,
To1,
From1,
From2,
To2,
To3   ) 
Value:
PPL_SPECIALIZE_FUN5_0_1(gcdext, func, Result, nonconst, To1,            \
                          nonconst, To2, nonconst, To3,                 \
                          const, From1, const, From2, Rounding_Dir)

Definition at line 411 of file checked.defs.hh.

#define PPL_SPECIALIZE_IDIV ( func,
To,
From1,
From2   ) 
Value:
PPL_SPECIALIZE_FUN3_0_1(idiv, func, Result, nonconst, To,             \
                          const, From1, const, From2, Rounding_Dir)

Definition at line 381 of file checked.defs.hh.

#define PPL_SPECIALIZE_INPUT ( func,
Type   ) 
Value:
PPL_SPECIALIZE_FUN1_0_2(input, func, Result, nonconst, Type,          \
                          std::istream&, Rounding_Dir)

Definition at line 418 of file checked.defs.hh.

#define PPL_SPECIALIZE_IS_INT ( func,
Type   )     PPL_SPECIALIZE_FUN1_0_0(is_int, func, bool, const, Type)

Definition at line 334 of file checked.defs.hh.

#define PPL_SPECIALIZE_IS_MINF ( func,
Type   )     PPL_SPECIALIZE_FUN1_0_0(is_minf, func, bool, const, Type)

Definition at line 330 of file checked.defs.hh.

#define PPL_SPECIALIZE_IS_NAN ( func,
Type   )     PPL_SPECIALIZE_FUN1_0_0(is_nan, func, bool, const, Type)

Definition at line 328 of file checked.defs.hh.

#define PPL_SPECIALIZE_IS_PINF ( func,
Type   )     PPL_SPECIALIZE_FUN1_0_0(is_pinf, func, bool, const, Type)

Definition at line 332 of file checked.defs.hh.

#define PPL_SPECIALIZE_LCM ( func,
To,
From1,
From2   ) 
Value:
PPL_SPECIALIZE_FUN3_0_1(lcm, func, Result, nonconst, To,              \
                          const, From1, const, From2, Rounding_Dir)

Definition at line 415 of file checked.defs.hh.

#define PPL_SPECIALIZE_MUL ( func,
To,
From1,
From2   ) 
Value:
PPL_SPECIALIZE_FUN3_0_1(mul, func, Result, nonconst, To,              \
                          const, From1, const, From2, Rounding_Dir)

Definition at line 372 of file checked.defs.hh.

#define PPL_SPECIALIZE_MUL_2EXP ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_2(mul_2exp, func, Result, nonconst, To,         \
                          const, From, unsigned int, Rounding_Dir)

Definition at line 390 of file checked.defs.hh.

#define PPL_SPECIALIZE_NEG ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_1(neg, func, Result, nonconst, To,              \
                          const, From, Rounding_Dir)

Definition at line 357 of file checked.defs.hh.

#define PPL_SPECIALIZE_OUTPUT ( func,
Type   ) 
Value:
PPL_SPECIALIZE_FUN1_1_2(output, func, Result, std::ostream&,          \
                          const, Type,                                  \
                          const Numeric_Format&, Rounding_Dir)

Definition at line 421 of file checked.defs.hh.

#define PPL_SPECIALIZE_REM ( func,
To,
From1,
From2   ) 
Value:
PPL_SPECIALIZE_FUN3_0_1(rem, func, Result, nonconst, To,              \
                          const, From1, const, From2, Rounding_Dir)

Definition at line 378 of file checked.defs.hh.

#define PPL_SPECIALIZE_SGN ( func,
From   )     PPL_SPECIALIZE_FUN1_0_0(sgn, func, Result_Relation, const, From)

Definition at line 322 of file checked.defs.hh.

#define PPL_SPECIALIZE_SMOD_2EXP ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_2(smod_2exp, func, Result, nonconst, To,  \
                          const, From, unsigned int, Rounding_Dir)

Definition at line 396 of file checked.defs.hh.

#define PPL_SPECIALIZE_SQRT ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_1(sqrt, func, Result, nonconst, To,             \
                          const, From, Rounding_Dir)

Definition at line 363 of file checked.defs.hh.

#define PPL_SPECIALIZE_SUB ( func,
To,
From1,
From2   ) 
Value:
PPL_SPECIALIZE_FUN3_0_1(sub, func, Result, nonconst, To,              \
                          const, From1, const, From2, Rounding_Dir)

Definition at line 369 of file checked.defs.hh.

#define PPL_SPECIALIZE_SUB_2EXP ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_2(sub_2exp, func, Result, nonconst, To,         \
                          const, From, unsigned int, Rounding_Dir)

Definition at line 387 of file checked.defs.hh.

#define PPL_SPECIALIZE_SUB_MUL ( func,
To,
From1,
From2   ) 
Value:
PPL_SPECIALIZE_FUN3_0_1(sub_mul, func, Result, nonconst, To,          \
                          const, From1, const, From2, Rounding_Dir)

Definition at line 405 of file checked.defs.hh.

#define PPL_SPECIALIZE_TRUNC ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_1(trunc, func, Result, nonconst, To,            \
                          const, From, Rounding_Dir)

Definition at line 354 of file checked.defs.hh.

#define PPL_SPECIALIZE_UMOD_2EXP ( func,
To,
From   ) 
Value:
PPL_SPECIALIZE_FUN2_0_2(umod_2exp, func, Result, nonconst, To,  \
                          const, From, unsigned int, Rounding_Dir)

Definition at line 399 of file checked.defs.hh.

Generated on Sun Feb 27 16:18:07 2011 for PPL by  doxygen 1.6.3