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.

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 Documentation

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

Generated on Sat Oct 11 10:39:47 2008 for PPL by  doxygen 1.5.6