Parma_Polyhedra_Library::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 (fpu_check_nan_result, true)

Static Public Member Functions

static void handle_result (Result r)

Detailed Description

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


Member Function Documentation

Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( fpu_check_nan_result  ,
true   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( fpu_check_inexact  ,
true   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( has_infinity  ,
true   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( has_nan  ,
true   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_sqrt_neg  ,
false   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_inf_mod  ,
false   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_inf_div_inf  ,
false   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_div_zero  ,
false   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_inf_mul_zero  ,
false   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_inf_sub_inf  ,
false   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_inf_add_inf  ,
false   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_overflow  ,
true   
)
void Parma_Polyhedra_Library::Extended_Number_Policy::handle_result ( Result  r  )  [inline, static]

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

References Parma_Polyhedra_Library::throw_result_exception().

00065                                               {
00066   if (result_class(r) == VC_NAN)
00067     throw_result_exception(r);
00068 }


The documentation for this struct was generated from the following files:
Generated on Sun Feb 27 16:20:19 2011 for PPL by  doxygen 1.6.3