Addition Class Reference

Implements the scalar addition operator within the symbolic expressions family. More...

#include <addition.hpp>

Inheritance diagram for Addition:

Public Member Functions
virtual returnValue	AD_backward (int dim, VariableType *varType, int *component, Operator *seed, Operator **df, int &nNewIS, TreeProjection ***newIS)
virtual returnValue	AD_backward (int number, double seed, double *df)
virtual returnValue	AD_backward2 (int number, double seed1, double seed2, double *df, double *ddf)
virtual Operator *	AD_forward (int dim, VariableType *varType, int *component, Operator **seed, int &nNewIS, TreeProjection ***newIS)
virtual returnValue	AD_forward (int number, double *seed, double *df)
virtual returnValue	AD_forward (int number, double *x, double *seed, double *f, double *df)
virtual returnValue	AD_forward2 (int number, double *seed1, double *seed2, double *df, double *ddf)
virtual returnValue	AD_symmetric (int dim, VariableType *varType, int *component, Operator *l, Operator **S, int dimS, Operator **dfS, Operator **ldf, Operator **H, int &nNewLIS, TreeProjection ***newLIS, int &nNewSIS, TreeProjection ***newSIS, int &nNewHIS, TreeProjection ***newHIS)
	Addition ()
	Addition (Operator *_argument1, Operator *_argument2)
	Addition (const Addition &arg)
virtual Operator *	clone () const
virtual Operator *	differentiate (int index)
virtual returnValue	evaluate (int number, double *x, double *result)
virtual returnValue	evaluate (EvaluationBase *x)
virtual CurvatureType	getCurvature ()
virtual MonotonicityType	getMonotonicity ()
virtual OperatorName	getName ()
virtual double	getValue () const
virtual BooleanType	isLinearIn (int dim, VariableType *varType, int *component, BooleanType *implicit_dep)
virtual BooleanType	isPolynomialIn (int dim, VariableType *varType, int *component, BooleanType *implicit_dep)
virtual BooleanType	isRationalIn (int dim, VariableType *varType, int *component, BooleanType *implicit_dep)
Addition &	operator= (const Addition &arg)
virtual std::ostream &	print (std::ostream &stream) const
virtual Operator *	substitute (int index, const Operator *sub)
	~Addition ()
Public Member Functions inherited from BinaryOperator
	BinaryOperator ()
	BinaryOperator (Operator *_argument1, Operator *_argument2)
	BinaryOperator (const BinaryOperator &arg)
