CouenneExprSub.hpp

Go to the documentation of this file.

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

#ifndef COUENNE_EXPRSUB_HPP
#define COUENNE_EXPRSUB_HPP

#include "CouenneExprOp.hpp"
#include "CouennePrecisions.hpp"
#include "CouenneProblem.hpp"

namespace Couenne {


class exprSub: public exprOp {

 public:

  exprSub  (expression **al, int n = 2): 
    exprOp (al, n) {} //< non-leaf expression, with argument list

  exprSub (expression *arg0, expression *arg1):
    exprOp (arg0, arg1) {}

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

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

  CouNumber operator () ();

  expression *differentiate (int index); 

  expression *simplify ();

  virtual inline int Linearity () {

    int lin1 = arglist_ [0] -> Linearity ();
    int lin2 = arglist_ [1] -> Linearity ();

    if (lin1 < lin2) return lin2;
    else             return lin1;
  }

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

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

  virtual exprAux *standardize (CouenneProblem *p, bool addAux = true);

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

  virtual enum expr_type code () {return COU_EXPRSUB;}

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



inline CouNumber exprSub::operator () ()
{return ((*(*arglist_)) () - (*(arglist_ [1])) ());}

}

#endif