PPL  0.12.1
Public Member Functions | Static Public Member Functions
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 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.

                                              {
  if (result_class(r) == VC_NAN)
    throw_result_exception(r);
}
The documentation for this struct was generated from the following files: