CouenneExprLog.hpp

Go to the documentation of this file.

/* $Id: CouenneExprLog.hpp 615 2011-06-08 20:36:24Z pbelotti $
 *
 * Name:    exprLog.hpp
 * Author:  Pietro Belotti
 * Purpose: definition of logarithm
 *
 * (C) Carnegie-Mellon University, 2006-10.
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNE_EXPRLOG_HPP
#define COUENNE_EXPRLOG_HPP

#include "CouenneExprInv.hpp"
#include "CouenneExpression.hpp"

namespace Couenne {


class exprLog: public exprUnary {

 public:

  exprLog  (expression *al): 
    exprUnary (al) {} // non-leaf expression, with argument list

  expression *clone (Domain *d = NULL) const
    {return new exprLog (argument_ -> clone (d));}

  inline unary_function F () {return log;}

  std::string printOp () const
    {return "log";}

  CouNumber gradientNorm (const double *x);

  expression *differentiate (int index); 

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

  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_EXPRLOG;}

  bool impliedBound (int, CouNumber *, CouNumber *, t_chg_bounds *, enum auxSign = 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 bool isBijective() const {return true;}

  virtual CouNumber inverse(expression *vardep) const
  {
    return exp((*vardep)());
  }

  virtual bool isCuttable (CouenneProblem *problem, int index) const;
};

}

#endif