codi::UnaryExpression< T_Real, T_Arg, T_Operation > Struct Template Reference

Represents an operator with one argument in the expression tree. More...

#include <unaryExpression.hpp>

Inheritance diagram for codi::UnaryExpression< T_Real, T_Arg, T_Operation >:

Public Types
using	ActiveResult = typename Arg::ActiveResult
	See ExpressionInterface.
using	Arg = T_Arg
	See UnaryExpression.
using	Operation = T_Operation<Real>
	See UnaryExpression.
using	Real = T_Real
	See UnaryExpression.
Public Types inherited from codi::ExpressionInterface< T_Real, UnaryExpression< T_Real, T_Arg, T_Operation > >
using	ActiveResult
	Type into which the expression can be converted. Usually also the type from which it is constructed.
using	Impl
	See ExpressionInterface.
using	Real
	See ExpressionInterface.
using	StoreAs
	Defines how this expression is stored in an expression tree.
Public Types inherited from codi::NodeInterface< T_Impl >
using	Impl = T_Impl
	See NodeInterface.

Public Member Functions
template<typename RealArg >
	UnaryExpression (ExpressionInterface< RealArg, Arg > const &arg)
	Constructor.
Public Member Functions inherited from codi::ExpressionInterface< T_Real, UnaryExpression< T_Real, T_Arg, T_Operation > >
Impl const &	cast () const
	Cast to the implementation.
	ExpressionInterface ()=default
	Constructor.
	ExpressionInterface (ExpressionInterface const &)=default
	Constructor.
Real const	getValue () const
	Compute the primal value that is usually evaluated by the statement/expression.
Real	getJacobian () const
Public Member Functions inherited from codi::NodeInterface< T_Impl >
Impl const &	cast () const
	Cast to the implementation.
template<typename Logic , typename... Args>
void	forEachLink (TraversalLogic< Logic > &logic, Args &&... args) const

Public Attributes
Arg::StoreAs	arg
	Argument of the expression.
Real	result
	Precomputed result.

Implementation of ExpressionInterface
using	StoreAs = UnaryExpression
	Defines how this expression is stored in an expression tree.
Real const &	getValue () const
	Compute the primal value that is usually evaluated by the statement/expression.
template<size_t argNumber>
Real	getJacobian () const

Implementation of NodeInterface
static bool constexpr	EndPoint = false
	If this expression is handled as a leaf in the tree.
template<typename Logic , typename... Args>
void	forEachLink (TraversalLogic< Logic > &logic, Args &&... args) const
template<typename CompileTimeLogic , typename... Args>
static CompileTimeLogic::ResultType constexpr	forEachLinkConstExpr (Args &&... args)

Additional Inherited Members
Static Public Member Functions inherited from codi::NodeInterface< T_Impl >
template<typename Logic , typename... Args>
static Logic::ResultType constexpr	forEachLinkConstExpr (Args &&... args)
Static Public Attributes inherited from codi::NodeInterface< T_Impl >
static bool constexpr	EndPoint = false
	If this expression is handled as a leaf in the tree.

Detailed Description

template<typename T_Real, typename T_Arg, template< typename > class T_Operation>
struct codi::UnaryExpression< T_Real, T_Arg, T_Operation >

Represents an operator with one argument in the expression tree.

See Expression design documentation for details about the expression system in CoDiPack.

Template Parameters

T_Real	Original primal value of the statement/expression.
T_Arg	The ExpressionInterface type of the argument.
T_Operation	The logic for computing the primal value and Jacobian. Must implement UnaryOperation.

Member Typedef Documentation

StoreAs

template<typename T_Real , typename T_Arg , template< typename > class T_Operation>

using codi::UnaryExpression< T_Real, T_Arg, T_Operation >::StoreAs = UnaryExpression

Defines how this expression is stored in an expression tree.

Member Function Documentation

forEachLink()

template<typename T_Real , typename T_Arg , template< typename > class T_Operation>

template<typename Logic , typename... Args>

void codi::UnaryExpression< T_Real, T_Arg, T_Operation >::forEachLink ( TraversalLogic< Logic > & logic, Args &&... args ) const

inline

Call the link method of the given logic for all arguments (links) of this node (not to be confused with args). Pass args to each call.

forEachLinkConstExpr()

template<typename T_Real , typename T_Arg , template< typename > class T_Operation>

template<typename CompileTimeLogic , typename... Args>

static CompileTimeLogic::ResultType constexpr codi::UnaryExpression< T_Real, T_Arg, T_Operation >::forEachLinkConstExpr ( Args &&... args )

inlinestaticconstexpr

Call the link method of the given logic for all arguments (links) of this node (not to be confused with args). Pass args to each call.

getJacobian()

template<typename T_Real , typename T_Arg , template< typename > class T_Operation>

template<size_t argNumber>

Real codi::UnaryExpression< T_Real, T_Arg, T_Operation >::getJacobian ( ) const

inline

Get the Jacobian with respect to the given argument.

This is just the local Jacobian and not the one for the whole expression tree.

getValue()

template<typename T_Real , typename T_Arg , template< typename > class T_Operation>

Real const & codi::UnaryExpression< T_Real, T_Arg, T_Operation >::getValue ( ) const

inline

Compute the primal value that is usually evaluated by the statement/expression.

Member Data Documentation

EndPoint

template<typename T_Real , typename T_Arg , template< typename > class T_Operation>

bool constexpr codi::UnaryExpression< T_Real, T_Arg, T_Operation >::EndPoint = false

staticconstexpr

If this expression is handled as a leaf in the tree.

---

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

• include/codi/expressions/unaryExpression.hpp