CoDiPack  3.0.0
A Code Differentiation Package
SciComp TU Kaiserslautern
Loading...
Searching...
No Matches
codi::ReferenceActiveType< T_Type > Struct Template Reference

Holds a reference to an ActiveType for manual optimization of common arguments. More...

#include <referenceActiveType.hpp>

Inheritance diagram for codi::ReferenceActiveType< T_Type >:

Public Types

using Gradient = typename Tape::Gradient
 See LhsExpressionInterface.
 
using Identifier = typename Tape::Identifier
 See LhsExpressionInterface.
 
using PassiveReal = RealTraits::PassiveReal<Real>
 Basic computation type.
 
using Real = typename Tape::Real
 See LhsExpressionInterface.
 
using Tape = typename Type::Tape
 See LhsExpressionInterface.
 
using Type = T_Type
 See ReferenceActiveType.
 
- Public Types inherited from codi::LhsExpressionInterface< T_Type::Real, T_Type::Gradient, T_Type::Tape, ReferenceActiveType< T_Type > >
using Base
 Base class abbreviation.
 
using Gradient
 See LhsExpressionInterface.
 
using Identifier
 See GradientAccessTapeInterface.
 
using Impl
 See LhsExpressionInterface.
 
using PassiveReal
 Basic computation type.
 
using Real
 See LhsExpressionInterface.
 
using Tape
 See LhsExpressionInterface.
 
- Public Types inherited from codi::ExpressionInterface< T_Type::Real, ReferenceActiveType< T_Type > >
using ADLogic
 AD logic that governs the expression. Needs to be the same for all inputs of the expression.
 
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< ReferenceActiveType< T_Type > >
using Impl
 See NodeInterface.
 
- Public Types inherited from codi::ExpressionMemberOperations< T_Type::Real, ReferenceActiveType< T_Type > >
using Impl
 See ExpressionMemberOperations.
 
using Real
 See ExpressionMemberOperations.
 
- Public Types inherited from codi::AssignmentOperators< T_Type::Tape::Real, T_Type::Tape::AllowJacobianOptimization, ReferenceActiveType< T_Type > >
using Base
 
using Impl
 See AssignmentOperators.
 
using PassiveReal
 Basic computation type.
 
using Real
 See AssignmentOperators.
 
- Public Types inherited from codi::AssignmentOperatorsPassiveJacobianOptimization< T_Type::Tape::Real, T_JacobianOptimization, ReferenceActiveType< T_Type > >
using Impl
 See AssignmentOperators.
 
using PassiveReal
 Basic computation type.
 
using Real
 See AssignmentOperators.
 
- Public Types inherited from codi::IncrementOperators< T_Type::Tape, ReferenceActiveType< T_Type > >
using Impl
 See IncrementOperators.
 
using PassiveReal
 Basic computation type.
 
using Real
 See InternalStatementRecordingTapeInterface.
 
using Tape
 See IncrementOperators.
 

Public Member Functions

 inlineReferenceActiveType (ReferenceActiveType const &o)
 Copy constructor.
 
 inlineReferenceActiveType (Type &v)
 Constructor.
 
inlineReferenceActiveTypeoperator= (ReferenceActiveType const &v)
 See LhsExpressionInterface::operator=(ExpressionInterface const&).
 
- Public Member Functions inherited from codi::LhsExpressionInterface< T_Type::Real, T_Type::Gradient, T_Type::Tape, ReferenceActiveType< T_Type > >
inlineImpl const & cast () const
 Cast to the implementation.
 
 LhsExpressionInterface ()=default
 Constructor.
 
 LhsExpressionInterface (LhsExpressionInterface const &other)=default
 Constructor.
 
inlineImpl & cast ()
 Cast to the implementation.
 
inlineImpl const & cast () const
 Cast to the implementation.
 
inlineGradient & gradient ()
 Get the gradient of this lvalue from the tape.
 
inlineGradient const & gradient () const
 Get the gradient of this lvalue from the tape.
 
inlineGradient getGradient () const
 Get the gradient of this lvalue from the tape.
 
