#include <checked_int.inlines.hh>
Public Types | |
typedef int_fast16_t | type_for_neg |
typedef int_fast16_t | type_for_add |
typedef int_fast16_t | type_for_sub |
typedef int_fast16_t | type_for_mul |
Public Member Functions | |
const_bool_nodef (use_for_neg, true) | |
const_bool_nodef (use_for_add, true) | |
const_bool_nodef (use_for_sub, true) | |
const_bool_nodef (use_for_mul, true) |
Definition at line 713 of file checked_int.inlines.hh.
typedef int_fast16_t Parma_Polyhedra_Library::Checked::Larger< signed char >::type_for_neg |
Definition at line 718 of file checked_int.inlines.hh.
typedef int_fast16_t Parma_Polyhedra_Library::Checked::Larger< signed char >::type_for_add |
Definition at line 719 of file checked_int.inlines.hh.
typedef int_fast16_t Parma_Polyhedra_Library::Checked::Larger< signed char >::type_for_sub |
Definition at line 720 of file checked_int.inlines.hh.
typedef int_fast16_t Parma_Polyhedra_Library::Checked::Larger< signed char >::type_for_mul |
Definition at line 721 of file checked_int.inlines.hh.
Parma_Polyhedra_Library::Checked::Larger< signed char >::const_bool_nodef | ( | use_for_neg | , | |
true | ||||
) |
Parma_Polyhedra_Library::Checked::Larger< signed char >::const_bool_nodef | ( | use_for_add | , | |
true | ||||
) |
Parma_Polyhedra_Library::Checked::Larger< signed char >::const_bool_nodef | ( | use_for_sub | , | |
true | ||||
) |
Parma_Polyhedra_Library::Checked::Larger< signed char >::const_bool_nodef | ( | use_for_mul | , | |
true | ||||
) |