#include <checked_int.inlines.hh>
Public Types | |
typedef int_fast32_t | Type_For_Neg |
typedef uint_fast32_t | Type_For_Add |
typedef int_fast32_t | Type_For_Sub |
typedef uint_fast32_t | Type_For_Mul |
Static Public Attributes | |
static const bool | use_for_neg = true |
static const bool | use_for_add = true |
static const bool | use_for_sub = true |
static const bool | use_for_mul = true |
Definition at line 798 of file checked_int.inlines.hh.
typedef int_fast32_t Parma_Polyhedra_Library::Checked::Larger< unsigned short >::Type_For_Neg |
Definition at line 803 of file checked_int.inlines.hh.
typedef uint_fast32_t Parma_Polyhedra_Library::Checked::Larger< unsigned short >::Type_For_Add |
Definition at line 804 of file checked_int.inlines.hh.
typedef int_fast32_t Parma_Polyhedra_Library::Checked::Larger< unsigned short >::Type_For_Sub |
Definition at line 805 of file checked_int.inlines.hh.
typedef uint_fast32_t Parma_Polyhedra_Library::Checked::Larger< unsigned short >::Type_For_Mul |
Definition at line 806 of file checked_int.inlines.hh.
const bool Parma_Polyhedra_Library::Checked::Larger< unsigned short >::use_for_neg = true [static] |
Definition at line 799 of file checked_int.inlines.hh.
const bool Parma_Polyhedra_Library::Checked::Larger< unsigned short >::use_for_add = true [static] |
Definition at line 800 of file checked_int.inlines.hh.
const bool Parma_Polyhedra_Library::Checked::Larger< unsigned short >::use_for_sub = true [static] |
Definition at line 801 of file checked_int.inlines.hh.
const bool Parma_Polyhedra_Library::Checked::Larger< unsigned short >::use_for_mul = true [static] |
Definition at line 802 of file checked_int.inlines.hh.