PPL  1.2
Public Member Functions | Static Public Member Functions | List of all members
Parma_Polyhedra_Library::Extended_Number_Policy Struct Reference
C++ Language Interface

#include <Checked_Number_defs.hh>

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 38 of file Checked_Number_defs.hh.

Member Function Documentation

Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_overflow  ,
true   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_inf_add_inf  ,
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_mul_zero  ,
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_div_inf  ,
false   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_inf_mod  ,
false   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( check_sqrt_neg  ,
false   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( has_nan  ,
true   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( has_infinity  ,
true   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( fpu_check_inexact  ,
true   
)
Parma_Polyhedra_Library::Extended_Number_Policy::const_bool_nodef ( fpu_check_nan_result  ,
true   
)
void Parma_Polyhedra_Library::Extended_Number_Policy::handle_result ( Result  r)
inlinestatic

Definition at line 65 of file Checked_Number_inlines.hh.

References Parma_Polyhedra_Library::result_class(), Parma_Polyhedra_Library::throw_result_exception(), and Parma_Polyhedra_Library::VC_NAN.

65  {
66  if (result_class(r) == VC_NAN) {
67  throw_result_exception(r);
68  }
69 }
Parma_Polyhedra_Library::throw_result_exception
void throw_result_exception(Result r)
Definition: Checked_Number.cc:30
Parma_Polyhedra_Library::VC_NAN
Not a number result class.
Definition: Result_defs.hh:40
Parma_Polyhedra_Library::result_class
Result_Class result_class(Result r)
Definition: Result_inlines.hh:54
The documentation for this struct was generated from the following files: