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

#include <Interval_Restriction.defs.hh>

List of all members.

Public Types

typedef
Interval_Restriction_Integer_Modulo
< T, Base > 
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_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >

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


Member Typedef Documentation

template<typename From , typename T , typename Base >
typedef Interval_Restriction_Integer_Modulo<T, Base> Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >::type

Definition at line 469 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_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >::get ( const From &  x  )  [inline, static]

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

00470                                         {
00471     return x.info();
00472   }


The documentation for this struct was generated from the following file:
Generated on Sun Feb 27 16:20:27 2011 for PPL by  doxygen 1.6.3