Couenne 0.5.8
Loading...
Searching...
No Matches
CouenneExprCeil.hpp
Go to the documentation of this file.
1/* $Id: CouenneExprCeil.hpp 720 2011-06-27 13:31:26Z pbelotti $
2 *
3 * Name: exprCeil.hpp
4 * Author: Pietro Belotti
5 * Purpose: definition of ceiling
6 *
7 * (C) Pietro Belotti, 2011.
8 * This file is licensed under the Eclipse Public License (EPL)
9 */
10
11#ifndef COUENNE_EXPRCEIL_HPP
12#define COUENNE_EXPRCEIL_HPP
13
14#include "CouenneExpression.hpp"
15
16namespace Couenne {
17
19
20class exprCeil: public exprUnary {
21
22 public:
23
26 exprUnary (arg) {}
27
29 expression *clone (Domain *d = NULL) const
30 {return new exprCeil (argument_ -> clone (d));}
31
33 inline unary_function F ()
34 {return ceil;}
35
37 std::string printOp () const
38 {return "ceil";}
39
41 inline CouNumber gradientNorm (const double *x) {
42 return (argument_ -> Index () < 0) ?
43 0. : fabs (x [argument_ -> Index ()]);
44 }
45
48
51
53 void getBounds (CouNumber &lb, CouNumber &ub);
54
56 void generateCuts (expression *w, //const OsiSolverInterface &si,
57 OsiCuts &cs, const CouenneCutGenerator *cg,
58 t_chg_bounds * = NULL, int = -1,
61
63 virtual enum expr_type code ()
64 {return COU_EXPRCEIL;}
65
67 bool impliedBound (int index, CouNumber *l, CouNumber *u, t_chg_bounds *chg, enum auxSign = expression::AUX_EQ) {
68
69 bool impl = true;
70 return impl;
71 }
72
75 virtual CouNumber selectBranch (const CouenneObject *obj,
76 const OsiBranchingInformation *info,
77 expression * &var,
78 double * &brpts,
79 double * &brDist, // distance of current LP
80 // point to new convexifications
81 int &way)
82 {return 0.;}
83
85 virtual void closestFeasible (expression *varind, expression *vardep,
86 CouNumber& left, CouNumber& right) const;
87
90 virtual bool isCuttable (CouenneProblem *problem, int index) const
91 {return false;}
92
94 //virtual enum convexity convexity () const;
95};
96
97}
98
99#endif
#define COUENNE_INFINITY
Cut Generator for linear convexifications.
OsiObject for auxiliary variables $w=f(x)$.
Class for MINLP problems with symbolic information.
Define a dynamic point+bounds, with a way to save and restore previous points+bounds through a LIFO s...
virtual enum expr_type code()
code for comparisons
expression * differentiate(int index)
obtain derivative of expression
expression * clone(Domain *d=NULL) const
cloning method
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.
bool impliedBound(int index, CouNumber *l, CouNumber *u, t_chg_bounds *chg, enum auxSign=expression::AUX_EQ)
implied bound processing
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
unary_function F()
the operator itself (e.g. sin, log...)
exprCeil(expression *arg)
constructor, destructor
std::string printOp() const
print operator
virtual void closestFeasible(expression *varind, expression *vardep, CouNumber &left, CouNumber &right) const
closest feasible points in function in both directions
void getBounds(expression *&, expression *&)
Get lower and upper bound of an expression (if any)
virtual bool isCuttable(CouenneProblem *problem, int index) const
can this expression be further linearized or are we on its concave ("bad") side?
CouNumber gradientNorm(const double *x)
return l-2 norm of gradient at given point
void getBounds(CouNumber &lb, CouNumber &ub)
Get value of lower and upper bound of an expression.
expression class for unary functions (sin, log, etc.)
expression * argument_
single argument taken by this expression
Expression base class.
auxSign
"sign" of the constraint defining an auxiliary.
status of lower/upper bound of a variable, to be checked/modified in bound tightening
general include file for different compilers
double CouNumber
main number type in Couenne
CouNumber(* unary_function)(CouNumber)
unary function, used in all exprUnary
expr_type
code returned by the method expression::code()
ipindex Index