11 #ifndef COUENNE_EXPRDIV_HPP 12 #define COUENNE_EXPRDIV_HPP 19 #define BR_NEXT_ZERO 1e-3 119 #define SAFE_COEFFICIENT 1e9 bool impliedBound(int, CouNumber *, CouNumber *, t_chg_bounds *, enum auxSign=expression::AUX_EQ)
Implied bound processing.
expression ** arglist_
argument list is an array of pointers to other expressions
exprAux * standardize(CouenneProblem *p, bool addAux=true)
Reduce expression in standard form, creating additional aux variables (and constraints)
virtual enum nodeType Type() const
Node type.
expr_type
code returned by the method expression::code()
int Linearity()
Get a measure of "how linear" the expression is (see CouenneTypes.h)
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.
Cut Generator for linear convexifications.
virtual bool isCuttable(CouenneProblem *problem, int index) const
can this expression be further linearized or are we on its concave ("bad") side
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.
auxSign
"sign" of the constraint defining an auxiliary.
int nargs_
number of arguments (cardinality of arglist)
std::string printOp() const
Print operator.
general n-ary operator-type expression: requires argument list.
double CouNumber
main number type in Couenne
expression * clone(Domain *d=NULL) const
Cloning method.
exprDiv(expression *arg0, expression *arg1)
Constructor with two arguments given explicitly.
Class for MINLP problems with symbolic information.
expression ** clonearglist(Domain *d=NULL) const
clone argument list (for use with clone method)
bool is_boundbox_regular(register CouNumber b1, register CouNumber b2)
check if bounding box is suitable for a multiplication/division convexification constraint
bool isInteger()
is this expression integer?
expression * differentiate(int index)
Differentiation.
CouNumber operator()()
Function for the evaluation of the expression.
Define a dynamic point+bounds, with a way to save and restore previous points+bounds through a LIFO s...
virtual void closestFeasible(expression *varind, expression *vardep, CouNumber &left, CouNumber &right) const
compute $y^{lv}$ and $y^{uv}$ for Violation Transfer algorithm
virtual enum expr_type code()
Code for comparisons.
CouNumber gradientNorm(const double *x)
return l-2 norm of gradient at given point
OsiObject for auxiliary variables $w=f(x)$.
exprDiv(expression **al, int n=2)
Constructor.
void getBounds(expression *&lb, expression *&ub)
Get lower and upper bound of an expression (if any)
status of lower/upper bound of a variable, to be checked/modified in bound tightening
expression * simplify()
Simplification.
general include file for different compilers