Couenne  0.5.8
CouenneExprMax.hpp
Go to the documentation of this file.
1 /* $Id: CouenneExprMax.hpp 1147 2015-05-04 14:01:51Z stefan $
2  *
3  * Name: exprMax.hpp
4  * Author: Pietro Belotti
5  * Purpose: definition of $\f{\textrm{argmax}_{i\in I} y_i}$
6  *
7  * (C) Carnegie-Mellon University, 2006-09.
8  * This file is licensed under the Eclipse Public License (EPL)
9  */
10 
11 #ifndef COUENNE_EXPRMAX_H
12 #define COUENNE_EXPRMAX_H
13 
14 #include "CouenneExprOp.hpp"
15 #include "CouenneExprCopy.hpp"
16 #include "CouenneExprStore.hpp"
17 
18 namespace Couenne {
19 
21 
22 class exprMax: public exprOp {
23 
24  public:
25 
27  exprMax (expression **al, int n):
28  exprOp (al, n) {} //< non-leaf expression, with argument list
29 
32  exprOp (new expression * [4], 4) {
33  arglist_ [0] = new exprCopy (el0); arglist_ [1] = new exprStore (arglist_ [0]);
34  arglist_ [2] = new exprCopy (el1); arglist_ [3] = new exprStore (arglist_ [2]);
35  }
36 
38  exprMax *clone (Domain *d = NULL) const
39  {return new exprMax (clonearglist (d), nargs_);}
40 
42  std::string printOp () const
43  {return "max";}
44 
46  enum pos printPos () const
47  {return PRE;}
48 
50  inline CouNumber operator () ();
51 
53  inline expression *differentiate (int)
54  {return NULL;}
55 
57  inline expression *simplify ()
58  {return NULL;}
59 
61  virtual inline int Linearity ()
62  {return NONLINEAR;}
63 
64  // Get lower and upper bound of an expression (if any)
66 
69  virtual inline exprAux *standardize (CouenneProblem *, bool addAux = true)
70  {return NULL;}
71 
73  void generateCuts (expression *w, //const OsiSolverInterface &si,
74  OsiCuts &cs, const CouenneCutGenerator *cg,
75  t_chg_bounds * = NULL, int = -1,
78 
80  virtual enum expr_type code ()
81  {return COU_EXPRMAX;}
82 };
83 
84 
86 
88 
89  CouNumber best_val = (*(arglist_ [0])) ();
90  int best_ind = 0;
91 
92  for (int ind = 2; ind < nargs_; ind += 2) {
93 
94  CouNumber val = (*(arglist_ [ind])) ();
95 
96  if (val > best_val) {
97  best_ind = ind;
98  best_val = val;
99  }
100  }
101 
102  return (*(arglist_ [best_ind + 1])) ();
103 }
104 
105 }
106 
107 #endif
Couenne::t_chg_bounds
status of lower/upper bound of a variable, to be checked/modified in bound tightening
Definition: CouenneTypes.hpp:67
Couenne::exprOp::nargs_
int nargs_
number of arguments (cardinality of arglist)
Definition: CouenneExprOp.hpp:36
Couenne::expr_type
expr_type
code returned by the method expression::code()
Definition: CouenneTypes.hpp:40
Couenne::exprOp
general n-ary operator-type expression: requires argument list.
Definition: CouenneExprOp.hpp:31
COUENNE_INFINITY
#define COUENNE_INFINITY
Definition: CouennePrecisions.hpp:32
Couenne::exprMax::code
code for virtual comparisons enum expr_type code()
return code to classify type of expression
Definition: CouenneExprMax.hpp:80
Couenne::exprMax::operator()
function for the evaluation of the expression CouNumber operator()()
null function for evaluating the expression
Definition: CouenneExprMax.hpp:87
Couenne::exprOp::printOp
virtual std::string printOp() const
print operator
Definition: CouenneExprOp.hpp:86
Couenne::pos
pos
position where the operator should be printed when printing the expression
Definition: CouenneTypes.hpp:30
Couenne::exprMax::differentiate
differentiation expression * differentiate(int)
differentiation
Definition: CouenneExprMax.hpp:53
Couenne::exprOp::clonearglist
expression ** clonearglist(Domain *d=NULL) const
clone argument list (for use with clone method)
Definition: CouenneExprOp.hpp:97
Couenne::CouenneCutGenerator
Cut Generator for linear convexifications.
Definition: CouenneCutGenerator.hpp:49
Couenne::exprOp::standardize
virtual exprAux * standardize(CouenneProblem *, bool addAux=true)
generate auxiliary variable
Couenne
general include file for different compilers
Definition: CouenneAggrProbing.hpp:24
Couenne::PRE
@ PRE
Definition: CouenneTypes.hpp:30
CouenneExprCopy.hpp
Couenne::exprMax::clone
cloning method exprMax * clone(Domain *d=NULL) const
Cloning method.
Definition: CouenneExprMax.hpp:38
Couenne::COU_EXPRMAX
@ COU_EXPRMAX
Definition: CouenneTypes.hpp:46
Couenne::exprMax::getBounds
void getBounds(expression *&, expression *&)
Get lower and upper bound of an expression (if any)
Couenne::CouNumber
double CouNumber
main number type in Couenne
Definition: CouenneTypes.hpp:100
Couenne::exprStore
storage class for previously evaluated expressions
Definition: CouenneExprStore.hpp:23
OsiCuts
Couenne::exprMax::simplify
simplification expression * simplify()
simplification
Definition: CouenneExprMax.hpp:57
Couenne::exprCopy
Definition: CouenneExprCopy.hpp:25
Couenne::exprMax::printPos
print position enum pos printPos() const
print position (PRE, INSIDE, POST)
Definition: CouenneExprMax.hpp:46
Couenne::exprOp::Linearity
virtual int Linearity()
get a measure of "how linear" the expression is (see CouenneTypes.h)
Definition: CouenneExprOp.hpp:110
Couenne::expression::generateCuts
virtual void generateCuts(expression *w, OsiCuts &cs, const CouenneCutGenerator *cg, t_chg_bounds *chg=NULL, int wind=-1, CouNumber lb=-COUENNE_INFINITY, CouNumber ub=COUENNE_INFINITY)
generate convexification cut for constraint w = this
Definition: CouenneExpression.hpp:185
Couenne::exprMax
Definition: CouenneExprMax.hpp:22
Couenne::NONLINEAR
@ NONLINEAR
Definition: CouenneTypes.hpp:23
Couenne::exprMax::exprMax
Constructor exprMax(expression **al, int n)
Definition: CouenneExprMax.hpp:27
CouenneExprStore.hpp
Couenne::exprMax::addAux
reduce expression in standard creating additional aux bool addAux
Definition: CouenneExprMax.hpp:69
Couenne::CouenneProblem
Class for MINLP problems with symbolic information.
Definition: CouenneProblem.hpp:169
CouenneExprOp.hpp
Couenne::exprOp::arglist_
expression ** arglist_
argument list is an array of pointers to other expressions
Definition: CouenneExprOp.hpp:35
Couenne::exprAux
Auxiliary variable.
Definition: CouenneExprAux.hpp:32
Couenne::expression
Expression base class.
Definition: CouenneExpression.hpp:48
Couenne::exprMax::exprMax
Constructor with only two arguments exprMax(expression *el0, expression *el1)
Definition: CouenneExprMax.hpp:31
Couenne::Domain
Define a dynamic point+bounds, with a way to save and restore previous points+bounds through a LIFO s...
Definition: CouenneDomain.hpp:104