inlinevoid setGradient (Gradient const &g)
 Set the gradient of this lvalue in the tape.
 
inlineReal const & getValue () const
 Get the primal value of this lvalue.
 
inlinevoid setValue (Real const &v)
 Set the primal value of this lvalue.
 
inlineImpl & operator= (Real const &rhs)
 Assignment operator for passive values. Calls store on the InternalStatementRecordingTapeInterface.
 
inlineImpl & operator= (PassiveReal const &rhs)
 Assignment operator for passive values. Calls store on the InternalStatementRecordingTapeInterface.
 
inlineImpl & operator= (ExpressionInterface< Real, Rhs > const &rhs)
 Assignment operator for expressions. Calls store on the InternalStatementRecordingTapeInterface.
 
inlineImpl & operator= (ExpressionInterface< typename U::Real, Rhs > const &rhs)
 Assignment operator for expressions. Calls store on the InternalStatementRecordingTapeInterface.
 
inlineImpl & operator= (LhsExpressionInterface const &rhs)
 Assignment operator for lhs expressions. Calls store on the InternalStatementRecordingTapeInterface.
 
inlineImpl & operator= (LhsExpressionInterface< Real, Gradient, Tape, Rhs > const &rhs)
 Assignment operator for lhs expressions. Calls store on the InternalStatementRecordingTapeInterface.
 
Real const & value () const
 Get a constant reference to the lvalue represented by the expression.
 
Realvalue ()
 Get a reference to the lvalue represented by the expression.
 
Identifier const & getIdentifier () const
 
IdentifiergetIdentifier ()
 
- Public Member Functions inherited from codi::ExpressionInterface< T_Type::Real, ReferenceActiveType< T_Type > >
inlineImpl const & cast () const
 Cast to the implementation.
 
 ExpressionInterface ()=default
 Constructor.
 
 ExpressionInterface (ExpressionInterface const &)=default
 Constructor.
 
inlineReal const getValue () const
 Compute the primal value that is usually evaluated by the statement/expression.
 
inlineauto applyTangent (Tangent const &tangent) const
 
inlineauto applyAdjoint (Adjoint const &adjoint) const
 
- Public Member Functions inherited from codi::NodeInterface< ReferenceActiveType< T_Type > >
inlineImpl const & cast () const
 Cast to the implementation.
 
char const & getLink () const
 an expression.
 
- Public Member Functions inherited from codi::AssignmentOperators< T_Type::Tape::Real, T_Type::Tape::AllowJacobianOptimization, ReferenceActiveType< T_Type > >
inlineImpl & operator*= (ExpressionInterface< Real, Rhs > const &rhs)
 Operator *= for expressions.
 
inlineImpl & operator*= (PassiveReal const &rhs)
 Operator *= for passive values.
 
inlineImpl & operator+= (ExpressionInterface< Real, Rhs > const &rhs)
 Operator += for expressions.
 
inlineImpl & operator+= (PassiveReal const &rhs)
 Operator += for passive values.
 
inlineImpl & operator+= (PassiveReal const &rhs)
 Operator += for passive values.
 
inlineImpl & operator-= (ExpressionInterface< Real, Rhs > const &rhs)
 Operator -= for expressions.
 
inlineImpl & operator-= (PassiveReal const &rhs)
 Operator -= for passive values.
 
inlineImpl & operator-= (PassiveReal const &rhs)
 Operator -= for passive values.
 
inlineImpl & operator/= (ExpressionInterface< Real, Rhs > const &rhs)
 Operator /= for expressions.
 
inlineImpl & operator/= (PassiveReal const &rhs)
 Operator /= for passive values.
 
- Public Member Functions inherited from codi::AssignmentOperatorsPassiveJacobianOptimization< T_Type::Tape::Real, T_JacobianOptimization, ReferenceActiveType< T_Type > >
inlineImpl & operator+= (PassiveReal const &rhs)
 Operator += for passive values.
 
inlineImpl & operator-= (PassiveReal const &rhs)
 Operator -= for passive values.
 
- Public Member Functions inherited from codi::IncrementOperators< T_Type::Tape, ReferenceActiveType< T_Type > >
inlineImpl & cast ()
 Cast to the implementation.
 
