codi::PrimalValueBaseTape< T_TapeTypes, T_Impl > Struct Template Reference

Base class for all standard Primal value tape implementations. More...

#include <primalValueBaseTape.hpp>

Inheritance diagram for codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >:

Classes
struct	CountActiveArguments
	Count all arguments that have non-zero index. More...
struct	IncrementForwardLogic
	Perform the adjoint update based on the configuration in codi::Config::VariableAdjointInterfaceInPrimalTapes. More...
struct	IncrementReversalLogic
	Perform the adjoint update based on the configuration in codi::Config::VariableAdjointInterfaceInPrimalTapes. More...
struct	JacobianExtractionLogic
	Computes Jacobian entries for the event system. More...
struct	PushIdentifierPassiveAndConstant
	Push all data for each argument. More...
struct	StatementCallGenerator
	This structure is accessed by the StatementEvaluatorInterface. More...
struct	StatementCallGenerator< StatementCall::ClearAdjoints, Stmt >
	ClearAdjoints implementation. More...
struct	StatementCallGenerator< StatementCall::Forward, Stmt >
	Forward implementation. More...
struct	StatementCallGenerator< StatementCall::Primal, Stmt >
	Primal implementation. More...
struct	StatementCallGenerator< StatementCall::ResetPrimals, Stmt >
	ResetPrimal implementation. More...
struct	StatementCallGenerator< StatementCall::Reverse, Stmt >
	Reverse implementation. More...
struct	StatementCallGenerator< StatementCall::WriteInformation, Stmt >
	WriteInformation implementation. More...
struct	StatementCallGeneratorBase
	Base class for statement call generators. Prepares the static construction context. More...
struct	StatementDataPointers
	Definition of the data for a statement. The pointers a populated from a byte data stream. More...
struct	Wrap_internalEvaluateForward_EvalStatements
	Additional wrapper that triggers compiler optimizations. More...
struct	Wrap_internalEvaluatePrimal_EvalStatements
	Wrapper helper for improved compiler optimizations. More...
struct	Wrap_internalEvaluateReverse_EvalStatements
	Additional wrapper that triggers compiler optimizations. More...

Public Types
using	Base = CommonTapeImplementation<T_TapeTypes, T_Impl>
	Base class abbreviation.
using	EvalHandle = typename TapeTypes::EvalHandle
	See PrimalValueTapeTypes.
using	Gradient = typename TapeTypes::Gradient
	See TapeTypesInterface.
using	Identifier = typename TapeTypes::Identifier
	See PrimalValueTapeTypes.
using	Impl = T_Impl
	See PrimalValueBaseTape.
using	IndexManager = typename TapeTypes::IndexManager
	See TapeTypesInterface.
using	NestedPosition = typename StatementData::Position
	See PrimalValueTapeTypes.
using	PassiveReal = RealTraits::PassiveReal<Real>
	Basic computation type.
using	Position = typename Base::Position
	See TapeTypesInterface.
using	Real = typename TapeTypes::Real
	See TapeTypesInterface.
template<typename T>
using	StackArray = std::array<T, Config::MaxArgumentSize>
	Used for generating arrays for lhs handling.
using	StatementByteData = typename TapeTypes::StatementByteData
	See PrimalValueTapeTypes.
using	StatementData = typename TapeTypes::StatementData
	See PrimalValueTapeTypes.
using	StatementEvaluator = typename TapeTypes::StatementEvaluator
	See PrimalValueTapeTypes.
using	TapeTypes
	See PrimalValueBaseTape.
template<typename AdjointVector>
using	VectorAccess = PrimalAdjointVectorAccess<Real, Identifier, AdjointVector>
	Vector access type generated by this tape.
Public Types inherited from codi::CommonTapeImplementation< T_TapeTypes, T_Impl >
using	Gradient
	See TapeTypesInterface.
using	Identifier
	See TapeTypesInterface.
using	Impl
	See CommonTapeImplementation.
using	ImplTapeTypes
	See CommonTapeImplementation.
using	LowLevelFunctionByteData
	See CommonTapeTypes.
using	LowLevelFunctionInfoData
	See CommonTapeTypes.
using	NestedData
	Shorthand.
using	NestedPosition
	Shorthand.
using	Position
	See TapeTypesInterface.
using	Real
	See TapeTypesInterface.
Public Types inherited from codi::FullTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier, CommonTapeTypes< T_TapeTypes >::Position >
using	Gradient
	See FullTapeInterface.
using	Identifier
	See FullTapeInterface.
using	Position
	See FullTapeInterface.
using	Real
	See FullTapeInterface.
Public Types inherited from codi::CustomAdjointVectorEvaluationTapeInterface< CommonTapeTypes< T_TapeTypes >::Position >
using	Position
	See CustomAdjointVectorEvaluationTapeInterface.
Public Types inherited from codi::ForwardEvaluationTapeInterface< CommonTapeTypes< T_TapeTypes >::Position >
using	Position
	See ForwardEvaluationTapeInterface.
Public Types inherited from codi::PositionalEvaluationTapeInterface< CommonTapeTypes< T_TapeTypes >::Position >
using	Position
	See PositionalEvaluationTapeInterface.
Public Types inherited from codi::DataManagementTapeInterface< T_TapeTypes::Real, T_TapeTypes::Identifier >
using	Identifier
	See DataManagementTapeInterface.
using	Real
	See DataManagementTapeInterface.
Public Types inherited from codi::ExternalFunctionTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier >
using	Gradient
	See ExternalFunctionTapeInterface.
using	Identifier
	See ExternalFunctionTapeInterface.
using	Real
	See ExternalFunctionTapeInterface.
Public Types inherited from codi::GradientAccessTapeInterface< T_TapeTypes::Gradient, T_TapeTypes::Identifier >
using	Gradient
	See GradientAccessTapeInterface.
using	Identifier
	See GradientAccessTapeInterface.
Public Types inherited from codi::IdentifierInformationTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier >
using	Gradient
	See IdentifierInformationTapeInterface.
using	Identifier
	See IdentifierInformationTapeInterface.
using	Real
	See IdentifierInformationTapeInterface.
Public Types inherited from codi::InternalStatementRecordingTapeInterface< T_TapeTypes::Identifier >
using	Identifier
	See InternalStatementRecordingTapeInterface.
Public Types inherited from codi::LowLevelFunctionTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier >
using	Gradient
	See LowLevelFunctionTapeInterface.
using	Identifier
	See LowLevelFunctionTapeInterface.
using	Real
	See LowLevelFunctionTapeInterface.
Public Types inherited from codi::ManualStatementPushTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier >
using	Gradient
	See ManualStatementPushTapeInterface.
using	Identifier
	See ManualStatementPushTapeInterface.
using	Real
	See ManualStatementPushTapeInterface.
Public Types inherited from codi::PreaccumulationEvaluationTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier, CommonTapeTypes< T_TapeTypes >::Position >
using	Gradient
	See PreaccumulationEvaluationTapeInterface.
using	Identifier
	See PreaccumulationEvaluationTapeInterface.
using	Position
	See PreaccumulationEvaluationTapeInterface.
using	Real
	See PreaccumulationEvaluationTapeInterface.
Public Types inherited from codi::PrimalEvaluationTapeInterface< T_TapeTypes::Real, T_TapeTypes::Identifier, CommonTapeTypes< T_TapeTypes >::Position >
using	Identifier
	See PrimalEvaluationTapeInterface.
using	Position
	See PrimalEvaluationTapeInterface.
using	Real
	See PrimalEvaluationTapeInterface.
Public Types inherited from codi::ReadWriteTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier, CommonTapeTypes< T_TapeTypes >::Position >
using	EvalHandle
	See PrimalValueTapeTypes.
using	Gradient
	See ReadWriteTapeInterface.
using	Identifier
	See ReadWriteTapeInterface.
using	Position
	See ReadWriteTapeInterface.
using	Real
	See ReadWriteTapeInterface.
using	Type
	Provided by the template arguments in the writeTape methods.
