Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type > Struct Template Reference

#include <Interval_Restriction.defs.hh>

List of all members.

Public Types

typedef Simple_Restriction_Integer type

Static Public Member Functions

static type get (const From &x)


Detailed Description

template<typename From, typename Base>
struct Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type >

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


Member Typedef Documentation

template<typename From, typename Base>
typedef Simple_Restriction_Integer Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type >::type

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


Member Function Documentation

template<typename From, typename Base>
static type Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type >::get ( const From &  x  )  [inline, static]

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

References Parma_Polyhedra_Library::is_integer().

00210                                  {
00211     return Simple_Restriction_Integer(x.is_singleton() && is_integer(x.lower()));
00212   }


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

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