Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T > Struct Template Reference
[C++ Language Interface]

#include <checked.defs.hh>

List of all members.

Public Member Functions

 const_bool_nodef (check_overflow, false)
 Checks for overflowed result.
 const_bool_nodef (check_inf_add_inf, false)
 Checks for attempts to add infinities with different sign.
 const_bool_nodef (check_inf_sub_inf, false)
 Checks for attempts to subtract infinities with same sign.
 const_bool_nodef (check_inf_mul_zero, false)
 Checks for attempts to multiply infinities by zero.
 const_bool_nodef (check_div_zero, false)
 Checks for attempts to divide by zero.
 const_bool_nodef (check_inf_div_inf, false)
 Checks for attempts to divide infinities.
 const_bool_nodef (check_inf_mod, false)
 Checks for attempts to compute remainder of infinities.
 const_bool_nodef (check_sqrt_neg, false)
 Checks for attempts to take the square root of a negative number.
 const_bool_nodef (has_nan, std::numeric_limits< T >::has_quiet_NaN)
 Handles not-a-number special value.
 const_bool_nodef (has_infinity, std::numeric_limits< T >::has_infinity)
 Handles infinity special values.
 const_bool_nodef (convertible, true)
 Representation is identical to primitive.
 const_bool_nodef (fpu_check_inexact, false)
 When true, requests to check for FPU inexact result are honored.
 const_bool_nodef (check_nan_result, false)
 Return VC_NAN on NaN result also for native extended.

Static Public Member Functions

static void handle_result (Result r)

Static Public Attributes

static const Rounding_Dir ROUND_DEFAULT_CONSTRUCTOR = ROUND_NATIVE
static const Rounding_Dir ROUND_DEFAULT_OPERATOR = ROUND_NATIVE
static const Rounding_Dir ROUND_DEFAULT_FUNCTION = ROUND_NATIVE
static const Rounding_Dir ROUND_DEFAULT_INPUT = ROUND_NATIVE
static const Rounding_Dir ROUND_DEFAULT_OUTPUT = ROUND_NATIVE


Detailed Description

template<typename T>
struct Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >

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


Member Function Documentation

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( check_overflow  ,
false   
)

Checks for overflowed result.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( check_inf_add_inf  ,
false   
)

Checks for attempts to add infinities with different sign.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( check_inf_sub_inf  ,
false   
)

Checks for attempts to subtract infinities with same sign.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( check_inf_mul_zero  ,
false   
)

Checks for attempts to multiply infinities by zero.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( check_div_zero  ,
false   
)

Checks for attempts to divide by zero.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( check_inf_div_inf  ,
false   
)

Checks for attempts to divide infinities.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( check_inf_mod  ,
false   
)

Checks for attempts to compute remainder of infinities.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( check_sqrt_neg  ,
false   
)

Checks for attempts to take the square root of a negative number.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( has_nan  ,
std::numeric_limits< T >::has_quiet_NaN   
)

Handles not-a-number special value.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( has_infinity  ,
std::numeric_limits< T >::has_infinity   
)

Handles infinity special values.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( convertible  ,
true   
)

Representation is identical to primitive.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( fpu_check_inexact  ,
false   
)

When true, requests to check for FPU inexact result are honored.

template<typename T>
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::const_bool_nodef ( check_nan_result  ,
false   
)

Return VC_NAN on NaN result also for native extended.

template<typename T>
void Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::handle_result ( Result  r  )  [inline, static]

Definition at line 61 of file Checked_Number.inlines.hh.

00061                                                           {
00062 }


Member Data Documentation

template<typename T>
const Rounding_Dir Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::ROUND_DEFAULT_CONSTRUCTOR = ROUND_NATIVE [static]

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

template<typename T>
const Rounding_Dir Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::ROUND_DEFAULT_OPERATOR = ROUND_NATIVE [static]

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

template<typename T>
const Rounding_Dir Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::ROUND_DEFAULT_FUNCTION = ROUND_NATIVE [static]

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

template<typename T>
const Rounding_Dir Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::ROUND_DEFAULT_INPUT = ROUND_NATIVE [static]

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

template<typename T>
const Rounding_Dir Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >::ROUND_DEFAULT_OUTPUT = ROUND_NATIVE [static]

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


The documentation for this struct was generated from the following files:

Generated on Sat Oct 11 10:41:03 2008 for PPL by  doxygen 1.5.6