Parma_Polyhedra_Library::Enable_If< true, T > Struct Template Reference
[C++ Language Interface]

A class that provides a type member called type equivalent to T if and only if b is true. More...

#include <meta_programming.hh>

List of all members.

Public Types

typedef T type


Detailed Description

template<typename T>
struct Parma_Polyhedra_Library::Enable_If< true, T >

A class that provides a type member called type equivalent to T if and only if b is true.

This is the specialization in which the type member is present.

Note:
Let T, T1 and T2 be any type expressions and suppose we have some template function T f(T1, T2). If we want to declare a specialization that is enabled only if some compile-time checkable condition holds, we simply declare the specialization by
  template ...
  typename Enable_If<condition, T>::type
  foo(T1 x, T2 y);
For all the instantiations of the template parameters that cause condition to evaluate to false, the Enable_If<condition, T>::type member will not be defined. Hence, for that instantiations, the specialization will not be eligible.

Definition at line 303 of file meta_programming.hh.


Member Typedef Documentation

template<typename T>
typedef T Parma_Polyhedra_Library::Enable_If< true, T >::type

Definition at line 304 of file meta_programming.hh.


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

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