CouenneAggrProbing.hpp

Go to the documentation of this file.

/* $Id: CouenneAggrProbing.hpp 945 2013-04-06 20:25:21Z stefan $
 *
 * Name:    CouenneAggrProbing.hpp
 * Author:  Giacomo Nannicini
 * Purpose: A bound tightener based on aggressive probing
 *
 * (C) Giacomo Nannicini, 2010.
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNEAGGRPROBING_HPP
#define COUENNEAGGRPROBING_HPP

#include "BonRegisteredOptions.hpp"

#include "BonOaDecBase.hpp"
#include "CglConfig.h"
#include "CglCutGenerator.hpp"
#include "OsiColCut.hpp"
#include "OsiSolverInterface.hpp"
#include "CouenneProblem.hpp"
#include "BonCouenneSetup.hpp"

namespace Couenne {


  class CouenneAggrProbing: public CglCutGenerator {

  public:

    CouenneAggrProbing(CouenneSetup* couenne,
                       const Ipopt::SmartPtr<Ipopt::OptionsList> options);

    CouenneAggrProbing(const CouenneAggrProbing& rhs);

    ~CouenneAggrProbing();

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

    void generateCuts(const OsiSolverInterface & solver,
                      OsiCuts& cuts, 
                      const CglTreeInfo = CglTreeInfo ())
#if CGL_VERSION_MAJOR == 0 && CGL_VERSION_MINOR <= 57
    const
#endif
    { }

    double probeVariable(int index, bool probeLower);

    double probeVariable2(int index, bool lower);

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

    void setMaxTime(double value);
    double getMaxTime() const;

    void setMaxFailedSteps(int value);
    int getMaxFailedSteps() const;

    void setMaxNodes(int value);
    int getMaxNodes() const;

    void setRestoreCutoff(bool value);
    bool getRestoreCutoff() const;

  protected:    

    CouenneSetup* couenne_;

    int numCols_;

    double maxTime_;

    int maxFailedSteps_;

    int maxNodes_;

    bool restoreCutoff_;

    double initCutoff_;

  };
}

#endif