Represents the base implementation concrete lvalue in the CoDiPack expression tree. More...

#include <activeTypeBase.hpp>

Inheritance diagram for codi::ActiveTypeBase< T_Tape, T_Impl >:

[legend]

Public Types
using	Base = LhsExpressionInterface<Real, Gradient, T_Tape, T_Impl>
	Base class abbreviation.

using	Gradient = typename Tape::Gradient
	See LhsExpressionInterface.

using	Identifier = typename Tape::Identifier
	See LhsExpressionInterface.

using	Impl = T_Impl
	Abbreviation for the implementing class.

using	PassiveReal = RealTraits::PassiveReal<Real>
	Basic computation type.

using	Real = typename Tape::Real
	See LhsExpressionInterface.

using	Tape = T_Tape

using	TapeData = typename Tape::ActiveTypeTapeData
	See IdentifierInformationTapeInterface.

Implementation of ExpressionInterface
using	StoreAs = Impl 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.

Public Types inherited from codi::LhsExpressionInterface< T_Tape::Real, T_Tape::Gradient, T_Tape, T_Impl >
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.

using	TapeData
	See IdentifierInformationTapeInterface.

Public Types inherited from codi::ExpressionInterface< T_Tape::Real, T_Impl >
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< T_Impl >
using	Impl = T_Impl
	See NodeInterface.

Public Types inherited from codi::ExpressionMemberOperations< T_Tape::Real, T_Impl >
using	Impl
	See ExpressionMemberOperations.

using	Real
	See ExpressionMemberOperations.

Public Types inherited from codi::AssignmentOperators< T_Tape::Real, T_Tape::AllowJacobianOptimization, T_Impl >
using	Base

using	Impl
	See AssignmentOperators.

using	PassiveReal
	Basic computation type.

using	Real
	See AssignmentOperators.

Public Types inherited from codi::AssignmentOperatorsPassiveJacobianOptimization< T_Tape::Real, T_JacobianOptimization, T_Impl >
using	Impl
	See AssignmentOperators.

using	PassiveReal
	Basic computation type.

using	Real
	See AssignmentOperators.

Public Types inherited from codi::IncrementOperators< T_Tape, T_Impl >
using	Impl
	See IncrementOperators.

using	PassiveReal = RealTraits::PassiveReal<Real>
	Basic computation type.

using	Real = typename Tape::Real
	See InternalStatementRecordingTapeInterface.

using	Tape = T_Tape
	See IncrementOperators.

Public Member Functions
inlineImpl &	cast ()
	Cast to the implementation.

	inlineActiveTypeBase ()
	Constructor.

	inlineActiveTypeBase (ActiveTypeBase const &v)
	Constructor.

template<typename Rhs>
	inlineActiveTypeBase (ExpressionInterface< Real, Rhs > const &rhs)
	Constructor.

template<typename Rhs, typename U = Real, typename = RealTraits::EnableIfNotPassiveReal<U>>
	inlineActiveTypeBase (ExpressionInterface< typename U::Real, Rhs > const &rhs)
	Constructor.

template<typename U = Real, typename = RealTraits::EnableIfNotPassiveReal<U>>
	inlineActiveTypeBase (PassiveReal const &value)
	Constructor.

	inlineActiveTypeBase (Real const &value)
	Constructor.

inlineImpl &	operator= (ActiveTypeBase const &v)
	See LhsExpressionInterface::operator=(LhsExpressionInterface const&).

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.

inlineImpl &	operator= (PassiveReal const &rhs)
	Assignment operator for passive values. Calls store on the InternalStatementRecordingTapeInterface.

inlineImpl &	operator= (Real const &rhs)
	Assignment operator for passive values. Calls store on the InternalStatementRecordingTapeInterface.

inline	~ActiveTypeBase ()
	Destructor.

Implementation of LhsExpressionInterface
inlineIdentifier &	getIdentifier ()

inlineIdentifier const &	getIdentifier () const

inlineTapeData &	getTapeData ()
	Get the data of the tape stored in this lhs expression.

inlineTapeData const &	getTapeData () const
	Get the data of the tape stored in this lhs expression.

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.

Public Member Functions inherited from codi::LhsExpressionInterface< T_Tape::Real, T_Tape::Gradient, T_Tape, T_Impl >
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.

Real &	value ()
	Get a reference to the lvalue represented by the expression.

Identifier const &	getIdentifier () const

Identifier &	getIdentifier ()

TapeData const &	getTapeData () const
	Get the data of the tape stored in this lhs expression.

TapeData &	getTapeData ()
	Get the data of the tape stored in this lhs expression.

Public Member Functions inherited from codi::ExpressionInterface< T_Tape::Real, T_Impl >
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< T_Impl >
inlineImpl const &	cast () const
	Cast to the implementation.

template<size_t argNumber>
char const &	getLink () const
	an expression.

Public Member Functions inherited from codi::AssignmentOperators< T_Tape::Real, T_Tape::AllowJacobianOptimization, T_Impl >
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_Tape::Real, T_JacobianOptimization, T_Impl >
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_Tape, T_Impl >
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--.

Additional Inherited Members
static Tape &	getTape ()
	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 = false
	handle the expression as a leaf node.

Static Public Attributes inherited from codi::AssignmentOperators< T_Tape::Real, T_Tape::AllowJacobianOptimization, T_Impl >
static bool constexpr	JacobianOptimization
	See AssignmentOperators.

Static Public Attributes inherited from codi::AssignmentOperatorsPassiveJacobianOptimization< T_Tape::Real, T_JacobianOptimization, T_Impl >
static bool constexpr	JacobianOptimization
	See AssignmentOperators.

inlinevoid	init (Real const &newValue, EventHints::Statement statementType)

inlinevoid	destroy ()

Protected Member Functions inherited from codi::ExpressionMemberOperations< T_Tape::Real, T_Impl >
inlineImpl const &	cast () const
	Cast to implementation.

Detailed Description

template<typename T_Tape, typename T_Impl>
struct codi::ActiveTypeBase< T_Tape, T_Impl >

Represents the base implementation concrete lvalue in the CoDiPack expression tree.

The class uses members for storing the value and the identifier.

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

The storage of the underlying tape and the access to it is left to the implementing class.

Template Parameters

T_Tape	The tape that manages all expressions created with this type.
T_Impl	Implementing class.