CouenneCrossConv.hpp

Go to the documentation of this file.

/* $Id: CouenneCrossConv.hpp 945 2013-04-06 20:25:21Z stefan $
 *
 * Name:    CouenneCrossConv.hpp
 * Author:  Pietro Belotti
 * Purpose: Convexification cuts on redundant relationships between auxiliaries
 *
 * (C) Pietro Belotti, 2010-11.
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNECROSSCONV_HPP
#define COUENNECROSSCONV_HPP

#include "BonRegisteredOptions.hpp"

#include "CglConfig.h"
#include "CglCutGenerator.hpp"
#include "OsiRowCut.hpp"
#include "CouenneJournalist.hpp"

namespace Ipopt {
  template <class T> class SmartPtr;
  class OptionsList;
}

namespace Couenne {

  class CouenneProblem;


  class AuxRelation {

  public:

    virtual int findRelations () = 0;

    virtual void generateCuts (const OsiSolverInterface &, 
                               OsiCuts &, 
                               const CglTreeInfo = CglTreeInfo ()) const;
  protected:

  };
  

  class SumLogAuxRel: public AuxRelation {

  public:

    virtual int findRelations ();

    virtual void generateCuts (const OsiSolverInterface &, 
                               OsiCuts &, 
                               const CglTreeInfo = CglTreeInfo ()) const;
  };



  class MultiProdRel: public AuxRelation {

  public:

    virtual int findRelations ();

    virtual void generateCuts (const OsiSolverInterface &, 
                               OsiCuts &, 
                               const CglTreeInfo = CglTreeInfo ()) const;
  };


  class BiProdDivRel: public AuxRelation {

  public:

    virtual int findRelations ();

    virtual void generateCuts (const OsiSolverInterface &, 
                               OsiCuts &, 
                               const CglTreeInfo = CglTreeInfo ()) const;
  };


  class PowRel: public AuxRelation {

  public:

    virtual int findRelations ();

    virtual void generateCuts (const OsiSolverInterface &, 
                               OsiCuts &, 
                               const CglTreeInfo = CglTreeInfo ()) const;
  };



  class CouenneCrossConv: public CglCutGenerator {

  public:

    CouenneCrossConv (CouenneProblem *,
                      JnlstPtr,
                      const Ipopt::SmartPtr <Ipopt::OptionsList>);

    CouenneCrossConv  (const CouenneCrossConv &);

    virtual ~CouenneCrossConv ();

    virtual CouenneCrossConv *clone () const
    {return new CouenneCrossConv (*this);}

    virtual void generateCuts (const OsiSolverInterface &, 
                       OsiCuts &, 
                       const CglTreeInfo = CglTreeInfo ())
#if CGL_VERSION_MAJOR == 0 && CGL_VERSION_MINOR <= 57
    const
#endif
    ;

    static void registerOptions (Ipopt::SmartPtr <Bonmin::RegisteredOptions> roptions);

    virtual void setup ();

  protected:

    JnlstPtr jnlst_;

    CouenneProblem *problem_;
  };
}

#endif