#include <checked_int.inlines.hh>
Public Types | |
typedef int_fast64_t | Type_For_Neg |
typedef int_fast64_t | Type_For_Add |
typedef int_fast64_t | Type_For_Sub |
typedef int_fast64_t | Type_For_Mul |
Static Public Attributes | |
static const bool | use_for_neg = (LONG_BITS == 64) |
static const bool | use_for_add = (LONG_BITS == 64) |
static const bool | use_for_sub = (LONG_BITS == 64) |
static const bool | use_for_mul = true |
Definition at line 810 of file checked_int.inlines.hh.
typedef int_fast64_t Parma_Polyhedra_Library::Checked::Larger< signed int >::Type_For_Neg |
Definition at line 815 of file checked_int.inlines.hh.
typedef int_fast64_t Parma_Polyhedra_Library::Checked::Larger< signed int >::Type_For_Add |
Definition at line 816 of file checked_int.inlines.hh.
typedef int_fast64_t Parma_Polyhedra_Library::Checked::Larger< signed int >::Type_For_Sub |
Definition at line 817 of file checked_int.inlines.hh.
typedef int_fast64_t Parma_Polyhedra_Library::Checked::Larger< signed int >::Type_For_Mul |
Definition at line 818 of file checked_int.inlines.hh.
const bool Parma_Polyhedra_Library::Checked::Larger< signed int >::use_for_neg = (LONG_BITS == 64) [static] |
Definition at line 811 of file checked_int.inlines.hh.
const bool Parma_Polyhedra_Library::Checked::Larger< signed int >::use_for_add = (LONG_BITS == 64) [static] |
Definition at line 812 of file checked_int.inlines.hh.
const bool Parma_Polyhedra_Library::Checked::Larger< signed int >::use_for_sub = (LONG_BITS == 64) [static] |
Definition at line 813 of file checked_int.inlines.hh.
const bool Parma_Polyhedra_Library::Checked::Larger< signed int >::use_for_mul = true [static] |
Definition at line 814 of file checked_int.inlines.hh.