Couenne 0.5.8
Loading...
Searching...
No Matches
Couenne::exprExp Class Reference

class for the exponential, $ e^{f(x)} $ More...

#include <CouenneExprExp.hpp>

+ Inheritance diagram for Couenne::exprExp:
+ Collaboration diagram for Couenne::exprExp:

Public Member Functions

 exprExp (expression *al)
 Constructor.
 
expressionclone (Domain *d=NULL) const
 Cloning method.
 
unary_function F ()
 The operator's function.
 
std::string printOp () const
 Print operator.
 
CouNumber gradientNorm (const double *x)
 return l-2 norm of gradient at given point
 
expressiondifferentiate (int index)
 Differentiation.
 
void getBounds (expression *&, expression *&)
 Get lower and upper bound of an expression (if any)
 
virtual void getBounds (CouNumber &lb, CouNumber &ub)
 Get expression of lower and upper bound of an expression (if any)
 
void generateCuts (expression *w, OsiCuts &cs, const CouenneCutGenerator *cg, t_chg_bounds *=NULL, int=-1, CouNumber=-COUENNE_INFINITY, CouNumber=COUENNE_INFINITY)
 Generate convexification cuts for this expression.
 
virtual enum expr_type code ()
 Code for comparisons.
 
bool impliedBound (int, CouNumber *, CouNumber *, t_chg_bounds *, enum auxSign=expression::AUX_EQ)
 Implied bound processing.
 
virtual CouNumber selectBranch (const CouenneObject *obj, const OsiBranchingInformation *info, expression *&var, double *&brpts, double *&brDist, int &way)
 Set up branching object by evaluating many branching points for each expression's arguments.
 
virtual bool isBijective () const
 return true if bijective
 
virtual CouNumber inverse (expression *vardep) const
 inverse of exponential
 
virtual bool isCuttable (CouenneProblem *problem, int index) const
 can this expression be further linearized or are we on its concave ("bad") side
 
- Public Member Functions inherited from Couenne::exprUnary
virtual enum nodeType Type () const
 node type
 
 exprUnary (expression *argument)
 Constructor.
 
virtual ~exprUnary ()
 Destructor.
 
int nArgs () const
 return number of arguments
 
virtual expressionArgument () const
 return argument
 
virtual expression ** ArgPtr ()
 return pointer to argument
 
virtual void print (std::ostream &out=std::cout, bool=false) const
 print this expression to iostream
 
virtual enum pos printPos () const
 print position (PRE, INSIDE, POST)
 
virtual CouNumber operator() ()
 compute value of unary operator
 
virtual int DepList (std::set< int > &deplist, enum dig_type type=ORIG_ONLY)
 fill in the set with all indices of variables appearing in the expression
 
expressionsimplify ()
 simplification
 
virtual int Linearity ()
 get a measure of "how linear" the expression is (see CouenneTypes.h) for general univariate functions, return nonlinear.
 
virtual exprAuxstandardize (CouenneProblem *, bool addAux=true)
 reduce expression in standard form, creating additional aux variables (and constraints)
 
virtual bool isInteger ()
 is this expression integer?
 
virtual int compare (exprUnary &)
 compare two unary functions
 
virtual int rank ()
 used in rank-based branching variable choice
 
virtual void fillDepSet (std::set< DepNode *, compNode > *dep, DepGraph *g)
 fill in dependence structure
 
virtual void replace (exprVar *, exprVar *)
 replace variable with other
 
virtual void realign (const CouenneProblem *p)
 empty function to redirect variables to proper variable vector
 
- Public Member Functions inherited from Couenne::expression
 expression ()
 Constructor.
 
 expression (const expression &e, Domain *d=NULL)
 Copy constructor.
 
virtual ~expression ()
 Destructor.
 
virtual int Index () const
 Return index of variable (only valid for exprVar and exprAux)
 
virtual expression ** ArgList () const
 return arglist (when applicable, that is, with N-ary functions)
 
virtual void ArgList (expression **al)
 set arglist (used in deleting nodes without deleting children)
 
virtual expressionImage () const
 return pointer to corresponding expression (for auxiliary variables only)
 
virtual void Image (expression *image)
 set expression associated with this auxiliary variable (for compatibility with exprAux)
 
virtual CouNumber Value () const
 value (empty)
 
virtual const expressionOriginal () const
 If this is an exprClone of a exprClone of an expr?
 
virtual int dependsOn (int *ind, int n, enum dig_type type=STOP_AT_AUX)
 dependence on variable set: return cardinality of subset of the set of indices in first argument which occur in expression.
 
int dependsOn (int singleton, enum dig_type type=STOP_AT_AUX)
 version with one index only
 
virtual bool isDefinedInteger ()
 is this expression defined as an integer?
 
virtual enum convexity convexity () const
 either CONVEX, CONCAVE, AFFINE, or NONCONVEX
 
