Go to the documentation of this file.
11 #ifndef COUENNE_EXPRODDPOW_HPP
12 #define COUENNE_EXPRODDPOW_HPP
status of lower/upper bound of a variable, to be checked/modified in bound tightening
Power of an expression (binary operator), with constant.
int nargs_
number of arguments (cardinality of arglist)
expr_type
code returned by the method expression::code()
general n-ary operator-type expression: requires argument list.
CouNumber operator()()
function for the evaluation of the expression
virtual enum expr_type code()
code for comparison
Power of an expression (binary operator), with constant.
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
void getBounds(CouNumber &lb, CouNumber &ub)
Get value of lower and upper bound of an expression (if any)
expression ** clonearglist(Domain *d=NULL) const
clone argument list (for use with clone method)
Cut Generator for linear convexifications.
exprAux * standardize(CouenneProblem *p, bool addAux=true)
reduce expression in standard form, creating additional aux variables (and constraints)
general include file for different compilers
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
expression * getFixVar()
return an index to the variable's argument that is better fixed in a branching rule for solving a non...
OsiObject for auxiliary variables $w=f(x)$.
double CouNumber
main number type in Couenne
expression * clone(Domain *d=NULL) const
cloning method
auxSign
"sign" of the constraint defining an auxiliary.
exprOddPow(expression *arg0, expression *arg1)
Constructor with only two arguments.
std::string printOp() const
print operator
CouNumber safe_pow(CouNumber base, CouNumber exponent, bool signpower=false)
compute power and check for integer-and-odd inverse exponent
virtual bool isCuttable(CouenneProblem *problem, int index) const
can this expression be further linearized or are we on its concave ("bad") side
bool impliedBound(int, CouNumber *, CouNumber *, t_chg_bounds *, enum auxSign=expression::AUX_EQ)
implied bound processing
void getBounds(expression *&, expression *&)
Get lower and upper bound of an expression (if any)
Class for MINLP problems with symbolic information.
expression ** arglist_
argument list is an array of pointers to other expressions
Define a dynamic point+bounds, with a way to save and restore previous points+bounds through a LIFO s...
exprOddPow(expression **al, int n=2)
Constructor.