Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type > Struct Template Reference

#include <checked_int.inlines.hh>

Collaboration diagram for Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >:

Collaboration graph
[legend]

List of all members.

Static Public Attributes

static const Type plus_infinity = Limits<Type>::max
static const Type minus_infinity
static const Type not_a_number
static const Type min
static const Type max


Detailed Description

template<typename Policy, typename Type>
struct Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >

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


Member Data Documentation

template<typename Policy, typename Type>
const Type Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >::plus_infinity = Limits<Type>::max [static]

Definition at line 78 of file checked_int.inlines.hh.

template<typename Policy, typename Type>
const Type Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >::minus_infinity [static]

Initial value:

 (Limits<Type>::min >= 0
                                      ? Limits<Type>::max - 1
                                      : Limits<Type>::min)

Definition at line 79 of file checked_int.inlines.hh.

template<typename Policy, typename Type>
const Type Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >::not_a_number [static]

Initial value:

 (Limits<Type>::min >= 0
                                    ? Limits<Type>::max - Policy::handle_infinity * 2
                                    : Limits<Type>::min + Policy::handle_infinity)

Definition at line 82 of file checked_int.inlines.hh.

template<typename Policy, typename Type>
const Type Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >::min [static]

Initial value:

 (Limits<Type>::min
                           + (Limits<Type>::min >= 0 ? 0
                              : (Policy::handle_infinity + Policy::handle_nan)))

Definition at line 85 of file checked_int.inlines.hh.

template<typename Policy, typename Type>
const Type Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >::max [static]

Initial value:

 (Limits<Type>::max
                           - (Limits<Type>::min >= 0
                              ? (2 * Policy::handle_infinity + Policy::handle_nan)
                              : Policy::handle_infinity))

Definition at line 88 of file checked_int.inlines.hh.


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

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