#include <checked_int.inlines.hh>
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 |
Definition at line 77 of file checked_int.inlines.hh.
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.
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.
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.
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.
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.