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

#include <checked_int.inlines.hh>

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 72 of file checked_int.inlines.hh.


Member Data Documentation

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 83 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 80 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 74 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 77 of file checked_int.inlines.hh.

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 73 of file checked_int.inlines.hh.


The documentation for this struct was generated from the following file:
Generated on Sun Feb 27 16:20:33 2011 for PPL by  doxygen 1.6.3