DiFfRG::internal::IsModel Concept Reference

Whether a type is a model, i.e. carries the component descriptor rather than being one. More...

#include <types.hh>

Concept definition

template<typename T>
concept DiFfRG::internal::IsModel =  requires { typename T::Components; }

Detailed Description

Whether a type is a model, i.e. carries the component descriptor rather than being one.

Models expose using Components = ...; a bare ComponentDescriptor does not (it exposes FEFunction_Descriptor / Variable_Descriptor / Extractor_Descriptor instead). That asymmetry is what lets a Discretization take either one as its first argument.