inlineImpl & operator++ ()
 Prefix operator++.
 
inlineImpl operator++ (int u)
 Postfix operator++.
 
inlineImpl & operator-- ()
 Prefix operator--.
 
inlineImpl operator-- (int u)
 Postfix operator--.
 

Public Attributes

Real jacobian
 Used by Jacobian tapes to optimize for reoccurring arguments.
 

Protected Attributes

Typereference
 Reference to the underlying active type.
 

Implementation of LhsExpressionInterface

using StoreAs = ReferenceActiveType const&
 Defines how this expression is stored in an expression tree.
 
using ADLogic = Tape
 AD logic that governs the expression. Needs to be the same for all inputs of the expression.
 
inlineIdentifier & getIdentifier ()
 
inlineIdentifier const & getIdentifier () const
 
inlineReal & value ()
 Get a reference to the lvalue represented by the expression.
 
inlineReal const & value () const
 Get a constant reference to the lvalue represented by the expression.
 
static inlinedecltype (Type::getTape()) getTape()
 Get a reference to the tape which manages this expression.
 

Additional Inherited Members

static TapegetTape ()
 Get a reference to the tape which manages this expression.
 
static size_t constexpr LinkCount
 handle the expression as a leaf node.
 
static size_t constexpr LinkCount
 handle the expression as a leaf node.
 
- Static Public Attributes inherited from codi::AssignmentOperators< T_Type::Tape::Real, T_Type::Tape::AllowJacobianOptimization, ReferenceActiveType< T_Type > >
static bool constexpr JacobianOptimization
 See AssignmentOperators.
 
- Static Public Attributes inherited from codi::AssignmentOperatorsPassiveJacobianOptimization< T_Type::Tape::Real, T_JacobianOptimization, ReferenceActiveType< T_Type > >
static bool constexpr JacobianOptimization
 See AssignmentOperators.
 
inlinevoid init (Real const &newValue, EventHints::Statement statementType)
 
inlinevoid destroy ()
 
- Protected Member Functions inherited from codi::ExpressionMemberOperations< T_Type::Real, ReferenceActiveType< T_Type > >
inlineImpl const & cast () const
 Cast to implementation.
 

Detailed Description

template<typename T_Type>
struct codi::ReferenceActiveType< T_Type >

Holds a reference to an ActiveType for manual optimization of common arguments.

See the Example 14 - RefrenceActiveType for an example use.

Template Parameters
T_TypeThe type of the reference which is captured.

Member Typedef Documentation

◆ ADLogic

template<typename T_Type>
using codi::ReferenceActiveType< T_Type >::ADLogic = Tape

AD logic that governs the expression. Needs to be the same for all inputs of the expression.

◆ StoreAs

template<typename T_Type>
using codi::ReferenceActiveType< T_Type >::StoreAs = ReferenceActiveType const&

Defines how this expression is stored in an expression tree.

Member Function Documentation

◆ getIdentifier() [1/2]

template<typename T_Type>
inlineIdentifier & codi::ReferenceActiveType< T_Type >::getIdentifier ( )
inline

Get a reference to the identifier of the tape for this expression. See also Direct data access (Identifier management)

◆ getIdentifier() [2/2]

template<typename T_Type>
inlineIdentifier const & codi::ReferenceActiveType< T_Type >::getIdentifier ( ) const
inline

Get a constant reference to the identifier of the tape for this expression. See also Direct data access (Identifier management)

◆ inlinedecltype()

template<typename T_Type>
static codi::ReferenceActiveType< T_Type >::inlinedecltype ( Type::getTape() )
inlinestatic

Get a reference to the tape which manages this expression.

◆ value() [1/2]

template<typename T_Type>
inlineReal & codi::ReferenceActiveType< T_Type >::value ( )
inline

Get a reference to the lvalue represented by the expression.

◆ value() [2/2]

template<typename T_Type>
inlineReal const & codi::ReferenceActiveType< T_Type >::value ( ) const
inline

Get a constant reference to the lvalue represented by the expression.


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