#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 |
Definition at line 72 of file checked_int.inlines.hh.
const Type Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >::max [static] |
(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.
const Type Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >::min [static] |
(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.
const Type Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >::minus_infinity [static] |
(C_Integer<Type>::min >= 0
? C_Integer<Type>::max - 1
: C_Integer<Type>::min)
Definition at line 74 of file checked_int.inlines.hh.
const Type Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >::not_a_number [static] |
(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.
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.
1.6.3