Couenne  0.5.8
CouenneExprTrilinear.hpp
Go to the documentation of this file.
1 /* $Id: CouenneExprTrilinear.hpp 490 2011-01-14 16:07:12Z pbelotti $
2  *
3  * Name: CouenneExprTrilinear.hpp
4  * Author: Pietro Belotti
5  * Purpose: definition of product of three terms
6  *
7  * This file is licensed under the Eclipse Public License (EPL)
8  */
9 
10 #ifndef COUENNE_EXPRTRILINEAR_H
11 #define COUENNE_EXPRTRILINEAR_H
12 
13 #include <vector>
14 
15 #include "CouenneExprMul.hpp"
16 
17 namespace Couenne {
18 
20 
21  class exprTrilinear: public exprMul {
22 
23  public:
24 
26  exprTrilinear (expression **, int);
27 
30 
32  expression *clone (Domain *d = NULL) const
33  {return new exprTrilinear (clonearglist (d), nargs_);}
34 
36  CouNumber gradientNorm (const double *x);
37 
39  virtual void getBounds (expression *&, expression *&);
40 
42  virtual void getBounds (CouNumber &lb, CouNumber &ub);
43 
45  void generateCuts (expression *w, //const OsiSolverInterface &si,
46  OsiCuts &cs, const CouenneCutGenerator *cg,
47  t_chg_bounds * = NULL, int = -1,
50 
52  virtual enum expr_type code ()
53  {return COU_EXPRTRILINEAR;}
54 
56  bool impliedBound (int, CouNumber *, CouNumber *, t_chg_bounds *,
58 
61  virtual CouNumber selectBranch (const CouenneObject *obj,
62  const OsiBranchingInformation *info,
63  expression * &var,
64  double * &brpts,
65  double * &brDist, // distance of current LP
66  // point to new convexifications
67  int &way);
68 
70  virtual void closestFeasible (expression *varind,
71  expression *vardep,
72  CouNumber &left,
73  CouNumber &right) const;
74  };
75 }
76 
77 #endif
Couenne::t_chg_bounds
status of lower/upper bound of a variable, to be checked/modified in bound tightening
Definition: CouenneTypes.hpp:66
Couenne::exprMul
class for multiplications,
Definition: CouenneExprMul.hpp:24
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_INFINITY
#define COUENNE_INFINITY
Definition: CouennePrecisions.hpp:32
Couenne::expression::AUX_EQ
@ AUX_EQ
Definition: CouenneExpression.hpp:55
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
general include file for different compilers
Definition: CouenneAggrProbing.hpp:24
Couenne::COU_EXPRTRILINEAR
@ COU_EXPRTRILINEAR
Definition: CouenneTypes.hpp:46
CouenneExprMul.hpp
Couenne::CouenneObject
OsiObject for auxiliary variables $w=f(x)$.
Definition: CouenneObject.hpp:57
Couenne::exprTrilinear::gradientNorm
CouNumber gradientNorm(const double *x)
return l-2 norm of gradient at given point
Couenne::exprTrilinear::generateCuts
void generateCuts(expression *w, OsiCuts &cs, const CouenneCutGenerator *cg, t_chg_bounds *=NULL, int=-1, CouNumber=-COUENNE_INFINITY, CouNumber=COUENNE_INFINITY)
generate equality between *this and *w
Couenne::CouNumber
double CouNumber
main number type in Couenne
Definition: CouenneTypes.hpp:100
Couenne::exprTrilinear::closestFeasible
virtual void closestFeasible(expression *varind, expression *vardep, CouNumber &left, CouNumber &right) const
compute and for Violation Transfer algorithm
OsiCuts
Couenne::exprTrilinear::exprTrilinear
exprTrilinear(expression **, int)
Constructor.
Couenne::expression::auxSign
auxSign
"sign" of the constraint defining an auxiliary.
Definition: CouenneExpression.hpp:55
Couenne::exprTrilinear::selectBranch
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
OsiBranchingInformation
Couenne::exprTrilinear::clone
expression * clone(Domain *d=NULL) const
Cloning method.
Definition: CouenneExprTrilinear.hpp:32
Couenne::exprTrilinear::getBounds
virtual void getBounds(expression *&, expression *&)
Get lower and upper bound of an expression (if any)
Couenne::exprTrilinear::code
virtual enum expr_type code()
code for comparison
Definition: CouenneExprTrilinear.hpp:52
Couenne::exprTrilinear::impliedBound
bool impliedBound(int, CouNumber *, CouNumber *, t_chg_bounds *, enum Couenne::expression::auxSign=Couenne::expression::AUX_EQ)
implied bound processing
Couenne::expression
Expression base class.
Definition: CouenneExpression.hpp:48
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
Couenne::exprTrilinear
class for multiplications
Definition: CouenneExprTrilinear.hpp:21