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

#include <checked_int.inlines.hh>

List of all members.

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


Detailed Description

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

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


Member Typedef Documentation

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.


Member Data Documentation

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.


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