CoDiPack  3.1.0
A Code Differentiation Package
 SciComp TU Kaiserslautern
Loading...
Searching...
No Matches
Public Types | List of all members
codi::ExpressionTraits::ValidateADLogicImpl< LogicA, LogicOther... > Struct Template Reference

Validation for an arbitrary number of arguments. Gets the logic of the remainder and validates this with LogicA. More...

#include <expressionTraits.hpp>

Inheritance diagram for codi::ExpressionTraits::ValidateADLogicImpl< LogicA, LogicOther... >:
Inheritance graph
[legend]

Public Types

using ADLogic
 The resulting AD logic type of an expression.
 

Detailed Description

template<typename LogicA, typename... LogicOther>
struct codi::ExpressionTraits::ValidateADLogicImpl< LogicA, LogicOther... >

Validation for an arbitrary number of arguments. Gets the logic of the remainder and validates this with LogicA.

Member Typedef Documentation

◆ ADLogic

template<typename LogicA, typename... LogicOther>
using codi::ExpressionTraits::ValidateADLogicImpl< LogicA, LogicOther... >::ADLogic
Initial value:
typename ValidateADLogicImpl<LogicA, typename ValidateADLogicImpl<LogicOther...>::ADLogic>::ADLogic
codi::ComputeExpression::ADLogic
typename ExpressionTraits::ValidateADLogic< typename T_ArgExprs::ADLogic... >::ADLogic ADLogic
See ExpressionInterface.
Definition computeExpression.hpp:409
codi::ExpressionTraits::ValidateADLogicImpl
Validates if the AD logic of an arbitrary amount of expressions are the same or compatible....
Definition expressionTraits.hpp:84

The resulting AD logic type of an expression.

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