virtual returnValue	clearBuffer ()
virtual returnValue	enumerateVariables (SymbolicIndexList *indexList)
virtual returnValue	initDerivative ()
virtual BooleanType	isDependingOn (VariableType var) const
virtual BooleanType	isDependingOn (int dim, VariableType *varType, int *component, BooleanType *implicit_dep)
virtual NeutralElement	isOneOrZero () const
virtual BooleanType	isSymbolic () const
virtual BooleanType	isVariable (VariableType &varType, int &component) const
virtual returnValue	loadIndices (SymbolicIndexList *indexList)
BinaryOperator &	operator= (const BinaryOperator &arg)
virtual returnValue	setCurvature (CurvatureType curvature_)
virtual returnValue	setMonotonicity (MonotonicityType monotonicity_)
virtual returnValue	setVariableExportName (const VariableType &_type, const std::vector< std::string > &_name)
virtual	~BinaryOperator ()
Public Member Functions inherited from SmoothOperator
virtual TreeProjection *	cloneTreeProjection () const
virtual int	getGlobalIndex () const
virtual BooleanType	isSmooth () const
Expression	operator* (const double &arg) const
Expression	operator* (const DVector &arg) const
Expression	operator* (const DMatrix &arg) const
Expression	operator* (const Operator &arg) const
Expression	operator* (const Expression &arg) const
Operator &	operator*= (const double &arg)
Operator &	operator*= (const DVector &arg)
Operator &	operator*= (const DMatrix &arg)
Operator &	operator*= (const Expression &arg)
Expression	operator+ (const double &arg) const
Expression	operator+ (const DVector &arg) const
Expression	operator+ (const DMatrix &arg) const
Expression	operator+ (const Operator &arg) const
Expression	operator+ (const Expression &arg) const
Operator &	operator+= (const double &arg)
Operator &	operator+= (const DVector &arg)
Operator &	operator+= (const DMatrix &arg)
Operator &	operator+= (const Expression &arg)
Expression	operator- (const double &arg) const
Expression	operator- (const DVector &arg) const
Expression	operator- (const DMatrix &arg) const
Expression	operator- (const Operator &arg) const
Expression	operator- (const Expression &arg) const
Expression	operator- () const
Operator &	operator-= (const double &arg)
Operator &	operator-= (const DVector &arg)
Operator &	operator-= (const DMatrix &arg)
Operator &	operator-= (const Expression &arg)
Expression	operator/ (const double &arg) const
Expression	operator/ (const Operator &arg) const
Expression	operator/ (const Expression &arg) const
Operator &	operator/= (const double &arg)
Operator &	operator/= (const Expression &arg)
ConstraintComponent	operator<= (const double &ub) const
ConstraintComponent	operator<= (const DVector &ub) const
ConstraintComponent	operator<= (const VariablesGrid &ub) const
virtual Operator &	operator= (const double &arg)
virtual Operator &	operator= (const DVector &arg)
virtual Operator &	operator= (const DMatrix &arg)
virtual Operator &	operator= (const Expression &arg)
virtual Operator &	operator= (const Operator &arg)
ConstraintComponent	operator== (const double &b) const
ConstraintComponent	operator== (const DVector &b) const
ConstraintComponent	operator== (const VariablesGrid &b) const
ConstraintComponent	operator>= (const double &lb) const
ConstraintComponent	operator>= (const DVector &lb) const
ConstraintComponent	operator>= (const VariablesGrid &lb) const
virtual Operator *	passArgument () const
	SmoothOperator ()
virtual	~SmoothOperator ()
Public Member Functions inherited from Operator
virtual BooleanType	isTrivial () const
virtual Operator *	myAdd (Operator *a, Operator *b)
virtual Operator *	myLogarithm (Operator *a)
virtual Operator *	myPower (Operator *a, Operator *b)
virtual Operator *	myPowerInt (Operator *a, int b)
virtual Operator *	myProd (Operator *a, Operator *b)
virtual Operator *	mySubtract (Operator *a, Operator *b)
	Operator ()
Expression	operator* (const double &arg) const
Expression	operator* (const DVector &arg) const
Expression	operator* (const DMatrix &arg) const
Expression	operator* (const Operator &arg) const
Expression	operator* (const Expression &arg) const
Operator &	operator*= (const double &arg)
Operator &	operator*= (const DVector &arg)
Operator &	operator*= (const DMatrix &arg)
Operator &	operator*= (const Expression &arg)
Expression	operator+ (const double &arg) const
Expression	operator+ (const DVector &arg) const
Expression	operator+ (const DMatrix &arg) const
Expression	operator+ (const Operator &arg) const
Expression	operator+ (const Expression &arg) const
Operator &	operator+= (const double &arg)
Operator &	operator+= (const DVector &arg)
Operator &	operator+= (const DMatrix &arg)
Operator &	operator+= (const Expression &arg)
Expression	operator- (const double &arg) const
Expression	operator- (const DVector &arg) const
Expression	operator- (const DMatrix &arg) const
Expression	operator- (const Operator &arg) const
Expression	operator- (const Expression &arg) const
Expression	operator- () const
Operator &	operator-= (const double &arg)
Operator &	operator-= (const DVector &arg)
Operator &	operator-= (const DMatrix &arg)
Operator &	operator-= (const Expression &arg)
Expression	operator/ (const double &arg) const
Expression	operator/ (const Operator &arg) const
Expression	operator/ (const Expression &arg) const
Operator &	operator/= (const double &arg)
Operator &	operator/= (const Expression &arg)
ConstraintComponent	operator<= (const double &ub) const
ConstraintComponent	operator<= (const DVector &ub) const
ConstraintComponent	operator<= (const VariablesGrid &ub) const
ConstraintComponent	operator== (const double &b) const
ConstraintComponent	operator== (const DVector &b) const
ConstraintComponent	operator== (const VariablesGrid &b) const
ConstraintComponent	operator>= (const double &lb) const
ConstraintComponent	operator>= (const DVector &lb) const
ConstraintComponent	operator>= (const VariablesGrid &lb) const
virtual	~Operator ()

