Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type > Struct Template Reference

#include <Interval_Restriction.defs.hh>

List of all members.

Public Types

typedef
Simple_Restriction_Integer_Modulo
< T > 
type

Static Public Member Functions

static const typeget (const From &x)


Detailed Description

template<typename From, typename T, typename Base>
struct Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >

Definition at line 424 of file Interval_Restriction.defs.hh.


Member Typedef Documentation

template<typename From, typename T, typename Base>
typedef Simple_Restriction_Integer_Modulo<T> Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >::type

Definition at line 425 of file Interval_Restriction.defs.hh.


Member Function Documentation

template<typename From, typename T, typename Base>
static const type& Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >::get ( const From &  x  )  [inline, static]

Definition at line 426 of file Interval_Restriction.defs.hh.

References Parma_Polyhedra_Library::is_integer().

00426                                         {
00427     static const type integer(0, 1);
00428     static const type not_integer(0, 0);
00429     if (is_integer(x))
00430       return integer;
00431     else
00432       return not_integer;
00433   }


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

Generated on Sat Oct 11 10:41:12 2008 for PPL by  doxygen 1.5.6