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

#include <Checked_Number.defs.hh>

List of all members.

Static Public Member Functions

static void handle_result (Result r)

Static Public Attributes

static const int check_overflow = 0
 Checks for overflowed result.
static const int check_inf_add_inf = 0
 Checks for attempts to add infinities with different sign.
static const int check_inf_sub_inf = 0
 Checks for attempts to sub infinities with same sign.
static const int check_inf_mul_zero = 0
 Checks for attempts to mul infinities by zero.
static const int check_div_zero = 0
 Checks for attempts to divide by zero.
static const int check_inf_div_inf = 0
 Checks for attempts to divide infinities.
static const int check_inf_mod = 0
 Checks for attempts to compute remainder of infinities.
static const int check_sqrt_neg = 0
 Checks for attempts to take the square root of a negative number.
static const int handle_nan = 0
 Handles not-a-number special value.
static const int handle_infinity = 0
 Handles infinity special values.
static const int convertible = 1
 Representation is identical to primitive.
static const int fpu_check_inexact = 0
 Checks for FPU inexact result.
static const int check_nan_args = 0
 Checks for NaN arguments.
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

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


Member Function Documentation

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

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

00059                                                        {
00060 }


Member Data Documentation

Checks for overflowed result.

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

Checks for attempts to add infinities with different sign.

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

Checks for attempts to sub infinities with same sign.

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

Checks for attempts to mul infinities by zero.

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

Checks for attempts to divide by zero.

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

Checks for attempts to divide infinities.

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

Checks for attempts to compute remainder of infinities.

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

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

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

Handles not-a-number special value.

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

Handles infinity special values.

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

Representation is identical to primitive.

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

Checks for FPU inexact result.

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

Checks for NaN arguments.

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

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

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

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

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

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


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

Generated on Wed Jul 16 22:55:44 2008 for PPL by  doxygen 1.5.6