virtual int compare (expression &)
 compare expressions
 
virtual int compare (exprCopy &)
 compare copies of expressions
 
virtual int Multiplicity ()
 multiplicity of a variable
 
virtual void linkDomain (Domain *d)
 empty function to update domain pointer
 
virtual void closestFeasible (expression *varind, expression *vardep, CouNumber &left, CouNumber &right) const
 closest feasible points in function in both directions
 
virtual bool isaCopy () const
 return true if this is a copy of something (i.e. an exprCopy)
 
virtual expressionCopy () const
 return copy of this expression (only makes sense in exprCopy)
 

Additional Inherited Members

- Public Types inherited from Couenne::expression
enum  auxSign { AUX_UNDEF =-2 , AUX_LEQ =-1 , AUX_EQ , AUX_GEQ }
 "sign" of the constraint defining an auxiliary. More...
 
- Protected Attributes inherited from Couenne::exprUnary
expressionargument_
 single argument taken by this expression
 

Detailed Description

class for the exponential, $ e^{f(x)} $

Definition at line 22 of file CouenneExprExp.hpp.

Constructor & Destructor Documentation

◆ exprExp()

Couenne::exprExp::exprExp ( expression * al)
inline

Constructor.

Definition at line 27 of file CouenneExprExp.hpp.

Member Function Documentation

◆ clone()

expression * Couenne::exprExp::clone ( Domain * d = NULL) const
inlinevirtual

Cloning method.

Reimplemented from Couenne::expression.

Definition at line 31 of file CouenneExprExp.hpp.

◆ F()

unary_function Couenne::exprExp::F ( )
inlinevirtual

The operator's function.

Reimplemented from Couenne::exprUnary.

Definition at line 35 of file CouenneExprExp.hpp.

◆ printOp()

std::string Couenne::exprExp::printOp ( ) const
inlinevirtual

Print operator.

Reimplemented from Couenne::exprUnary.

Definition at line 38 of file CouenneExprExp.hpp.

◆ gradientNorm()

CouNumber Couenne::exprExp::gradientNorm ( const double * x)
inlinevirtual

return l-2 norm of gradient at given point

Reimplemented from Couenne::expression.

Definition at line 42 of file CouenneExprExp.hpp.

◆ differentiate()

expression * Couenne::exprExp::differentiate ( int index)
virtual

Differentiation.

Reimplemented from Couenne::expression.

◆ getBounds() [1/2]

void Couenne::exprExp::getBounds ( expression *& ,
expression *&  )
virtual

Get lower and upper bound of an expression (if any)

Reimplemented from Couenne::expression.

◆ getBounds() [2/2]

virtual void Couenne::exprExp::getBounds ( CouNumber & lb,
CouNumber & ub )
virtual

Get expression of lower and upper bound of an expression (if any)

Reimplemented from Couenne::expression.

◆ generateCuts()

void Couenne::exprExp::generateCuts ( expression * w,
OsiCuts & cs,
const CouenneCutGenerator * cg,
t_chg_bounds * = NULL,
int = -1,
CouNumber = -COUENNE_INFINITY,
CouNumber = COUENNE_INFINITY )
virtual

Generate convexification cuts for this expression.

Reimplemented from Couenne::expression.

◆ code()

virtual enum expr_type Couenne::exprExp::code ( )
inlinevirtual

Code for comparisons.

Reimplemented from Couenne::exprUnary.

Definition at line 62 of file CouenneExprExp.hpp.

◆ impliedBound()

bool Couenne::exprExp::impliedBound ( int ,
CouNumber * ,
CouNumber * ,
t_chg_bounds * ,
enum auxSign = expression::AUX_EQ )
virtual

Implied bound processing.

Reimplemented from Couenne::expression.

◆ selectBranch()

virtual CouNumber Couenne::exprExp::selectBranch ( const CouenneObject * obj,
const OsiBranchingInformation * info,
expression *& var,
double *& brpts,
double *& brDist,
int & way )
virtual

Set up branching object by evaluating many branching points for each expression's arguments.

Reimplemented from Couenne::expression.

◆ isBijective()

virtual bool Couenne::exprExp::isBijective ( ) const
inlinevirtual

return true if bijective

Reimplemented from Couenne::expression.

Definition at line 78 of file CouenneExprExp.hpp.

◆ inverse()

virtual CouNumber Couenne::exprExp::inverse ( expression * vardep) const
inlinevirtual

inverse of exponential

Reimplemented from Couenne::expression.

Definition at line 81 of file CouenneExprExp.hpp.

◆ isCuttable()

virtual bool Couenne::exprExp::isCuttable ( CouenneProblem * problem,
int index ) const
virtual

can this expression be further linearized or are we on its concave ("bad") side

Reimplemented from Couenne::expression.


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