#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.
Namespaces | |
namespace | Parma_Polyhedra_Library |
namespace | Parma_Polyhedra_Library::Checked |
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 > |
Defines | |
#define | PPL_checked_defs_hh 1 |
#define | FUNCTION_CLASS(name) name ## _function_struct |
#define | DECLARE_FUN1_0_0(name, ret_type, qual, type) |
#define | DECLARE_FUN1_0_1(name, ret_type, qual, type, after1) |
#define | DECLARE_FUN1_0_2(name, ret_type, qual, type, after1, after2) |
#define | DECLARE_FUN1_0_3(name, ret_type, qual, type, after1, after2, after3) |
#define | DECLARE_FUN1_1_1(name, ret_type, before1, qual, type, after1) |
#define | DECLARE_FUN1_1_2(name, ret_type, before1, qual, type, after1, after2) |
#define | DECLARE_FUN1_2_2(name, ret_type, before1, before2, qual, type, after1, after2) |
#define | DECLARE_FUN2_0_0(name, ret_type, qual1, type1, qual2, type2) |
#define | DECLARE_FUN2_0_1(name, ret_type, qual1, type1, qual2, type2, after1) |
#define | DECLARE_FUN2_0_2(name, ret_type, qual1, type1, qual2, type2, after1, after2) |
#define | DECLARE_FUN3_0_1(name, ret_type, qual1, type1, qual2, type2, qual3, type3, after1) |
#define | DECLARE_FUN5_0_1(name, ret_type,qual1, type1, qual2, type2, qual3, type3, qual4, type4, qual5, type5,after1) |
#define | SPECIALIZE_FUN1_0_0(name, func, ret_type, qual, type) |
#define | SPECIALIZE_FUN1_0_1(name, func, ret_type, qual, type, after1) |
#define | SPECIALIZE_FUN1_0_2(name, func, ret_type, qual, type, after1, after2) |
#define | SPECIALIZE_FUN1_0_3(name, func, ret_type, qual, type, after1, after2, after3) |
#define | SPECIALIZE_FUN1_1_1(name, func, ret_type, before1, qual, type, after1) |
#define | SPECIALIZE_FUN1_1_2(name, func, ret_type, before1, qual, type, after1, after2) |
#define | SPECIALIZE_FUN1_2_2(name, func, ret_type, before1, before2, qual, type, after1, after2) |
#define | SPECIALIZE_FUN2_0_0(name, func, ret_type, qual1, type1, qual2, type2) |
#define | SPECIALIZE_FUN2_0_1(name, func, ret_type, qual1, type1, qual2, type2, after1) |
#define | SPECIALIZE_FUN2_0_2(name, func, ret_type, qual1, type1, qual2, type2, after1, after2) |
#define | SPECIALIZE_FUN3_0_1(name, func, ret_type, qual1, type1, qual2, type2, qual3, type3, after1) |
#define | SPECIALIZE_FUN5_0_1(name, func, ret_type,qual1, type1, qual2, type2, qual3, type3, qual4, type4, qual5, type5, after1) |
#define | nonconst |
#define | SPECIALIZE_COPY(func, Type) SPECIALIZE_FUN2_0_0(copy, func, void, nonconst, Type, const, Type) |
#define | SPECIALIZE_SGN(func, From) SPECIALIZE_FUN1_0_0(sgn, func, Result, const, From) |
#define | SPECIALIZE_CMP(func, Type1, Type2) SPECIALIZE_FUN2_0_0(cmp, func, Result, const, Type1, const, Type2) |
#define | SPECIALIZE_CLASSIFY(func, Type) SPECIALIZE_FUN1_0_3(classify, func, Result, const, Type, bool, bool, bool) |
#define | SPECIALIZE_IS_NAN(func, Type) SPECIALIZE_FUN1_0_0(is_nan, func, bool, const, Type) |
#define | SPECIALIZE_IS_MINF(func, Type) SPECIALIZE_FUN1_0_0(is_minf, func, bool, const, Type) |
#define | SPECIALIZE_IS_PINF(func, Type) SPECIALIZE_FUN1_0_0(is_pinf, func, bool, const, Type) |
#define | SPECIALIZE_IS_INT(func, Type) SPECIALIZE_FUN1_0_0(is_int, func, bool, const, Type) |
#define | SPECIALIZE_ASSIGN_SPECIAL(func, Type) SPECIALIZE_FUN1_0_2(assign_special, func, Result, nonconst, Type, Result, Rounding_Dir) |
#define | SPECIALIZE_CONSTRUCT_SPECIAL(func, Type) SPECIALIZE_FUN1_0_2(construct_special, func, Result, nonconst, Type, Result, Rounding_Dir) |
#define | SPECIALIZE_CONSTRUCT(func, To, From) SPECIALIZE_FUN2_0_1(construct, func, Result, nonconst, To, const, From, Rounding_Dir) |
#define | SPECIALIZE_ASSIGN(func, To, From) SPECIALIZE_FUN2_0_1(assign, func, Result, nonconst, To, const, From, Rounding_Dir) |
#define | SPECIALIZE_FLOOR(func, To, From) SPECIALIZE_FUN2_0_1(floor, func, Result, nonconst, To, const, From, Rounding_Dir) |
#define | SPECIALIZE_CEIL(func, To, From) SPECIALIZE_FUN2_0_1(ceil, func, Result, nonconst, To, const, From, Rounding_Dir) |
#define | SPECIALIZE_TRUNC(func, To, From) SPECIALIZE_FUN2_0_1(trunc, func, Result, nonconst, To, const, From, Rounding_Dir) |
#define | SPECIALIZE_NEG(func, To, From) SPECIALIZE_FUN2_0_1(neg, func, Result, nonconst, To, const, From, Rounding_Dir) |
#define | SPECIALIZE_ABS(func, To, From) SPECIALIZE_FUN2_0_1(abs, func, Result, nonconst, To, const, From, Rounding_Dir) |
#define | SPECIALIZE_SQRT(func, To, From) SPECIALIZE_FUN2_0_1(sqrt, func, Result, nonconst, To, const, From, Rounding_Dir) |
#define | SPECIALIZE_ADD(func, To, From1, From2) SPECIALIZE_FUN3_0_1(add, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
#define | SPECIALIZE_SUB(func, To, From1, From2) SPECIALIZE_FUN3_0_1(sub, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
#define | SPECIALIZE_MUL(func, To, From1, From2) SPECIALIZE_FUN3_0_1(mul, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
#define | SPECIALIZE_DIV(func, To, From1, From2) SPECIALIZE_FUN3_0_1(div, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
#define | SPECIALIZE_REM(func, To, From1, From2) SPECIALIZE_FUN3_0_1(rem, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
#define | SPECIALIZE_IDIV(func, To, From1, From2) SPECIALIZE_FUN3_0_1(idiv, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
#define | SPECIALIZE_MUL2EXP(func, To, From) SPECIALIZE_FUN2_0_2(mul2exp, func, Result, nonconst, To, const, From, int, Rounding_Dir) |
#define | SPECIALIZE_DIV2EXP(func, To, From) SPECIALIZE_FUN2_0_2(div2exp, func, Result, nonconst, To, const, From, int, Rounding_Dir) |
#define | SPECIALIZE_ADD_MUL(func, To, From1, From2) SPECIALIZE_FUN3_0_1(add_mul, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
#define | SPECIALIZE_SUB_MUL(func, To, From1, From2) SPECIALIZE_FUN3_0_1(sub_mul, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
#define | SPECIALIZE_GCD(func, To, From1, From2) SPECIALIZE_FUN3_0_1(gcd, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
#define | SPECIALIZE_GCDEXT(func, To1, From1, From2, To2, To3) |
#define | SPECIALIZE_LCM(func, To, From1, From2) SPECIALIZE_FUN3_0_1(lcm, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
#define | SPECIALIZE_INPUT(func, Type) SPECIALIZE_FUN1_0_2(input, func, Result, nonconst, Type, std::istream&, Rounding_Dir) |
#define | SPECIALIZE_OUTPUT(func, Type) SPECIALIZE_FUN1_1_2(output, func, Result, std::ostream&, const, Type, const Numeric_Format&, Rounding_Dir) |
#define | MINUS_INFINITY Minus_Infinity() |
#define | PLUS_INFINITY Plus_Infinity() |
#define | NOT_A_NUMBER Not_A_Number() |
#define | CHECK_P(cond, check) ((cond) ? (check) : (assert(!(check)), false)) |
Functions | |
template<typename Policy, typename 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) |
#define CHECK_P | ( | cond, | |||
check | ) | ((cond) ? (check) : (assert(!(check)), false)) |
Definition at line 448 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 DECLARE_FUN1_0_0 | ( | name, | |||
ret_type, | |||||
qual, | |||||
type | ) |
Definition at line 46 of file checked.defs.hh.
#define DECLARE_FUN1_0_1 | ( | name, | |||
ret_type, | |||||
qual, | |||||
type, | |||||
after1 | ) |
Definition at line 54 of file checked.defs.hh.
#define DECLARE_FUN1_0_2 | ( | name, | |||
ret_type, | |||||
qual, | |||||
type, | |||||
after1, | |||||
after2 | ) |
Definition at line 62 of file checked.defs.hh.
#define DECLARE_FUN1_0_3 | ( | name, | |||
ret_type, | |||||
qual, | |||||
type, | |||||
after1, | |||||
after2, | |||||
after3 | ) |
Definition at line 70 of file checked.defs.hh.
#define DECLARE_FUN1_1_1 | ( | name, | |||
ret_type, | |||||
before1, | |||||
qual, | |||||
type, | |||||
after1 | ) |
Definition at line 78 of file checked.defs.hh.
#define DECLARE_FUN1_1_2 | ( | name, | |||
ret_type, | |||||
before1, | |||||
qual, | |||||
type, | |||||
after1, | |||||
after2 | ) |
Definition at line 86 of file checked.defs.hh.
#define DECLARE_FUN1_2_2 | ( | name, | |||
ret_type, | |||||
before1, | |||||
before2, | |||||
qual, | |||||
type, | |||||
after1, | |||||
after2 | ) |
Definition at line 94 of file checked.defs.hh.
#define DECLARE_FUN2_0_0 | ( | name, | |||
ret_type, | |||||
qual1, | |||||
type1, | |||||
qual2, | |||||
type2 | ) |
Definition at line 102 of file checked.defs.hh.
#define DECLARE_FUN2_0_1 | ( | name, | |||
ret_type, | |||||
qual1, | |||||
type1, | |||||
qual2, | |||||
type2, | |||||
after1 | ) |
Definition at line 110 of file checked.defs.hh.
#define DECLARE_FUN2_0_2 | ( | name, | |||
ret_type, | |||||
qual1, | |||||
type1, | |||||
qual2, | |||||
type2, | |||||
after1, | |||||
after2 | ) |
Definition at line 118 of file checked.defs.hh.
#define DECLARE_FUN3_0_1 | ( | name, | |||
ret_type, | |||||
qual1, | |||||
type1, | |||||
qual2, | |||||
type2, | |||||
qual3, | |||||
type3, | |||||
after1 | ) |
Definition at line 126 of file checked.defs.hh.
#define DECLARE_FUN5_0_1 | ( | name, | |||
ret_type, | |||||
qual1, | |||||
type1, | |||||
qual2, | |||||
type2, | |||||
qual3, | |||||
type3, | |||||
qual4, | |||||
type4, | |||||
qual5, | |||||
type5, | |||||
after1 | ) |
Definition at line 137 of file checked.defs.hh.
#define FUNCTION_CLASS | ( | name | ) | name ## _function_struct |
Definition at line 44 of file checked.defs.hh.
#define MINUS_INFINITY Minus_Infinity() |
Definition at line 391 of file checked.defs.hh.
Referenced by Parma_Polyhedra_Library::Interval< Boundary, Info >::add_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::div_assign(), Parma_Polyhedra_Library::minus_infinity(), Parma_Polyhedra_Library::Interval< Boundary, Info >::mul_assign(), and Parma_Polyhedra_Library::Interval< Boundary, Info >::sub_assign().
#define nonconst |
Definition at line 256 of file checked.defs.hh.
#define NOT_A_NUMBER Not_A_Number() |
Definition at line 393 of file checked.defs.hh.
Referenced by Parma_Polyhedra_Library::not_a_number().
#define PLUS_INFINITY Plus_Infinity() |
Definition at line 392 of file checked.defs.hh.
Referenced by Parma_Polyhedra_Library::Interval< Boundary, Info >::add_assign(), Parma_Polyhedra_Library::BD_Shape< T >::BD_Shape(), Parma_Polyhedra_Library::Octagonal_Shape< T >::BHMZ05_widening_assign(), Parma_Polyhedra_Library::BD_Shape< T >::BHMZ05_widening_assign(), Parma_Polyhedra_Library::Octagonal_Shape< T >::CC76_extrapolation_assign(), Parma_Polyhedra_Library::BD_Shape< T >::CC76_extrapolation_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::div_assign(), Parma_Polyhedra_Library::Octagonal_Shape< T >::euclidean_distance_assign(), Parma_Polyhedra_Library::BD_Shape< T >::euclidean_distance_assign(), Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl::expand_within_capacity(), Parma_Polyhedra_Library::BD_Shape< T >::forget_all_dbm_constraints(), Parma_Polyhedra_Library::Octagonal_Shape< T >::forget_all_octagonal_constraints(), Parma_Polyhedra_Library::BD_Shape< T >::forget_binary_dbm_constraints(), Parma_Polyhedra_Library::Octagonal_Shape< T >::forget_binary_octagonal_constraints(), Parma_Polyhedra_Library::Octagonal_Shape< T >::generalized_affine_image(), Parma_Polyhedra_Library::BD_Shape< T >::generalized_affine_image(), Parma_Polyhedra_Library::Octagonal_Shape< T >::incremental_strong_closure_assign(), Parma_Polyhedra_Library::Octagonal_Shape< T >::is_strongly_reduced(), Parma_Polyhedra_Library::Octagonal_Shape< T >::l_infinity_distance_assign(), Parma_Polyhedra_Library::BD_Shape< T >::l_infinity_distance_assign(), Parma_Polyhedra_Library::OR_Matrix< T >::l_m_distance_assign(), Parma_Polyhedra_Library::DB_Matrix< T >::l_m_distance_assign(), Parma_Polyhedra_Library::Box< ITV >::l_m_distance_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::mul_assign(), Parma_Polyhedra_Library::Octagonal_Shape< T >::Octagonal_Shape(), Parma_Polyhedra_Library::plus_infinity(), Parma_Polyhedra_Library::Octagonal_Shape< T >::rectilinear_distance_assign(), Parma_Polyhedra_Library::BD_Shape< T >::rectilinear_distance_assign(), Parma_Polyhedra_Library::BD_Shape< T >::shortest_path_closure_assign(), Parma_Polyhedra_Library::Octagonal_Shape< T >::strong_closure_assign(), and Parma_Polyhedra_Library::Interval< Boundary, Info >::sub_assign().
#define PPL_checked_defs_hh 1 |
Definition at line 24 of file checked.defs.hh.
#define SPECIALIZE_ABS | ( | func, | |||
To, | |||||
From | ) | SPECIALIZE_FUN2_0_1(abs, func, Result, nonconst, To, const, From, Rounding_Dir) |
Definition at line 290 of file checked.defs.hh.
#define SPECIALIZE_ADD | ( | func, | |||
To, | |||||
From1, | |||||
From2 | ) | SPECIALIZE_FUN3_0_1(add, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
Definition at line 294 of file checked.defs.hh.
#define SPECIALIZE_ADD_MUL | ( | func, | |||
To, | |||||
From1, | |||||
From2 | ) | SPECIALIZE_FUN3_0_1(add_mul, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
Definition at line 310 of file checked.defs.hh.
#define SPECIALIZE_ASSIGN | ( | func, | |||
To, | |||||
From | ) | SPECIALIZE_FUN2_0_1(assign, func, Result, nonconst, To, const, From, Rounding_Dir) |
Definition at line 280 of file checked.defs.hh.
#define SPECIALIZE_ASSIGN_SPECIAL | ( | func, | |||
Type | ) | SPECIALIZE_FUN1_0_2(assign_special, func, Result, nonconst, Type, Result, Rounding_Dir) |
Definition at line 274 of file checked.defs.hh.
#define SPECIALIZE_CEIL | ( | func, | |||
To, | |||||
From | ) | SPECIALIZE_FUN2_0_1(ceil, func, Result, nonconst, To, const, From, Rounding_Dir) |
Definition at line 284 of file checked.defs.hh.
#define SPECIALIZE_CLASSIFY | ( | func, | |||
Type | ) | SPECIALIZE_FUN1_0_3(classify, func, Result, const, Type, bool, bool, bool) |
Definition at line 264 of file checked.defs.hh.
#define SPECIALIZE_CMP | ( | func, | |||
Type1, | |||||
Type2 | ) | SPECIALIZE_FUN2_0_0(cmp, func, Result, const, Type1, const, Type2) |
Definition at line 262 of file checked.defs.hh.
#define SPECIALIZE_CONSTRUCT | ( | func, | |||
To, | |||||
From | ) | SPECIALIZE_FUN2_0_1(construct, func, Result, nonconst, To, const, From, Rounding_Dir) |
Definition at line 278 of file checked.defs.hh.
#define SPECIALIZE_CONSTRUCT_SPECIAL | ( | func, | |||
Type | ) | SPECIALIZE_FUN1_0_2(construct_special, func, Result, nonconst, Type, Result, Rounding_Dir) |
Definition at line 276 of file checked.defs.hh.
#define SPECIALIZE_COPY | ( | func, | |||
Type | ) | SPECIALIZE_FUN2_0_0(copy, func, void, nonconst, Type, const, Type) |
Definition at line 258 of file checked.defs.hh.
#define SPECIALIZE_DIV | ( | func, | |||
To, | |||||
From1, | |||||
From2 | ) | SPECIALIZE_FUN3_0_1(div, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
Definition at line 300 of file checked.defs.hh.
#define SPECIALIZE_DIV2EXP | ( | func, | |||
To, | |||||
From | ) | SPECIALIZE_FUN2_0_2(div2exp, func, Result, nonconst, To, const, From, int, Rounding_Dir) |
Definition at line 308 of file checked.defs.hh.
#define SPECIALIZE_FLOOR | ( | func, | |||
To, | |||||
From | ) | SPECIALIZE_FUN2_0_1(floor, func, Result, nonconst, To, const, From, Rounding_Dir) |
Definition at line 282 of file checked.defs.hh.
#define SPECIALIZE_FUN1_0_0 | ( | name, | |||
func, | |||||
ret_type, | |||||
qual, | |||||
type | ) |
Definition at line 154 of file checked.defs.hh.
#define SPECIALIZE_FUN1_0_1 | ( | name, | |||
func, | |||||
ret_type, | |||||
qual, | |||||
type, | |||||
after1 | ) |
Definition at line 162 of file checked.defs.hh.
#define SPECIALIZE_FUN1_0_2 | ( | name, | |||
func, | |||||
ret_type, | |||||
qual, | |||||
type, | |||||
after1, | |||||
after2 | ) |
Definition at line 170 of file checked.defs.hh.
#define SPECIALIZE_FUN1_0_3 | ( | name, | |||
func, | |||||
ret_type, | |||||
qual, | |||||
type, | |||||
after1, | |||||
after2, | |||||
after3 | ) |
Definition at line 178 of file checked.defs.hh.
#define SPECIALIZE_FUN1_1_1 | ( | name, | |||
func, | |||||
ret_type, | |||||
before1, | |||||
qual, | |||||
type, | |||||
after1 | ) |
Definition at line 186 of file checked.defs.hh.
#define SPECIALIZE_FUN1_1_2 | ( | name, | |||
func, | |||||
ret_type, | |||||
before1, | |||||
qual, | |||||
type, | |||||
after1, | |||||
after2 | ) |
Definition at line 194 of file checked.defs.hh.
#define SPECIALIZE_FUN1_2_2 | ( | name, | |||
func, | |||||
ret_type, | |||||
before1, | |||||
before2, | |||||
qual, | |||||
type, | |||||
after1, | |||||
after2 | ) |
Definition at line 202 of file checked.defs.hh.
#define SPECIALIZE_FUN2_0_0 | ( | name, | |||
func, | |||||
ret_type, | |||||
qual1, | |||||
type1, | |||||
qual2, | |||||
type2 | ) |
Definition at line 210 of file checked.defs.hh.
#define SPECIALIZE_FUN2_0_1 | ( | name, | |||
func, | |||||
ret_type, | |||||
qual1, | |||||
type1, | |||||
qual2, | |||||
type2, | |||||
after1 | ) |
Definition at line 218 of file checked.defs.hh.
#define SPECIALIZE_FUN2_0_2 | ( | name, | |||
func, | |||||
ret_type, | |||||
qual1, | |||||
type1, | |||||
qual2, | |||||
type2, | |||||
after1, | |||||
after2 | ) |
Definition at line 226 of file checked.defs.hh.
#define SPECIALIZE_FUN3_0_1 | ( | name, | |||
func, | |||||
ret_type, | |||||
qual1, | |||||
type1, | |||||
qual2, | |||||
type2, | |||||
qual3, | |||||
type3, | |||||
after1 | ) |
Definition at line 234 of file checked.defs.hh.
#define SPECIALIZE_FUN5_0_1 | ( | name, | |||
func, | |||||
ret_type, | |||||
qual1, | |||||
type1, | |||||
qual2, | |||||
type2, | |||||
qual3, | |||||
type3, | |||||
qual4, | |||||
type4, | |||||
qual5, | |||||
type5, | |||||
after1 | ) |
Definition at line 244 of file checked.defs.hh.
#define SPECIALIZE_GCD | ( | func, | |||
To, | |||||
From1, | |||||
From2 | ) | SPECIALIZE_FUN3_0_1(gcd, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
Definition at line 314 of file checked.defs.hh.
#define SPECIALIZE_GCDEXT | ( | func, | |||
To1, | |||||
From1, | |||||
From2, | |||||
To2, | |||||
To3 | ) |
Value:
SPECIALIZE_FUN5_0_1(gcdext, func, Result, nonconst, To1, \ nonconst, To2, nonconst, To3, const, From1, const, From2, Rounding_Dir)
Definition at line 316 of file checked.defs.hh.
#define SPECIALIZE_IDIV | ( | func, | |||
To, | |||||
From1, | |||||
From2 | ) | SPECIALIZE_FUN3_0_1(idiv, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
Definition at line 304 of file checked.defs.hh.
#define SPECIALIZE_INPUT | ( | func, | |||
Type | ) | SPECIALIZE_FUN1_0_2(input, func, Result, nonconst, Type, std::istream&, Rounding_Dir) |
Definition at line 321 of file checked.defs.hh.
#define SPECIALIZE_IS_INT | ( | func, | |||
Type | ) | SPECIALIZE_FUN1_0_0(is_int, func, bool, const, Type) |
Definition at line 272 of file checked.defs.hh.
#define SPECIALIZE_IS_MINF | ( | func, | |||
Type | ) | SPECIALIZE_FUN1_0_0(is_minf, func, bool, const, Type) |
Definition at line 268 of file checked.defs.hh.
#define SPECIALIZE_IS_NAN | ( | func, | |||
Type | ) | SPECIALIZE_FUN1_0_0(is_nan, func, bool, const, Type) |
Definition at line 266 of file checked.defs.hh.
#define SPECIALIZE_IS_PINF | ( | func, | |||
Type | ) | SPECIALIZE_FUN1_0_0(is_pinf, func, bool, const, Type) |
Definition at line 270 of file checked.defs.hh.
#define SPECIALIZE_LCM | ( | func, | |||
To, | |||||
From1, | |||||
From2 | ) | SPECIALIZE_FUN3_0_1(lcm, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
Definition at line 319 of file checked.defs.hh.
#define SPECIALIZE_MUL | ( | func, | |||
To, | |||||
From1, | |||||
From2 | ) | SPECIALIZE_FUN3_0_1(mul, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
Definition at line 298 of file checked.defs.hh.
#define SPECIALIZE_MUL2EXP | ( | func, | |||
To, | |||||
From | ) | SPECIALIZE_FUN2_0_2(mul2exp, func, Result, nonconst, To, const, From, int, Rounding_Dir) |
Definition at line 306 of file checked.defs.hh.
#define SPECIALIZE_NEG | ( | func, | |||
To, | |||||
From | ) | SPECIALIZE_FUN2_0_1(neg, func, Result, nonconst, To, const, From, Rounding_Dir) |
Definition at line 288 of file checked.defs.hh.
#define SPECIALIZE_OUTPUT | ( | func, | |||
Type | ) | SPECIALIZE_FUN1_1_2(output, func, Result, std::ostream&, const, Type, const Numeric_Format&, Rounding_Dir) |
Definition at line 323 of file checked.defs.hh.
#define SPECIALIZE_REM | ( | func, | |||
To, | |||||
From1, | |||||
From2 | ) | SPECIALIZE_FUN3_0_1(rem, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
Definition at line 302 of file checked.defs.hh.
#define SPECIALIZE_SGN | ( | func, | |||
From | ) | SPECIALIZE_FUN1_0_0(sgn, func, Result, const, From) |
Definition at line 260 of file checked.defs.hh.
#define SPECIALIZE_SQRT | ( | func, | |||
To, | |||||
From | ) | SPECIALIZE_FUN2_0_1(sqrt, func, Result, nonconst, To, const, From, Rounding_Dir) |
Definition at line 292 of file checked.defs.hh.
#define SPECIALIZE_SUB | ( | func, | |||
To, | |||||
From1, | |||||
From2 | ) | SPECIALIZE_FUN3_0_1(sub, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
Definition at line 296 of file checked.defs.hh.
#define SPECIALIZE_SUB_MUL | ( | func, | |||
To, | |||||
From1, | |||||
From2 | ) | SPECIALIZE_FUN3_0_1(sub_mul, func, Result, nonconst, To, const, From1, const, From2, Rounding_Dir) |
Definition at line 312 of file checked.defs.hh.
#define SPECIALIZE_TRUNC | ( | func, | |||
To, | |||||
From | ) | SPECIALIZE_FUN2_0_1(trunc, func, Result, nonconst, To, const, From, Rounding_Dir) |
Definition at line 286 of file checked.defs.hh.