serif::equations::ValidContributions< RowT, TupleT > Struct Template Reference

A compile-time check to ensure that a tuple of contributions is valid for a given residual row type. This is the default false specialization. More...

#include <concepts.hpp>

Inheritance diagram for serif::equations::ValidContributions< RowT, TupleT >:

Collaboration diagram for serif::equations::ValidContributions< RowT, TupleT >:

Detailed Description

template<typename RowT, typename TupleT>
struct serif::equations::ValidContributions< RowT, TupleT >

A compile-time check to ensure that a tuple of contributions is valid for a given residual row type. This is the default false specialization.

A compile-time check to ensure that a tuple of contributions is valid for a given residual row type. This is the specialization for a non-empty tuple of contributions.

Template Parameters

RowT	The type of the residual row that the contributions must share.
TupleT	A tuple of contributions to validate.
RowT	The type of the residual row that the contributions must share.
C	The first contribution type in the tuple.
RestCs	The remaining contribution types in the tuple.

Compile Time True Type If
The size of C (contributions) is not zero Each contribution satisfies the PointEquation concept Each contribution's test type is the same as RowT

---

The documentation for this struct was generated from the following file:

• src/include/serif/equations/concepts.hpp