codi::ExpressionTraits::ValidateADLogicImpl< Logic > Struct Template Reference

Validates if the AD logic of an arbitrary amount of expressions are the same or compatible. void results are interpreted as the AD logic of a constant expression. More...

Inheritance diagram for codi::ExpressionTraits::ValidateADLogicImpl< Logic >:

Detailed Description

template<typename... Logic>
struct codi::ExpressionTraits::ValidateADLogicImpl< Logic >

Validates if the AD logic of an arbitrary amount of expressions are the same or compatible. void results are interpreted as the AD logic of a constant expression.

Implementation proxy for AD logic validation. See the specializations for details.

---

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

• include/codi/traits/expressionTraits.hpp