CouenneExprBQuad.hpp

Go to the documentation of this file.

/* $Id: CouenneExprBQuad.hpp 490 2011-01-14 16:07:12Z pbelotti $ */
/*
 * Name:    exprBQuad.hpp
 * Author:  Pietro Belotti
 * Purpose: definition of operators to compute lower/upper bounds of quadratic forms
 *
 * (C) Carnegie-Mellon University, 2006. 
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNE_EXPRBQUAD_H
#define COUENNE_EXPRBQUAD_H

#include "CouenneExprOp.hpp"
#include "CouenneExprQuad.hpp"

namespace Couenne {


class exprLBQuad: public expression {

  exprQuad *ref_; 

 public:

  exprLBQuad (exprQuad *ref): 
    ref_ (ref) {}

  exprLBQuad (const exprLBQuad &src, Domain *d = NULL): 
    ref_ (dynamic_cast <exprQuad *> (src.ref_ -> isaCopy () ? 
                                     src.ref_ -> Copy () -> clone (d) : 
                                     src.ref_ -> clone (d))) {}

  ~exprLBQuad () {}

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

  inline CouNumber operator () () 
  {return ref_ -> computeQBound (-1);}

  virtual void print (std::ostream &s = std::cout,     //< output stream
                      bool descend = false) const      //< descend into auxiliaries' image?

  {s << "quadLower("; ref_ -> print (s, descend); s << ')';}
};



class exprUBQuad: public expression {

  exprQuad *ref_; 

 public:

  exprUBQuad (exprQuad *ref): 
    ref_ (ref) {}

  exprUBQuad (const exprUBQuad &src, Domain *d = NULL): 
    ref_ (dynamic_cast <exprQuad *> (src.ref_ -> isaCopy () ? 
                                     src.ref_ -> Copy () -> clone (d) : 
                                     src.ref_ -> clone (d))) {}

  ~exprUBQuad () {}

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

  inline CouNumber operator () () 
  {return ref_ -> computeQBound (1);}

  virtual void print (std::ostream &s = std::cout,     //< output stream
                      bool descend = false) const      //< descend into auxiliaries' image?

  {s << "quadUpper("; ref_ -> print (s, descend); s << ')';}
};

}

#endif