11#ifndef COUENNE_EXPRSUM_H
12#define COUENNE_EXPRSUM_H
109 std::vector <CouNumber> &xl,
110 std::vector <CouNumber> &xu,
111 std::vector <std::pair <int, CouNumber> > &nl,
112 std::vector <std::pair <int, CouNumber> > &nu);
124 for (
int n =
nargs_; n--;)
Cut Generator for linear convexifications.
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...
general n-ary operator-type expression: requires argument list.
int nargs_
number of arguments (cardinality of arglist)
expression ** arglist_
argument list is an array of pointers to other expressions
expression ** clonearglist(Domain *d=NULL) const
clone argument list (for use with clone method)
virtual bool impliedBound(int, CouNumber *, CouNumber *, t_chg_bounds *, enum auxSign=expression::AUX_EQ)
Implied bound.
int impliedBoundSum(CouNumber wl, CouNumber wu, std::vector< CouNumber > &xl, std::vector< CouNumber > &xu, std::vector< std::pair< int, CouNumber > > &nl, std::vector< std::pair< int, CouNumber > > &nu)
inferring bounds on factors of a product
virtual enum expr_type code()
Code for comparison.
std::string printOp() const
Print operator.
virtual void generateCuts(expression *, OsiCuts &, const CouenneCutGenerator *, t_chg_bounds *=NULL, int=-1, CouNumber=-COUENNE_INFINITY, CouNumber=COUENNE_INFINITY)
Special version for linear constraints.
virtual expression * clone(Domain *d=NULL) const
Cloning method.
virtual void getBounds(expression *&, expression *&)
Get lower and upper bound of an expression (if any)
virtual expression * simplify()
Simplification.
virtual exprAux * standardize(CouenneProblem *p, bool addAux=true)
Reduce expression in standard form, creating additional aux variables (and constraints)
virtual void getBounds(CouNumber &, CouNumber &)
Get lower and upper bound of an expression (if any)
virtual int Linearity()
Get a measure of "how linear" the expression is:
exprSum(expression *, expression *)
Constructor with two elements.
exprSum(expression **=NULL, int=0)
Constructors, destructor.
virtual expression * differentiate(int index)
Differentiation.
virtual ~exprSum()
Empty destructor.
exprAux * createQuadratic(CouenneProblem *)
Checks for quadratic terms in the expression and returns an exprQuad if there are enough to create so...
virtual CouNumber operator()()
Function for the evaluation of the expression.
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
expr_type
code returned by the method expression::code()