CouenneFixPoint.hpp

Go to the documentation of this file.

/* $Id: CouenneFixPoint.hpp 1239 2018-01-11 00:09:39Z pbelotti $
 *
 * Name:    CouenneFixPoint.hpp
 * Author:  Pietro Belotti
 * Purpose: A bound tightener based on fixpoint computation
 *
 * (C) Pietro Belotti, 2010.
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNEFIXPOINT_HPP
#define COUENNEFIXPOINT_HPP

#include "BonRegisteredOptions.hpp"

#include "BonOaDecBase.hpp"
#include "CglConfig.h"
#include "CglCutGenerator.hpp"
#include "OsiRowCut.hpp"
#include "OsiSolverInterface.hpp"

#include "CouenneBTPerfIndicator.hpp"

namespace Couenne {

  class CouenneProblem;


  class CouenneFixPoint: public CglCutGenerator {

  public:

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

    CouenneFixPoint  (const CouenneFixPoint &);

    ~CouenneFixPoint ();

    CouenneFixPoint *clone () const
    {return new CouenneFixPoint (*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:

    bool extendedModel_;

    CouenneProblem *problem_;

    mutable bool firstCall_;

    mutable double CPUtime_;

    mutable int nTightened_;

    int levelStop_;

    void createRow (int, int,
                    int,
                    OsiSolverInterface *,
                    const int    *,
                    const double *,
                    const double,
                    const int,
                    bool,
                    int, int) const;

    CouenneBTPerfIndicator perfIndicator_;
  };
}

#endif