Inheritance diagram for CppAD::cg::CGAtomicFun< Base >:

Collaboration diagram for CppAD::cg::CGAtomicFun< Base >:

Public Types
using	Super = BaseAbstractAtomicFun< Base >

using	Arg = Argument< Base >

Public Member Functions
	CGAtomicFun (atomic_base< Base > &atomicFun, const CppAD::vector< Base > &xSparsity, bool standAlone=false)

	CGAtomicFun (atomic_base< Base > &atomicFun, ArrayView< const Base > xSparsity, bool standAlone=false)

	CGAtomicFun (atomic_base< Base > &atomicFun, ArrayView< const CppAD::AD< Base >> xSparsity, bool standAlone=false)

template<class ADVector >
void	operator() (const ADVector &ax, ADVector &ay, size_t id=0)

bool	for_sparse_jac (size_t q, const CppAD::vector< std::set< size_t > > &r, CppAD::vector< std::set< size_t > > &s, const CppAD::vector< CGB > &x) override

bool	for_sparse_jac (size_t q, const CppAD::vector< std::set< size_t > > &r, CppAD::vector< std::set< size_t > > &s) override

bool	for_sparse_jac (size_t q, const CppAD::vector< bool > &r, CppAD::vector< bool > &s, const CppAD::vector< CGB > &x) override

bool	for_sparse_jac (size_t q, const CppAD::vector< bool > &r, CppAD::vector< bool > &s) override

bool	rev_sparse_jac (size_t q, const CppAD::vector< std::set< size_t > > &rt, CppAD::vector< std::set< size_t > > &st, const CppAD::vector< CGB > &x) override

bool	rev_sparse_jac (size_t q, const CppAD::vector< std::set< size_t > > &rt, CppAD::vector< std::set< size_t > > &st) override

bool	rev_sparse_jac (size_t q, const CppAD::vector< bool > &rt, CppAD::vector< bool > &st, const CppAD::vector< CGB > &x) override

bool	rev_sparse_jac (size_t q, const CppAD::vector< bool > &rt, CppAD::vector< bool > &st) override

bool	rev_sparse_hes (const CppAD::vector< bool > &vx, const CppAD::vector< bool > &s, CppAD::vector< bool > &t, size_t q, const CppAD::vector< std::set< size_t > > &r, const CppAD::vector< std::set< size_t > > &u, CppAD::vector< std::set< size_t > > &v, const CppAD::vector< CGB > &x) override

bool	rev_sparse_hes (const CppAD::vector< bool > &vx, const CppAD::vector< bool > &s, CppAD::vector< bool > &t, size_t q, const CppAD::vector< std::set< size_t > > &r, const CppAD::vector< std::set< size_t > > &u, CppAD::vector< std::set< size_t > > &v) override

bool	rev_sparse_hes (const CppAD::vector< bool > &vx, const CppAD::vector< bool > &s, CppAD::vector< bool > &t, size_t q, const CppAD::vector< bool > &r, const CppAD::vector< bool > &u, CppAD::vector< bool > &v, const CppAD::vector< CGB > &x) override

bool	rev_sparse_hes (const CppAD::vector< bool > &vx, const CppAD::vector< bool > &s, CppAD::vector< bool > &t, size_t q, const CppAD::vector< bool > &r, const CppAD::vector< bool > &u, CppAD::vector< bool > &v) override

size_t	getId () const

bool	isStandAlone () const

bool	forward (size_t q, size_t p, const CppAD::vector< bool > &vx, CppAD::vector< bool > &vy, const CppAD::vector< CGB > &tx, CppAD::vector< CGB > &ty) override

bool	reverse (size_t p, const CppAD::vector< CGB > &tx, const CppAD::vector< CGB > &ty, CppAD::vector< CGB > &px, const CppAD::vector< CGB > &py) override

virtual CppAD::vector< std::set< size_t > >	jacobianForwardSparsitySet (size_t m, const CppAD::vector< CGB > &x)

virtual CppAD::vector< std::set< size_t > >	jacobianReverseSparsitySet (size_t m, const CppAD::vector< CGB > &x)

virtual CppAD::vector< std::set< size_t > >	hessianSparsitySet (size_t m, const CppAD::vector< CGB > &x)