Additional Inherited Members
Public Attributes inherited from SmoothOperator
int	nCount
Public Attributes inherited from Operator
int	nCount
Protected Member Functions inherited from BinaryOperator
void	copy (const BinaryOperator &arg)
void	deleteAll ()
Protected Member Functions inherited from Operator
returnValue	ADsymCommon (Operator *a, TreeProjection &da, TreeProjection &dda, int dim, VariableType *varType, int *component, Operator *l, Operator **S, int dimS, Operator **dfS, Operator **ldf, Operator **H, int &nNewLIS, TreeProjection ***newLIS, int &nNewSIS, TreeProjection ***newSIS, int &nNewHIS, TreeProjection ***newHIS)
returnValue	ADsymCommon2 (Operator *a, Operator *b, TreeProjection &dx, TreeProjection &dy, TreeProjection &dxx, TreeProjection &dxy, TreeProjection &dyy, int dim, VariableType *varType, int *component, Operator *l, Operator **S, int dimS, Operator **dfS, Operator **ldf, Operator **H, int &nNewLIS, TreeProjection ***newLIS, int &nNewSIS, TreeProjection ***newSIS, int &nNewHIS, TreeProjection ***newHIS)
virtual TreeProjection *	convert2TreeProjection (Operator *a) const
Protected Attributes inherited from BinaryOperator
Operator *	argument1
double *	argument1_result
Operator *	argument2
double *	argument2_result
int	bufferSize
CurvatureType	curvature
Operator *	dargument1
double *	dargument1_result
Operator *	dargument2
double *	dargument2_result
MonotonicityType	monotonicity
Protected Attributes inherited from Operator
BooleanType	initialized

Detailed Description

Implements the scalar addition operator within the symbolic expressions family.

The class Addition implements the scalar addition operator within the symbolic expressions family.

Author

Boris Houska, Hans Joachim Ferreau

Definition at line 54 of file addition.hpp.

Constructor & Destructor Documentation

Addition() [1/3]

BEGIN_NAMESPACE_ACADO Addition::Addition

(

)

Default constructor.

Definition at line 45 of file addition.cpp.

Addition() [2/3]

Addition::Addition	(	Operator *	_argument1,
		Operator *	_argument2
	)

Default constructor.

Definition at line 49 of file addition.cpp.

Addition() [3/3]

Addition::Addition

(

const Addition &

arg

)

Copy constructor (deep copy).

Definition at line 53 of file addition.cpp.

~Addition()

Addition::~Addition

(

)

Default destructor.

Definition at line 57 of file addition.cpp.

Member Function Documentation

AD_backward() [1/2]

returnValue Addition::AD_backward ( int  dim, VariableType *  varType, int *  component, Operator *  seed, Operator **  df, int &  nNewIS, TreeProjection ***  newIS  )

virtual

Automatic Differentiation in backward mode on the symbolic
level. This function generates an expression for a
backward derivative

Returns

SUCCESSFUL_RETURN

Parameters

dim	number of directions
varType	the variable types
component	and their components
seed	the backward seed
df	the result
nNewIS	the number of new IS
newIS	the new IS-pointer

Implements BinaryOperator.

Definition at line 127 of file addition.cpp.

AD_backward() [2/2]

returnValue Addition::AD_backward ( int  number, double  seed, double *  df  )

virtual

Automatic Differentiation in backward mode based on
buffered values

Returns

SUCCESFUL_RETURN
RET_NAN

Parameters

number	the buffer position
seed	the seed
df	the derivative of the expression

