Couenne  0.5.8
CouenneExprSub.hpp
Go to the documentation of this file.
1 /* $Id: CouenneExprSub.hpp 615 2011-06-08 20:36:24Z pbelotti $
2  *
3  * Name: exprSub.hpp
4  * Author: Pietro Belotti
5  * Purpose: definition of subtractions
6  *
7  * (C) Carnegie-Mellon University, 2006-10.
8  * This file is licensed under the Eclipse Public License (EPL)
9  */
10 
11 #ifndef COUENNE_EXPRSUB_HPP
12 #define COUENNE_EXPRSUB_HPP
13 
14 #include "CouenneExprOp.hpp"
15 #include "CouennePrecisions.hpp"
16 #include "CouenneProblem.hpp"
17 
18 namespace Couenne {
19 
21 
22 class exprSub: public exprOp {
23 
24  public:
25 
27  exprSub (expression **al, int n = 2):
28  exprOp (al, n) {} //< non-leaf expression, with argument list
29 
31  exprSub (expression *arg0, expression *arg1):
32  exprOp (arg0, arg1) {}
33 
35  expression *clone (Domain *d = NULL) const
36  {return new exprSub (clonearglist (d), nargs_);}
37 
39  std::string printOp () const
40  {return "-";}
41 
44 
46  expression *differentiate (int index);
47 
50 
52  virtual inline int Linearity () {
53 
54  int lin1 = arglist_ [0] -> Linearity ();
55  int lin2 = arglist_ [1] -> Linearity ();
56 
57  if (lin1 < lin2) return lin2;
58  else return lin1;
59  }
60 
63 
65  void getBounds (CouNumber &lb, CouNumber &ub);
66 
69  virtual exprAux *standardize (CouenneProblem *p, bool addAux = true);
70 
72  virtual void generateCuts (expression *, //const OsiSolverInterface &,
73  OsiCuts &, const CouenneCutGenerator *,
74  t_chg_bounds * = NULL, int = -1,
77 
79  virtual enum expr_type code () {return COU_EXPRSUB;}
80 
83 };
84 
85 
87 
89 {return ((*(*arglist_)) () - (*(arglist_ [1])) ());}
90 
91 }
92 
93 #endif
Couenne::exprSub::differentiate
expression * differentiate(int index)
Differentiation.
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
CouennePrecisions.hpp
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::exprSub::printOp
std::string printOp() const
print operator
Definition: CouenneExprSub.hpp:39
Couenne::exprSub::simplify
expression * simplify()
Simplification.
Couenne::expression::AUX_EQ
@ AUX_EQ
Definition: CouenneExpression.hpp:55
Couenne::exprSub
class for subtraction,
Definition: CouenneExprSub.hpp:22
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::exprSub::exprSub
exprSub(expression *arg0, expression *arg1)
Constructor with two explicit elements.
Definition: CouenneExprSub.hpp:31
Couenne::exprSub::getBounds
void getBounds(expression *&, expression *&)
Get lower and upper bound of an expression (if any)
Couenne::exprSub::code
virtual enum expr_type code()
Code for comparisons.
Definition: CouenneExprSub.hpp:79
Couenne::CouNumber
double CouNumber
main number type in Couenne
Definition: CouenneTypes.hpp:100
OsiCuts
Couenne::exprSub::operator()
CouNumber operator()()
Function for the evaluation of the difference.
Definition: CouenneExprSub.hpp:88
Couenne::expression::auxSign
auxSign
"sign" of the constraint defining an auxiliary.
Definition: CouenneExpression.hpp:55
Couenne::exprSub::Linearity
virtual int Linearity()
Get a measure of "how linear" the expression is (see CouenneTypes.h)
Definition: CouenneExprSub.hpp:52
Couenne::exprSub::getBounds
void getBounds(CouNumber &lb, CouNumber &ub)
Get value of lower and upper bound of an expression (if any)
CouenneProblem.hpp
Couenne::exprSub::impliedBound
bool impliedBound(int, CouNumber *, CouNumber *, t_chg_bounds *, enum auxSign=expression::AUX_EQ)
Implied bound processing.
Couenne::exprSub::generateCuts
virtual void generateCuts(expression *, OsiCuts &, const CouenneCutGenerator *, t_chg_bounds *=NULL, int=-1, CouNumber=-COUENNE_INFINITY, CouNumber=COUENNE_INFINITY)
Special version for linear constraints.
Couenne::exprSub::clone
expression * clone(Domain *d=NULL) const
Cloning method.
Definition: CouenneExprSub.hpp:35
Couenne::exprSub::standardize
virtual exprAux * standardize(CouenneProblem *p, bool addAux=true)
Reduce expression in standard form, creating additional aux variables (and constraints)
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::exprSub::exprSub
exprSub(expression **al, int n=2)
Constructor.
Definition: CouenneExprSub.hpp:27
Couenne::expression
Expression base class.
Definition: CouenneExpression.hpp:48
Couenne::COU_EXPRSUB
@ COU_EXPRSUB
Definition: CouenneTypes.hpp:45
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