virtual CppAD::vector< std::set< size_t > >	hessianSparsitySet (const CppAD::vector< bool > &s, const CppAD::vector< CGB > &x)

Static Public Member Functions
static size_t	createNewAtomicFunctionID ()

Protected Types
using	CGB = CG< Base >

Protected Member Functions
void	zeroOrderDependency (const CppAD::vector< bool > &vx, CppAD::vector< bool > &vy, const CppAD::vector< CGB > &x) override

bool	atomicForward (size_t q, size_t p, const CppAD::vector< Base > &tx, CppAD::vector< Base > &ty) override

bool	atomicReverse (size_t p, const CppAD::vector< Base > &tx, const CppAD::vector< Base > &ty, CppAD::vector< Base > &px, const CppAD::vector< Base > &py) override

Static Protected Member Functions
static void	appendAsArguments (typename std::vector< Arg >::iterator begin, const CppAD::vector< CGB > &tx)

static OperationNode< Base > *	makeArray (CodeHandler< Base > &handler, const CppAD::vector< CGB > &tx)

static OperationNode< Base > *	makeArray (CodeHandler< Base > &handler, const CppAD::vector< CGB > &tx, size_t p, size_t k)

static OperationNode< Base > *	makeZeroArray (CodeHandler< Base > &handler, size_t size)

static OperationNode< Base > *	makeEmptySparseArray (CodeHandler< Base > &handler, size_t size)

static OperationNode< Base > *	makeSparseArray (CodeHandler< Base > &handler, const CppAD::vector< CGB > &py, size_t p, size_t k)

static bool	isParameters (const CppAD::vector< CGB > &tx)

static bool	isValuesDefined (const CppAD::vector< CGB > &tx)

Protected Attributes
atomic_base< Base > &	atomicFun_

const CppAD::vector< Base >	xSparsity_

const size_t	id_

bool	standAlone_

Detailed Description

template<class Base>
class CppAD::cg::CGAtomicFun< Base >

An atomic function for source code generation

Author: Joao Leal

Definition at line 28 of file atomic_fun.hpp.

Constructor & Destructor Documentation

◆ CGAtomicFun()

template<class Base >

CppAD::cg::CGAtomicFun< Base >::CGAtomicFun	(	atomic_base< Base > &	atomicFun,
		const CppAD::vector< Base > &	xSparsity,
		bool	standAlone = `false`
	)

inline

Creates a new atomic function wrapper that is responsible for defining the dependencies to calls of a user atomic function.

Parameters

atomicFun	The atomic function to the called by the compiled source.
xSparsity	Default independent vector used to determine sparsity patterns when the provided independent vector using the CG data type does not have all values defined.
standAlone	Whether or not forward and reverse function calls do not require the Taylor coefficients for the dependent variables (ty) and the previous evaluation of other forward/reverse modes.

Definition at line 50 of file atomic_fun.hpp.

Member Function Documentation

◆ atomicForward()

template<class Base >

bool CppAD::cg::CGAtomicFun< Base >::atomicForward	(	size_t	q,
		size_t	p,
		const CppAD::vector< Base > &	tx,
		CppAD::vector< Base > &	ty
	)

inlineoverrideprotectedvirtual

Used to evaluate function values and forward mode function values and derivatives.

Parameters

q	Lowest order for this forward mode calculation.
p	Highest order for this forward mode calculation.
vx	If size not zero, which components of `x` are variables
vy	If size not zero, which components of `y` are variables
tx	Taylor coefficients corresponding to `x` for this calculation
ty	Taylor coefficient corresponding to `y` for this calculation

Returns: true on success, false otherwise

Implements CppAD::cg::CGAbstractAtomicFun< Base >.

Definition at line 202 of file atomic_fun.hpp.

◆ atomicReverse()

template<class Base >

bool CppAD::cg::CGAtomicFun< Base >::atomicReverse	(	size_t	p,
		const CppAD::vector< Base > &	tx,
		const CppAD::vector< Base > &	ty,
		CppAD::vector< Base > &	px,
		const CppAD::vector< Base > &	py
	)

inlineoverrideprotectedvirtual

Used to evaluate reverse mode function derivatives.

Parameters

p	Highest order for this forward mode calculation.
tx	Taylor coefficients corresponding to `x` for this calculation
ty	Taylor coefficient corresponding to `y` for this calculation
px	Partials w.r.t. the `x` Taylor coefficients.
py	Partials w.r.t. the `y` Taylor coefficients