Implements BinaryOperator.

Definition at line 355 of file addition.cpp.

AD_backward2()

returnValue Addition::AD_backward2 ( int  number, double  seed1, double  seed2, double *  df, double *  ddf  )

virtual

Automatic Differentiation in backward mode for 2nd order
derivatives based on buffered values.

Returns

SUCCESFUL_RETURN
RET_NAN

Parameters

number	the buffer position
seed1	the seed1
seed2	the seed2
df	the 1st derivative of the expression
ddf	the 2nd derivative of the expression

Implements BinaryOperator.

Definition at line 384 of file addition.cpp.

AD_forward() [1/3]

Operator * Addition::AD_forward ( int  dim, VariableType *  varType, int *  component, Operator **  seed, int &  nNewIS, TreeProjection ***  newIS  )

virtual

Automatic Differentiation in forward mode on the symbolic
level. This function generates an expression for a
forward derivative

Returns

SUCCESSFUL_RETURN

Parameters

dim	dimension of the seed
varType	the variable types
component	and their components
seed	the forward seed
nNewIS	the number of new IS
newIS	the new IS-pointer

Implements BinaryOperator.

Definition at line 107 of file addition.cpp.

AD_forward() [2/3]

returnValue Addition::AD_forward ( int  number, double *  seed, double *  df  )

virtual

Automatic Differentiation in forward mode.
This function uses the intermediate
results from a buffer

Returns

SUCCESFUL_RETURN
RET_NAN

Parameters

number	storage position
seed	the seed
df	the derivative of the expression

Implements BinaryOperator.

Definition at line 344 of file addition.cpp.

AD_forward() [3/3]

returnValue Addition::AD_forward ( int  number, double *  x, double *  seed, double *  f, double *  df  )

virtual

Automatic Differentiation in forward mode.
This function stores the intermediate
results in a buffer (needed for 2nd order automatic
differentiation in backward mode)

Returns

SUCCESFUL_RETURN
RET_NAN

Parameters

number	storage position
x	The evaluation point x
seed	the seed
f	the value of the expression at x
df	the derivative of the expression

Implements BinaryOperator.

Definition at line 320 of file addition.cpp.

AD_forward2()

returnValue Addition::AD_forward2 ( int  number, double *  seed1, double *  seed2, double *  df, double *  ddf  )

virtual

Automatic Differentiation in forward mode for
2nd derivatives.
This function uses intermediate
results from a buffer.

Returns

SUCCESFUL_RETURN
RET_NAN

Parameters

number	the buffer position
seed1	the seed
seed2	the seed for the first derivative
df	the derivative of the expression
ddf	the 2nd derivative of the expression

Implements BinaryOperator.

Definition at line 364 of file addition.cpp.

AD_symmetric()

returnValue Addition::AD_symmetric ( int  dim, VariableType *  varType, int *  component, Operator *  l, Operator **  S, int  dimS, Operator **  dfS, Operator **  ldf, Operator **  H, int &  nNewLIS, TreeProjection ***  newLIS, int &  nNewSIS, TreeProjection ***  newSIS, int &  nNewHIS, TreeProjection ***  newHIS  )

virtual

Automatic Differentiation in symmetric mode on the symbolic
level. This function generates an expression for a
second order derivative.

Returns

SUCCESSFUL_RETURN

Parameters

dim	number of directions
varType	the variable types
component	and their components
l	the backward seed
S	forward seed matrix
dimS	dimension of forward seed
dfS	first order foward result
ldf	first order backward result
H	upper trianglular part of the Hessian
nNewLIS	the number of newLIS
newLIS	the new LIS-pointer
nNewSIS	the number of newSIS
newSIS	the new SIS-pointer
nNewHIS	the number of newHIS
newHIS	the new HIS-pointer

Implements BinaryOperator.

Definition at line 148 of file addition.cpp.

clone()

Operator * Addition::clone ( ) const

virtual

Provides a deep copy of the expression.

Returns

a clone of the expression.

Implements BinaryOperator.

Definition at line 408 of file addition.cpp.

