|
PPL
1.2
|
A class holding a constant called value that evaluates to true if and only if T1 is the same type as T2.
More...
#include <meta_programming.hh>


Additional Inherited Members | |
Public Types inherited from Parma_Polyhedra_Library::Bool< false > | |
| enum | const_bool_value |
A class holding a constant called value that evaluates to true if and only if T1 is the same type as T2.
This is the non-specialized case, in which T1 and T2 can be different.
Definition at line 179 of file meta_programming.hh.