Returns: true on success, false otherwise

Implements CppAD::cg::CGAbstractAtomicFun< Base >.

Definition at line 210 of file atomic_fun.hpp.

◆ createNewAtomicFunctionID()

template<class Base>

static size_t CppAD::cg::CGAbstractAtomicFun< Base >::createNewAtomicFunctionID ( )

inlinestaticinherited

Uses an internal counter to produce IDs for atomic functions.

Definition at line 495 of file abstract_atomic_fun.hpp.

◆ forward()

template<class Base>

bool CppAD::cg::CGAbstractAtomicFun< Base >::forward	(	size_t	q,
		size_t	p,
		const CppAD::vector< bool > &	vx,
		CppAD::vector< bool > &	vy,
		const CppAD::vector< CGB > &	tx,
		CppAD::vector< CGB > &	ty
	)

inlineoverrideinherited

Use the jacobian sparsity to determine which elements will always be zero

Definition at line 94 of file abstract_atomic_fun.hpp.

◆ getId()

template<class Base>

size_t CppAD::cg::CGAbstractAtomicFun< Base >::getId ( ) const

inlineinherited

Provides a unique identifier for this atomic function type.

Returns: a unique identifier ID

Definition at line 81 of file abstract_atomic_fun.hpp.

◆ hessianSparsitySet()

template<class Base>

virtual CppAD::vector<std::set<size_t> > CppAD::cg::CGAbstractAtomicFun< Base >::hessianSparsitySet	(	const CppAD::vector< bool > &	s,
		const CppAD::vector< CGB > &	x
	)

inlinevirtualinherited

Determine the sparsity pattern p for Hessian of w^T F

Definition at line 462 of file abstract_atomic_fun.hpp.

◆ isStandAlone()

template<class Base>

bool CppAD::cg::CGAbstractAtomicFun< Base >::isStandAlone ( ) const

inlineinherited

Whether or not forward and reverse function calls do not require the Taylor coefficients for the dependent variables (ty) and any previous evaluation of other forward/reverse modes.

Definition at line 90 of file abstract_atomic_fun.hpp.

◆ reverse()

template<class Base>

bool CppAD::cg::CGAbstractAtomicFun< Base >::reverse	(	size_t	p,
		const CppAD::vector< CGB > &	tx,
		const CppAD::vector< CGB > &	ty,
		CppAD::vector< CGB > &	px,
		const CppAD::vector< CGB > &	py
	)

inlineoverrideinherited

Use the Jacobian sparsity to determine which elements will always be zero

Use the Hessian sparsity to determine which elements will always be zero

Definition at line 233 of file abstract_atomic_fun.hpp.

Member Data Documentation

◆ id_

template<class Base>

const size_t CppAD::cg::CGAbstractAtomicFun< Base >::id_

protectedinherited

A unique identifier for this atomic function type

Definition at line 37 of file abstract_atomic_fun.hpp.

Referenced by CppAD::cg::CGAbstractAtomicFun< ScalarOut >::getId().

◆ standAlone_

template<class Base>

bool CppAD::cg::CGAbstractAtomicFun< Base >::standAlone_

protectedinherited

Whether or not forward and reverse function calls do not require the Taylor coefficients for the dependent variables (ty) and any previous evaluation of other forward/reverse modes.

Definition at line 43 of file abstract_atomic_fun.hpp.

Referenced by CppAD::cg::CGAbstractAtomicFun< ScalarOut >::isStandAlone().

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

include/cppad/cg/atomic_fun.hpp

Public Types

Public Member Functions

Static Public Member Functions

Protected Types

Protected Member Functions

Static Protected Member Functions

Protected Attributes

Detailed Description

template<class Base> class CppAD::cg::CGAtomicFun< Base >

Constructor & Destructor Documentation

◆ CGAtomicFun()

Member Function Documentation

◆ atomicForward()

◆ atomicReverse()

◆ createNewAtomicFunctionID()

◆ forward()

◆ getId()

◆ hessianSparsitySet()

◆ isStandAlone()

◆ reverse()

Member Data Documentation

◆ id_

◆ standAlone_

template<class Base>
class CppAD::cg::CGAtomicFun< Base >