differentiate()

Operator * Addition::differentiate ( int  index )

virtual

Returns the derivative of the expression with respect
to the variable var(index).

Returns

The expression for the derivative.

Parameters

index

diff. index

Implements BinaryOperator.

Definition at line 96 of file addition.cpp.

evaluate() [1/2]

returnValue Addition::evaluate ( int  number, double *  x, double *  result  )

virtual

Evaluates the expression and stores the intermediate
results in a buffer (needed for automatic differentiation
in backward mode)

Returns

SUCCESFUL_RETURN
RET_NAN

Parameters

number	storage position
x	the input variable x
result	the result

Implements BinaryOperator.

Definition at line 70 of file addition.cpp.

evaluate() [2/2]

returnValue Addition::evaluate ( EvaluationBase *  x )

virtual

Evaluates the expression (templated version)

Implements BinaryOperator.

Definition at line 89 of file addition.cpp.

getCurvature()

CurvatureType Addition::getCurvature ( )

virtual

Returns the curvature of the expression

Returns

CT_CONSTANT
CT_AFFINE
CT_CONVEX
CT_CONCAVE

Implements BinaryOperator.

Definition at line 266 of file addition.cpp.

getMonotonicity()

MonotonicityType Addition::getMonotonicity ( )

virtual

Returns the monotonicity of the expression.

Returns

MT_NONDECREASING
MT_NONINCREASING
MT_NONMONOTONIC

Implements BinaryOperator.

Definition at line 228 of file addition.cpp.

getName()

OperatorName Addition::getName ( )

virtual

Asks the expression for its name.

Returns

the name of the expression.

Implements BinaryOperator.

Definition at line 419 of file addition.cpp.

getValue()

double Addition::getValue ( ) const

virtual

Return the value of the constant

Reimplemented from SmoothOperator.

Definition at line 307 of file addition.cpp.

isLinearIn()

BooleanType Addition::isLinearIn ( int  dim, VariableType *  varType, int *  component, BooleanType *  implicit_dep  )

virtual

Checks whether the expression is linear in
(or not depending on) a variable

Returns

BT_FALSE if no linearity is
detected
BT_TRUE otherwise

Parameters

dim	number of directions
varType	the variable types
component	and their components
implicit_dep	implicit dependencies

Implements BinaryOperator.

Definition at line 186 of file addition.cpp.

isPolynomialIn()

BooleanType Addition::isPolynomialIn ( int  dim, VariableType *  varType, int *  component, BooleanType *  implicit_dep  )

virtual

Checks whether the expression is polynomial in
the specified variables

Returns

BT_FALSE if the expression is not polynomial
BT_TRUE otherwise

Parameters

dim	number of directions
varType	the variable types
component	and their components
implicit_dep	implicit dependencies

Implements BinaryOperator.

Definition at line 200 of file addition.cpp.

isRationalIn()

BooleanType Addition::isRationalIn ( int  dim, VariableType *  varType, int *  component, BooleanType *  implicit_dep  )

virtual

Checks whether the expression is rational in
the specified variables

Returns

BT_FALSE if the expression is not rational
BT_TRUE otherwise

Parameters

dim	number of directions
varType	the variable types
component	and their components
implicit_dep	implicit dependencies

Implements BinaryOperator.

Definition at line 214 of file addition.cpp.

operator=()

Addition & Addition::operator=

(

const Addition &

arg

)

Assignment Operator (deep copy).

Definition at line 60 of file addition.cpp.

print()

std::ostream & Addition::print ( std::ostream &  stream ) const

virtual

Prints the expression into a stream.

Returns

SUCCESFUL_RETURN

Implements BinaryOperator.

Definition at line 394 of file addition.cpp.

substitute()

Operator * Addition::substitute ( int  index, const Operator *  sub  )

virtual

Substitutes var(index) with the expression sub.

Returns

The substituted expression.

Parameters

index	subst. index
sub	the substitution

Implements BinaryOperator.

Definition at line 178 of file addition.cpp.

---

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

• addition.hpp
• addition.cpp