Parma_Polyhedra_Library::Checked::Larger< unsigned int > Struct Template Reference

#include <checked_int.inlines.hh>

List of all members.

Public Types

typedef int_fast64_t Type_For_Neg
typedef uint_fast64_t Type_For_Add
typedef int_fast64_t Type_For_Sub
typedef uint_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


Detailed Description

template<>
struct Parma_Polyhedra_Library::Checked::Larger< unsigned int >

Definition at line 822 of file checked_int.inlines.hh.


Member Typedef Documentation

typedef int_fast64_t Parma_Polyhedra_Library::Checked::Larger< unsigned int >::Type_For_Neg

Definition at line 827 of file checked_int.inlines.hh.

typedef uint_fast64_t Parma_Polyhedra_Library::Checked::Larger< unsigned int >::Type_For_Add

Definition at line 828 of file checked_int.inlines.hh.

typedef int_fast64_t Parma_Polyhedra_Library::Checked::Larger< unsigned int >::Type_For_Sub

Definition at line 829 of file checked_int.inlines.hh.

typedef uint_fast64_t Parma_Polyhedra_Library::Checked::Larger< unsigned int >::Type_For_Mul

Definition at line 830 of file checked_int.inlines.hh.


Member Data Documentation

const bool Parma_Polyhedra_Library::Checked::Larger< unsigned int >::use_for_neg = (LONG_BITS == 64) [static]

Definition at line 823 of file checked_int.inlines.hh.

const bool Parma_Polyhedra_Library::Checked::Larger< unsigned int >::use_for_add = (LONG_BITS == 64) [static]

Definition at line 824 of file checked_int.inlines.hh.

const bool Parma_Polyhedra_Library::Checked::Larger< unsigned int >::use_for_sub = (LONG_BITS == 64) [static]

Definition at line 825 of file checked_int.inlines.hh.

const bool Parma_Polyhedra_Library::Checked::Larger< unsigned int >::use_for_mul = true [static]

Definition at line 826 of file checked_int.inlines.hh.


The documentation for this struct was generated from the following file:

Generated on Wed Jul 16 22:55:53 2008 for PPL by  doxygen 1.5.6