impliedBounds-exprTrilinear.cpp

Go to the documentation of this file.

/* $Id: impliedBounds-exprTrilinear.cpp 1047 2014-01-20 00:22:31Z pbelotti $
 *
 * Name:    impliedBounds-exprTrilinear.cpp
 * Author:  Pietro Belotti
 * Purpose: implied bounds for trilinear terms
 *
 * This file is licensed under the Eclipse Public License (EPL)
 */

#include "CouenneExprMul.hpp"
#include "CouenneExprTrilinear.hpp"
#include "CouennePrecisions.hpp"

using namespace Couenne;



bool exprTrilinear::impliedBound (int wind, CouNumber *l, CouNumber *u, t_chg_bounds *chg, enum auxSign sign) {

  // in general, for i in {1,2,3},
  //
  // x [i] >= min {w / (x[(i+1) % 3] x[(i+2) % 3]): all variables in bounds}
  // x [i] <= max {w / (x[(i+1) % 3] x[(i+2) % 3]): all variables in bounds}
  //
  // There are cases:
  //
  // 

  return false;
}