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 = C_Integer<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 71 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 = C_Integer<Type>::max [static]

Definition at line 72 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:

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

Definition at line 73 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:

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

Definition at line 76 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:

 (C_Integer<Type>::min
                           + (C_Integer<Type>::min >= 0 ? 0
                              : (Policy::has_infinity + Policy::has_nan)))

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 >::max [static]

Initial value:

 (C_Integer<Type>::max
                           - (C_Integer<Type>::min >= 0
                              ? (2 * Policy::has_infinity + Policy::has_nan)
                              : Policy::has_infinity))

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


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

Generated on Sat Oct 11 10:41:19 2008 for PPL by  doxygen 1.5.6