#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"

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 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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
Definition at line 342 of file checked.defs.hh.
| #define PPL_SPECIALIZE_CONSTRUCT_SPECIAL | ( | func, | |||
| Type | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
| #define PPL_SPECIALIZE_IDIV | ( | func, | |||
| To, | |||||
| From1, | |||||
| From2 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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 | ) |
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.
1.6.3