CarriesModel Concept Reference#

DiFfRG: DiFfRG::internal::CarriesModel Concept Reference
DiFfRG
Discretization Framework for functional Renormalization Group flows
DiFfRG::internal::CarriesModel Concept Reference

Whether a Discretization knows which model it belongs to. More...

#include <types.hh>

Concept definition

template<typename D>
concept DiFfRG::internal::CarriesModel = requires { typename D::Model; } && !std::is_void_v<typename D::Model>
Whether a Discretization knows which model it belongs to.
Definition types.hh:46

Detailed Description

Whether a Discretization knows which model it belongs to.

False exactly for the discretizations built from a bare ComponentDescriptor, which exist in tests that exercise constraints and vector layout without ever building an assembler.