using	WriterInterface
	Writer interface.
using	WriterInterfaceUniquePtr
	Unique pointer to writer.
Public Types inherited from codi::ReverseTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier >
using	Gradient
	See ReverseTapeInterface.
using	Identifier
	See ReverseTapeInterface.
using	PassiveReal
	Basic computation type.
using	Real
	See ReverseTapeInterface.

Public Member Functions
	PrimalValueBaseTape ()
	Constructor.
Functions from GradientAccessTapeInterface
inlineGradient &	gradient (Identifier const &identifier, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Reference access to gradient.
inlineGradient const &	gradient (Identifier const &identifier, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic) const
	Constant reference access to gradient.
Functions from InternalStatementRecordingTapeInterface
template<typename Real>
inlinevoid	initIdentifier (Real &value, Identifier &identifier)
template<typename Real>
inlinevoid	destroyIdentifier (Real &value, Identifier &identifier)
	Has to be called for each identifier, before it is deallocated.
template<typename Aggregated, typename Type, typename Lhs, typename Rhs>
inlinevoid	store (AggregatedActiveType< Aggregated, Type, Lhs > &lhs, ExpressionInterface< Aggregated, Rhs > const &rhs)
template<typename Aggregated, typename Type, typename Lhs, typename Rhs>
inlinevoid	store (AggregatedActiveType< Aggregated, Type, Lhs > &lhs, AggregatedActiveType< Aggregated, Type, Rhs > const &rhs)
	Has to be called by an AD variable every time it is assigned.
template<typename Lhs, typename Rhs>
inlinevoid	store (LhsExpressionInterface< Real, Gradient, Impl, Lhs > &lhs, ExpressionInterface< Real, Rhs > const &rhs)
	Has to be called by an AD variable every time it is assigned.
template<typename Lhs, typename Rhs>
inlinevoid	store (LhsExpressionInterface< Real, Gradient, Impl, Lhs > &lhs, LhsExpressionInterface< Real, Gradient, Impl, Rhs > const &rhs)
	Has to be called by an AD variable every time it is assigned.
template<typename Lhs>
inlinevoid	store (LhsExpressionInterface< Real, Gradient, Impl, Lhs > &lhs, Real const &rhs)
	Has to be called by an AD variable every time it is assigned.
Functions from ReverseTapeInterface
template<typename Lhs>
inlinevoid	registerInput (LhsExpressionInterface< Real, Gradient, Impl, Lhs > &value)
inlinevoid	clearAdjoints (AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Clear all adjoint values, that is, set them to zero.
inlinevoid	reset (bool resetAdjoints=true, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Reset the tape to the initial state for a fresh recording.
Functions from CustomAdjointVectorEvaluationTapeInterface
template<typename AdjointVector>
inlinevoid	evaluate (Position const &start, Position const &end, AdjointVector &&data)
	Perform a reverse evaluation for a part of the tape. It hast to hold start >= end.
template<typename AdjointVector>
inlinevoid	evaluateForward (Position const &start, Position const &end, AdjointVector &&data)
	Perform a forward evaluation of a part of the tape. It has to hold start <= end.
inlineGradient *	getInternalAdjoints ()
	Obtain a representation of the tape's internal adjoint vector that can be used as custom adjoints.
void	evaluate (AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a full reverse evaluation of the tape.
Functions from DataManagementTapeInterface
inlinevoid	swap (Impl &other)
	Swap all data with an other tape.
void	deleteAdjointVector ()
	Delete the adjoint vector. See Adjoint vector management.
void	resizeAdjointVector ()
	Explicitly trigger resizing of the adjoint vector. See Adjoint vector management.
void	beginUseAdjointVector ()
	Declare that the adjoint vector is being used. See Adjoint vector management.
void	endUseAdjointVector ()
	Declare that the adjoint vector is no longer used. See Adjoint vector management.
size_t	getParameter (TapeParameters parameter) const
	See Parameters functions.
void	setParameter (TapeParameters parameter, size_t value)
	See Parameters functions.
VectorAccess< Gradient * > *	createVectorAccess ()
	See Adjoint vector access.
template<typename AdjointVector>
VectorAccess< AdjointVector > *	createVectorAccessCustomAdjoints (AdjointVector &&data)
template<typename Adjoint>
VectorAccess< Adjoint * > *	createVectorAccessCustomAdjoints (Adjoint *data)
void	deleteVectorAccess (VectorAccessInterface< Real, Identifier > *access)
	See Adjoint vector access.
Functions from ExternalFunctionTapeInterface
template<typename Lhs>
Real	registerExternalFunctionOutput (LhsExpressionInterface< Real, Gradient, Impl, Lhs > &value)
Functions from ForwardEvaluationTapeInterface
void	evaluateForward (Position const &start, Position const &end, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a forward evaluation of a part of the tape. It has to hold start <= end.
void	evaluateForward (AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a forward evaluation of a part of the tape. It has to hold start <= end.
Functions from ManualStatementPushTapeInterface
void	pushJacobianManual (Real const &jacobian, Real const &value, Identifier const &index)
void	storeManual (Real const &lhsValue, Identifier &lhsIndex, Config::ArgumentSize const &size)
Functions from ReadWriteTapeInterface
void	createStatementManual (Config::ArgumentSize const &nOutputValues, Identifier const *const lhsIndices, Real const *const lhsValues, Config::ArgumentSize const &nActiveValues, Identifier const *const rhsIdentifiers, Config::ArgumentSize const &nPassiveValues, Real const *const rhsPrimals, Config::ArgumentSize const &nConstants, Real const *const rhsConstant, EvalHandle const &evalHandle)
template<typename Type>
void	writeTape (codi::TapeWriterInterface< Type > *writer, Position const &start, Position const &end)
	For full or partial tapes using a pointer to the writer.
void	writeTape (std::unique_ptr< TapeWriterInterface< Type > > writer)
	For full-tape writers using a smart pointer.
void	writeTape (std::unique_ptr< TapeWriterInterface< Type > > writer, Position const &start, Position const &end)
	For partial-tape writers using a smart pointer.
void	writeTape (codi::TapeWriterInterface< Type > &writeToFileRef)
	For full-tape writers using a manually generated writers.
void	writeTape (codi::TapeWriterInterface< Type > &writeToFileRef, Position const &start, Position const &end)
	For partial-tape writers using a manually generated writers.
Functions from IdentifierInformationTapeInterface
IndexManager &	getIndexManager ()
	Returns a reference to the Index Manager.
Functions from LowLevelFunctionTapeInterface
inlinevoid	pushLowLevelFunction (Config::LowLevelFunctionToken token, size_t size, ByteDataView &data)
	Push a low level function to the tape.
Functions from PositionalEvaluationTapeInterface
inlinevoid	evaluate (Position const &start, Position const &end, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a reverse evaluation for a part of the tape. It hast to hold start >= end.
inlinevoid	resetTo (Position const &pos, bool resetAdjoints=true, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Reset the tape to the provided position.
Functions from PreaccumulationEvaluationTapeInterface
void	evaluateKeepState (Position const &start, Position const &end, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a tape evaluation but restore the state afterwards such that it is the same as when the evaluation started. It hast to hold start >= end.
template<typename AdjointVector>
void	evaluateKeepState (Position const &start, Position const &end, AdjointVector &&data)
	Perform a tape evaluation but restore the state afterwards such that it is the same as when the evaluation started. It hast to hold start >= end.
void	evaluateForwardKeepState (Position const &start, Position const &end, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a tape evaluation but restore the state afterwards such that it is the same as when the evaluation started. It hast to hold start <= end.
template<typename AdjointVector>
void	evaluateForwardKeepState (Position const &start, Position const &end, AdjointVector &&data)
	Perform a tape evaluation but restore the state afterwards such that it is the same as when the evaluation started. It hast to hold start <= end.
Functions from PrimalEvaluationTapeInterface
void	evaluatePrimal (Position const &start, Position const &end)
	Perform a full (forward) reevaluation of the primals in the tape.
Real &	primal (Identifier const &identifier)
	Writable reference to primal value.
Real const &	primal (Identifier const &identifier) const
	Read only reference to primal value.
void	evaluatePrimal ()
	Perform a full (forward) reevaluation of the primals in the tape.
Public Member Functions inherited from codi::CommonTapeImplementation< T_TapeTypes, T_Impl >
	CommonTapeImplementation ()
	Constructor.
	CommonTapeImplementation ()
	Constructor.
	CommonTapeImplementation (CommonTapeImplementation &&)=delete
	Do not allow move construction. Relevant use cases should be covered by swap.
	CommonTapeImplementation (CommonTapeImplementation &&)=delete
	Do not allow move construction. Relevant use cases should be covered by swap.
	CommonTapeImplementation (CommonTapeImplementation const &)=delete
	Do not allow copy construction.
	CommonTapeImplementation (CommonTapeImplementation const &)=delete
	Do not allow copy construction.
CommonTapeImplementation &	operator= (CommonTapeImplementation &&)=delete
	Do not allow move assignment. Relevant use cases should be covered by swap.
CommonTapeImplementation &	operator= (CommonTapeImplementation &&)=delete
	Do not allow move assignment. Relevant use cases should be covered by swap.
CommonTapeImplementation &	operator= (CommonTapeImplementation const &)=delete
	Do not allow copy assignment.
CommonTapeImplementation &	operator= (CommonTapeImplementation const &)=delete
	Do not allow copy assignment.
void	setGradient (Identifier const &identifier, Gradient const &gradient, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Set the gradient.
Gradient const &	getGradient (Identifier const &identifier, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic) const
	Set the gradient.
void	setGradient (Identifier const &identifier, Gradient const &gradient, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Set the gradient.
Gradient const &	getGradient (Identifier const &identifier, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic) const
	Set the gradient.
void	evaluate (AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a full reverse evaluation of the tape.
void	registerOutput (LhsExpressionInterface< Real, Gradient, Impl, Lhs > &value)
void	setActive ()
	Start/continue recording of statements.
void	setPassive ()
	Stop/interrupt recording of statements.
bool	isActive () const
	Check if the tape is recording.
void	printStatistics (Stream &out=std::cout) const
	Default formatting of TapeValues.
void	printTableHeader (Stream &out=std::cout) const
	Table header output of TapeValues.
void	printTableRow (Stream &out=std::cout) const
	Table row output of TapeValues.
TapeValues	getTapeValues () const
	Get current tape values.
inlinevoid	reset (bool resetAdjoints=true, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Reset the tape to the initial state for a fresh recording.
void	evaluate (AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a full reverse evaluation of the tape.
void	registerOutput (LhsExpressionInterface< Real, Gradient, Impl, Lhs > &value)
void	setActive ()
	Start/continue recording of statements.
void	setPassive ()
	Stop/interrupt recording of statements.
bool	isActive () const
	Check if the tape is recording.
void	printStatistics (Stream &out=std::cout) const
	Default formatting of TapeValues.
void	printTableHeader (Stream &out=std::cout) const
	Table header output of TapeValues.
void	printTableRow (Stream &out=std::cout) const
	Table row output of TapeValues.
TapeValues	getTapeValues () const
	Get current tape values.
inlinevoid	reset (bool resetAdjoints=true, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Reset the tape to the initial state for a fresh recording.
void	swap (Impl &other)
	Swap all data with an other tape.
void	resetHard ()
	Delete everything and return to the state after construction, as far as possible.
void	swap (Impl &other)
	Swap all data with an other tape.
void	resetHard ()
	Delete everything and return to the state after construction, as far as possible.
void	writeToFile (const std::string &filename)
	See File IO functions.
void	readFromFile (const std::string &filename)
	See File IO functions.
void	deleteData ()
	See File IO functions.
std::set< TapeParameters > const &	getAvailableParameters () const
	See Parameters functions.
size_t	getParameter (TapeParameters parameter) const
	See Parameters functions.
bool	hasParameter (TapeParameters parameter) const
	See Parameters functions.
void	setParameter (TapeParameters parameter, size_t value)
	See Parameters functions.
void	writeToFile (const std::string &filename)
	See File IO functions.
void	readFromFile (const std::string &filename)
	See File IO functions.
void	deleteData ()
	See File IO functions.
std::set< TapeParameters > const &	getAvailableParameters () const
	See Parameters functions.
size_t	getParameter (TapeParameters parameter) const
	See Parameters functions.
bool	hasParameter (TapeParameters parameter) const
	See Parameters functions.
void	setParameter (TapeParameters parameter, size_t value)
	See Parameters functions.
void	pushExternalFunction (ExternalFunction< Impl > const &extFunc)
void	pushExternalFunction (ExternalFunction< Impl > const &extFunc)
void	evaluateForward (AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a forward evaluation of a part of the tape. It has to hold start <= end.
void	evaluateForward (AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a forward evaluation of a part of the tape. It has to hold start <= end.
void	writeTape (std::unique_ptr< TapeWriterInterface< Type > > writer)
	For full-tape writers using a smart pointer.
void	writeTape (std::unique_ptr< TapeWriterInterface< Type > > writer, Position const &start, Position const &end)
	For partial-tape writers using a smart pointer.
void	writeTape (codi::TapeWriterInterface< Type > &writeToFileRef)
	For full-tape writers using a manually generated writers.
void	writeTape (codi::TapeWriterInterface< Type > &writeToFileRef, Position const &start, Position const &end)
	For partial-tape writers using a manually generated writers.
void	writeTape (std::unique_ptr< TapeWriterInterface< Type > > writer)
	For full-tape writers using a smart pointer.
void	writeTape (std::unique_ptr< TapeWriterInterface< Type > > writer, Position const &start, Position const &end)
	For partial-tape writers using a smart pointer.
void	writeTape (codi::TapeWriterInterface< Type > &writeToFileRef)
	For full-tape writers using a manually generated writers.
void	writeTape (codi::TapeWriterInterface< Type > &writeToFileRef, Position const &start, Position const &end)
	For partial-tape writers using a manually generated writers.
Identifier	getPassiveIndex () const
	Identifier for passive values. Usually 0.
Identifier	getInvalidIndex () const
	Invalid identifier.
bool	isIdentifierActive (Identifier const &index) const
void	deactivateValue (LhsExpressionInterface< Real, Gradient, Impl, Lhs > &value)
Identifier	getPassiveIndex () const
	Identifier for passive values. Usually 0.
Identifier	getInvalidIndex () const
	Invalid identifier.
bool	isIdentifierActive (Identifier const &index) const
void	deactivateValue (LhsExpressionInterface< Real, Gradient, Impl, Lhs > &value)
Position	getPosition () const
	Current position of the tape.
Position	getZeroPosition () const
	Initial position of the tape.
Position	getPosition () const
	Current position of the tape.
Position	getZeroPosition () const
	Initial position of the tape.
inlinevoid	resetTo (Position const &pos, bool resetAdjoints=true, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Reset the tape to the provided position.
inlinevoid	resetTo (Position const &pos, bool resetAdjoints=true, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Reset the tape to the provided position.
void	evaluatePrimal ()
	Perform a full (forward) reevaluation of the primals in the tape.
void	setPrimal (Identifier const &identifier, Real const &primal)
	Set primal value.
Real const &	getPrimal (Identifier const &identifier) const
	Get primal value.
void	evaluatePrimal ()
	Perform a full (forward) reevaluation of the primals in the tape.
void	setPrimal (Identifier const &identifier, Real const &primal)
	Set primal value.
Real const &	getPrimal (Identifier const &identifier) const
	Get primal value.
inlineTemporaryMemory &	getTemporaryMemory ()
	Temporary memory that can be used for dynamic data both during the evaluation and the recording.
inlineConfig::LowLevelFunctionToken	registerLowLevelFunction (LowLevelFunctionEntry< Impl, Real, Identifier > const &entry)
	Register a low level function on the tape.
inlineTemporaryMemory &	getTemporaryMemory ()
	Temporary memory that can be used for dynamic data both during the evaluation and the recording.
inlineConfig::LowLevelFunctionToken	registerLowLevelFunction (LowLevelFunctionEntry< Impl, Real, Identifier > const &entry)
	Register a low level function on the tape.
Public Member Functions inherited from codi::CustomAdjointVectorEvaluationTapeInterface< CommonTapeTypes< T_TapeTypes >::Position >
void	evaluate (Position const &start, Position const &end, AdjointVector &&data)
	Perform a reverse evaluation for a part of the tape. It hast to hold start >= end.
void	evaluateForward (Position const &start, Position const &end, AdjointVector &&data)
void	clearCustomAdjoints (Position const &start, Position const &end, AdjointVector &&data)
	Clear all adjoint values, that is, set them to zero.
InternalAdjoints	getInternalAdjoints ()
	Obtain a representation of the tape's internal adjoint vector that can be used as custom adjoints.
Public Member Functions inherited from codi::ForwardEvaluationTapeInterface< CommonTapeTypes< T_TapeTypes >::Position >
void	evaluateForward (Position const &start, Position const &end, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a forward evaluation of a part of the tape. It has to hold start <= end.
void	evaluateForward (AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a forward evaluation of the full tape.
Public Member Functions inherited from codi::PositionalEvaluationTapeInterface< CommonTapeTypes< T_TapeTypes >::Position >
void	evaluate (Position const &start, Position const &end, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a reverse evaluation for a part of the tape. It hast to hold start >= end.
void	clearAdjoints (Position const &start, Position const &end, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Clear all adjoints that would be set in a tape evaluation from start to end. It has to hold start >= end.
Position	getPosition () const
	Current position of the tape.
Position	getZeroPosition () const
	Initial position of the tape.
void	resetTo (Position const &pos, bool resetAdjoints=true, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Reset the tape to the provided position.
Public Member Functions inherited from codi::DataManagementTapeInterface< T_TapeTypes::Real, T_TapeTypes::Identifier >
void	writeToFile (std::string const &filename) const
	See File IO functions.
void	readFromFile (std::string const &filename)
	See File IO functions.
void	deleteData ()
	See File IO functions.
std::set< TapeParameters > const &	getAvailableParameters () const
	See Parameters functions.
size_t	getParameter (TapeParameters parameter) const
	See Parameters functions.
bool	hasParameter (TapeParameters parameter) const
	See Parameters functions.
void	setParameter (TapeParameters parameter, size_t value)
	See Parameters functions.
VectorAccessInterface< Real, Identifier > *	createVectorAccess ()
	See Adjoint vector access.
VectorAccessInterface< Real, Identifier > *	createVectorAccessCustomAdjoints (AdjointVector &&data)
void	deleteVectorAccess (VectorAccessInterface< Real, Identifier > *access)
	See Adjoint vector access.
void	resizeAdjointVector ()
	Explicitly trigger resizing of the adjoint vector. See Adjoint vector management.
void	deleteAdjointVector ()
	Delete the adjoint vector. See Adjoint vector management.
void	beginUseAdjointVector ()
	Declare that the adjoint vector is being used. See Adjoint vector management.
void	endUseAdjointVector ()
	Declare that the adjoint vector is no longer used. See Adjoint vector management.
void	swap (DataManagementTapeInterface &other)
	Swap all data with an other tape.
void	resetHard ()
	Delete everything and return to the state after construction, as far as possible.
Public Member Functions inherited from codi::ExternalFunctionTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier >
Real	registerExternalFunctionOutput (LhsExpressionInterface< Real, Gradient, Tape, Lhs > &value)
void	pushExternalFunction (ExternalFunction< ExternalFunctionTapeInterface > const &extFunc)
Public Member Functions inherited from codi::GradientAccessTapeInterface< T_TapeTypes::Gradient, T_TapeTypes::Identifier >
void	setGradient (Identifier const &identifier, Gradient const &gradient, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Set the gradient.
Gradient const &	getGradient (Identifier const &identifier, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic) const
	Set the gradient.
Gradient &	gradient (Identifier const &identifier, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Reference access to gradient.
Gradient const &	gradient (Identifier const &identifier, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic) const
	Constant reference access to gradient.
Identifier	getPassiveIndex () const
	Identifier for passive values. Usually 0.
Identifier	getInvalidIndex () const
	Invalid identifier.
bool	isIdentifierActive (Identifier const &index) const
IndexManagerInterface< Identifier > &	getIndexManager ()
	Returns a reference to the Index Manager.
void	deactivateValue (LhsExpressionInterface< Real, Gradient, Tape, Lhs > &value)
void	initIdentifier (Real &value, Identifier &identifier)
void	destroyIdentifier (Real &value, Identifier &identifier)
	Has to be called for each identifier, before it is deallocated.
void	store (Lhs &lhs, Rhs const &rhs)
	Has to be called by an AD variable every time it is assigned.
TemporaryMemory &	getTemporaryMemory ()
	Temporary memory that can be used for dynamic data both during the evaluation and the recording.
void	pushLowLevelFunction (Config::LowLevelFunctionToken token, size_t size, ByteDataView &data)
	Push a low level function to the tape.
Config::LowLevelFunctionToken	registerLowLevelFunction (LowLevelFunctionEntry< LowLevelFunctionTapeInterface, Real, Identifier > const &entry)
	Register a low level function on the tape.
Public Member Functions inherited from codi::ManualStatementPushTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier >
void	pushJacobianManual (Real const &jacobian, Real const &value, Identifier const &index)
void	storeManual (Real const &lhsValue, Identifier &lhsIndex, Config::ArgumentSize const &size)
Public Member Functions inherited from codi::PreaccumulationEvaluationTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier, CommonTapeTypes< T_TapeTypes >::Position >
void	evaluateKeepState (Position const &start, Position const &end, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a tape evaluation but restore the state afterwards such that it is the same as when the evaluation started. It hast to hold start >= end.
void	evaluateKeepState (Position const &start, Position const &end, AdjointVector &&data)
void	evaluateForwardKeepState (Position const &start, Position const &end, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a tape evaluation but restore the state afterwards such that it is the same as when the evaluation started. It hast to hold start <= end.
void	evaluateForwardKeepState (Position const &start, Position const &end, AdjointVector &&data)
void	evaluatePrimal (Position const &start, Position const &end)
	Perform a partly (forward) reevaluation of the primals in the tape. It has to hold start <= end.
void	evaluatePrimal ()
	Perform a full (forward) reevaluation of the primals in the tape.
void	setPrimal (Identifier const &identifier, Real const &gradient)
	Set primal value.
Real const &	getPrimal (Identifier const &identifier) const
	Get primal value.
Real &	primal (Identifier const &identifier)
	Writable reference to primal value.
Real const &	primal (Identifier const &identifier) const
	Read only reference to primal value.
void	revertPrimals (Position const &pos)
	Revert the primals to the state indicated by pos.
Public Member Functions inherited from codi::ReadWriteTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier, CommonTapeTypes< T_TapeTypes >::Position >
void	writeTape (WriterInterfaceUniquePtr writer)
	For full-tape writers using a smart pointer.
void	writeTape (WriterInterfaceUniquePtr writer, Position const &start, Position const &end)
	For partial-tape writers using a smart pointer.
void	writeTape (WriterInterface &writeToFileRef)
	For full-tape writers using a manually generated writers.
void	writeTape (WriterInterface &writeToFileRef, Position const &start, Position const &end)
	For partial-tape writers using a manually generated writers.
void	writeTape (WriterInterface *writer, Position const &start, Position const &end)
	For full or partial tapes using a pointer to the writer.
void	createStatementManual (Real const &lhsValue, Identifier &lhsIndex, Config::ArgumentSize const &size, Real const *jacobians, Identifier const *rhsIdentifiers)
void	createStatementManual (Identifier const &lhsIndex, Real const &lhsValue, Config::ArgumentSize const &nActiveValues, Identifier const *const rhsIdentifiers, Config::ArgumentSize const &nPassiveValues, Real const *const rhsPrimals, Config::ArgumentSize const &nConstants, Real const *const rhsConstant, EvalHandle const &evalHandle)
Public Member Functions inherited from codi::ReverseTapeInterface< T_TapeTypes::Real, T_TapeTypes::Gradient, T_TapeTypes::Identifier >
void	registerInput (LhsExpressionInterface< Real, Gradient, Tape, Lhs > &value)
void	registerOutput (LhsExpressionInterface< Real, Gradient, Tape, Lhs > &value)
void	setActive ()
	Start/continue recording of statements.
void	setPassive ()
	Stop/interrupt recording of statements.
bool	isActive () const
	Check if the tape is recording.
void	evaluate (AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Perform a full reverse evaluation of the tape.
void	clearAdjoints (AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Clear all adjoint values, that is, set them to zero.
void	reset (bool resetAdjoints=true, AdjointsManagement adjointsManagement=AdjointsManagement::Automatic)
	Reset the tape to the initial state for a fresh recording.
void	printStatistics (Stream &out=std::cout) const
	Default formatting of TapeValues.
void	printTableHeader (Stream &out=std::cout) const
	Table header output of TapeValues.
void	printTableRow (Stream &out=std::cout) const
	Table row output of TapeValues.
TapeValues	getTapeValues () const
	Get current tape values.

Public Attributes
friend	Base
	Allow the base class to call protected and private methods.

Static Public Attributes
static bool constexpr	AllowJacobianOptimization = false
	See InternalStatementRecordingTapeInterface.
static bool constexpr	HasPrimalValues = true
	See PrimalEvaluationTapeInterface.
static bool constexpr	LinearIndexHandling
	See IdentifierInformationTapeInterface.
static bool constexpr	RequiresPrimalRestore
	See PrimalEvaluationTapeInterface.
static bool constexpr	LinearIndexHandling
static bool constexpr	AllowJacobianOptimization
	If certain operations can be hidden from the tape.
static bool constexpr	HasPrimalValues
	True if the tape has primal values.
static bool constexpr	RequiresPrimalRestore
	True if the primal state changes during a reverse or forward evaluation.

Protected Member Functions
template<bool copyPrimal, typename AdjointVector>
void	internalEvaluateForward (Position const &start, Position const &end, AdjointVector &&data)
	Internal method for the forward evaluation of the whole tape.
template<bool copyPrimal, typename AdjointVector>
inlinevoid	internalEvaluateReverse (Position const &start, Position const &end, AdjointVector &&data)
	Internal method for the reverse evaluation of the whole tape.
inlineTapeValues	internalGetTapeValues () const
template<typename Lhs>
inlineReal	internalRegisterInput (LhsExpressionInterface< Real, Gradient, Impl, Lhs > &value, bool unusedIndex)
	Add a new input to the tape and update the primal value vector.
inlinevoid	pushLhsData (Identifier const &index, Real const &oldPrimalValue, StatementDataPointers &pointers)
	Add data for a lhs entry to the data streams.
template<typename Lhs, typename Rhs>
inlineConfig::LowLevelFunctionDataSize	reserveStmtData (size_t activeArguments, StatementDataPointers &pointers)
	Reserve all the data for a statement.
inlineConfig::LowLevelFunctionDataSize	reserveStmtDataManual (size_t lhsSize, size_t rhsSize, size_t passiveSize, size_t constantSize, StatementDataPointers &pointers)
	Reserve all the data for a statement.
template<typename AdjointVector>
Gradient *	selectAdjointVector (VectorAccess< AdjointVector > *vectorAccess, AdjointVector data)
	Select the configured adjoint vector, see codi::Config::VariableAdjointInterfaceInPrimalTapes.
template<typename Lhs, typename RhsType, typename Rhs>
inlinebool	storeArgumentAndStmtData (ExpressionInterface< RhsType, Rhs > const &rhs, StatementDataPointers &pointers)
Protected Member Functions inherited from codi::CommonTapeImplementation< T_TapeTypes, T_Impl >
void	deleteLowLevelFunctionData (Position const &pos)
	Delete all external function data up to pos.
void	deleteLowLevelFunctionData (Position const &pos)
	Delete all external function data up to pos.
inlinevoid	incrementManualPushCounter ()
	Increment the manual push counter. Check against the declared push goal.
inlinevoid	incrementManualPushCounter ()
	Increment the manual push counter. Check against the declared push goal.
inlinevoid	initializeManualPushData (Real const &lhsValue, Identifier const &lhsIndex, size_t size)
	Initialize all manual push data, including the counter. Check that a previous manual store is completed.
inlinevoid	initializeManualPushData (Real const &lhsValue, Identifier const &lhsIndex, size_t size)
	Initialize all manual push data, including the counter. Check that a previous manual store is completed.
TapeValues	internalGetTapeValues () const
	Create tape values.
TapeValues	internalGetTapeValues () const
	Create tape values.
void	init (typename ImplTapeTypes::NestedData *nested)
	Initialize the base class.
void	init (typename ImplTapeTypes::NestedData *nested)
	Initialize the base class.
inlinevoid	internalStoreLowLevelFunction (Config::LowLevelFunctionToken token, size_t size, ByteDataView &dataView)
	Called by the implementing tapes to store a low level function. The size is reserved and allocated. The data view is populated with the pointer and can be used to write the data.
inlinestatic void	callLowLevelFunction (Impl &impl, bool forward, size_t &curLLFByteDataPos, char *dataPtr, size_t &curLLFTInfoDataPos, Config::LowLevelFunctionToken *const tokenPtr, Config::LowLevelFunctionDataSize *const dataSizePtr, Args &&... args)
	Called by the implementing tapes during a tape evaluation when a low level function statement has been reached.
inlinestatic void	skipLowLevelFunction (bool forward, size_t &curLLFByteDataPos, char *dataPtr, size_t &curLLFTInfoDataPos, Config::LowLevelFunctionToken *const tokenPtr, Config::LowLevelFunctionDataSize *const dataSizePtr)
	Skip the data for a low level function.
inlinevoid	internalStoreLowLevelFunction (Config::LowLevelFunctionToken token, size_t size, ByteDataView &dataView)
	Called by the implementing tapes to store a low level function. The size is reserved and allocated. The data view is populated with the pointer and can be used to write the data.
inlinestatic void	callLowLevelFunction (Impl &impl, bool forward, size_t &curLLFByteDataPos, char *dataPtr, size_t &curLLFTInfoDataPos, Config::LowLevelFunctionToken *const tokenPtr, Config::LowLevelFunctionDataSize *const dataSizePtr, Args &&... args)
	Called by the implementing tapes during a tape evaluation when a low level function statement has been reached.
inlinestatic void	skipLowLevelFunction (bool forward, size_t &curLLFByteDataPos, char *dataPtr, size_t &curLLFTInfoDataPos, Config::LowLevelFunctionToken *const tokenPtr, Config::LowLevelFunctionDataSize *const dataSizePtr)
	Skip the data for a low level function.

Protected Attributes
std::vector< Gradient >	adjoints
	Evaluation vector for AD.
MemberStore< IndexManager, Impl, TapeTypes::IsStaticIndexHandler >	indexManager
	Index manager.
Identifier *	manualPushIdentifiers
Real *	manualPushJacobians
std::vector< Real >	primals
	Current state of primal values in the program.
std::vector< Real >	primalsCopy
	Copy of primal values for AD evaluations.
StatementByteData	statementByteData
	Data stream for statement byte data.
StatementData	statementData
	Data stream for statement specific data.
Protected Attributes inherited from codi::CommonTapeImplementation< T_TapeTypes, T_Impl >
bool	active
	Whether or not the tape is in recording mode.
bool	active
	Whether or not the tape is in recording mode.
TemporaryMemory	allocator
	Allocator for temporary memory.
TemporaryMemory	allocator
	Allocator for temporary memory.
LowLevelFunctionByteData	llfByteData
	Byte data for low level functions.
LowLevelFunctionByteData	llfByteData
	Byte data for low level functions.
LowLevelFunctionInfoData	llfInfoData
	Token and size data for low level functions.
LowLevelFunctionInfoData	llfInfoData
	Token and size data for low level functions.
size_t	manualPushCounter
	Count the pushes after storeManual, to identify the last push.
size_t	manualPushCounter
	Count the pushes after storeManual, to identify the last push.
size_t	manualPushGoal
	Store the number of expected pushes after a storeManual call.
size_t	manualPushGoal
	Store the number of expected pushes after a storeManual call.
Identifier	manualPushLhsIdentifier
	For storeManual, remember the identifier assigned to the lhs.
Identifier	manualPushLhsIdentifier
	For storeManual, remember the identifier assigned to the lhs.
Real	manualPushLhsValue
	For storeManual, remember the value assigned to the lhs.
Real	manualPushLhsValue
	For storeManual, remember the value assigned to the lhs.
std::set< TapeParameters >	options
	All options.
std::set< TapeParameters >	options
	All options.

Static Protected Attributes
static EvalHandle const	jacobianExpressions [Config::MaxArgumentSize]
Static Protected Attributes inherited from codi::CommonTapeImplementation< T_TapeTypes, T_Impl >
static std::vector< LowLevelFunctionEntry< Impl, Real, Identifier > > *	lowLevelFunctionLookup
	Lookup table for low level function.
static std::vector< LowLevelFunctionEntry< Impl, Real, Identifier > > *	lowLevelFunctionLookup
	Lookup table for low level function.

Interface definition
template<typename... Args>
static void	internalEvaluateForward_EvalStatements (Args &&... args)
	Perform a forward evaluation of the tape. Arguments are from the recursive eval methods of the DataInterface.
template<typename... Args>
static void	internalEvaluatePrimal_EvalStatements (Args &&... args)
	Perform a primal evaluation of the tape. Arguments are from the recursive eval methods of the DataInterface.
template<typename... Args>
static void	internalEvaluateReverse_EvalStatements (Args &&... args)
	Perform a reverse evaluation of the tape. Arguments are from the recursive eval methods of the DataInterface.
void	internalResetPrimalValues (Position const &pos)
	Reset the primal values to the given position.

Additional Inherited Members
static void	callLowLevelFunction (LowLevelFunctionTapeInterface &tape, bool forward, size_t &curLLFByteDataPos, char *dataPtr, size_t &curLLFInfoDataPos, Config::LowLevelFunctionToken *const tokenPtr, Config::LowLevelFunctionDataSize *const dataSizePtr, Args &&... args)
	Internal function for evaluating a low level function entry.
static void	skipLowLevelFunction (bool forward, size_t &curLLFByteDataPos, char *dataPtr, size_t &curLLFTInfoDataPos, Config::LowLevelFunctionToken *const tokenPtr, Config::LowLevelFunctionDataSize *const dataSizePtr)
	Skip the data for a low level function.

Detailed Description

template<typename T_TapeTypes, typename T_Impl>
struct codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >

Base class for all standard Primal value tape implementations.

This class provides nearly a full implementation of the FullTapeInterface. There are just a few internal methods left which need to be implemented by the final classes. These methods depend significantly on the index management scheme and are performance critical.

Tape evaluations are performed in several steps. Each methods calls the next method:

• evaluate
• internalEvaluate*
• internalEvaluate*_EvalStatements The placeholder stands for Reverse, Forward, or Primal.

Template Parameters

T_TapeTypes	needs to implement PrimalValueTapeTypes.
T_Impl	Type of the final implementations

Member Typedef Documentation

TapeTypes

template<typename T_TapeTypes, typename T_Impl>

using codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::TapeTypes

Initial value:

 
 
 T_TapeTypes

See PrimalValueBaseTape.

Member Function Documentation

beginUseAdjointVector()

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::beginUseAdjointVector ( )

inline

Declare that the adjoint vector is being used. See Adjoint vector management.

Implementation: Empty since primal value tapes do not implement adjoints locking.

clearAdjoints()

template<typename T_TapeTypes, typename T_Impl>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::clearAdjoints ( AdjointsManagement adjointsManagement = AdjointsManagement::Automatic )

inline

Clear all adjoint values, that is, set them to zero.

Automatic adjoints management involves locking, see AdjointsManagement for details.
Implementation: Automatic adjoints management has no effect. Primal value tapes do not implement adjoints locking.

createStatementManual()

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::createStatementManual ( Config::ArgumentSize const & nOutputValues, Identifier const *const lhsIndices, Real const *const lhsValues, Config::ArgumentSize const & nActiveValues, Identifier const *const rhsIdentifiers, Config::ArgumentSize const & nPassiveValues, Real const *const rhsPrimals, Config::ArgumentSize const & nConstants, Real const *const rhsConstant, EvalHandle const & evalHandle )

inline

Initialize the statement and the rhs vectors from a file. It is especially important that the Identifiers are valid when using this method. This overload is used for Primal tapes.

createVectorAccess()

template<typename T_TapeTypes, typename T_Impl>

VectorAccess< Gradient * > * codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::createVectorAccess ( )

inline

See Adjoint vector access.

createVectorAccessCustomAdjoints() [1/2]

template<typename T_TapeTypes, typename T_Impl>

template<typename Adjoint>

VectorAccess< Adjoint * > * codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::createVectorAccessCustomAdjoints ( Adjoint * data )

inline

See Adjoint vector access.

Template Parameters

AdjointVector

Type that supports access with operator[]. See codi::CustomAdjointVectorEvaluationTapeInterface. Overload for pointers passed as lvalues. Ensures that the pointer is copied, not referenced.

createVectorAccessCustomAdjoints() [2/2]

template<typename T_TapeTypes, typename T_Impl>

template<typename AdjointVector>

VectorAccess< AdjointVector > * codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::createVectorAccessCustomAdjoints ( AdjointVector && data )

inline

See Adjoint vector access.

Template Parameters

AdjointVector

Type that supports access with operator[]. See codi::CustomAdjointVectorEvaluationTapeInterface.

deleteAdjointVector()

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::deleteAdjointVector ( )

inline

Delete the adjoint vector. See Adjoint vector management.

deleteVectorAccess()

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::deleteVectorAccess ( VectorAccessInterface< Real, Identifier > * access )

inline

See Adjoint vector access.

destroyIdentifier()

template<typename T_TapeTypes, typename T_Impl>

template<typename Real>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::destroyIdentifier ( Real & value, Identifier & identifier )

inline

Has to be called for each identifier, before it is deallocated.

endUseAdjointVector()

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::endUseAdjointVector ( )

inline

Declare that the adjoint vector is no longer used. See Adjoint vector management.

Implementation: Empty since primal value tapes do not implement adjoints locking.

evaluate() [1/3]

template<typename T_TapeTypes, typename T_Impl>

void codi::CommonTapeImplementation< T_TapeTypes, T_Impl >::evaluate ( AdjointsManagement adjointsManagement = AdjointsManagement::Automatic )

inline

Perform a full reverse evaluation of the tape.

Automatic adjoints management involves bounds checking, resizing, and locking, see AdjointsManagement for details.

evaluate() [2/3]

template<typename T_TapeTypes, typename T_Impl>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::evaluate ( Position const & start, Position const & end, AdjointsManagement adjointsManagement = AdjointsManagement::Automatic )

inline

Perform a reverse evaluation for a part of the tape. It hast to hold start >= end.

Automatic adjoints management involves bounds checking, resizing, and locking, see AdjointsManagement for details.
Implementation: Automatic adjoints management only involves bounds checking and resizing. Primal value tapes do not implement adjoints locking.

evaluate() [3/3]

template<typename T_TapeTypes, typename T_Impl>

template<typename AdjointVector>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::evaluate ( Position const & start, Position const & end, AdjointVector && data )

inline

Perform a reverse evaluation for a part of the tape. It hast to hold start >= end.

Tape evaluation with a custom adjoint vector.

Template Parameters

AdjointVector

See CustomAdjointVectorEvaluationTapeInterface documentation.

evaluateForward() [1/3]

template<typename T_TapeTypes, typename T_Impl>

void codi::CommonTapeImplementation< T_TapeTypes, T_Impl >::evaluateForward ( AdjointsManagement adjointsManagement = AdjointsManagement::Automatic )

inline

Perform a forward evaluation of a part of the tape. It has to hold start <= end.

Automatic adjoints management involves bounds checking, resizing, and locking, see AdjointsManagement for details.

evaluateForward() [2/3]

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::evaluateForward ( Position const & start, Position const & end, AdjointsManagement adjointsManagement = AdjointsManagement::Automatic )

inline

Perform a forward evaluation of a part of the tape. It has to hold start <= end.

Automatic adjoints management involves bounds checking, resizing, and locking, see AdjointsManagement for details.
Implementation: Automatic adjoints management only involves bounds checking and resizing. Primal value tapes do not implement adjoints locking.

evaluateForward() [3/3]

template<typename T_TapeTypes, typename T_Impl>

template<typename AdjointVector>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::evaluateForward ( Position const & start, Position const & end, AdjointVector && data )

inline

Perform a forward evaluation of a part of the tape. It has to hold start <= end.

Tape evaluation with a custom adjoint vector.

Template Parameters

AdjointVector

See CustomAdjointVectorEvaluationTapeInterface documentation.

evaluateForwardKeepState() [1/2]

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::evaluateForwardKeepState ( Position const & start, Position const & end, AdjointsManagement adjointsManagement = AdjointsManagement::Automatic )

inline

Perform a tape evaluation but restore the state afterwards such that it is the same as when the evaluation started. It hast to hold start <= end.

Automatic adjoints management involves bounds checking, resizing, and locking, see AdjointsManagement for details.
Implementation: Automatic adjoints management only involves bounds checking and resizing. Primal value tapes do not implement adjoints locking.

evaluateForwardKeepState() [2/2]

template<typename T_TapeTypes, typename T_Impl>

template<typename AdjointVector>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::evaluateForwardKeepState ( Position const & start, Position const & end, AdjointVector && data )

inline

Perform a tape evaluation but restore the state afterwards such that it is the same as when the evaluation started. It hast to hold start <= end.

Automatic adjoints management involves bounds checking, resizing, and locking, see AdjointsManagement for details.

evaluateKeepState() [1/2]

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::evaluateKeepState ( Position const & start, Position const & end, AdjointsManagement adjointsManagement = AdjointsManagement::Automatic )

inline

Perform a tape evaluation but restore the state afterwards such that it is the same as when the evaluation started. It hast to hold start >= end.

Automatic adjoints management involves bounds checking, resizing, and locking, see AdjointsManagement for details.
Implementation: Automatic adjoints management only involves bounds checking and resizing. Primal value tapes do not implement adjoints locking.

evaluateKeepState() [2/2]

template<typename T_TapeTypes, typename T_Impl>

template<typename AdjointVector>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::evaluateKeepState ( Position const & start, Position const & end, AdjointVector && data )

inline

Perform a tape evaluation but restore the state afterwards such that it is the same as when the evaluation started. It hast to hold start >= end.

Automatic adjoints management involves bounds checking, resizing, and locking, see AdjointsManagement for details.

evaluatePrimal() [1/2]

template<typename T_TapeTypes, typename T_Impl>

void codi::CommonTapeImplementation< T_TapeTypes, T_Impl >::evaluatePrimal ( )

inline

Perform a full (forward) reevaluation of the primals in the tape.

evaluatePrimal() [2/2]

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::evaluatePrimal ( Position const & start, Position const & end )

inline

Perform a full (forward) reevaluation of the primals in the tape.

getIndexManager()

template<typename T_TapeTypes, typename T_Impl>

IndexManager & codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::getIndexManager ( )

inline

Returns a reference to the Index Manager.

getInternalAdjoints()

template<typename T_TapeTypes, typename T_Impl>

inlineGradient * codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::getInternalAdjoints ( )

inline

Obtain a representation of the tape's internal adjoint vector that can be used as custom adjoints.

To avoid that functionality has to be implemented both for custom, external and internal adjoints, this method provides access to the internal adjoints so that they can be used as if they were custom adjoints.

Warning: If you use this method, proceed with care. If internal adjoints are modified due to side effect of other methods, the object returned here might become invalid, or, conversely, modifications of the returned object other than reading/writing adjoints might interfere with the tape's management of internal adjoints.

Template Parameters

InternalAdjoints

Placeholder for the implementation-dependent return type.

getParameter()

template<typename T_TapeTypes, typename T_Impl>

size_t codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::getParameter ( TapeParameters parameter ) const

inline

See Parameters functions.

gradient() [1/2]

template<typename T_TapeTypes, typename T_Impl>

inlineGradient & codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::gradient ( Identifier const & identifier, AdjointsManagement adjointsManagement = AdjointsManagement::Automatic )

inline

Reference access to gradient.

Automatic adjoints management involves bounds checking, resizing, and locking, see AdjointsManagement for details.
Implementation: Automatic adjoints management only involves bounds checking and resizing. Primal value tapes do not implement adjoints locking.

gradient() [2/2]

template<typename T_TapeTypes, typename T_Impl>

inlineGradient const & codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::gradient ( Identifier const & identifier, AdjointsManagement adjointsManagement = AdjointsManagement::Automatic ) const

inline

Constant reference access to gradient.

Automatic adjoints management involves bounds checking and locking. If no adjoint variable with the given identifier exists, a reference to adjoints[0] is returned. See AdjointsManagement for details.
Implementation: Automatic adjoints management only involves bounds checking. Primal value tapes do not implement adjoints locking.

initIdentifier()

template<typename T_TapeTypes, typename T_Impl>

template<typename Real>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::initIdentifier ( Real & value, Identifier & identifier )

inline

Has to be called for each identifier, after it is allocated.

internalGetTapeValues()

template<typename T_TapeTypes, typename T_Impl>

inlineTapeValues codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::internalGetTapeValues ( ) const

inlineprotected

Adds data from all streams, the size of the adjoint vector, the size of the primal vector, and index manager data.

primal() [1/2]

template<typename T_TapeTypes, typename T_Impl>

Real & codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::primal ( Identifier const & identifier )

inline

Writable reference to primal value.

primal() [2/2]

template<typename T_TapeTypes, typename T_Impl>

Real const & codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::primal ( Identifier const & identifier ) const

inline

Read only reference to primal value.

pushJacobianManual()

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::pushJacobianManual ( Real const & jacobian, Real const & value, Identifier const & index )

inline

Push a Jacobian entry to the tape. storeManual() has to be called first and is passed the number of arguments. Afterwards, this method has to be called once for each argument.

Parameters

jacobian	Jacobian of the argument .
value	Value of the argument . Usually u_i.value().
index	Identifier of the argument . Usually u_i.identifier().

pushLowLevelFunction()

template<typename T_TapeTypes, typename T_Impl>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::pushLowLevelFunction ( Config::LowLevelFunctionToken token, size_t size, ByteDataView & data )

inline

Push a low level function to the tape.

Allocates memory with the requested size on the byte data stream. data is initialized for accessing this allocated memory. After the call, it can be used to write data to the data stream. token is the token from registerLowLevelFunction.

See LowLevelFunctionTapeInterface for the expected data layout.

registerExternalFunctionOutput()

template<typename T_TapeTypes, typename T_Impl>

template<typename Lhs>

Real codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::registerExternalFunctionOutput ( LhsExpressionInterface< Real, Gradient, Impl, Lhs > & value )

inline

Register an external function output on the tape.

Returns

For primal value tapes, the return value has to be stored by the external function. The value has to be restored with a call to adjointInterface.setPrimal() during the evaluation of the external function in reverse mode. For this purpose, the primal value is identified by the index which the variable received when it was registered with registerExternalFunctionOutput.

Template Parameters

Lhs	Class that implements the LhsExpressionInterface. See also LhsExpressionInterface.
Tape	Tape implementation used in the LhsExpressionInterface. See also LhsExpressionInterface.

registerInput()

template<typename T_TapeTypes, typename T_Impl>

template<typename Lhs>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::registerInput ( LhsExpressionInterface< Real, Gradient, Impl, Lhs > & value )

inline

Mark a value as input (independent) and make it active.

Template Parameters

Lhs	Class that implements the LhsExpressionInterface. See also LhsExpressionInterface.
Tape	Tape implementation used in the LhsExpressionInterface. See also LhsExpressionInterface.

reset()

template<typename T_TapeTypes, typename T_Impl>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::reset ( bool resetAdjoints = true, AdjointsManagement adjointsManagement = AdjointsManagement::Automatic )

inline

Reset the tape to the initial state for a fresh recording.

See Tutorial 5 - Repeated tape recordings for remarks on repeated tape recording in CoDiPack.

Automatic adjoints management involves locking, see AdjointsManagement for details.
Implementation: Automatic adjoints management has no effect. Primal value tapes do not implement adjoints locking.

resetTo()

template<typename T_TapeTypes, typename T_Impl>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::resetTo ( Position const & pos, bool resetAdjoints = true, AdjointsManagement adjointsManagement = AdjointsManagement::Automatic )

inline

Reset the tape to the provided position.

Automatic adjoints management involves locking, see AdjointsManagement for details.
Implementation: Automatic adjoints management has no effect. Primal value tapes do not implement adjoints locking.

resizeAdjointVector()

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::resizeAdjointVector ( )

inline

Explicitly trigger resizing of the adjoint vector. See Adjoint vector management.

setParameter()

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::setParameter ( TapeParameters parameter, size_t value )

inline

See Parameters functions.

store() [1/5]

template<typename T_TapeTypes, typename T_Impl>

template<typename Aggregated, typename Type, typename Lhs, typename Rhs>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::store ( AggregatedActiveType< Aggregated, Type, Lhs > & lhs, AggregatedActiveType< Aggregated, Type, Rhs > const & rhs )

inline

Has to be called by an AD variable every time it is assigned.

Update of the value is performed by the tape. The tape will additionally store information, e.g., for the reversal of the statement.

Template Parameters

Lhs	Has to implement LhsExpressionInterface.
Rhs	Has to implement ExpressionInterface. Optimization for copy statements of aggregated types.

store() [2/5]

template<typename T_TapeTypes, typename T_Impl>

template<typename Aggregated, typename Type, typename Lhs, typename Rhs>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::store ( AggregatedActiveType< Aggregated, Type, Lhs > & lhs, ExpressionInterface< Aggregated, Rhs > const & rhs )

inline

  /// \copydoc codi::InternalStatementRecordingTapeInterface::store() <br>

Implementation for AggregatedActiveType.

store() [3/5]

template<typename T_TapeTypes, typename T_Impl>

template<typename Lhs, typename Rhs>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::store ( LhsExpressionInterface< Real, Gradient, Impl, Lhs > & lhs, ExpressionInterface< Real, Rhs > const & rhs )

inline

Has to be called by an AD variable every time it is assigned.

Update of the value is performed by the tape. The tape will additionally store information, e.g., for the reversal of the statement.

Template Parameters

Lhs	Has to implement LhsExpressionInterface.
Rhs	Has to implement ExpressionInterface.

store() [4/5]

template<typename T_TapeTypes, typename T_Impl>

template<typename Lhs, typename Rhs>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::store ( LhsExpressionInterface< Real, Gradient, Impl, Lhs > & lhs, LhsExpressionInterface< Real, Gradient, Impl, Rhs > const & rhs )

inline

Has to be called by an AD variable every time it is assigned.

Update of the value is performed by the tape. The tape will additionally store information, e.g., for the reversal of the statement.

Template Parameters

Lhs	Has to implement LhsExpressionInterface.
Rhs	Has to implement ExpressionInterface. Optimization for copy statements.

store() [5/5]

template<typename T_TapeTypes, typename T_Impl>

template<typename Lhs>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::store ( LhsExpressionInterface< Real, Gradient, Impl, Lhs > & lhs, Real const & rhs )

inline

Has to be called by an AD variable every time it is assigned.

Update of the value is performed by the tape. The tape will additionally store information, e.g., for the reversal of the statement.

Template Parameters

Lhs	Has to implement LhsExpressionInterface.
Rhs	Has to implement ExpressionInterface. Specialization for passive assignments.

storeArgumentAndStmtData()

template<typename T_TapeTypes, typename T_Impl>

template<typename Lhs, typename RhsType, typename Rhs>

inlinebool codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::storeArgumentAndStmtData ( ExpressionInterface< RhsType, Rhs > const & rhs, StatementDataPointers & pointers )

inlineprotected

Store all data for the rhs and the statement data. Does not do anything if there are no active arguments. Does not store the lhs data.

Returns

true if the rhs data was stored and the lhs data needs to be stored.

storeManual()

template<typename T_TapeTypes, typename T_Impl>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::storeManual ( Real const & lhsValue, Identifier & lhsIndex, Config::ArgumentSize const & size )

inline

Initialize the storing of a hand computed statement. The primal value has to be updated already.

Parameters

lhsValue	Value of the result . Usually w.value().
lhsIndex	Identifier of the result . Usually w.identifier().
size	Number of arguments of .

swap()

template<typename T_TapeTypes, typename T_Impl>

inlinevoid codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::swap ( Impl & other )

inline

Swap all data with an other tape.

writeTape() [1/5]

template<typename T_TapeTypes, typename T_Impl>

void codi::CommonTapeImplementation< T_TapeTypes, T_Impl >::writeTape ( codi::TapeWriterInterface< Type > & writeToFileRef )

inline

For full-tape writers using a manually generated writers.

writeTape() [2/5]

template<typename T_TapeTypes, typename T_Impl>

void codi::CommonTapeImplementation< T_TapeTypes, T_Impl >::writeTape ( codi::TapeWriterInterface< Type > & writeToFileRef, Position const & start, Position const & end )

inline

For partial-tape writers using a manually generated writers.

writeTape() [3/5]

template<typename T_TapeTypes, typename T_Impl>

template<typename Type>

void codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::writeTape ( codi::TapeWriterInterface< Type > * writer, Position const & start, Position const & end )

inline

For full or partial tapes using a pointer to the writer.

writeTape() [4/5]

template<typename T_TapeTypes, typename T_Impl>

void codi::CommonTapeImplementation< T_TapeTypes, T_Impl >::writeTape ( std::unique_ptr< TapeWriterInterface< Type > > writer )

inline

For full-tape writers using a smart pointer.

writeTape() [5/5]

template<typename T_TapeTypes, typename T_Impl>

void codi::CommonTapeImplementation< T_TapeTypes, T_Impl >::writeTape ( std::unique_ptr< TapeWriterInterface< Type > > writer, Position const & start, Position const & end )

inline

For partial-tape writers using a smart pointer.

Member Data Documentation

LinearIndexHandling

template<typename T_TapeTypes, typename T_Impl>

bool constexpr codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::LinearIndexHandling

staticconstexpr

Initial value:

=
          TapeTypes::IsLinearIndexHandler

See IdentifierInformationTapeInterface.

manualPushIdentifiers

template<typename T_TapeTypes, typename T_Impl>

Identifier* codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::manualPushIdentifiers

protected

Stores the pointer to the array for the Jacobian values of a manual statement push.

manualPushJacobians

template<typename T_TapeTypes, typename T_Impl>

Real* codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::manualPushJacobians

protected

Stores the pointer to the array for the Jacobian values of a manual statement push.

RequiresPrimalRestore

template<typename T_TapeTypes, typename T_Impl>

bool constexpr codi::PrimalValueBaseTape< T_TapeTypes, T_Impl >::RequiresPrimalRestore

staticconstexpr

Initial value:

=
          !TapeTypes::IsLinearIndexHandler

See PrimalEvaluationTapeInterface.

---

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

• include/codi/tapes/primalValueBaseTape.hpp