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

#include <checked_int_inlines.hh>

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 ? 1 : 0) + (Policy::has_nan ? 1 : 0))
        : (Policy::has_infinity ? 1 : 0)))

Definition at line 87 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 ? 1 : 0) + (Policy::has_nan ? 1 : 0))))

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 >::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 - 2 * (Policy::has_infinity ? 1 : 0))
     : (C_Integer<Type>::min + (Policy::has_infinity ? 1 : 0)))

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 >::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:

• checked_int_inlines.hh