Parma_Polyhedra_Library::WRD_Extended_Number_Policy Struct Reference
[C++ Language Interface]

#include <Checked_Number.defs.hh>

List of all members.

Public Member Functions

 const_bool_nodef (check_overflow, true)
 const_bool_nodef (check_inf_add_inf, false)
 const_bool_nodef (check_inf_sub_inf, false)
 const_bool_nodef (check_inf_mul_zero, false)
 const_bool_nodef (check_div_zero, false)
 const_bool_nodef (check_inf_div_inf, false)
 const_bool_nodef (check_inf_mod, false)
 const_bool_nodef (check_sqrt_neg, false)
 const_bool_nodef (has_nan, true)
 const_bool_nodef (has_infinity, true)
 const_bool_nodef (fpu_check_inexact, true)
 const_bool_nodef (check_nan_result, false)

Static Public Member Functions

static void handle_result (Result r)


Detailed Description

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


Member Function Documentation

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( check_overflow  ,
true   
)

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( check_inf_add_inf  ,
false   
)

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( check_inf_sub_inf  ,
false   
)

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( check_inf_mul_zero  ,
false   
)

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( check_div_zero  ,
false   
)

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( check_inf_div_inf  ,
false   
)

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( check_inf_mod  ,
false   
)

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( check_sqrt_neg  ,
false   
)

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( has_nan  ,
true   
)

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( has_infinity  ,
true   
)

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( fpu_check_inexact  ,
true   
)

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef ( check_nan_result  ,
false   
)

void Parma_Polyhedra_Library::WRD_Extended_Number_Policy::handle_result ( Result  r  )  [inline, static]

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

References Parma_Polyhedra_Library::throw_result_exception().

00077                                                   {
00078   if (is_special(r))
00079     throw_result_exception(r);
00080 }


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

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