CouenneTwoImplied.hpp

Go to the documentation of this file.

/* $Id: CouenneTwoImplied.hpp 945 2013-04-06 20:25:21Z stefan $
 *
 * Name:    CouenneTwoImplied.hpp
 * Author:  Pietro Belotti
 * Purpose: Bound Tightening using pairs of linear inequalities or equations
 *
 * (C) Pietro Belotti, 2010.
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNETWOIMPLIED_HPP
#define COUENNETWOIMPLIED_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 CouenneTwoImplied: public CglCutGenerator {

  public:

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

    CouenneTwoImplied  (const CouenneTwoImplied &);

    ~CouenneTwoImplied ();

    CouenneTwoImplied *clone () const
    {return new CouenneTwoImplied (*this);}

    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);

  protected:

    CouenneProblem *problem_;

    JnlstPtr jnlst_;

    int nMaxTrials_;

    mutable double totalTime_;

    mutable double totalInitTime_;

    mutable bool firstCall_;

    int depthLevelling_;

    int depthStopSeparate_;
  };
}

#endif