Go to the documentation of this file.
11 #ifndef COUENNE_EXPREXP_HPP
12 #define COUENNE_EXPREXP_HPP
83 return log((*vardep)());
status of lower/upper bound of a variable, to be checked/modified in bound tightening
expression * clone(Domain *d=NULL) const
Cloning method.
CouNumber(* unary_function)(CouNumber)
unary function, used in all exprUnary
bool impliedBound(int, CouNumber *, CouNumber *, t_chg_bounds *, enum auxSign=expression::AUX_EQ)
Implied bound processing.
expression * argument_
single argument taken by this expression
expr_type
code returned by the method expression::code()
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.
void getBounds(expression *&, expression *&)
Get lower and upper bound of an expression (if any)
expression class for unary functions (sin, log, etc.)
CouExpr & log(CouExpr &e)
virtual bool isCuttable(CouenneProblem *problem, int index) const
can this expression be further linearized or are we on its concave ("bad") side
std::string printOp() const
Print operator.
Cut Generator for linear convexifications.
CouNumber gradientNorm(const double *x)
return l-2 norm of gradient at given point
general include file for different compilers
CouExpr & exp(CouExpr &e)
OsiObject for auxiliary variables $w=f(x)$.
virtual enum expr_type code()
Code for comparisons.
double CouNumber
main number type in Couenne
unary_function F()
The operator's function.
auxSign
"sign" of the constraint defining an auxiliary.
exprExp(expression *al)
Constructor.
class for the exponential,
Class for MINLP problems with symbolic information.
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 bool isBijective() const
return true if bijective
expression * differentiate(int index)
Differentiation.
Define a dynamic point+bounds, with a way to save and restore previous points+bounds through a LIFO s...
virtual CouNumber inverse(expression *vardep) const
inverse of exponential