CouenneExprTrilinear.hpp

Go to the documentation of this file.

/* $Id: CouenneExprTrilinear.hpp 490 2011-01-14 16:07:12Z pbelotti $
 *
 * Name:    CouenneExprTrilinear.hpp
 * Author:  Pietro Belotti
 * Purpose: definition of product of three terms
 *
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNE_EXPRTRILINEAR_H
#define COUENNE_EXPRTRILINEAR_H

#include <vector>

#include "CouenneExprMul.hpp"

namespace Couenne {


  class exprTrilinear: public exprMul {

  public:

    exprTrilinear (expression **, int);

    exprTrilinear (expression *, expression *, expression *);

    expression *clone (Domain *d = NULL) const
    {return new exprTrilinear (clonearglist (d), nargs_);}

    CouNumber gradientNorm (const double *x);

    virtual void getBounds (expression *&, expression *&);

    virtual void getBounds (CouNumber &lb, CouNumber &ub);

    void generateCuts (expression *w, //const OsiSolverInterface &si, 
                       OsiCuts &cs, const CouenneCutGenerator *cg, 
                       t_chg_bounds * = NULL, int = -1, 
                       CouNumber = -COUENNE_INFINITY, 
                       CouNumber =  COUENNE_INFINITY);

    virtual enum expr_type code () 
    {return COU_EXPRTRILINEAR;}

    bool impliedBound (int, CouNumber *, CouNumber *, t_chg_bounds *, 
                       enum Couenne::expression::auxSign = Couenne::expression::AUX_EQ);

    virtual CouNumber selectBranch (const CouenneObject *obj, 
                                    const OsiBranchingInformation *info,
                                    expression * &var, 
                                    double * &brpts, 
                                    double * &brDist, // distance of current LP
                                    // point to new convexifications
                                    int &way);

    virtual void closestFeasible (expression *varind,
                                  expression *vardep,
                                  CouNumber &left,
                                  CouNumber &right) const;
  };
}

#endif