11 #ifndef COUENNE_EXPRODDPOW_HPP
12 #define COUENNE_EXPRODDPOW_HPP
77 const OsiBranchingInformation *
info,
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
void fint fint fint real fint real real real real real real real real real fint real fint fint fint real fint fint fint fint * info
OsiObject for auxiliary variables $w=f(x)$.
status of lower/upper bound of a variable, to be checked/modified in bound tightening ...
Power of an expression (binary operator), with constant.
bool impliedBound(int, CouNumber *, CouNumber *, t_chg_bounds *, enum auxSign=expression::AUX_EQ)
implied bound processing
Power of an expression (binary operator), with constant.
exprOddPow(expression *arg0, expression *arg1)
Constructor with only two arguments.
auxSign
"sign" of the constraint defining an auxiliary.
exprAux * standardize(CouenneProblem *p, bool addAux=true)
reduce expression in standard form, creating additional aux variables (and constraints) ...
expression ** clonearglist(Domain *d=NULL) const
clone argument list (for use with clone method)
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 equality between *this and *w
std::string printOp() const
print operator
expression ** arglist_
argument list is an array of pointers to other expressions
double CouNumber
main number type in Couenne
int nargs_
number of arguments (cardinality of arglist)
general n-ary operator-type expression: requires argument list.
exprOddPow(expression **al, int n=2)
Constructor.
expression * getFixVar()
return an index to the variable's argument that is better fixed in a branching rule for solving a non...
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 ...
expr_type
code returned by the method expression::code()
virtual enum expr_type code()
code for comparison
CouNumber safe_pow(CouNumber base, CouNumber exponent, bool signpower=false)
compute power and check for integer-and-odd inverse exponent
expression * clone(Domain *d=NULL) const
cloning method
void fint fint fint real fint real real real real real real real real * w
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...
void getBounds(expression *&, expression *&)
Get lower and upper bound of an expression (if any)