CouenneExprIVar.hpp

Go to the documentation of this file.

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

#ifndef COUENNE_EXPRIVAR_HPP
#define COUENNE_EXPRIVAR_HPP

#include <iostream>

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

namespace Couenne {


class exprIVar: public exprVar {

 public:

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

  exprIVar (const exprIVar &e, Domain *d = NULL):
    exprVar (e, d) {}

  virtual exprVar *clone (Domain *d = NULL) const
  {return new exprIVar (*this, d);}

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

  virtual inline bool isDefinedInteger ()
  {return true;}

  virtual inline bool isInteger ()
  {return true;}
};

}

#endif