![]() |
Reference documentation for deal.II version 9.6.0
|
#include <deal.II/base/template_constraints.h>
Public Types | |
using | value_t = std::true_type |
using | type = Op<Args...> |
A specialization of the general template.
The trick this class uses is that, just like the general template, its second argument is always void
, but here it is written as void_t<Op<Args...>>
and consequently the compiler will only select this specialization if Op<Args...>
is in fact a valid type. This means that the operation we seek to understand is indeed supported.
This specialization then declares member variables and types according to the successful detection.
Definition at line 75 of file template_constraints.h.
using internal::SupportsOperation::detector< Default, void_t< Op< Args... > >, Op, Args... >::value_t = std::true_type |
Definition at line 77 of file template_constraints.h.
using internal::SupportsOperation::detector< Default, void_t< Op< Args... > >, Op, Args... >::type = Op<Args...> |
Definition at line 78 of file template_constraints.h.