CouenneExprUnary.hpp

Go to the documentation of this file.

/* $Id: CouenneExprUnary.hpp 1147 2015-05-04 14:01:51Z stefan $
 *
 * Name:    exprUnary.hpp
 * Author:  Pietro Belotti
 * Purpose: definition of the class for univariate functions
 *
 * (C) Carnegie-Mellon University, 2006-08.
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNE_EXPRUNARY_HPP
#define COUENNE_EXPRUNARY_HPP

#include <iostream>

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

namespace Couenne {

inline CouNumber zero_fun (CouNumber x) 
{return 0.;}



class exprUnary: public expression {

 protected:

  expression *argument_;

 public:

  virtual inline enum nodeType Type () const
  {return UNARY;}

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

  virtual inline unary_function F () 
  {return zero_fun;}

  virtual ~exprUnary ()
  {if (argument_) delete argument_;}

  inline int nArgs () const
  {return 1;}

  virtual inline expression *Argument () const
  {return argument_;}

  virtual inline expression **ArgPtr () 
  {return &argument_;}

  virtual void print (std::ostream &out = std::cout, bool = false) const;

  virtual enum pos printPos () const
  {return PRE;}

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

  virtual inline CouNumber operator () ()
  {return (F ()) ((*argument_) ());}

  virtual inline int DepList (std::set <int> &deplist, enum dig_type type = ORIG_ONLY)
  {return argument_ -> DepList (deplist, type);}

  expression *simplify ();

  virtual inline int Linearity ()
  {return NONLINEAR;}

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

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

  virtual bool isInteger ();

  virtual int compare (exprUnary &); 

  virtual inline int rank ()
  {return (argument_ -> rank ());} 

  virtual inline void fillDepSet (std::set <DepNode *, compNode> *dep, DepGraph *g) 
  {argument_ -> fillDepSet (dep, g);}

  virtual void replace (exprVar *, exprVar *);

  virtual inline void realign (const CouenneProblem *p) 
  {argument_ -> realign (p);}
};

}

#endif