CoDiPack  2.2.0
A Code Differentiation Package
SciComp TU Kaiserslautern
Loading...
Searching...
No Matches
codi::ExpressionTraits::ValidateResultImpl< ResultA, ResultB, typename > Struct Template Reference

#include <expressionTraits.hpp>

Public Types

using ActiveResult = typename std::conditional<isBVoid, ResultA, ResultB>::type
 The resulting active type of an expression.
 

Detailed Description

template<typename ResultA, typename ResultB, typename = void>
struct codi::ExpressionTraits::ValidateResultImpl< ResultA, ResultB, typename >

Validates if the active type results of two expressions are the same or compatible. void results are interpreted as the active type result of a constant expression.


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