CouenneExprBound.hpp

Go to the documentation of this file.

/* $Id: CouenneExprBound.hpp 490 2011-01-14 16:07:12Z pbelotti $
 *
 * Name:    exprBound.hpp
 * Author:  Pietro Belotti
 * Purpose: definition of the class for variable bounds 
 *
 * (C) Carnegie-Mellon University, 2006. 
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNE_EXPRBOUND_HPP
#define COUENNE_EXPRBOUND_HPP

#include <iostream>
#include <assert.h>

#include "CouenneTypes.hpp"
#include "CouenneExprVar.hpp"

namespace Couenne {




class exprLowerBound: public exprVar {

 public:

  inline enum nodeType Type () const
  {return CONST;}

  exprLowerBound (int varIndex, Domain *d = NULL):
    exprVar (varIndex, d) {}

  exprLowerBound (const exprLowerBound &src, Domain *d = NULL): 
    exprVar (src, d) {}

  inline exprLowerBound *clone (Domain *d = NULL) const
  {return new exprLowerBound (*this, d);}

  void print (std::ostream &out = std::cout, 
              bool = false) const
  {out << "l_" << varIndex_;}

  inline CouNumber operator () () 
  {assert (domain_); return domain_ -> lb (varIndex_);}

  inline expression *differentiate (int) 
  {return new exprConst (0.);}

  inline int dependsOn (int *, int, enum dig_type type = STOP_AT_AUX) 
  {return 0;}

  virtual inline int Linearity () 
  {return CONST;}

  virtual inline enum expr_type code ()
  {return COU_EXPRLBOUND;}
};



class exprUpperBound: public exprVar {

 public:

  inline enum nodeType Type () const
  {return CONST;}

  exprUpperBound (int varIndex, Domain *d = NULL):
    exprVar (varIndex, d) {}

  exprUpperBound (const exprUpperBound &src, Domain *d = NULL): 
    exprVar (src, d) {}

  inline exprUpperBound *clone (Domain *d = NULL) const
  {return new exprUpperBound (*this, d);}

  void print (std::ostream &out = std::cout, 
              bool = false) const
  {out << "u_" << varIndex_;}

  inline CouNumber operator () () 
  {assert (domain_); return domain_ -> ub (varIndex_);}

  inline expression *differentiate (int) 
  {return new exprConst (0.);}

  inline int dependsOn (int *, int, enum dig_type type = STOP_AT_AUX) 
  {return 0;}

  virtual inline int Linearity () 
  {return CONST;}

  virtual inline enum expr_type code ()
  {return COU_EXPRUBOUND;}
};

}

#endif