![]() |
deal.II version GIT relicensing-2574-g486eec3ad1 2025-02-07 04:40:00+00:00
|
#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 76 of file template_constraints.h.
using internal::SupportsOperation::detector< Default, void_t< Op< Args... > >, Op, Args... >::value_t = std::true_type |
Definition at line 78 of file template_constraints.h.
using internal::SupportsOperation::detector< Default, void_t< Op< Args... > >, Op, Args... >::type = Op<Args...> |
Definition at line 79 of file template_constraints.h.